23.体の有限次拡大
ここから数回に渡る目標として体の有限次拡大におけるガロア理論の構築を掲げたい。体の拡大における中間体と、基礎体を固定する自己同型群における部分群、これらの間にある美しい対応は19世紀数学の一つの到達点と言えよう。あるいは、ある数学的な対象を対称性を伴う言葉で書き下そうとする試みとして、現代数学に受け継がれる思想の原点であるとも言える。
ベクトル空間
体上の加群であって、有限生成であるものをベクトル空間(vector space)と呼ぶ。*1体上の加群に対し、有限集合は
を満たすとき上一次独立(linear independent)、あるいは単に一次独立と言う。そうでないとき(上)一次従属(linear dependent)という。
条件から空集合は一次独立であり、に対しが一次独立ならも一次独立となる。一般にが一次独立でならの元を取りを一次独立にできる。従って与えられた有限集合に対し、その一次独立な部分集合であって、のどの元を加えても一次従属となるようなものが取れる。極大独立集合と呼ばれるこのようなは一意的に決まらないが、はに依らない。これをの階数(rank)と呼びと表す。であり、一般にはまたはに等しい。ならが成り立つ。
さて、の生成系をとすればは生成系の取り方に依らず決まる。これをで表しの次元(dimension)と呼ぶ。このとき生成系の極大独立集合をの基底(basis)と呼ぶ。ベクトル空間の基底が与えられたとき、任意のの元はによる一意的な表示を持つ。言い換えれば基底とは一次独立な生成系を指す。特にが一次独立でならは基底となる。これを加群の言葉で書くと次のようになる。
(証明)上のベクトル空間の基底をとする。このときが成り立つ。
つまりベクトル空間の環論的な構造は面白くない。むしろ基底の取り方に依りの元が様々な表示を持つ事の方が重要で、この表示に依らない性質を考えることがベクトル空間の本質を知る手がかりになる。
体がネーター環であることを思い出せば上の有限生成加群はネーター加群となる。つまりベクトル空間の部分加群はベクトル空間になる。(の部分空間と言う。)このときの基底はの基底に延長でき、故にが成り立つ。
体の拡大とベクトル空間
体の拡大はを自然に上の加群とみなしたとき有限生成であるとする。このときベクトル空間として有限次元であるため、このような体の拡大を有限次拡大(finite extension)と言う。に対しは一次従属になる。即ち有限次拡大は代数拡大である。またであることとは同値である。
命題 を体の拡大とする。(はの中間体(intermediate field)とも言う。)このとき
が成り立ち、がの基底ならがの基底となる。特に
が成り立つ。
(証明)有限次拡大に対し、その基底をとする。まずが上一次独立であることを示そう。としとする。でくくるとであるからの一次独立性よりこれはゼロに等しい。更にの一次独立性よりが分かる。後はの元がによる表示を持つことを示せば良いが、達が基底であることから従う。故に右から左と後半が示された。
左から右を示そう。が有限次拡大なら、はの部分空間となる。従って先の議論によりは有限次拡大となる。一方では上の加群として有限生成だから上の加群としても有限生成である。よっても有限次拡大となる。
命題 を体の拡大とする。は上代数的とし、最小多項式の次数はとする。このときとなることは既に示した。特には有限次拡大でが成り立ち、を基底として取れる。
(証明)の最小多項式をとすれば、同型をで与えることができた。多項式の整除を考えればと表せるからを得る。故には生成系となる。一次独立であることはが最小多項式であることから従う。
例えばである。
体の拡大における射
体の拡大同士を結ぶ写像として何が適切であろうか。拡大は自然に代数とみなせるから、代数としての準同型を考えるのが自然だろう。ところで体は任意の-代数に埋め込める。即ちは必ず単射となり、と見なすことが出来る。従って基礎体と拡大体は各々別々に部分体と見なせるが、これが真に包含図を与えているような状況が望ましい。
を体の拡大とする。は環の準同型とする。とが一致するときはの延長(extension)と言い、はの制限(restriction)と言う。一般にに対しをと表記する。またに対し、係数を全てで写したものをと表す。
補題 を有限次拡大とする。体の拡大に対しは(環として、つまり体として)同型とする。このときの延長の個数は以下である。
(証明)に関する帰納法で示そう。のときは明らか。未満なら正しいとして、の基底をとする。は部分空間となりを得る。従って帰納法の仮定より延長の個数は以下となるのでと置ける。の延長に対し、となるが取れる。ところでの上の最小多項式をとすれば、より準同型性からはの根となる。別の延長がを満たすとする。だから、これはの異なる根を与えていることが分かる。つまりへの制限がに一致するの延長は個以下しかない。従って求めたい個数は以下である。