13.体の代数拡大
体とは、ゼロでない全ての元が、掛けてイチとなる元を持つ環のことであった。これはイデアルが自明なものしかないことを意味し、剰余環におけるイデアル対応定理を介して極大性と呼応する。また体を係数とする多項式環においては、全てのイデアルが単一の元により生成されるという優れた性質を示すことができる。
体と極大イデアル
積に関して可逆なものを単元(unit)という。つまりが単元とは、あるが存在してとできることを意味する。環はゼロを除く全ての元が単元であるとき体(field)という。*1
体のイデアルは自明なものしかない。逆にイデアルが自明ならそれは体となる。実際、体においてをイデアルとすると、ゼロでない元が存在する。よってあるを取りとできる。はイデアルだからとなり、が従う。逆にを取れば、イデアルはでないのでよりなるが存在する。
環の真の(に真に含まれる)イデアルが極大(maximal)であるとは、との間にイデアルが存在しないことをいう。つまりをイデアルとすればが成り立つ。
剰余環のイデアルがを含むイデアルと対応すること(イデアル対応定理)を思い出せば、
が成り立つことが分かる。特に体は整域であるから極大イデアルは素イデアルでもある。
以下は極大イデアルの重要な例を与える。
命題 環の素イデアル、及びにおける局所化への自然な準同型に対し、
は極大イデアルとなる。
(証明)をイデアルとする。より、あるが存在する。ところが、これはとしてを意味している。故にが従う。イデアルのpull-push性よりを得る。
命題 における局所化の極大イデアルはのみである。
(証明)を極大イデアルとする。は素イデアルだから、局所化における素イデアル対応定理よりと交わらないの素イデアルと対応していた。故にを得る。故にを得る。極大性よりとなる。
つまりは唯一の極大イデアルを持つ。従って一般には体となる。
一変数多項式環
一変数多項式環の性質を抑えておこう。まず環を係数とする一変数多項式環において、次の整除定理が成り立つ。
命題 (多項式の整除) に対し、の最高次係数は単元であるとする。このときが存在してかつが成り立つ。更には一意的に定まる。
(証明)
と表せる。ならとおけばよい。のとき、は単元だからを考えるととなる。これを繰り返せば、ある多項式を用いてとできる。またとすればを得る。今の最高次係数は単元だからならとなり矛盾する。故にでありも従う。
命題 (因数定理) とする。このとき
が成り立つ。
(証明)としてよい。による整除を考えればと一意的に表せる。を代入するとを得るが、よりでなければならない。
となるをの根(あるいは零点)、またはの解と呼ぶ。
命題 が整域ならの根は個以下しかない。*2
(証明)に関する帰納法を用いる。のときを根とすればと表せる。次数を比べればを得る。よってならとなり整域性よりが従う。一般の場合でもと表せるがより個以下の根しか持たない。整域性よりならまたはとなるから、の根は個以下である。
体はネーター環かつ整域である。従って体を係数とする多項式環もネーター環かつ整域であるが、一変数に限れば更に強いことが言える。
命題 を体、をイデアルとする。このときある多項式が存在してが成り立つ。つまり任意のイデアルは一元により生成される。
(証明)ならを取ればよい。のとき、ゼロでない元のうち次数が最小となるものを取りと置く。ならとなるのでとしてよい。は明らかなので逆を示す。に対し、による整除を考える。と一意的に表せるが、より次数の最小性からが従う。故にが分かる。
一般に(追記:整域において、ゼロでない)単元でない元が既約(irreducible)であるとは、なら又はが単元となることを言う。
の単元はであるから、既約性は一次以上の多項式による分解を持たないことを表す。一般に単元でないが既約でなければ分解を持つが、であるから、繰り返すことで既約な多項式を用いてとできる。故にが既約であることとが極大イデアルとなることは同値となる。
定理 (分解体の存在)
を体、をなる多項式とする。このとき体の拡大が存在して、はの元として個の一次式の積に分解する。特にの根を全て含むような体が存在する。*3(根は相対的な言葉だから、この言い方は誤り。分解の一意性までは述べていないが、現状は必要ない。)
(証明)に関する帰納法を用いる。のときだから、が成り立つ。よってとすれば十分である。のとき、既約なを用いてとしておく。は極大イデアルだから、は体となる。自然な準同型に対し、そのへの制限を考えると、よりとなり単元を含まないことから、は単射となる。つまりは体として同型、は体の拡大となる。は、を満たす。よってはの根を持つことが分かる。つまりにおいてと分解できるが、帰納法の仮定より体の拡大が存在してはの元として個の一次式の積に分解する。このが求めるものであろう。
上記のをの上の分解体(splitting field)と呼ぶ。
体の代数拡大と体の生成
体の拡大において、に対しのイデアル
を考える。のときは上代数的(algebraic)という。前節の結果からと表せるが、特にとしてモニック(最高次係数がイチ)なものが取れる。これは次数の最小性より一意的に定まるので、の上の最小多項式(minimal polynomial)と呼ぶ。
命題 最小多項式は既約である。
(証明)実際とすれば、となる。体は整域だからまたはであるが、次数の最小性よりの一方が単元でなければならない。
任意のの元が上代数的なときを代数拡大(または代数的拡大)と呼ぶ。前回は環の整拡大という概念を紹介したが、この体バージョンが体の代数拡大である。実際体の拡大及びに対し、
が成り立つ。を取ればと表せる。ここでより
が従うので、は上整となる。逆は明らか。
体の拡大及びに対し、とを含む最小の部分体をで表す。つまり
と置く。
命題 体の拡大において、は上代数的であるとする。このときが成り立つ。つまり代数的な元であれば、体として生成することと環として生成することは等しい。
(証明)の最小多項式を取る。最小多項式は既約だからは極大イデアルとなり、は体となる。自然な環の準同型をにより定めると、準同型定理よりからも体となる。特により、最小性からが従う。
をの上の分解体とする。においてと分解できるが、を、これより小さな体は分解体になり得ないという意味で、最小分解体と呼ぶ。
所感
極大イデアルはほぼ全ての本で素イデアルと共に紹介されると思う。色々な概念に徐々に慣れるという視点から考えれば、あえてこの位置に持ってくることも悪くない気がする。