Avendia20

目次

初めに

このノートは、 2016 年度 A セメスターに東京大学理学部数学科で開講された 『代数学 III』 の授業ノートである。 内容としては、 体と Galois 理論を扱う。 執筆者の気分によって、 講義で扱われた内容でもここに書いていなかったり、 講義で触れられていない内容が書かれていたりするが、 概ね講義の内容そのままになっている。

実際に講義中で使われた記号や言葉が個人的に気に入らないなどの理由で、 勝手に記号や言葉を変えている場合がある。 環のイデアルは、 ⟨2⟩ や ⟨x,y⟩ のように、 生成元を普通の丸括弧で囲むのではなく角括弧で囲むことで表している。 集合 A,B に対して A⊂B は真の包含関係を表し、 A=B の場合を含まない。 また、 構造を保った部分集合は単に ⊆ で表すのではなく ≤ で表す。 例えば、 A≤B と書いてあって B が体であれば、 A は B の単なる部分集合であるだけではなく、 A は B の部分体であることまで含意する。

体の基本

定義 1.

K が単位元をもつ可換環で ⟨0⟩ が極大イデアルになるとき、 K を体という。

可換環 K において、 ⟨0⟩ が極大イデアルであれば、 まず極大イデアルは全体ではないことから 1∉⟨0⟩ すなわち 0≠1 が分かる。 また、 x∈K を 0 でない元とすると、 ⟨0⟩≤⟨x⟩ が成り立つが、 ⟨0⟩ の極大性から ⟨x⟩=K となるので、 ある y∈K で xy=1 となるものが存在する。 すなわち、 任意の 0 でない元は乗法に関する逆元をもつ。

可換環 A に対してその極大イデアル 󱁤 をとると A/󱁤 は体になる。 特に、 体 K に対し、 多項式環 K[X] の極大イデアルは既約多項式 (特にモニックであるとして良い) で生成されるものであるから、 既約多項式 P∈K[X] に対して K[X]/⟨P⟩ は体である。 例えば、 󱀑[X] において X2+1 は既約だから、 󱀑[X]/⟨X2+1⟩≅󱀂 は実際に体になっている。

体 K をとると、 環の準同型写像 φ:󱀙→K は唯一定まる。 実際、 φ(1)=1K だから、 準同型性から φ(n) は 1K を n 回たしたものにならざるを得ない。 このとき、 準同型定理によって 󱀙/Kerφ は K の部分環 L:=Imφ と同型であるが、 K は体より特に整域なので、 L も整域となり 󱀙/Kerφ も整域である。 したがって、 Kerφ は 󱀙 の素イデアルであるから、 ある素数 p によって Kerφ=⟨p⟩ と書けるか、 Kerφ=⟨0⟩ である。 ここで、 以下の定義が意味をもつ。

定義 2.

体 K に対し、 環の準同型写像 φ:󱀙→K をとる。 Kerφ=⟨p⟩ を満たす素数もしくは 0 である p を、 K の標数といい charK で表す。

命題 3.

体 K の標数を p とする。 p>0 ならば、 K は 󱀙/p󱀙 と同型な体を含む。 p=0 ならば、 K は 󱀐 と同型な体を含む。

証明.

p>0 であれば、 上で述べた環の準同型写像 φ:󱀙→K について、 準同型定理によって Imφ≅󱀙/p󱀙 である。 Imφ⊆K だから、 命題の主張が示された。 p=0 であれば、 Imφ≅󱀙 であるから K は 󱀙 と同型な部分環を含む。 󱀙 の商体は 󱀐 であるから K は 󱀐 と同型な体も含み、 この場合も命題の主張が示された。

定義 4.

体 K の標数を p とし、 p>0 であるとする。 このとき、 体の準同型写像 φ:K→K;x↦xp を Frobenius 写像と呼ぶ。 Imφ を Kp と書く。

体 K,L の間の準同型写像 φ:K→L があると、 Kerφ は K のイデアルである。 体のイデアルは 0 から全体だが、 φ(1)=1 より Kerφ≠K であるから、 Kerφ=0 である。 したがって、 φ は単射となる。 よって、 K と φ(K)≤L を同一視することで、 K は L の部分であると見なせる。

定義 5.

体 K,L の間に準同型写像 φ:K→L があるとき、 L を K の拡大体といい、 K を L の部分体という。 この関係があるとき L/K と表す。

定義 6.

体の拡大 L/K を考える。 K を含む L の部分体を拡大 L/K の中間体という。

以下では、 K が L の部分体であるとき、 上で述べた同一視によって K⊆L であるかのように議論を進めることがある。

代数拡大と超越拡大

体の拡大 L/K を考え、 x∈L をとる。 φx:K[X]→L;f↦f(x) とおくと、 Kerφx は K[X] の素イデアルになるから、 あるモニック既約多項式 P∈K[X] によって Kerφx=⟨P⟩ と書けるか、 Kerφx=⟨0⟩ である。 したがって、 以下の定義が意味をもつ。

定義 7.

体の拡大 L/K を考え、 x∈L をとる。 φx:K[X]→L;f↦f(x) とおくと、 これは体の準同型写像である。 あるモニック多項式 P によって Kerφx=⟨P⟩ と書けるとき、 x は K 上代数的であるといい、 P を x の K 上最小多項式という。 Kerφx=⟨0⟩ のときは、 x は K 上超越的であるという。

要するに、 x∈L が代数的とは、 x が K 上多項式の根になっているということである。 x を根にもつ K 上多項式のうち、 次数が最小で最大次の係数が 1 のものが x の最小多項式である。

定義 8.

体の拡大 L/K を考える。 L の任意の元が K 上代数的であるとき、 L を K の代数拡大という。 そうでないとき、 L を K の超越拡大という。

しばらくの間、 代数的な元について考える。 体の拡大 L/K を考え、 x∈L をとる。 x が K 上代数的なら、 上記で定義した φx に対して、 準同型定理によって K[X]/⟨P⟩≅Imφx が成り立つ。 K[X]/⟨P⟩ は体だから、 Imφx も体となる。

定義 9.

体の拡大 L/K を考え、 x∈L は K 上代数的であるとする。 このとき、 上記の記号での体 Imφx≤L を x によって K 上生成される部分体といい K(x) で表す。 また、 x を K(x) の生成元という。

1 の原始 3 乗根 ω=(1+√ −3)/2 をとる。 φ:󱀑[X]→󱀂;f↦f(ω) とすると、 ω2+ω+1=0 だから、 少なくとも Kerφ⊇⟨X2+X+1⟩ が成り立つ。 X2+X+1∈󱀑[X] が既約であることが示されれば、 この包含関係は等号となる。 これを示す。 まず、 φ は環の準同型写像 󰔃φ:󱀑[X]/⟨X2+X+1⟩→󱀂;f↦f(ω) を誘導する。 ここで、 󱀑[X]/⟨X2+X+1⟩ と 󱀂 はともに 󱀑-線型空間としての構造をもち、 󰔃φ は 󱀑-線型写像にもなっている。 dim󱀑󱀂=2 であって、 1 と ω は明らかに 󱀂 上線型独立なので、 線型空間として 󱀂=󱀑⊕󱀑ω となる。 この基底について 1=󰔃φ(1),ω=󰔃φ(X) が成り立つから、 󰔃φ は全射である。 また、 dim󱀑󱀑[X]/⟨X2+X+1⟩=2 も容易に分かる。 したがって、 󰔃φ は次元が有限で等しい線型空間の間の全射線型写像だから、 同型写像になる。 これより、 󰔃φ は環の間の写像としても同型写像である。 󱀂 は体だから、 󱀑[X]/⟨X2+X+1⟩ も体となり、 ⟨X2+X+1⟩ は極大イデアルだから X2+X+1 は既約である。 さて、 これにより ω の最小多項式は X2+X+1 で、 󱀑(ω)=󱀂 が分かった。

多項式の既約性の判定には以下の定理が知られている。

定理 10 [Eisenstein の既約性判定法].

主イデアル整域 A に対し、 P∈A[X] をとる。 P=:Xn+a1Xn−1+⋯+an とおくとき、 A のある素元 π が存在して、 π は各 ai をわり切り、 π2 は an をわり切らないとする。 このとき、 A の分数体を K とすれば、 P は K[X] 上既約である。

例えば、 X3−2∈󱀙[X] を考えると、 󱀙 において各係数 0,−2 はともに 2 でわり切れるが −2 は 22=4 ではわり切れない。 󱀙 の分数体は 󱀐 だから、 これより X3−2 は 󱀐[X] で既約である。 したがって、 この根の 1 つである 3√ 2 の最小多項式が X3−2 であることが分かる。

さて、 体の拡大 L/K を考え、 x∈L は K 上超越的であるとする。 上で定義した φx は体の準同型写像 󰔃φx:K(X)→L; f g↦ f(x) g(x) を引き起こす。 x の超越性から Kerφx=0 だったから、 Ker󰔃φx=0 となり 󰔃φx は単射である。 したがって、 Im󰔃φx は体になる。

定義 11.

体の拡大 L/K を考え、 x∈L は K 上代数的であるとする。 このとき、 上記の記号での体 Im󰔃φx≤L を x によって K 上生成される部分体といい K(x) で表す。 また、 x を K(x) の生成元という。

以上によって、 体の拡大 L/K があるとき x∈L が代数的である場合にも超越的である場合にも K(x) が定義された。 実は、 以下の意味で 2 種類の K(x) は同じ性質をもつ。

命題 12.

体の拡大 L/K を考え、 x∈L をとる。 K(x) は x を属する最小の K の拡大体である。

証明.

証明は適当な本に載っているはずである。

生成される部分体のこの性質から、 生成元が複数個の場合に拡張される。

定義 13.

体の拡大 L/K を考え、 部分集合 S⊆L をとる。 S を含む最小の K の拡大体を S によって K 上生成される部分体といい K(S) で表す。 S=:{x1,⋯,xn} であるときは、 K(S) を K(x1,⋯,xn) で表す。

拡大次数

体の拡大 L/K があるとき、 K の積をスカラー倍と見なすことで L は K-線型空間と見なせる。

定義 14.

体の拡大 L/K において、 K-線型空間としての L の次元を L の K 上拡大次数といい、 [L:K] で表す。 [L:K]<∞ のとき、 L は K の有限次拡大という。

例えば、 [󱀂:󱀑]=2 や [󱀐(3√ 2):󱀐]=3 である。 また、 体の拡大 L/K において、 x∈L が K 上代数的で、 P をその最小多項式とすると、 K(x)≅K[X]/⟨P⟩ だから、 [K(x):K]=degP である。

命題 15.

体の拡大 L/K,M/L があるとき、 M は K の拡大体と見なせて、 [M:K]=[M:L][L:K] が成り立つ。

証明.

m:=[M:L],n:=[L,K] とおくと、 m,n<∞ であれば、 M≅L⊕mL≅K⊕n が成り立つ。 したがって、 M≅(K⊕n)⊕m≅K⊕mn なので、 M の K-線型空間としての次元は mn である。 したがって、 命題の等式が示された。 m,n の一方が ∞ となる場合も同様である。

命題 16.

体の拡大 L/K と x∈L に対し、

  1. x は K 上代数的である。
  2. x を属する L の部分体で K 上有限次拡大であるものが存在する。

は同値である。

証明.

条件 1 ⇒ 条件 2:x の最小多項式を P∈K[X] とすると、 x∈K(x) であって [K(x):K]=degP<∞ である。 したがって、 K(x) を考えれば良い。

条件 2 ⇒ 条件 1:条件 2 の有限次拡大を M とする。 φ:K[X]↦M;f↦f(x) とおくと、 これは環準同型写像であり、 また K-線型写像でもある。 M は K 上有限次元で、 K[X] は K 上無限次元なので、 φ は単射ではあり得ない。 したがって、 Kerφ≠0 なので、 あるモニック既約多項式 P∈K[X] によって Kerφ=⟨P⟩ と書ける。 これは、 x が K 上代数的であることを意味する。

命題 17.

体の拡大 L/K が有限次拡大であれば、 代数拡大である。

証明.

任意の x∈L をとったとき、 命題 16 の条件 2 における K 上有限次拡大を L 自身にとれば良い。

さて、 体の部分環が再び体となる十分条件として、 以下のことが知られている。

補題 18.

体の拡大 L/K に対し、 M≤L は K を含む部分環であって K-線型空間として有限次元であるとする。 このとき、 M は体になる。

証明.

0 でない元 x∈M をとる。 hx:M→M;a↦ax を考えると、 これは体の準同型写像かつ K-線型写像である。 M が特に整域だから、 Kerhx=0 となって hx は単射である。 また M は有限次元だから、 hx は同じ有限次元線型空間の間の単射線型写像なので、 同型写像である。 したがって、 h−1(1)∈M が存在し、 これが x の乗法に関する逆元を与える。 x は 0 でない任意の元にとれるから、 M は体である。

命題 19.

体の拡大 L/K において、 x,y∈L が K 上代数的であるとする。 このとき、 f∈K[X,Y] に対して f(x,y) も K 上代数的である。

証明.

環の準同型写像 φ:K[X,Y]→L;g↦g(x,y) をとる。 また、 P∈K[X] と Q∈K[Y] をそれぞれ x,y の最小多項式とする。 このとき、 P,Q∈Kerφ である。 したがって、 φ は環の準同型写像 󰔃φ:K[X,Y]/⟨P,Q⟩→L;g↦g(x,y) を引き起こす。 M:=Im󰔃φ とすると、 f(x,y)=φ(f) だから、 f(x,y)∈M である。

m:=degP,n:=degQ とすると、 {XiYj∣0≤i<m,0≤j<n} は K[X,Y]/⟨P,Q⟩ の K-基底となるから、 K[X,Y]/⟨P,Q⟩ は特に有限次元である。 したがって、 󰔃φ によるその像 M も有限次元であり、 すなわち M は K の有限次拡大である。 さらに、 補題 18 によって M は体になるから、 命題 16 の条件 2 が満たされ、 f(x,y) は K 上代数的である。

合成体

定義 20.

体の拡大 L/K とその中間体 M1,M2 に対し、 K(M1∪M2) を M1 と M2 の合成体といい M1·M2 で表す。

体の拡大 󱀑/󱀐 を考え、 その中間体として 󱀐(√ 2) と 󱀐(√ 3) をとる。 このとき、 [󱀐(√ 2):󱀐]=[󱀐(√ 3):󱀐]=2 が成り立つ。 󱀐(√ 2) と 󱀐(√ 3) の合成体は、 この 2 つと 󱀐 を含む最小の体だから 󱀐(√ 2,√ 3) である。 ここで、 √ 3∉󱀐(√ 2) が成り立つから 󱀐(√ 2,√ 3)⊃󱀐(√ 2) である。 したがって、 [󱀐(√ 2,√ 3):󱀐(√ 2)]≠1 である。 さらに、 X2−3∈󱀐(√ 2)[X] は √ 3 を根にもつので、 √ 3 の 󱀐(√ 2) 上最小多項式は 2 次以下である。 すなわち、 [󱀐(√ 2,√ 3):󱀐(√ 2)]≤2 が分かる。 以上により、 [󱀐(√ 2,√ 3):󱀐(√ 2)]=2 である。 よって、 [󱀐(√ 2,√ 3):󱀐]=[󱀐(√ 2,√ 3):󱀐(√ 2)][󱀐(√ 2):󱀐]=2·2=4 となる。 1,√ 2,√ 3,√ 6 は 󱀐 上線型独立な 󱀐(√ 2,√ 3) の元であり、 上の式より 󱀐(√ 2,√ 3) は 󱀐 上 4 次元なので、 これらは基底をなし、 󱀐(√ 2,√ 3)=󱀐⊕󱀐√ 2⊕󱀐√ 3⊕󱀐√ 6 が成り立つ。 一方、 1,√ 2+√ 3,5+2√ 6 は 󱀐 上線型独立で、 (√ 2+√ 3)2=5+2√ 6 なので、 これらは全て 󱀐(√ 2+√ 3) の元である。 したがって、 [󱀐(√ 2+√ 3):󱀐]≥3 が成り立つ。 ここで、 [󱀐(√ 2,√ 3):󱀐(√ 2+√ 3)][󱀐(√ 2+√ 3):󱀐]=[󱀐(√ 2,√ 3):󱀐]=4 だから、 右辺は 1·4 か 2·2 か 4·1 のいずれかである。 しかし、 [󱀐(√ 2+√ 3):󱀐]≥3 であったから、 [󱀐(√ 2,√ 3):󱀐(√ 2+√ 3)]=1 である。 すなわち、 󱀐(√ 2,√ 3)=󱀐(√ 2+√ 3) が分かった。

準同型写像の個数と最小多項式の分解

定義 21.

体 K とその拡大体 L,K󰎘 をとる。 体の準同型写像 f:L→K󰎘 が f|K=idK を満たすとき、 f を K-準同型写像という。 L から K󰎘 への K-準同型写像全体を MorK(L,K󰎘) と書く。

明らかに MorK(L,K󰎘)⊆HomK(L,K󰎘) が成り立つ。 なお、 HomK(L,K󰎘) は L から K󰎘 への K-線型写像全体を表す。

補題 22.

体 K とその拡大体 L,K󰎘 をとり、 ある x∈L によって L=K(x) と表せるとする。 x の最小多項式を P∈K[X] とするとき、 #{y∈K󰎘∣P(y)=0}=#MorK(L,K󰎘) が成り立つ。

証明.

L=K(x) だから、 L=K[X]/⟨P⟩ と見なせる。 また、 S:={y∈K󰎘∣P(y)=0} とおく。 σ∈MorK(L,K󰎘) に対し、 y:=σ(X)∈L とする。 P=:n󰄚i=1aiXi(ai∈K) と表せば、 P=0 であって、 σ は K の元を変えないから、 0=σ(P)=σ(n󰄚i=1aiXi(=n󰄚i=1σ(ai)σ(X)i=n󰄚i=1aiyi=P(y) を得る。 したがって、 y∈S が分かった。 これより、 写像 Φ:MorK(L,K󰎘)→S;σ↦σ(X) が定義できる。 逆に、 y∈S に対し、 φy:K[X]→K󰎘;f↦f(y) を考えれば、 P(y)=0 だから、 󰔃φy:K[X]/⟨P⟩→K󰎘;f↦f(y) が誘導される。 これは K-準同型写像になるから、 󰔃φy∈MorK(L,K󰎘) である。 これより、 写像 Ψ:S→MorK(L,K󰎘);y↦󰔃φy が定義できた。 ここで、 Φ と Ψ は互いに逆写像になっているので全単射である。 したがって、 #S=#MorK(L,K󰎘) が成り立つ。

定理 23.

体 K とその拡大体 L,K󰎘 をとり、 L は K の有限次拡大とする。 このとき、 #MorK(L,K󰎘)≤[L:K]♡ が成り立ち、

  1. 式 ♡ が等号で成り立つ。
  2. L の任意の元の K 上最小多項式は、 K󰎘 上で相異なる 1 次式の積に分解する。
  3. ある x1,⋯,xn∈L が存在して、 L=K(x1,⋯,xn) が成り立ち、 x1,⋯,xn の各 K 上最小多項式が K󰎘 上で相異なる 1 次式の積に分解する。

は同値である。

証明.

HomK(L,K󰎘) を K󰎘-線型空間と見なす。 n:=[L:K] とすると L≅K⊕n であるから、 HomK(L,K󰎘)≅HomK(K⊕n,K󰎘)≅HomK(K,K󰎘)⊕n≅K󰎘⊕n である。 したがって、 dimK󰎘HomK(L,K󰎘)=[L:K] が成り立つ。 これより、 MorK(L,K󰎘) の元が HomK(L,K󰎘) 上線型独立であることを示せば、 線型独立な元の個数は次元以下であることから、 式 ♡ が示される。

σ1,⋯,σm∈MorK(L,K󰎘) を相異なる元とする。 m に関する帰納法で σ1,⋯,σm の線型独立性を示す。 m=1 のときは示すべきことはない。 m≥2 とする。 σ1,⋯,σm が線型独立でないと仮定すると、 必要ならば添字の順番を入れ替えて、 σm=:m−1󰄚i=1aiσi(ai∈K󰎘) と書ける。 すると、 任意の t∈L に対して、 この式の両辺に σm(t) をかけることで、 σm(t)σm=m−1󰄚i=1aiσm(t)σi が成り立つ。 また、 σm(t)σm=m−1󰄚i=1aiσi(t)σi も成り立つ。 したがって、 m−1󰄚i=1aiσm(t)σi=m−1󰄚i=1aiσi(t)σi を得るが、 帰納法の仮定によって σ1,⋯,σm−1 は線型独立だから、 各 i に対して、 aiσm(t)=aiσi(t) が分かる。 もしある i で ai≠0 なら、 上式の両辺に ai−1 をかけることで、 任意の t∈L に対して σm(t)=σi(t) を得るが、 これは σm と σi が異なるということに矛盾する。 したがって、 全ての i で ai=0 である。 すると σm は零写像になるが、 零写像は体の準同型写像ではないので、 これは矛盾である。 よって、 σ1,⋯,σm は線型独立である。

条件 1 ⇒ 条件 2:任意に x∈L をとる。 M:=K(x) とおくと、 包含写像 ι:M→L に対して、 MorK(L,K󰎘)HomK(L,K󰎘)MorK(M,K󰎘)HomK(M,K󰎘)-∘ι-∘ι は可換である。 また、 条件 1 から、 #MorK(L,K󰎘)=[L:K]=dimK󰎘HomK(L,K󰎘) が成り立つので、 上で述べたように MorK(L,K󰎘) は HomK(L,K󰎘) 上線型独立だったから、 基底になる。 同様に、 MorK(M,K󰎘) は HomK(M,K󰎘) 上線型独立である。 さらに上の可換性から、 MorK(M,K󰎘) は HomK(M,K󰎘) を生成する。 線型独立な生成系は基底だから、 これによって、 #MorK(M,K󰎘)=dimK󰎘HomK(M,K󰎘)=[M:K] を得る。

ここで、 x の K 上最小多項式を P とすれば、 M=K[X]/⟨P⟩ と見なせる。 さらに、 S:={y∈K󰎘∣P(y)=0} とおけば、 補題 22 によって、 #S=#MorK(M,K󰎘) が成り立つ。 P を K󰎘 上の多項式であると見なし、 これを 1 次式でわれるだけわって、 P=:(X−a1)(X−a2)⋯(X−ak)Q(ai∈K󰎘,Q∈K󰎘[X]) と表す。 y∈S をとると、 P(y)=0 だから、 (y−a1)(y−a2)⋯(y−ak)Q(y)=0 であるが、 Q(y)≠0 であるから、 y は a1,⋯,ak のいずれかと等しい。 したがって、 #S≤k≤degP♯ を得る。 一方で、 これまでの議論によって、 #S=#MorK(M,K󰎘)=[M:K]=degP が分かっているから、 結局式 ♯ は等号で成り立つ。 すなわち、 #S=k であることから a1,⋯,ak は相異なり、 k=degP であることから Q=1 でなければならない。 これは条件 2 の主張そのものである。

条件 2 ⇒ 条件 3:L は K の有限次拡大だから、 L の K-基底 x1,⋯,xn∈L がとれる。 これらは特に L を体としても生成するから、 L=K(x1,⋯,xn) である。 また、 条件 2 から x1,⋯,xn の各最小多項式は K󰎘 で相異なる 1 次式の積に分解する。 したがって、 条件 3 が示された。

条件 3 ⇒ 条件 1:n に関する帰納法により示す。 n=1 であれば L=K(x1) であるから、 x1 の K 上最小多項式を P とし、 S:={y∈K󰎘∣P(y)=0} とおけば、 補題 22 によって、 #S=#MorK(L,K󰎘) が成り立つ。 条件 3 によって、 P は K󰎘[X] の元として P=:(X−a1)(X−a2)⋯(X−ak)(ai∈K󰎘) と分解でき、 a1,⋯,ak は相異なる。 したがって、 #S=k=degP=[L:K] であるから、 結局 #MorK(L,K󰎘)=[L:K] が成り立ち、 条件 1 が成立する。

n≥2 とする。 M:=K(xn) とおくと、 L=M(x1,⋯,xn−1) である。 まず M:=K(xn) なので、 上の場合の議論によって、 #MorK(M,K󰎘)=[M:K] が成り立つ。 ここで、 σ∈MorK(M,K󰎘) を 1 つとり固定する。 これにより、 K󰎘 は M の拡大体と見なせる。 各 xi(1≤i≤n−1) の K 上最小多項式を Pi∈K[X] とし、 M 上最小多項式を Qi∈M[X] とする。 M≥K だから、 Qi は Pi をわり切る。 条件 3 により Pi は K󰎘 上で相異なる 1 次式の積に分解するから、 それをわり切る Qi も K󰎘 上で相異なる 1 次式の積に分解する。 つまり、 x1,⋯,xn−1 の各 M 上最小多項式は K󰎘 上で相異なる 1 次式の積に分解する。 よって、 帰納法の仮定を用いると、 #MorM(L,K󰎘)=[L:M] が得られる。 今、 σ によって K󰎘 を M の拡大体と見ているので、 MorM(L,K󰎘) の元というのは、 図式 LK󰎘MKτσ において、 M,L,K󰎘 から成る三角形部分を可換にするような体の準同型写像 τ のことである。 これは、 上の議論によって [L:M] 個あることが分かっている。 また、 MorK(M,K󰎘) の元というのは、 上の図式の K,M,K󰎘 から成る三角形部分を可換にするような体の準同型写像 σ のことで、 これは [M:K] 個あることが分かっている。 MorK(L,K󰎘) の元は、 上の図式の K,L,K󰎘 から成る三角形部分を可換にするような τ のことで、 以上の議論によって、 これは MorK(M,K󰎘) の元と MorM(L,K󰎘) の元を定めれば 1 つ定まる。 したがって、 #MorK(L,K󰎘)=#MorM(L,K󰎘)·#MorK(M,K󰎘)=[L:M][M:K]=[L:K] が得られた。 これより、 条件 1 が示された。

なお、 後に述べる分離拡大の言葉を用いて、 この定理の同値な 3 条件を言い換えることができる。 これは定理 45 を参照すること。

根の添加と分解体

定義 24.

体 K と既約多項式 P∈K[X] に対し、 K[X]/⟨P⟩ を K に P の根を添加した体という。

x:=X∈K[X]/⟨P⟩ とすれば、 K[X]/⟨P⟩=K(x) であり K[X]/⟨P⟩ 上で P(x)=0 が成り立つ。 すなわち、 どんな多項式であっても、 根を添加した体を考えることによって根をもつようにできるということである。

定義 25.

体 K とモニック多項式 P∈K[X] をとる。 K の拡大体 K󰎘 に対し、 P∈K󰎘[X] と見なすと ai∈K󰎘 たちによって、 P=n󰄖i=1(X−ai) と 1 次式の積に分解するとき、 K󰎘 を P の分解体という。 さらに、 K󰎘=K(a1,⋯,an) であれば、 K󰎘 を P の最小分解体という。

多項式をどの拡大体で分解するかによって、 その多項式の分解体が様々に作れることに注意すること。

P:=X3−2∈󱀐[X] を考えると、 これは 󱀂[X] において、 P=(X−3√ 2)(X−3√ 2ω)(X−3√ 2ω2) と分解する。 なお、 ω は 1 の原始 3 乗根である。 したがって、 L:=󱀐(3√ 2,3√ 2ω,3√ 2ω2)=󱀐(3√ 2,ω) は 󱀂 内の P の最小分解体である。

命題 26.

体 K とモニック多項式 P∈K[X] に対し、 P の分解体は存在する。

証明.

n:=degP に関する帰納法による。 n=0 ならば P=1 だから、 K そのものが P の分解体になる。

n≥1 とする。 Q∣P なる既約多項式 Q∈K[X] をとり、 L:=K[X]/⟨Q⟩ とおく。 L は K の拡大体だから P,Q∈L[X] と見なすことができ、 x:=X∈L とすると Q(x)=0 を満たす。 Q∣P であったから、 P(x)=0 も成り立つ。 したがって、 ある P1∈L[X] が存在して P=(X−x)P1 と書ける。 degP1<degP だから、 帰納法の仮定によって P1 の L 上分解体 M が存在する。 このとき、 P1 は M[X] において 1 次式の積に分解するから、 P=(X−x)P1 も M[X] で 1 次式の積に分解する。 よって、 M は P の分解体でもある。

命題 27.

体 K とモニック多項式 P∈K[X] をとる。 P の最小分解体 L および K の拡大体 K󰎘 に対し、

  1. K󰎘 は P の K 上分解体である。
  2. 体の K-準同型写像 φ:L→K󰎘 が存在する。

は同値である。

証明.

条件 1 ⇒ 条件 2:n:=degP に関する帰納法による。 n=0 なら P=1 だから、 L=K である。 したがって、 φ:L→K󰎘 を包含写像とすれば良い。

n≥1 とする。 Q∣P なる既約多項式 Q∈K[X] をとる。 L は P の分解体なので、 P は L[X] において 1 次式の積に分解するから、 それをわり切る Q も L[X] で 1 次式の積に分解する。 したがって、 ある a∈L が存在して Q(a)=0 が成り立つ。 K1:=K(a)≤L とすると、 ψ:K[X]/⟨Q⟩→K1;f↦f(a) は定義できて体の準同型写像となり、 さらに全射である。 体の準同型写像は勝手に単射になるので、 ψ は同型写像である。 よって、 以降は K1=K[X]/⟨Q⟩ と見なす。 さて、 K󰎘 は P の分解体なので、 P は K󰎘[X] で 1 次式の積に分解し、 したがって Q も 1 次式の積に分解する。 よって、 ある x∈K󰎘 がとれて Q(x)=0 が成り立つ。 これにより、 ψ󰎘:K[X]/⟨Q⟩→K󰎘;f↦f(x) が定義てきて体の K-準同型写像になる。 この ψ󰎘 によって K1=K[X]/⟨Q⟩ を K󰎘 の部分体と見なす。

P の L[X] における 1 次式の分解は、 P(a)=0 だったことを踏まえると、 ai∈L たちによって、 P=:(X−a)n−1󰄖i=0(X−ai) と表せる。 また、 a∈K1 より P=(X−a)P1 を満たす P1∈K1[X] がとれて、 L[X] においては P1=n−1󰄖i=0(X−ai) と分解される。 ここで、 L は最小分解体だから L=K(a1,⋯,an−1,a) である。 K1=K(a) とおいたから、 L=K1(a1,⋯,an−1) でもある。 すなわち、 L は P1 の K1 上最小分解体である。 さらに、 K󰎘 は P の K 上分解体であったから P1 の K 上分解体にもなっている。 以上により帰納法の仮定が使えて、 体の K1-準同型写像 φ:L→K󰎘 が存在する。 さて、 今は ψ󰎘 によって K1≤K と見なしているから、 図式 LK󰎘K1Kφψ󰎘 は可換である。 したがって、 φ は K-準同型写像にもなっており、 これが存在を示したいものであった。

条件 2 ⇒ 条件 1:K-準同型写像 φ:L→K󰎘 があれば、 これによって L は K󰎘 の部分体と見なせる。 L は P の K 上分解体だから、 その拡大体 K󰎘 も P の分解体である。

命題 28.

体 K とモニック多項式 P∈K[X] をとる。 また、 P の最小分解体 L および K の拡大体 K󰎘 をとる。 K󰎘 内の P の最小分解体は、 命題 27 の条件 2 の準同型写像 φ:L→K󰎘 の像に一致する。

証明.

L と K󰎘 は P の分解体だから、 ai∈L たちと bi∈K󰎘 たちによって、 P=n󰄖i=1(X−ai)=n󰄖i=1(X−bi) と分解される。 φ は多項式環の間の準同型写像 󰔂φ:L[X]→K󰎘[X] を誘導するが、 f は K の元を変えないから 󰔂f(P)=P が成り立つ。 一方、 上の表示において、 󰔂φ(P)=n󰄖i=1(X−φ(ai)) が成り立つ。 これによって、 K󰎘[X] における P の 2 通りの表示 P=n󰄖i=1(X−φ(ai))=n󰄖i=1(X−bi) が得られたので、 φ(a1),⋯,φ(an) と b1,⋯,bn は順番を入れ替えればそれぞれ一致していなければならない。 L=K(a1,⋯,an) だから、 φ(L)=K(φ(a1),⋯,φ(an))=K(b1,⋯,bn) が成り立つ。 この右辺は K󰎘 内の P の最小分解体だから、 命題が従う。

定理 29.

体 K とモニック多項式 P∈K[X] に対し、 P の最小分解体は一意に存在する。

証明.

命題 26 によって最小分解体の存在は保証されている。 さらに命題 28 によって、 それらは全て同型であることが分かる。

例として P:=(X2−2)(X2−3)∈󱀐[X] を考える。 これは 󱀑[X] においては、 P=(X−√ 2)(X+√ 2)(X−√ 3)(X+√ 3) と分解する。 したがって、 L:=󱀐(√ 2,−√ 2,√ 3,−√ 3)=󱀐(√ 2,√ 3)=󱀐(√ 2+√ 3) が P の最小分解体である。 拡大次数は前に見たように [L:󱀐]=4 である。

次に P:=Xn−1∈󱀐[X](n≥1) を考える。 ζn を 1 の原始 n 乗根とすれば、 これは 󱀂[X] において、 P=n−1󰄖i=0(X−ζni) と分解する。 したがって、 L:=󱀐(1,ζn,⋯,ζnn−1)=󱀐(ζn) が P の最小分解体である。 この拡大次数 [󱀐(ζn):󱀐] は、 1 以上 n 以下の整数の中で n と互いに素なものの個数に一致することが知られている。 別の表現をすれば、 [󱀐(ζn):󱀐]=#(󱀙/n󱀙)× が成り立つ。 このことは後に定理 77 として証明する。

T を不定元とする有理関数体 K:=󱀐(T) を考え、 この上の多項式 P:=Xn−T∈K[X](n≥1) を考える。 ここで、 φ:󱀂[T]→󱀂[S];T↦Sn は環の準同型写像を定める。 φ は単射だから、 体の準同型写像 󰔃φ:󱀂(T)→󱀂(S); f(T) g(T)↦ f(Sn) g(Sn) を誘導する。 この写像によって 󱀂(T)≤󱀂(S) と見なす。 したがって、 󱀐(T)≤󱀂(T)≤󱀂(S) という体の拡大列ができる。 このとき、 P は 󱀂(S) において P=n−1󰄖i=0(X−ζniS) と 1 次式の積に分解される。 したがって、 L:=K(S,ζnS,⋯,ζnn−1S)=󱀐(S,ζn) が P の最小分解体となる。 この拡大次数は、 [L:K]=[󱀐(S,ζn):󱀐(S)][󱀐(S):󱀐(T)]=#(󱀙/n󱀙)×·n である。 なお、 上記のように 󱀂(T)≤󱀂(S) と見なしたとき、 しばしば S は n√ T と書かれる。

共役

定義 30.

体 K とその拡大体 L,K󰎘 をとり、 a∈L とする。 a が K 上代数的であるとし、 その最小多項式を P∈K[X] とする。 このとき、 x∈K󰎘 が P(x)=0 を満たすならば、 x は a の共役であるという。 さらに、 K󰎘 が P の分解体となるとき、 K󰎘 は a の共役を全て属するという。

󱀐 とその拡大体 L:=󱀐(√ 2,√ 3) を考える。 √ 2∈L の 󱀐 上最小多項式は P:=X2−2 であり、 これは L において、 P=(X−√ 2)(X+√ 2) と分解されるから、 √ 2,−√ 2∈L が √ 2 の共役である。

󱀐 とその拡大体 L:=󱀐(ζn) を考える。 なお、 ζn は 1 の原始 n 乗根とする。 ζn∈L の L での共役は、 ζni∈L(i∈(󱀙/n󱀙)×) であることが知られている。

󱀐(T) とその拡大体 L:=󱀐(n√ T,ζn) を考える。 n√ T∈L の 󱀐(T) 上最小多項式は、 Eisenstein の既約性判定法によって P:=Xn−T であることが分かる。 これは L において、 P=n−1󰄖i=0(X−ζnin√ T) と分解されるのであった。 したがって、 ζnin√ T∈L(0≤i≤n−1) が n√ T∈L の共役である。

命題 31.

体 K 、 および K の有限次拡大体 L と K の拡大体 K󰎘 をとる。 このとき、

  1. 任意の a∈L に対し、 K󰎘 は a の共役を全て属する。
  2. ある a1,⋯,an∈L が存在して L=K(a1,⋯,an) を満たし、 さらにある P1,⋯,Pn∈K[X] が存在して P1(a1)=⋯=Pn(an)=0 であって、 これらは K󰎘[X] の元と見なすと 1 次式の積に分解できる。
  3. K󰎘 の拡大体 K󰎙 と体の準同型写像 φ:L→K󰎙 が図式 LK󰎙K󰎘Kφ を可換にするならば、 φ(L)⊆K󰎘 が成り立つ。
証明.

条件 1 ⇒ 条件 2:L は K の有限次拡大だから、 L=K(a1,⋯,an) を満たすような a1,⋯,an∈L がとれる。 さらに、 a1,⋯,an の K 上最小多項式をそれぞれ P1,⋯,Pn とする。 明らかに、 各 i に対して Pi(ai)=0 が成り立つ。 また、 条件 1 から K󰎘 は ai の共役を全て属するから、 K󰎘 は Pi の分解体となり、 Pi は K󰎘[X] において 1 次式の積に分解する。 以上により、 条件 2 が従う。

条件 2 ⇒ 条件 3:K󰎘 の拡大体 K󰎙 と体の準同型写像 φ:L→K󰎙 が条件 3 の図式を可換にしているとする。 条件 2 から、 各 i に対して、 L において Pi(ai)=0 が成り立つ。 図式の可換性によって φ は K の元を変えないから、 K󰎙 において、 Pi(φ(ai))=φ(Pi(ai))=0 が成り立つ。 ここで、 Pi は K󰎘[X] において 1 次式の積に分解するから、 ある bij∈K󰎘 たちによって、 Pi=ni󰄖j=1(X−bij) と表せる。 したがって、 上の式と合わせれば、 各 i に対してある j が存在して φ(ai)=bij が成り立つ。 L=K(a1,⋯,an) であって、 その各生成元 ai は φ によって K󰎘 の元に移るのだから、 φ(L)⊆K󰎘 が成り立つ。

条件 3 ⇒ 条件 1:任意に a∈L をとる。 a の最小多項式を P∈K[X] とおく。 ここで L は K の有限次拡大だから、 L=K(a1,⋯,an) を満たす a1,⋯,an∈L が存在する。 a1,⋯,an の最小多項式をそれぞれ P1,⋯,Pn∈K[X] とする。 󰔃P:=PP1⋯Pn∈K[X] とおき、 󰔃P∈K󰎘[X] と見なしたときのこの分解体を K󰎙 とする。 K󰎙[X] において 󰔃P は 1 次式の積に分解するから、 特に P も 1 次式の積に分解する。 その分解を、 bj∈K󰎙 たちによって P=m󰄖j=1(X−bj) と表すことにする。

j(1≤j≤m) を 1 つとって固定する。 ここで、 K0 := K(a) Ki := K(a,a1,⋯,ai) (1≤i≤n) とおくと、 L の部分体の列 K≤K0≤K1≤⋯≤Kn=L が得られる。 体の K-準同型写像 φi:Ki→K󰎙 を以下によって帰納的に定める。

i=0 の場合を考える。 P は a の最小多項式だから、 K0=K(a)≅K[X]/⟨P⟩ が成り立つ。 したがって、 φ0:K[X]/⟨P⟩→K󰎙 を定めれば良い。 P(bj)=0 だから、 φ0:K[X]/⟨P⟩→K󰎙;f↦f(bj) が定義でき、 K-準同型写像である。

i≥1 とし、 φi−1:Ki−1→K󰎙 が定まっていると仮定する。 ai∈Ki の最小多項式を Qi∈Ki−1[X] とすると、 Ki−1 において Pi(ai)=0 であるから Qi∣Pi が成り立つ。 これより、 φi−1:Ki−1→K󰎙 は係数にこれを適用することによって φi−1:Ki−1[X]→K󰎙[X] に拡張されるが、 φi−1(Qi)∣φi−1(Pi) も成り立つ。 φi−1 は K の元を変えないので、 φi−1(Pi)=Pi である。 Pi は K󰎙[X] において 1 次式の積に分解されるのであったから、 それをわり切る φi−1(Qi) も 1 次式の積に分解する。 その分解を、 cik∈K󰎙 たちによって φi−1(Qi)=mi󰄖k=1(X−cik) と表す。 さて、 Ki=Ki−1(ai)≅Ki−1[X]/⟨Qi⟩ であることを踏まえて、 φi:Ki−1[X]/⟨Qi⟩→K󰎙;󰄚ldlXl↦󰄚lφi−1(dl)ci1 が定義できる。 すなわち、 係数に φi−1 を施した多項式に ci1 を代入する写像である。 φi−1 が K-準同型写像であることから、 φi も K-準同型写像になる。

以上によって、 図式 LK󰎙⋮K1K󰎘K0Kφnφ1φ0 が得られ、 作り方からこれは可換になる。 よって、 φn に条件 3 が適用できるので、 φn(L)⊆K󰎘 を得る。 ところで、 作り方から φn(a)=bj だから bj∈K󰎘 が分かる。 j は任意にとれたので、 P の 1 次式の積への分解 P=m󰄖j=1(X−bj) は K󰎘[X] における分解にもなるから、 K󰎘 は P の分解体である。 したがって、 K󰎘 は a の共役を全て属するから、 条件 1 が示された。

命題の後半の主張については、 上の条件 3 から条件 1 を導いた証明における φn:L→K󰎙 が存在を示したい写像になっている。

命題 31 の条件 3 において、 ι:K󰎘→K󰎙 を包含写像とすると、 写像 I:MorK(L,K󰎘)→MorK(L,K󰎙);σ↦ι∘σ が定まるが、 条件 3 はこの I が全射になることを主張している。 一方で、 I は自動的に単射になるので、 これによって I は全単射になる。

命題 32.

体 K、 および K の有限次拡大体 L と K の拡大体 K󰎘 をとる。 命題 31 の同値な条件が満たされているとき、 拡大 L/K の中間体 M に対し、 R:MorK(L,K󰎘)→MorK(M,K󰎘);σ↦σ|M は全射である。

証明.

K,L,K󰎘 が、 命題 31 の同値な条件のうち特に条件 1 を満たしているとする。 このとき、 任意の a∈L に対して、 a の K 上最小多項式 P∈K[X] は K󰎘[X] において 1 次式の積に分解する。

任意に τ∈MorK(M,K󰎘) をとると、 この τ によって K󰎘 は M の拡大体と見なすことができる。 a の M 上最小多項式を Q∈M[X] とする。 P∈M[X] と見なすと P(a)=0 であるから、 Q∣P が成り立つ。 P は K󰎘[X] で 1 次式の積に分解できたのだから、 それをわり切る Q も 1 次式の積に分解する。 したがって、 M,L,K󰎘 に対しても命題 31 の条件 1 が成り立つ。 よって、 命題の後半の主張によって、 体の M-準同型写像 σ:L→K󰎘 が存在する。 今、 τ によって K󰎘 を M の拡大体と見ているのだから、 図式 LK󰎘Mστ は可換である。 すなわち、 R(σ)=σ|M=τ となるから、 R は全射である。

分離多項式

定義 33.

体 K に対し、 多項式 P∈K[X] を考える。 P の分解体 K󰎘 に対して P∈K󰎘[X] が相異なる 1 次式の積に分解できるとき、 P を分離多項式という。

すなわち、 P が分離多項式であるとは P が重根をもたないということである。

定義 34.

体 K 上の多項式 P:=n󰄚i=0aiXi(ai∈K) に対し、 P󰎘:=n󰄚i=1iaiXi−1 を P の微分という。

これは解析学における通常の関数の微分と同じであるから、 微分に関する線型性や Leibniz 則は成り立つ。

補題 35.

体 K において、 多項式 P∈K[X] と元 a∈K を考える。 このとき、

  1. (X−a)2∣P が成り立つ。
  2. X−a∣P および X−a∣P󰎘 が成り立つ。

は同値である。

証明.

X−a∣P が成り立つという条件のもとで、 (X−a)2∣P と X−a∣P󰎘 が同値であることを示せば良い。 まず、 X−a∣P とすると P=(X−a)Q を満たす Q∈K[X] が存在する。 このとき、 (X−a)2∣P とは Q(a)=0 ということである。 また、 X−a∣P󰎘 とは P󰎘(a)=0 ということである。 ところが、 P󰎘=Q+(X−a)Q󰎘 であるから、 Q(a)=P󰎘(a) が成り立つ。 したがって、 Q(a)=0 と P󰎘(a)=0 は同値であり、 補題が示された。

補題 36.

体の拡大 K󰎘/K と多項式 P,Q∈K[X] をとる。 このとき、

  1. P と Q は K[X] の元として互いに素である。
  2. P と Q は K󰎘[X] の元として互いに素である。

は同値である。

証明.

P と Q が互いに素であるとは、 その最小公約式が 0 でない定数であるということである。 最小公約式を Euclid の互除法で求めることを考えると、 P,Q を K[X] の元として考えた場合でも K󰎘[X] の元として考えた場合でも、 手続きは同じである。 したがって、 補題の 2 条件は明らかに同値である。

命題 37.

体 K と多項式 P∈K[X] に対し、

  1. P は分離多項式である。
  2. P と P󰎘 は互いに素である。

は同値である。

証明.

P の分解体を K󰎘 とする。 条件 1 が成り立つとすると、 P󰎘 は K󰎘[X] において相異なる 1 次式の積に分解する。 したがって、 (X−a)2∣P󰎘 を満たす a∈K󰎘 は存在しない。 よって補題 35 より、 X−a∣P かつ X−a∣P󰎘 なる a∈K󰎘 は存在しない。 これは、 a∈K󰎘 が X−a∣P を満たせば X−a∤P󰎘 であることを意味している。 すなわち、 P の因子を P󰎘 は因子としてもたないので、 P と P󰎘 は K󰎘[X] で互いに素であることになる。 これより補題 36 から、 P と P󰎘 は K[X] でも互いに素になる。 したがって、 条件 2 が示された。 この議論は逆にも辿れるので、 2 つの条件の同値性が示された。

命題 38.

体 K と既約多項式 P∈K[X] をとる。 このとき、

  1. P は分離多項式ではない。
  2. p:=charK とおくと p>0 であり、 ある Q∈K[X] が存在して P=Q(Xp) かつ Q∉Kp[X] が成り立つ。

は同値である。

証明.

条件 1 ⇒ 条件 2:条件 1 が成り立つとする。 このとき、 命題 37 によって P と P󰎘 は互いに素ではない。 したがって、 P と P󰎘 の最大公約式 Q は 0 であるか 1 次以上の多項式である。 Q≠0 であるとすると、 Q∣P が成り立つが P は既約なので、 Q は P に一致しなければならない。 したがって、 Q∣P󰎘 より P∣P󰎘 を得るが、 微分の定義より degP>degP󰎘 であるからこれは矛盾である。 よって Q=0 であり、 P≠0 より P󰎘=0 が分かる。 ここで、 P=:n󰄚i=0aiXi(ai∈K) とおくと、 P󰎘=n󰄚i=1iaiXi−1 であるから、 P󰎘=0 より iai=0(1≤i≤n) が成り立つ。 もし charK=0 であったら、 これより ai=0(1≤i≤n) となって P は定数になり、 既約性に矛盾する。 したがって、 charK>0 である。

p:=charK とおく。 このとき、 p∤i ならば ai=0 となる。 したがって、 Q:=󰄚p∣i0≤i≤naiXi/p とおけば、 Q(Xp):=󰄚p∣i0≤i≤naiXi=󰄚0≤i≤naiXi=P が成り立つ。 また、 もし 1 次以上の多項式 Q1,Q2 によって Q=Q1Q2 と表すことができるとすると、 P=Q1(Xp)Q2(Xp) となって P の既約性に矛盾するから、 Q は既約である。 さらに、 もし Q∈Kp[X] であるとすると、 Q=:m󰄚i=0bipXi(bi∈K) と表せることになるが、 P=Q(Xp)=m󰄚i=0bipXpi=(m󰄚i=0biXi(p となって P の既約性に矛盾するから、 Q∉Kp[X] が成り立つ。 以上で、 条件 2 が示された。

条件 2 ⇒ 条件 1:条件 2 の Q∈K[X] を Q=:n󰄚i=0aiXi(ai∈K) と表す。 このとき、 P=Q(Xp)=n󰄚i=0aiXpi であるから、 charK=p であることより、 P󰎘=n󰄚i=1piaiXpi−1=0 が成り立つ。 よって、 P と P󰎘 は互いに素とはならないから、 命題 37 によって P は分離多項式ではなく、 条件 1 が示された。

有限体

定理 39.

有限体の元の個数は必ず素数冪である。

有限体 K を任意にとり、 p:=charK とおく。 p=0 なら、 命題 3 によって K は 󱀐 を部分体として含むことになり、 K の有限性に矛盾する。 したがって p>0 であるから、 再び命題 3 によって K は 󱀅p:=󱀙/p󱀙 を含む。 ここで n:=[K:󱀅p] とおくと、 K の有限性から n<∞ である。 これより、 K は 󱀅p-線型空間として n 次元であり、 󱀅p の元の個数は p であるから、 K の元の個数は pn である。

補題 40.

体 K,K󰎘 の間の準同型写像 σ,τ:K→K󰎘 があるとき、 K0:={x∈K∣σ(x)=τ(x)} は K の部分体である。

証明.

体の条件を素直に確かめれば良い。

定理 41.

元の個数が素数冪 q=:pn となる体は Xq−X の最小分解体となり、 それは同型を除いて一意に存在する。

定理 42.

元の個数が素数冪 q=:pn となる体 K に対し、 Aut(K) は Frobenius 写像で生成される n 次巡回群である。

上の 2 つの定理を同時に示す。

証明.

Xq−X∈󱀅p[X] の最小分解体を L とする。 ここで、 (Xq−X)󰎘=qXq−1−1=−1≠0 であるから、 Xq−X と (Xq−X)󰎘 は互いに素である。 したがって、 命題 37 によって Xq−X は分離多項式となるから、 これを L[X] の元と見なせば相異なる 1 次式の積に分解する。 これにより、 Xq−X の根は相異なるから、 L0:={x∈L∣xq−x=0} は元の個数が q 個の集合である。

さて、 charL=char󱀅p=p≠0 であるから、 Frobenius 写像 φ:L→L が考えられる。 このとき、 L0 は L0:={x∈L∣φn(x)=id(x)} と書けるから、 補題 40 によってこれは体になる。 ところで、 最小分解体の定義から、 L0 の全ての元で 󱀅p 上生成される体が L になるのであった。 一方、 L0 はそれ自身が体であることが示されたので、 󱀅p(L0)⊆L0 である。 これによって L⊆L0 が分かったので L=L0 である。 #L=#L0=q より、 元の個数が q の体が存在することが示された。

元の個数が q の有限体 K を任意にとる。 このとき、 charK=p であり、 K は 󱀅p を部分体として含む。 σ∈Aut(K) を任意にとると、 σ(1)=1 より σ は 󱀅p の元を変えない。 したがって σ∈Mor󱀅p(K,K) である。 逆に σ∈Mor󱀅p(K,K) をとると、 K が有限であることから σ は全単射になるので、 σ∈Aut(K) が成り立つ。 以上により、 Aut(K)=Mor󱀅p(K,K) である。 すると、 定理 23 によって、 #Aut(K)=#Mor󱀅p(K,K)≤[K:󱀅p]=n♯ が成り立つ。

Frobenius 写像 φ:K→K を考えると、 上の議論によって φ∈Aut(K) であるから、 ⟨φ⟩⊆Aut(K) が成り立つ。 i=1,⋯,n−1 に対し、 K0:={x∈K∣φi(x)=id(x)}={x∈K∣xpi−x=0} とおく。 K0 は pi 次方程式の根全体の集合だから、 その元の個数は pi 以下である。 したがって、 #K0≤pi<pn=q より、 K0⊊K が成り立つ。 すなわち φi≠id であるから、 φ∈Aut(K) の位数は n 以上である。 よって、 n≤#⟨φ⟩≤#Aut(K) が示された。 式 ♯ と合わせれば、 Aut(K)=⟨φ⟩ であり、 φ の位数が n であることが分かる。 したがって、 φn=id となるから、 任意の x∈K に対して xq−x=0 が成り立つ。 すなわち、 Xq−X は K[X] 上で Xq−X=󰄖x∈K(X−x) という 1 次式の積に分解する。 すなわち、 K は Xq−X の最小分解体である。 定理 29 によって最小分解体は全て互いに同型だったので、 元の個数が q の体の一意性も示された。

定義 43.

元の個数が素数冪 q=:pn であるような有限体を 󱀅q と書く。

元の個数が小さい有限体を調べる。 まず、 󱀅4 は 󱀅2 の 2 次拡大である。 したがって、 a∈󱀅4∖󱀅2 の最小多項式を P∈󱀅2[X] とすると、 󱀅4≅󱀅2[X]/⟨P⟩ である。 この P は 2 次の既約多項式である。 󱀅4 は X4−X の最小分解体だから、 󱀅4 の元は全て X4−X の根である。 したがって、 P は X4−X をわり切る。 一方で、 X2−X=X(X−1)=󰄖x∈󱀅2(X−x) であり、 P は 󱀅2 に属さない元の最小多項式だから、 この X2−X とは互いに素である。 したがって、 P= X4−X X2−X=X2+X+1 となる。 これより、 󱀅4≅󱀅2[X]/⟨X2+X+1⟩ と書ける。

次に、 󱀅8 は 󱀅2 の 3 次拡大である。 󰄖x∈󱀅8(X−x)=X8−X=X(X−1)(X3+X2+1)(X3+X+1) であり、 X3+X2+1 と X3+X+1 は 󱀅2[X] でともに既約多項式であるから、 󱀅8≅󱀅2[X]/⟨X3+X2+1⟩≅󱀅2[X]/⟨X3+X+1⟩ となる。

最後に、 󱀅9 は 󱀅3 の 2 次拡大である。 したがって、 a∈󱀅9∖󱀅3 の最小多項式を P∈󱀅3[X] とすれば、 これは 2 次の既約多項式である。 󱀅3 上の 2 次の既約多項式は X2+1,X2−X−1,X2+X−1 の 3 つであることが分かる。 実際、 󰄖x∈󱀅9(X−x)=X9−X=X(X−1)(X+1)(X2+1)(X2−X−1)(X2+X−1) が成り立っている。 これより、 󱀅9≅󱀅3[X]/⟨X2+1⟩≅󱀅3[X]/⟨X2±X−1⟩ である。

分離拡大

定義 44.

体の拡大 L/K を考える。 a∈L が K 上代数的であり、 その最小多項式が分離多項式であるとき、 a は K 上分離的であるという。 また、 L が K の代数拡大であり、 L の任意の元が K 上分離的であるとき、 L は K の分離拡大という。

元の個数が素数冪 pn の有限体 K をとる。 任意の元 a∈K の最小多項式を P∈󱀅p[X] とすると、 P は Xq−X をわり切るが、 Xq−X は分離多項式だから P も分離多項式となる。 したがって、 K は 󱀅p の分離拡大である。

分離拡大の言葉を用いて、 定理 23 に同値な条件をもう 1 つ付け加える。

定理 45.

体 K とその拡大体 L,K󰎘 をとり、 L は K の有限次拡大とする。 このとき、 #MorK(L,K󰎘)≤[L:K]♡ が成り立ち、

  1. 式 ♡ が等号で成り立つ。
  2. L の任意の元の K 上最小多項式は、 K󰎘 上で相異なる 1 次式の積に分解する。
  3. ある x1,⋯,xn∈L が存在して、 L=K(x1,⋯,xn) が成り立ち、 x1,⋯,xn の各 K 上最小多項式が K󰎘 上で相異なる 1 次式の積に分解する。
  4. L は K の分離拡大で、 L の任意の元の共役は全て K󰎘 に属する。

は同値である。

証明.

定理 23 において、 最初の主張と条件 1, 2, 3 の同値性はすでに示されている。 したがって、 条件 2 と条件 4 の同値性を示せば十分であるが、 これは単に言葉を言い換えたに過ぎない。

命題 46.

体 K とその有限次拡大 L に対し、

  1. L は K の分離拡大である。
  2. K 上分離的な元 a1,⋯,an∈L であって L=K(a1,⋯,an) となるものが存在する。
  3. K の拡大体 K󰎘 が L の任意の元の K 上の共役を全て属するなら、 #MorK(L,K󰎘)=[L:K] を満たす。

は同値である。

証明.

条件 1 ⇒ 条件 2:L は有限次拡大だから、 L=K(a1,⋯,an) を満たすような a1,⋯,an∈L はとれる。 条件 1 から L は分離拡大なので、 a1,⋯,an は分離的である。

条件 2 ⇒ 条件 3:条件 2 の a1,⋯,an∈L をとり、 それぞれの最小多項式を P1,⋯,Pn∈K[X] とする。 P1⋯Pn の分解体を K󰎘 とすれば、 命題 31 によって K󰎘 は L の任意の元の共役を全て属するので、 定理 45 の条件 3 と条件 1 の同値性により、 示された。

条件 3 ⇒ 条件 1:定理 45 の条件 1 と条件 4 の同値性から明らかである。

命題 47.

体 K とその有限次拡大 L をとり、 拡大 L/K の中間体 M をとる。 このとき、

  1. L は K の分離拡大である。
  2. M は K の分離拡大で、 L は M の分離拡大である。

は同値である。

証明.

L は K の分離拡大であれば、 明らかに M は K の分離拡大である。 したがって、 M/K が分離的であるという仮定のもとで、 L/K が分離的であることと L/M が分離的であることの同値性を示せば良い。

L/K が分離的であるとする。 任意の a∈L に対し、 その K 上最小多項式を P∈K[X] とし、 M 上最小多項式を Q∈M[X] とする。 仮定から P は分離多項式である。 一方で Q は P をわり切るから、 Q も分離多項式である。 以上により、 L/M は分離的である。

逆に L/M が分離的であるとする。

命題 48.

体 K とその有限次分離拡大 L1,L2 をとる。 このとき、 合成体 L1·L2 は K の分離拡大である。

証明.

命題 46 により、 K 上分離的な元 a1,⋯,am,b1,⋯,bn∈L が存在して、 L1=K(a1,⋯,am) および L2=K(b1,⋯,bn) が成り立つ。 このとき、 L1·L2=K(a1,⋯,am,b1,⋯,bn) であるから、 再び命題 46 によって L1·L2 は K の分離拡大である。

命題 49.

体 K とその拡大体 L に対し、 Ls:={a∈L∣a は K 上分離的} は L の部分体である。

証明.

任意に a,b∈Ls をとると、 K(a),K(b) は K の分離拡大である。 したがって、 命題 48 によって、 その合成体 K(a,b) も K の分離拡大である。 a+b,ab,a−1 は全て K(a,b) に属するから、 これらは K 上分離的であり Ls に属する。

定義 50.

体 K とその拡大体 L に対し、 L の部分体 Ls:={a∈L∣a は K 上分離的} を L における K の分離閉包という。

命題 51.

体 K をとり、 p:=charK とおく。 このとき、

  1. K の任意の代数拡大は分離拡大である。
  2. p=0 であるか、 p>0 であって Kp=K が成り立つ。

は同値である。

証明.

条件 1 ⇒ 条件 2:条件 2 が成り立たないとすると、 p>0 であり Kp≠K である。 したがって、 a∈K∖Kp が存在する。

Xp−a∈K[X] を考え、 この分解体を K󰎘 とする。 Xp−a は K󰎘[X] においては 1 次式の積に分解するから、 この根 b∈K󰎘 が存在する。 すなわち bp=a が成り立つ。 したがって、 p 乗写像が体の準同型写像になることに注意して、 Xp−a=Xp−bp=(X−b)p が成り立つ。 ここで、 Xp−a が K[X] において既約でないとすると、 定数でないモニック多項式 P,Q∈K[X] が存在して PQ=Xp−a と表せる。 したがって、 K󰎘[X] において PQ=(X−b)p が成り立つから、 ある P=(X−b)i(0<i<p) となる。 これの i−1 次の項の係数は −ib であるから、 P∈K[X] より ib∈K となる。 0<i<p より K の元として i≠0 だから、 b∈K を得る。 これにより、 a=bp∈Kp となるが、 これは矛盾である。 以上により、 Xp−a∈K[X] は既約である。

これによって、 L:=K[X]/⟨Xp−a⟩ は K の代数拡大になる。 X∈L の最小多項式は Xp−a となるが、 これは分離多項式ではないので、 L は K の分離拡大ではない。 したがって、 条件 1 の否定が示された。 この対偶をとれば、 条件 1 から条件 2 が導かれる。

条件 2 ⇒ 条件 1:条件 1 が成り立たないとする。 このとき、 分離的でない既約多項式 P∈K[X] が存在する。 命題 38 によって、 まず p>0 であり、 Q∈K[X]∖Kp[X] が存在するから、 特に K≠Kp である。 したがって、 条件 2 の否定が示された。 対偶をとれば、 条件 2 から条件 1 が導かれる。

定義 52.

体 K が命題 51 の同値な条件を満たすとき、 K を完全体という。

標数が 0 の体は全て完全体だから、 󱀐,󱀑,󱀂 は完全体である。 また、 有限体 󱀅q に対して Frobenius 写像が全単射になるので、 󱀅q は完全体である。 一方、 標数が正の体 K に対して、 その有理関数体 K(X) は完全体にはならない。 実際、 X∈K(X) であるが X∉K(X)p である。

分離拡大の中間体

有限次分離拡大 L/K があるとし、 K の拡大体 K󰎘 が L の任意の元の K 上の共役を全て属するとする。 S:=MorK(L,K󰎘) とおくと、 命題 46 によって #S=[L:K] である。 もし a∈L によって L=K(a) と書けるなら、 補題 22 によって、 a の最小多項式の K󰎘 上の根の個数が #S に一致するのだった。

さて、 この有限次分離拡大 L/K の中間体 M について調べたい。 SM:=MorK(M,K󰎘) とすれば、 命題 32 によって、 σ∈S を σ|M∈SM に移す写像は全射であった。 したがって、 S 上の関係 ∼M を、 σ∼Mτ:⟺σ|M=τ|M によって定義すれば、 これは同値関係となり、 S/∼M と SM の間には 1 対 1 の対応ができる。 また、 󰒤 := {M∣M は L/K の中間体} 󰒜 := {∼∣∼ は S 上の同値関係} とおくと、 上記の記号を用いて写像 Σ:󰒤→󰒜;M↦∼M が定義でき、 これによって L/K の中間体と S の同値関係が結びつく。 なお、 次に示すように Σ は単射になる。 また、 L/K が後に定義する Galois 拡大になっていれば、 Σ の像を記述できることが分かる。

命題 53.

有限次分離拡大 L/K の中間体 M に対し、 M={x∈L∣σ∼Mτ ならば σ(x)=τ(x)} が成り立つ。

証明.

命題の式の右辺を M󰎘 とおくと、 これも L/K の中間体である。 ∼M の定義から M⊆M󰎘 は明らかに成り立つので、 これの逆の包含関係を示せば良い。

σ∼Mτ が成り立っているとすると、 M󰎘 の定義から、 任意の x∈M󰎘 に対して σ(x)=τ(x) が成り立つ。 すなわち σ|M󰎘=τ|M󰎘 が成り立つので、 σ∼M󰎘τ である。 以上により、 ∼M⊆∼M󰎘 である。 これにより、 dimKM=[M:K]=#SM=#(S/∼M)≤#(S/∼M󰎘)=dimKM󰎘 を得るが、 M⊆M󰎘 より上式の不等号は等号でなければならないので、 M=M󰎘 となる。

命題 54.

有限次分離拡大 L/K の中間体 M,M󰎘 に対し、

  1. M⊆M󰎘 が成り立つ。
  2. ∼M⊇∼M󰎘 が成り立つ。

は同値である。

証明.

条件 1 ⇒ 条件 2:定義から自明である。

条件 2 ⇒ 条件 1:条件 2 から、 {x∈L∣σ∼Mτ ならば σ(x)=τ(x)}⊆{x∈L∣σ∼M󰎘τ ならば σ(x)=τ(x)} が分かるが、 命題 53 よりこの右辺は M と一致し左辺は M󰎘 と一致する。

命題 55.

有限次分離拡大 L/K について、 K の拡大体 K󰎘 が L の任意の元の共役を全て属するとする。 このとき、 a∈L について、

  1. L=K(a) が成り立つ。
  2. σ∈MorK(L,K󰎘) を σ(a)∈K󰎘 に移す写像は単射である。

は同値である。 また、 上記の同値な条件を満たす a∈L は常に存在する。

証明.

条件 1 は ∼K(a)=∼L と同値である。 ここで、 σ∼K(a)τ は、 σ,τ が K の元を変えないことに注意して、 σ(a)=τ(a) と同じ意味である。 一方、 σ∼Lτ は常に成り立つ。 したがって、 ∼K(a)=∼L が成り立つことは、 σ(a)=τ(a) なら σ=τ であることと同値である。 これは条件 2 の写像が単射ということである。

さて、 上記の条件 2 を満たす a∈L の存在を示す。 条件 2 の写像が単射であるためには、 a∉󰆊σ,τ∈MorK(L,K󰎘)σ≠τ{x∈L∣σ(x)=τ(x)}♯ であれば良いから、 これを満たすような a∈L を見つける。

K が無限体であるとする。 上式の右辺にある {x∈L∣σ(x)=τ(x)} は L/K の部分体であって L には一致しない。 したがって、 これは K-線型空間として L の真の部分空間である。 K-線型空間は、 その真の部分空間の有限個の合併では書けないことが知られているから、 式 ♯ のような a∈L は必ず存在する。

次に、 K が有限体である場合を考える。 p:=charK とする。 L は K の有限次拡大であるから L も有限体となるので、 L=󱀅pn と見なして良い。 このとき、 󱀅p⊆K⊆L=󱀅pn なので、 󱀅pn=󱀅p(a) となる a∈󱀅pn を見つければ良い。

さて、 任意に x∈󱀅pn をとると xq−x=0 だから、 x の 󱀅p 上最小多項式は Xq−X をわり切る。 󱀅pn は Xq−X の最小分解体だったから、 P の分解体でもある。 すなわち、 󱀅pn は 󱀅pn の任意の元の 󱀅p 上共役を全て属する。 以上によって、 K=󱀅p,L=󱀅pn,K󰎘=󱀅pn としたときの式 ♯ を満たす a∈󱀅pn を見つければ十分である。 Frobenius 写像を φ:󱀅pn→󱀅pn とおくと、 定理 42 によって Aut(󱀅pn) は φ を生成元とする n 次巡回群である。 したがって、 任意の σ,τ∈Aut(󱀅pn) について σ=φi,τ=φj(0≤i,j<n) と表せる。 このとき、 {x∈󱀅pn∣σ(x)=τ(x)}={x∈󱀅pn∣φi−j(x)=x} と書ける。 σ,τ が Aut(󱀅pn) の相異なる元を動くとき、 j−i は 1 以上 n 未満の整数を動くから、 式 ♯ の右辺は T:=n−1󰆊l=1{x∈󱀅pn∣φl(x)=x}=n−1󰆊l=1{x∈󱀅pn∣xpl−x=0} に等しい。 ここで、 xpl−x=0 を満たす x∈󱀅pn は高々 pl 個しかないので、 #T≤n−1󰄚l=1pl= pn−p p−1<pn=#󱀅pn が成り立つ。 したがって、 T は 󱀅pn とは一致しないから、 a∈󱀅pn∖T が存在し、 これが求めるものであった。

正規拡大

定義 56.

代数拡大 L/K に対し、 L が L 自身の任意の元の共役を全て属するとき、 L/K を正規拡大という。

命題 57.

有限次拡大 L/K とその中間体 M について、 L は M の任意の元の K 上共役を全て属するとする。 このとき、

  1. M/K は正規拡大である。
  2. 任意の φ∈MorK(M,L) に対して φ(M)⊆M が成り立つ。

は同値である。

証明.

条件 1 ⇒ 条件 2:任意に φ∈MorK(M,L) をとる。 M/K は正規拡大なので、 M は M の任意の元の K 上共役を全て属する。 したがって、 命題 31 の条件 1 と条件 3 の同値性により、 φ(M)⊆M が成り立つ。 よって、 条件 2 が示された。

条件 2 ⇒ 条件 1:L󰎘:=L·K󰎘 とおき、 L⊆L󰎘 および K󰎘⊆L󰎘 と見る。 任意に K-準同型写像 φ:M→K󰎘 をとると、 これは φ:M→L󰎘 と見ることができる。 L は M の任意の元の共役を全て属するので、 命題 31 によって φ(M)⊆L を満たす。 これにより、 φ:M→L と見なすことができ、 条件 2 によって φ(M)⊆M が成り立つ。 これは、 命題 31 を再び使うことで、 M が M の任意の元の共役を全て属することを意味する。 すなわち、 M は K の正規拡大であり、 条件 1 が示された。

命題 58.

体 K とその有限次正規拡大 L1,L2 をとる。 このとき、 合成体 L1·L2 は K の正規拡大である。

証明.

命題 31 の条件 1 と条件 2 の同値性を使えば明らかである。

Galois 拡大

定義 59.

拡大 L/K に対し、 AutK(L):={φ:L→L∣φ は K 上の体の同型写像} と書く。

定義から明らかに AutK(L)⊆MorK(L,L) である。 L/K が有限次拡大であれば、 φ∈AutK(L) は同じ有限次元 K-線型空間の間の単射 K-線型写像であるから、 同型写像になる。 すなわち、 このときは AutK(L)=MorK(L,L) が成り立つ。

定義 60.

有限次拡大 L/K に対し、 #AutK(L)=[L:K] を満たすとき L/K を Galois 拡大という。 また、 Gal(L/K):=AutK(L) を L/K の Galois 群という。

󱀂 上の体の自己同型写像で 󱀑 の元を動かさないものは、 恒等写像と共役写像のみである。 したがって Aut󱀑(󱀂)=2 であり、 一方で [󱀂:󱀑]=2 であるから、 拡大 󱀂/󱀑 は Galois 拡大である。 また、 Gal(󱀂/󱀑)≅󱀙/2󱀙 である。

素数冪 pn に対し、 定理 42 によって Aut󱀅pn(󱀅p) は n 次巡回群であったから、 特に #Aut󱀅pn(󱀅p)=n である。 一方で [󱀅pn:󱀅p]=n だから、 拡大 󱀅pn/󱀅p は Galois 拡大であり Gal(󱀅pn/󱀅p)≅󱀙/n󱀙 である。

拡大 L/K が Galois 拡大であり、 ある a∈L によって L=K(a) と表せたとする。 このとき、 a の最小多項式を P∈K[X] とすれば、 L≅K[X]/⟨P⟩ である。 ここで、 S := {x∈L∣P(x)=0} T := MorK(L,L)=AutK(L) とおくと、 補題 22 により S と T の間に 1 対 1 対応があるのであった。 n:=[L:K] とおけば、 Galois 拡大の定義から #T=n である。 したがって #S=n でもあるが、 P の次数は n なので、 P は L[X] で相異なる 1 次式の積に分解しなければならない。 この分解を、 P=:n󰄖i=1(X−ai)(ai∈L) とおく。 ところで、 上の S と T の対応は、 σ∈T に対し σ(a)∈S を対応させるというものであった。 したがって、 S=:{σ1,⋯,σn} とおけば、 添字の順番を適宜入れ替えることで、 ai=σi(a) と表せる。 よって P の分解は、 P=󰄖σ∈Gal(L/K)(X−σ(a)) と書ける。 すなわち、 Galois 群によって P の 1 次式の積への分解が得られ、 P の 1 次式への分解から Galois 群も決まるのである。

命題 61.

有限次拡大 L/K に対し、

  1. L/K は Galois 拡大である。
  2. L/K は分離拡大かつ正規拡大である。

は同値である。

証明.

この命題の主張は、 定理 45 の条件 1 と条件 4 の同値性そのものである。

命題 62.

体 K とその有限次 Galois 拡大 L1,L2 をとる。 このとき、 合成体 L1·L2 は K の Galois 拡大である。

証明.

命題 48 と命題 58 と命題 61 を合わせれば明らかである。

さて、 命題 61 により Galois 拡大では分離拡大であることが分かる。 ただし、 全ての分離拡大が Galois 拡大になるとは限らない。 しかし、 以下のようにして、 分離拡大を含むような Galois 拡大を構成することはできる。

有限次分離拡大 L/K と K の拡大体 K󰎘 に対し、 K󰎘 は L の任意の元の K 上共役を全て属するとする。 n:=[L:K] とおけば、 定理 45 によって #MorK(L,K󰎘)=n である。 そこで、 MorK(L,K󰎘) の相異なる元を σ1,⋯,σn とすれば、 σ1(L),⋯,σn(L) は K󰎘 の部分体であるから、 これら全ての合成体 󰔃L≤K󰎘 をとることができる。

命題 63.

有限次分離拡大 L/K と K の拡大体 K󰎘 に対し、 K󰎘 は L の任意の元の K 上共役を全て属するとする。 上記の 󰔃L に対し、 拡大 󰔃L/K は有限次 Galois 拡大である。

証明.

各 σi(L) は L と同型であるから K の有限次拡大になっている。 したがって、 それらの合成体である 󰔃L も K の有限次拡大である。 同じように、 各 σi(L) は K の分離拡大でもあるので、 命題 48 によって 󰔃L も K の分離拡大である。

σi(L) たちの K 上生成元を全て集めれば 󰔃L の K 上生成元になる。 K󰎘 はこれらの生成元の共役は全て属するので、 定理 45 の条件 2 と条件 3 の同値性を使うことで、 K󰎘 は 󰔃L の任意の元の共役を全て属することが分かる。 ところで、 任意の φ∈MorK(󰔃L,K󰎘) に対し、 φ(󰔃L) = φ(σ1(L)·⋯·σn(L)) = φ(σ1(L))·⋯·φ(σn(L)) が成り立つ。 φ∘σi∈MorK(L,K󰎘) であるから、 󰔃L の定義から上式の最右辺は 󰔃L に含まれる。 したがって φ(󰔃L)⊆󰔃L が示された。 これにより、 󰔃L は 󰔃L の任意の元の共役を全て属するから、 命題 57 によって 󰔃L は K の正規拡大である。

以上により、 命題 61 によって 󰔃L/K は有限次 Galois 拡大である。

定義 64.

有限次分離拡大 L/K に対し、 上記の 󰔃L を L の Galois 閉包という。

Galois 拡大の中間体と自己同型群の部分群の対応を調べる。

定義 65.

拡大 L/K と有限部分群 G≤AutK(L) に対し、 LG:={x∈L∣任意の σ∈G に対し σ(x)=x} を G における不変部分体という。

不変部分体が実際に体になることは補題 40 から従う。 これは拡大 L/K の中間体になっている。

定理 66.

拡大 L/K と有限部分群 G≤AutK(L) に対し、

  1. L/K は有限次 Galois 拡大であり、 G はその Galois 群である。
  2. K=LG が成り立つ。

は同値である。

証明.

条件 1 ⇒ 条件 2:L/K は有限次 Galois 拡大なので、 命題 61 により L/K は有限次分離拡大でもある。 G は Galois 群だから、 G=MorK(L,L) である。 命題 53 を使えば、 K = {x∈L∣任意の σ,τ∈MorK(L,L) に対し σ∼Kτ ならば σ(x)=τ(x)} = {x∈L∣任意の σ,τ∈G に対し σ(x)=τ(x)} = {x∈L∣任意の σ󰎘∈G に対し σ󰎘(x)=x} = LG が分かる。

条件 2 ⇒ 条件 1:L󰎘:=⨁σ∈GL とおき、 これを L-線型空間と見なす。 また、 L を K-線型空間を見なす。 写像 F:L→L󰎘;y↦(σ(y))σ∈G は K-線型写像であり、 各 σ∈G が単射であることから Φ も単射である。

y1,⋯,ym∈L が K 上線型独立ならば F(y1),⋯,F(ym)∈L󰎘 が L 上線型独立であることを示す。 m に関する帰納法による。 m=1 ならば、 示すべきことはない。 m≥2 とする。 F(y1),⋯,F(ym) が線型独立でないとすると、 ある ai∈L たちによって、 F(ym)=m−1󰄚i=1aiF(yi) と書ける。 F の定義から、 これは任意の σ∈G に対し、 σ(ym)=m−1󰄚i=1aiσ(yi) が成り立つことを意味する。 したがって、 さらに任意の τ∈G に対し、 τ(σ(ym))=m−1󰄚i=1τ(ai)τ(σ(yi)) が成り立つ。 ここで、 σ󰎘:=τ∘σ とおくと、 σ󰎘(ym)=m−1󰄚i=1τ(ai)σ󰎘(yi) となるが、 σ が G 全体を動くとき σ󰎘 も G 全体を動くから、 これは F(ym)=m−1󰄚i=1τ(ai)F(yi) を意味する。 最初の式と比べれば、 m−1󰄚i=1aiF(yi)=m−1󰄚i=1τ(ai)F(yi) を得るが、 帰納法の仮定から F(y1),⋯,F(ym−1) は線型独立なので、 ai=τ(ai) を得る。 τ∈G は任意にとれたので、 ai∈LG=K を得る。 すると、 F(ai)=ai だから、 F(ym)=m−1󰄚i=1F(aiyi) となり、 F が単射であることから、 ym=m−1󰄚i=1aiyi を得るが、 これは y1,⋯,ym が線型独立であることに矛盾する。 以上で主張は示された。

さて、 これより L において K 上線型独立な元が dimLL󰎘 個より多くとれたとすると、 それらの F の像は L󰎘 において L 上線型独立であるが、 それは矛盾である。 したがって、 L における K 上線型独立な元は高々 dimLL󰎘 個しかとれない。 これより dimKL≤dimLL󰎘 が得られ、 さらに [L:K]=dimKL≤dimLL󰎘=#G≤#AutK(L)=#MorK(L,L)≤[L:K] が分かる。 この最両辺は一致しているので、 ここに出てくる不等号は全て等号でなければならない。 #AutK(L)=[L:K] であるから L/K は Galois 拡大であり、 G=AutK(L) より G はその Galois 群である。

定理 67 [Galois 理論の基本定理].

有限次 Galois 拡大 L/K をとり、 G:=Gal(L/K) とおく。 L/K の中間体 M に対し、 L/M は有限次 Galois 拡大であり、 H:=Gal(L/M) とおくと M=LH が成り立つ。 逆に、 G の部分群 H に対し、 M:=LH とおくと L/M は有限次 Galois 拡大で、 H=Gal(L/M) が成り立つ。

証明.

L/K の中間体 M をとる。 L/M は明らかに有限次拡大である。 L/K は分離拡大なので、 命題 47 より L/M も分離拡大である。 また、 L/K は正規拡大なので、 正規拡大の定義から明らかに L/M も正規拡大である。 したがって、 L/M は有限次 Galois 拡大である。 また、 定理 66 により、 M=LH である。

逆に、 G の部分群 H をとる。 定理 66 により、 L/M は有限次分離拡大であって H はその Galois 群である。

定理 67 の主張は次のように言い換えることができる。 すなわち、 有限次 Galois 拡大 L/K に対し、 󰒤 := {M∣M は L/K の中間体} 󰒟 := {H∣H は Gal(L/K) の部分群} とおくと、 Φ: 󰒤→󰒟; M↦Gal(L/M) Ψ: 󰒟→󰒤; H↦LH は互いに逆写像である。

命題 68.

有限次 Galois 拡大 L/K とその中間体 M,M󰎘 をとる。 M,M󰎘 に対応する群をそれぞれ H,H󰎘 とすると、

  1. M⊆M󰎘 が成り立つ。
  2. H⊇H󰎘 が成り立つ。

は同値である。

証明.

中間体と群の対応から明らかである。

命題 69.

有限次 Galois 拡大 L/K をとり、 G:=Gal(L/K) とする。 L/K の中間体 M に対応する群を H とするとき、 σ∈G に対して σ(M) に対応する群は σHσ−1 である。

証明.

σ(M) に対応する群を H󰎘 とすると、 H󰎘=Gal(L/σ(M)) なので、 H󰎘 = {τ∈G∣x∈σ(M) ならば τ(x)=x} = {τ∈G∣y∈M ならば τ(σ(y))=σ(y)} = {τ∈G∣y∈M ならば (σ−1τσ)(y)=y} = {τ∈G∣σ−1τσ∈H} = σHσ−1 が成り立つ。

命題 70.

有限次 Galois 拡大 L/K をとり、 G:=Gal(L/K) とする。 L/K の中間体 M に対応する群を H とするとき、

  1. 拡大 M/K は Galois 拡大である。
  2. H は G の正規部分群である。

は同値である。 また、 このとき Gal(M/K)≅G/H が成り立つ。

証明.

L/K は特に分離拡大なので、 命題 47 より M/K は分離拡大である。 したがって、 M/K が正規拡大であることと H が G の正規部分群であることの同値性を示せば良い。

L/K は正規拡大なので、 L は M の任意の元の共役を全て属する。 したがって、 命題 57 により、 M/K が正規拡大であることは、 任意の σ∈MorK(M,L) に対して σ(M)⊆M が成り立つことと同値である。 L/K は正規拡大なので、 L は L の任意の元の共役を全て属するから、 命題 32 により、 R:MorK(L,L)→MorK(M,L);τ↦τ|M は全射である。 すなわち、 ある τ∈MorK(L,L) によって τ|M=σ と書ける。 これより、 任意の τ∈G に対して τ(M)⊆M が成り立つ。 τ は単射なので τ(M) と M は同型だから、 τ(M)⊆M より τ(M)=M である。 Galois 群との対応を考えれば、 M は H と対応し、 命題 69 によって τ(M) は τHτ−1 と対応するので、 H=τHτ−1 が成り立つ。 これが任意の τ∈G について成り立つので、 これはつまり H が G の正規部分群ということである。 この議論は逆にも辿れるので、 同値性が示された。

また、 命題の同値な 2 条件が成り立つとする。 写像 Φ:MorK(M,M)→MorK(M,L);σ↦σ は単射である。 また、 上の議論によって任意の σ∈MorK(M,L) は σ(M)⊆M を満たすから、 σ∈MorK(M,M) と見なせる。 すなわち、 Φ は全射である。 したがって、 Ψ:=Φ−1∘R とおくと、 写像 Ψ:G→Gal(M/K) が定まる。 Ψ は明らかに群準同型写像になっており、 R が全射であることから Ψ も全射である。 ここで、 KerΨ={σ∈G∣σ|M=idM}=MorM(L,L)=H であるから、 準同型定理により Gal(M/K)≅G/H である。

命題 71.

有限次 Galois 拡大 L/K をとり、 G:=Gal(L/K) とおく。 また、 K の拡大体 K󰎘 をとる。 L󰎘:=L·K󰎘 を K 上の合成体とすると、 拡大 L󰎘/K󰎘 は有限次 Galois 拡大で G󰎘:=Gal(L󰎘/K󰎘) とおくと、 群準同型写像 Φ:G󰎘→G;σ↦σ|L が定義されて単射である。 さらに、 ImΦ は L∩K󰎘 と対応する G の部分群である。

証明.

L󰎘 内で L󰎘=K󰎘(L) と書けるから、 L󰎘/K󰎘 が有限次分離拡大なのは自明である。 L/K は有限次拡大より、 L=K(a1,⋯,an) と書け、 L󰎘=K󰎘(a1,⋯,an) と表せる。 各 ai∈L の K 上最小多項式を Pi∈K[X] とすれば、 Pi は L[X] で 1 次式の積に分解するので、 L󰎘[X] でも 1 次式の積に分解する。 Pi∈K󰎘[X] と見なせて Pi(ai)=0 だから、 命題 31 の条件 2 と条件 1 の同値性により、 L󰎘 は L󰎘 の K󰎘 上共役を全て属する。 これによって L󰎘/K󰎘 は正規拡大なので、 上の結果と合わせて L󰎘/K󰎘 は有限次 Galois 拡大である。

任意に σ∈G󰎘 をとると、 σ|L:L→L󰎘 は K-準同型写像である。 L が L の K 上共役を全て属すので、 命題 31 から σ(L)⊆L が成り立つ。 しかし、 σ(L)≅L なので、 σ(L)=L である。 すなわち、 σ|L:L→L は同型写像であるから、 σ|L∈G である。 これにより、 Φ は矛盾なく定義でき、 明らかに群準同型写像である。

σ∈KerΦ を任意にとると σ|L=idL である。 σ∈G󰎘=MorK󰎘(L󰎘,L󰎘) だから σ|K󰎘=idK󰎘 でもある。 L󰎘=L·K󰎘 なので、 これより σ=idL󰎘 を得る。 すなわち、 Φ は単射である。 また、 ImΦ に対応する中間体を M とおけば、 M = {x∈L∣σ∈ImΦ ならば σ(x)=x} = {x∈L∣τ∈G󰎘 ならば τ(x)=x} であるが、 G󰎘=Gal(L󰎘/K󰎘) より、 K󰎘={x∈L󰎘∣τ∈G󰎘 ならば τ(x)=x} であったから、 上の式と見比べて M=L∩K󰎘 である。

定義 72.

Galois 拡大 L/K に対し、 Gal(L/K) が Abel 群であるとき L/K を Abel 拡大という。

素数冪 pn に対し、 拡大 󱀅pn/󱀅p を考える。 これは有限次 Galois 拡大で、 Gal(󱀅pn/󱀅p)≅󱀙/n󱀙 となり、 その生成元は Frobenius 写像である。 ここで、 󱀙/n󱀙 の部分群と n の正の約数は 1 対 1 に対応していることから、 󱀅pn/󱀅p の中間体がちょうど n の正の約数の個数分だけあることが分かる。

d∣n なる正整数 d をとり、 m:=n/d とする。 m󱀙/n󱀙≤󱀙/n󱀙 より、 m󱀙/n󱀙 に対応する中間体 M がある。 命題 70 により、 Gal(M/󱀅p)≅(󱀙/n󱀙)/(m󱀙/n󱀙)≅󱀙/m󱀙 であるから、 [M:󱀅p]=#Mor󱀅p(M,M)=#Gal(M/󱀅p)=#(󱀙/m󱀙)=m が分かる。 すなわち、 M は 󱀅p の m 次拡大だから 󱀅pm である。

体 k をとり、 n 変数有理関数体 L:=k(X1,⋯,Xn) を考える。 G を n 次対称群とすると、 変数の添字の置換として G は L に作用する。 すると、 定理 67 によって Gal(L/LG)=G である。 この LG を具体的に求めたい。

T を不定元とする多項式 Pn:=n󰄖i=1(T−Xi)∈L[T] の i 次の項の係数を Si∈L とする。 具体的には、 S1 = X1+X2+⋯+Xn S2 = X1X2+X1X3+⋯+Xn−1Xn ⋮ Sn = X1⋯Xn となる。 これは対称式と呼ばれるものである。 これに対し、 K:=k(S1,⋯,Sn)⊆L とおく。 Si たちは G の作用によってどれも不変なので、 K の任意の元も G の作用で不変だから、 K⊆LG は分かる。 また、 Pn∈K[X] である。

Ki:=K(Xn−i+1,⋯,Kn) とおくと、 K=K0⊆K1⊆⋯⊆Kn=L となる。 Pn(Xn)=0 であるから、 [K1:K0]≤degPn=n が成り立つ。 ここで、 Pn は K1[X] においては T−Xn でわり切れるから、 Pn−1:= Pn T−Xn∈K1[X] とおくと、 Pn−1(Xn−1)=0 であるから、 K2=K1(Xn−1) に注意すれば [K2:K1]≤degPn−1=n−1 が分かる。 以降これを続けていくことで、 [L:K]=[Kn:Kn−1]⋯[K2:K1][K1:K0]≤1·⋯·(n−1)·n=n! が得られる。 一方で K⊆LG より、 [L:K]≥[L:LG]=#G=n! であるから、 上の式と合わせて [L:K]=[L:LG] となり、 K=LG が得られる。

1 の冪根と円分多項式

命題 73.

体 K に対し、 有限部分群 M≤K× は巡回群であり、 その位数は charK でわり切れない。

n:=#M とおく。 n=1 なら明らかなので、 n≥1 とする。 有限 Abel 群の構造定理により、 M≅󱀙/d1󱀙×⋯×󱀙/dr󱀙 と書ける。 ここで、 2≤d1∣⋯∣drn=d1⋯dr である。 これより、 #{x∈M∣xd1=1}=d1r が分かる。 一方で、 Xd1−1 は d1 次式なので、 #{x∈K×∣xd1−1=0}≤d1 が成り立つ。 上の 2 つの式を比べれば d1r≤d1 となり、 これより r=1 が得られる。 すなわち、 M≅󱀙/d1󱀙 であって巡回群である。

charK=0 であれば #M が charK でわり切れるはずがないので、 証明は終わる。 p:=char>0 とする。 M に位数 p の元 x があったとすると、 xp=1 なので、 (x−1)p=xp−1=0 である。 したがって、 x−1=0 より x=1 であるが、 1 の位数は p ではないので矛盾である。 したがって、 M に位数 p の元は存在しないから、 #M は p ではわり切れない。

体 K をとり、 charK でわり切れない正整数 n をとる。 L を Xn−1 の K 上分解体とし、 M:={x∈L×∣xn=1} とする。 Xn−1 とその微分 nXn−1 は n≠0 より互いに素なので、 Xn−1 は分離多項式である。 したがって #M=n となり、 命題 73 によって M≅󱀙/n󱀙 となる。

定義 74.

体 K と charK でわり切れない正整数 n に対し、 上記の M の生成元を 1 の原始 n 乗根といい ζn と書く。

この定義によって、 M={ζni∣i=1,⋯,n} と書ける。 L は Xn−1 の最小分解体だから、 L=K(ζn,ζn2,⋯,ζnn)=K(ζn) が成り立つ。 Xn−1 は分離多項式であったから、 L は K の有限次分離拡大である。 さらに、 多項式の最小分解体なので L は K の正規拡大でもある。 したがって、 L は K の有限次 Galois 拡大となっている。

さて、 σ∈Gal(L/K) をとると、 σ(ζn)n−1=σ(ζnn−1)=0 であるから、 M の定義より σ(ζn)∈M が成り立つ。 すなわち σ(M)⊆M であるから、 写像 R:Gal(L/K)→Aut(M);σ↦σ|M が定義でき、 これは群の準同型写像であって単射である。 ここで、 M は巡回群だから、 F:(󱀙/n󱀙)×→Aut(M);i↦-i は群の同型写像である。 なお、 -i:M→M は i 乗写像である。 したがって、 上の写像の合成 Φ:=F∘R は、 群の単射準同型写像 Φ:Gal(L/K)→(󱀙/n󱀙)× になる。 これがどのような写像になるかは K に依存する。

以下しばらく、 K=󱀐 の場合について、 上記で定めた写像 Φ:Gal(󱀐(ζn)/󱀐)→(󱀙/n󱀙)× について調べる。 char󱀐=0 だから、 n は任意の自然数にできる。

定義 75.

󱀐 における原始 n 乗根 ζn の 󱀐 上最小多項式 P∈󱀐[X] を n 番目の円分多項式という。 また、 󱀐 の拡大体 󱀐(ζn) を円分体という。

命題 76.

任意の n に対し、 n 番目の円分多項式は整数係数の多項式である。

証明.

ζn の最小多項式を P∈󱀐[X] とし、 A:=󱀙[ζn]⊆󱀐(ζn) とおく。 写像 φ:󱀙[X]→A;f↦f(ζn) を考えると、 ζnn−1=0 より、 写像 󰔃φ:󱀙[X]/⟨Xn−1⟩→A;f↦f(ζn) が誘導され、 これは全射である。 󱀙[X]/⟨Xn−1⟩ は 󱀙-加群として 1,X,⋯,Xn−1 で生成されるから、 A も 󱀙-加群としてこれらの像により生成される。 したがって、 A は有限生成 󱀙-加群である。 また、 A は 󱀐-線型空間 󱀐(ζn) の部分 󱀙-加群だから捩れをもたない。 󱀙 は主イデアル整域なので、 A は自由 󱀙-加群である。 したがって、 A は有限個の 󱀙-基底をもつが、 それは 󱀐(ζn) の 󱀐-基底にもなる。 よって、 ζn 倍写像 ζn:A→A の固有多項式は、 同じく ζn 倍写像 ζn-:󱀐(ζn)→󱀐(ζn) の固有多項式でもあり、 それは ζn の 󱀐 上最小多項式 P である。 ところで、 ζn-:A→A の固有多項式は 󱀙[X] の元だから、 P∈󱀙[X] が得られた。

定理 77 [Gauss の定理].

上記の写像 Φ:Gal(󱀐(ζn)/󱀐)→(󱀙/n󱀙)× は同型写像である。

命題 78.

n 番目の円分多項式を Pn とすると、 Xn−1=󰄖d∣nPd が成り立つ。

証明.

定理 77 より、 Pn=󰄖σ∈Gal(󱀐(ζn)/󱀐)(X−σ(ζn))=󰄖i∈(󱀙/n󱀙)×(X−ζni) が成り立つ。 ζn が生成する巡回群を M とすれば、 M≅󱀙/n󱀙 だから、 Sd:={ζ∈M∣ordζ=d} とすると、 M=󰈚d∣nSd と書ける。 したがって、 最初の式と合わせて、 Xn−1=󰄖ζ∈M(X−ζ)=󰄖d∣n󰄖ζ∈Sd(X−ζ)=󰄖d∣n󰄖i∈(󱀙/d󱀙)×(X−ζni)=󰄖d∣nPd が得られる。

命題 78 を用いると、 円分多項式を簡単に求めることができる。 例えば、 素数 p に対して d∣p を満たす d は 1 と p しかないので、 Xp−1=PpP1=Pp(X−1) となり、 Pp= Xp−1 X−1=Xp−1+Xp−2+⋯+1 を得る。 番号が小さい方からいくつか具体的に計算すると、 P1 = X−1 P2 = X+1 P3 = X2+X+1 P4 = X2+1 P5 = X4+X3+X2+X+1 P6 = X2−X+1 などとなる。

番号が小さい円分多項式の表示を見ると、 係数には 0 か ±1 しか現れないように思えてくるが、 それは一般には誤りである。 実際、 n≤104 ならば Pn の係数には 0 か ±1 しか現れないが、 P105 の 41 次および 7 次の係数は −2 である。 より強く、 任意の整数はある円分多項式の係数に現れることが知られている。

Kummer 拡大

体にある元の冪根を付加した体を考える。 一般の議論をする前に、 まずは 2 次拡大について調べる。

命題 79.

2 次拡大 L/K をとり、 charK≠2 とする。 このとき、 L/K は Galois 拡大で、 Gal(L/K)≅󱀙/2󱀙 である。

証明.

L/K は 2 次拡大だから、 ある 2 次の既約多項式 P∈K[X] が存在して L≅K[X]/⟨P⟩ が成り立つ。 平方完成により P=:(X−b)2−a と表す。 Y:=X−b とおけば P=Y2−a であるから、 P∈K[Y] と考えられ、 L≅K[Y]/⟨P⟩=K[Y]/⟨Y2−a⟩ である。 P は既約だから、 a∉(K×)2={x2∣x∈K×} であるから、 L=K(√ a) と書ける。 よって、 L[X] においては、 P=Y2−a=(Y−√ a)(Y+√ a) と 1 次式の積に分解でき、 charK≠2 より √ a≠−√ a であるから、 P は分離多項式であり、 L/K は分離拡大である。 また、 √ a の共役は ±√ a であり、 これらは L に属するので、 L/K は正規拡大である。 したがって、 L/K は Galois 拡大である。

#Gal(L/K)=2 だから、 自動的に Gal(L/K)≅󱀙/2󱀙 である。 具体的には、 σ±:K[Y]/⟨Y2−a⟩→K;f↦f(±√ a) が Gal(L/K) の 2 元である。

定義 80.

体 K と charK でわり切れない正整数 m をとり、 ζm∈K であるとする。 a1,⋯,an∈K× に対して L:=K(m√ a1,⋯,m√ an) を K の Kummer 拡大という。

命題 81.

体 K と charK でわり切れない正整数 n をとる。 L:=K(m√ a1,⋯,m√ an) を K の Kummer 拡大とする。 このとき、 L/K は Abel 拡大であり、 Gal(L/K) の元はどれも m 乗すると 1 になる。

証明.

まずは n=1 とし、 L=K(m√ a) の場合を考える。 α:=m√ a とおくと、 L[X] において、 Xm−a=m󰄖i=1(X−ζmia) と分解できるので、 L は Xm−a の最小分解体である。 α≠0 だから、 ζmia たちは相異なる。 したがって、 L/K は分離拡大であり、 明らかに正規拡大でもあるので、 Galois 拡大になる。 ここで、 M:={ζmi∣i=1,⋯,m} とおくと、 写像 Φ:Gal(L/K)→M;σ↦ σ(α) α が定義され、 群準同型写像になる。 σ∈Gal(L/K) が Φ(σ)=1 を満たすとすると、 σ(α)=α となるが、 L=K(α) であって σ は K-準同型写像なので、 σ=idL でなければならない。 したがって、 Φ は単射である。

一般に L=K(m√ a1,⋯,m√ an) の場合を考える。 αj:=m√ aj とおく。 L は K(αj) たちの合成体だから、 上の議論と命題 62 によって L/K は Galois 拡大である。 さらに、 上で述べたようにして、 単射準同型写像 Φj:Gal(K(αj)/K)→M;σ↦ σ(αj) αj を作る。 これらは、 単射準同型写像 Φ1×⋯×Φn:Gal(K(α1)/K)×⋯×Gal(K(αn)/K)→M×n を構成する。 また、 Ψ:Gal(L/K)→Gal(K(α1)/K)×⋯×Gal(K(αn)/K);σ↦(σ|K(α1),⋯,σ|K(αn)) も明らかに単射準同型写像である。 したがって、 これらの合成により Gal(L/K)≤M×n と見なせる。 M×n は Abel 群だから、 Gal(L/K) も Abel 群で、 L/K は Abel 拡大である。 M×n の元は全て m 乗すると 1 なので、 Gal(L/K) の元もそうである。

方程式の可解性

多項式 P:=X2−aX+b∈󱀐[X] を考えると、 その根は a±√ a2−4b 2∈󱀐(√ a2−4b) であるから、 P の根は 󱀐 上で四則演算と冪根をとる操作によって表示できる。 そこで、 より一般に charK=0 を満たす体 K に対し、 多項式 P∈K[X] の根が、 K の元の四則演算と冪根をとる操作によって表示できるかどうか調べたい。 ここで、 P が可約であれば、 既約多項式の積で表してそれぞれの既約多項式について根を調べれば良いので、 P が既約である場合を考えれば十分である。

命題 82.

体 K と既約多項式 P∈K[X] をとり、 charK=0 とする。 また、 L:=K[X]/⟨P⟩ とおく。 このとき、

  1. K の元に四則演算と冪根をとる操作を有限回施すことで、 P の全ての根を表示できる。
  2. K の有限次拡大の列 K=K0≤K1≤⋯≤Km が存在し、 Ki に 1 の原始 ni 乗根が属していて、 ある ai∈Ki によって Ki+1=Ki(ni√ ai) が成り立ち、 L⊆Km が成り立つ。
  3. K の有限次 Galois 拡大の列 K=K0󰎘≤K1󰎘≤⋯≤Km󰎘󰎘 が存在し、 Gal(Ki+1󰎘/Ki󰎘) は Abel 群であり、 L⊆Km󰎘󰎘 が成り立つ。
  4. Galois 群が可解群となるような K の Galois 拡大に L が含まれる。

は同値である。

証明.

条件 1 ⇔ 条件 2:P の根を a とすれば L=K(a) だから、 この同値性は明らかである。

条件 2 ⇒ 条件 3:Ki+1/Ki が Kummer 拡大となっているから、 命題 81 より Ki+1/Ki は Abel 拡大であり、 すなわち Gal(Ki+1/Ki) は Abel 群である。 また、 Ki+1/Ki は特に Galois 拡大であるから、 順に Ki/K も Galois 拡大である。 したがって、 条件 3 が示された。

条件 3 ⇒ 条件 2:

条件 3 ⇒ 条件 4:G:=Gal(Km󰎘󰎘/K) および Gi:=Gal(Km󰎘󰎘/Ki󰎘) とおくと、 群の列 G=G0≥G1≥⋯≥Gm󰎘=1 ができる。 Ki+1󰎘/Ki󰎘 は Galois 拡大だから、 命題 70 によって Gi⊵Gi+1 である。 また、 Gi/Gi+1=Gal(Km󰎘󰎘/Ki󰎘)/Gal(Km󰎘󰎘/Ki+1󰎘)≅Gal(Ki+1󰎘/Ki󰎘) であり、 これは主張から Abel 群である。 したがって、 列 (Gi)0≤i≤m󰎘 は G の Abel 正規列になっており、 これより G は可解群である。 これより、 条件 4 が示された。

条件 4 ⇒ 条件 3:

定義 83.

体 K が charK=0 を満たすとする。 n 変数有理関数体 L:=K(a0,⋯,an−1) に係数をもつ多項式 P:=Xn−an−1Xn−1+⋯+(−1)na0∈K(a0,⋯,an−1)[X] を K 上 n 次一般多項式という。

上記の定義において、 K 上一般多項式 P の根が、 L の元に四則演算と冪根をとる操作を施すことで表せるとは、 すなわち K 係数多項式の根の公式が存在するということである。 2 次多項式であれば、 よく知られた根の公式 X= a1±√ a12−4a0 2 が存在する。

命題 84.

K 上 n 次一般多項式 P をとり、 その係数を付加した体を L とする。 このとき、 L[X]/⟨P⟩ は L の有限次 Galois 拡大であり、 その Galois 群は n 次対称群 Sn と同型である。

定理 85.

n 次一般多項式の全ての根が、 係数に対し四則演算と冪根をとる操作を有限回施すことによって表示できるための必要十分条件は n≤4 である。

証明.

Sn が可解となるための必要十分条件が n≤4 であるから、 命題 84 から明らかである。

定理 85 により、 5 次以上の多項式には根の公式が存在しないことが示された。 一方、 4 次以下の多項式については根の公式が存在することになるが、 その具体的な式については Cardano と Ferrari などによって与えられている。

代数閉包

定義 86.

体 K 上の既約多項式が 1 次式のみであるとき、 K を代数閉体という。

命題 87.

体 K について、

  1. K は代数閉体である。
  2. K の有限次拡大は K 自身のみである。
  3. 定数でない K 上多項式は K に根をもつ。

は同値である。

定義 88.

体 K に対し、 K の代数拡大で代数閉体であるものを K の代数閉包といい、 それを K で表す。

命題 89.

体 K と K の代数拡大 L に対し、

  1. L は代数閉体である。
  2. K[X] の 0 でない任意の元は L[X] において 1 次式の積に分解する。
  3. K[X] の定数でない任意の元は L において根をもつ。

は同値である。

定理 90 [Steinitz の定理].

任意の体 K に対し、 K の代数閉包は同型を除いて一意に存在する。

証明.

以下、 K[X]∗:={f∈K[X]∣f は定数でないモニック多項式} とする。 各 f∈K[X]∗ に対して不定元 Xf を作り、 これら全てから作られる多項式環 A:=K[Xf∣f∈K[X]∗] を考える。 A において f(Xf)∈A(f∈K[X]∗) たちが生成するイデアルを 󱁘:=⟨f(Xf)∣f∈K[X]∗⟩≤A とおき、 B:=A/󱁘 とする。

もし 󱁘=A であれば 1∈󱁘 であるから、 fi∈K[X]∗ たちと gi∈A たちによって、 g1f1(Xf1)+⋯+gnfn(Xfn)=1 が成り立つ。 f1⋯fn∈K[X] の K 上最小分解体を L とおくと、 各 fi は根 ai∈L をもつ。 そこで、 上の式において、 各 Xfi には ai を代入し、 gi たちの中に現れるそれ以外の不定元には 0 を代入すれば、 L において 0=1 となり矛盾する。 したがって、 󱁘≠A であるから B≠0 である。

これにより、 選択公理を用いて B の極大イデアル 󱁤 をとると、 M:=B/󱁤 は体である。 作り方から M=K(Xf∣f∈K[X]∗) であり、 任意の f∈K[X]∗ に対して M において f(Xf)=0 が成り立つ。 したがって、 M は K の代数拡大であって、 命題 89 の条件 3 と条件 1 の同値性により M は代数閉体だから、 M は K の代数閉包になる。

定理 91.

󱀑 の代数閉包は 󱀂 である。

超越次数

定義 92.

拡大 L/K と元 x1,⋯,xn∈L に対し、 写像 φ:K[X1,⋯,Xn]→L;f↦f(x1,⋯,xn) が単射であるとき、 x1,⋯,xn は K 上代数的独立であるという。

定義 93.

拡大 L/K と元 x1,⋯,xn∈L をとる。 x1,⋯,xn が K 上代数的独立で、 L が K(x1,⋯,xn) 上代数的であるとき、 x1,⋯,xn を L の K 上という。

命題 94.

拡大 L/K に対し、 L が K 上体として有限生成であれば、 L の K 上超越基底は存在する。

命題 95.

拡大 L/K に対し、 L の K 上超越基底は存在すればその個数は一定である。

定義 96.

拡大 L/K に対し、 L の K 上超越基底の個数を L の K 上超越次数といい、 それを trdegKL で表す。 超越基底が存在しない場合は、 trdegKL=∞ とする。

なお、 超越基底の定義は個数が一般の濃度になる場合にも拡張でき、 その場合は任意の拡大 L/K に対して L の K 上超越基底が存在する。