商体とは呼んで名のごとく,分数で作った体です.
ある整域 にたいし, の元 を分母と分子に組み合わせ(ただし分母 ), の形の集合を作ると,これは体になります.これを 商体 と呼びます. 分数体 , 商の体 などとも呼びます.
例えば,任意の有理数は既約な整数 によって のように分数の形で表現できますので, 有理数体Qは,整数環Zの商体です .
定義は簡単だったと思います.まず,この集合が体になることを,次節で確認してみましょう.
ポイントは, の形をした分数が,全て商体は含まれるということです.
商体を作るもとの集合を整域としたのは,一般の環では零因子を含む場合があるので,期せずして のようなものが出てきてしまって分数同士の積をうまく定義できなくなる可能性を回避するためです.
もっと難しい議論に備えて,もう少し定義を抽象化しておきます.この節は少々ややこしく,そして長くなりますが,内容的には前節の『分数』を少し抽象化するだけです.この記事の最後の定理や 素体 の記事の定理で,商体の概念を使うので,順番として今ここで紹介しているのですが,商体自体が今後特別に重要なわけでもありません.先を急ぐ人や抽象化の苦手な人は,飛ばして,この次の節に進んでしまっても大丈夫だと思います.
まず,整域 の直積集合 を考えます. の二つの元, と が関係 を満たすとき, と の間に同値関係を定義できます.
[*] | この同値関係によって,約分して同じになる と のような分数に対し,その分母・分子の組, と を同値だと見なせるということです.単なる文字の組としては と は別のものですが,これらを分子と分母にして分数を作るとなれば,同じものだと考えても良さそうなことが直観的に了解できると思います.きちんと同値関係を示すには,反射律,対称律,推移律が満たされることを確認する必要がありますが( 整数の加法群の剰余類 参照),これは簡単なので自分でやってみて下さい.いきなり抽象的に, と書かれたら「何のこっちゃ」と感じると思いますが,分数の例に戻って考えれば当然の同値関係だと感じられることでしょう. |
この同値関係を使って の元を類別できますから,代表元 を含む類を と表現することにして, の商集合 を考えます.つまり, のような類を個々の元とする集合を考えるということです.さて,ここで別に集合 を考え, の元 と の類 を,写像 によって対応させてみましょう.
この写像は一対一の単射だとします.また, の元には,次のように二つの演算『加法』と『乗法』を定義できるとします.添字に注意してください.
加法の零元は ,乗法の単位元は です.また加法の逆元は ,乗法の逆元は と置くと,うまく四則演算を定義できます. は式 で定義される加法と乗法によって体になります.(この加法と乗法が,結合則,交換則,分配則を満たすことの証明は省略します.)
[†] | 式 と式 を最初に見せられて,これが加法と乗法だと言われたら,見慣れない算法なので吃驚してしまうと思います.しかし, を に対応させ,式 を分数の足し算や掛け算だと見れば納得が行くことでしょう.純粋に抽象的な立場から,いきなり式 によって加法と乗法を定義すれば体ができる,と説明する方がエレガントかも知れませんが,やはり慣れるまでは分数に戻りながら理解していく方が良いと思います. |
次に,整域 から体 への写像を次のように定めてみます.
この写像は一対一に像が決まりますから単射で,しかも加法と乗法に関して次の二式を満たすため,準同型写像になっています.
いま,整域 に対応する の元として, のように,括弧の右側が単位元 のものだけを考えましたが,一般に の元 は の形をしてますので, は,写像 による の商体になっていると言えます.
ここまでの議論を踏まえ,次の二つの条件を満たす集合を商体と呼ぶことにします.(繰り返しになりますが,これは前節で見た分数の体を,抽象的に拡張しているだけです.)
体の拡大に関連して,商体の概念が出てくる定理を一つ紹介しておきます.
theorem
整域 を含む体の中で最小のものは, の商体です.
proof
整域 を含む体を とします. . の部分集合 を, と置くと, は体の条件を満たし,部分体になります( 部分体 参照).特に と置くと, となり, は を含むことが分かります. から の元への単射な準同型写像 を定めると, は商体の条件 〜 を満たし,商体となります. の商体は, を含む任意の体に対してその部分集合となるのですから, の商体が を含む最小の体だと言えます.■
単に分数を集めただけに見えた商体ですが,この定理は体の拡大系列を考えるときに役に立ちそうですね.例えばこの定理より,整数環を含む最小の体は,有理数体だということが分かります.
theorem
整数環を含む最小の体は,有理数体です.
次の定理は, 素体 の記事で定理の証明に使いますので,ここで証明しておきます.
theorem
整域 が同型ならば,商体 も同型になります.
proof
同型写像 に対し, から への写像 を と定めれば も同型写像になります.■