体の拡大

テンプレート:出典の明記 抽象代数学のとくに体論において体の拡大（たいのかくだい、テンプレート:Lang-en-short）は、体の構造や性質を記述する基本的な道具立ての一つである。

体の拡大の理論において、通常は非可換な体を含む場合を扱わない（そのようなものは代数的数論に近い非可換環論あるいは多元環論の範疇に属す）。ただし、非可換体（あるいはもっと一般の環）の部分集合が、非可換体の演算をその部分集合へ制限して得られる演算により、その非可換体を上にある体として（可換な）体構造をもつとき、元の非可換体の（可換）部分体と呼び、元の非可換体を（非可換）拡大体と呼ぶことがある。

以下本項では特に断りの無い限り、体として可換体のみを扱い、単に体と呼称する。

定義

テンプレート:Right （可換）体の組 テンプレート:Mvar が与えられるとき、体の拡大 テンプレート:Mvar テンプレート:Efnとは、k は K に集合として含まれテンプレート:Efn、k の体構造が K の体構造の制限として得られる構造に一致していることをいう。またこのとき、k は K の部分体（ぶぶんたい、subfield）、基礎体（きそたい）あるいは下にある体であるといい、K は k の拡大体（かくだいたい、extension field）テンプレート:Sfnテンプレート:Sfnあるいは上にある体であるという。

同じことだが、可換体 K が体 k を集合として含み、かつ k-多元環の構造をもつとき K/k を体の拡大という。後の条件のないときは拡大体といわず上体と呼ぶ流儀もある。いずれの場合も上にあるとか下にあるとかといった言い回しは用いて構わない。多元環は積を持つベクトル空間であるから、拡大 K/k において上の体 K を下の体 k 上のベクトル空間と見なすことができる。k ベクトル空間としての K の次元のことを拡大 K/k の次数（じすう、degree of field extension）といい、テンプレート:Math などで表すテンプレート:Sfn。特に、体 K が有限次元 k ベクトル空間なら、拡大 K/k は有限次拡大であるといい、そうでないとき無限次元拡大という。

中間体

テンプレート:Right K, M, k が体で K/M および M/k がともに体の拡大であるとき K/M/k と書いて体の拡大の列と言い、M を拡大 K/k の中間体（ちゅうかんたい、intermediate field）テンプレート:Sfnという。 テンプレート:Right もし M, N がともに K/k の中間体なら、共通部分 M ∩ N もふたたび K/k の中間体となる。とくに、K の部分集合 E と k に対して、E と k とをともに含む最小の体が存在する。これを k に E を添加（てんか、adjunction）した体とよび k(E) のように表すテンプレート:Sfn。また、部分体 M に対し M = k(E) となるとき、M は E によって k 上生成された体であるといい、E を M の k 上の生成系とも呼ぶテンプレート:Sfn。中間体 M, N に対して和集合 M ∪ N は必ずしも体とはならないが、M ∪ N を含む最小の体 MN := M(N) = N(M) を M と N の合成体と呼ぶ。

代数閉包の（同型を除く）一意性から、通常はある体 k の拡大を考えるときには、k の代数閉包 k を一つ固定し、k の任意の拡大は代数閉包 k に含まれる中間体であるものとして議論を進めることが多い。

k に有限集合 E = {a₁, ..., a_n} を添加した体 k(E) は k 上有限生成あるいは k 上有限型であるといわれ、k(a₁, ..., a_n) とも略記される。特に生成系が一元集合 E = {α} のとき、k(α) を k に α を添加して得られる単拡大あるいは単純拡大（たんじゅんかくだい、simple extension）という。一般に、有限とは限らない集合 E を添加するとき、

$k(E)=\underset{F}{\underrightarrow{\lim }}k(F)=\bigcup _{F}k(F)$

となる。ただし、F は包含関係による帰納系と見た E の有限部分集合全体を動く。 テンプレート:Right 有限生成拡大体 k(a₁, ..., a_n) は、k 上の n 個の不定元 x₁, ..., x_n に関する多項式を使って、

$k(a_1,\dots ,a_n)=\{\frac{f(a_1,\dots ,a_n)}{g(a_1,\dots ,a_n)}|f,g\in k[x_1,\dots ,x_n]\}$

の形に表すことができる。これは、k(a₁, ..., a_n) が

$k[a_1,\dots ,a_n]:=\{f(a_1,\dots ,a_n)\mid f\in k[x_1,\dots ,x_n]\}$

によって定まる k 上の環（これは k と a₁, ..., a_n を含む最小の環で、k 上 a₁, ..., a_n で生成される環と呼ばれる）の商体であることを意味する。

代数拡大・超越拡大

K/k を体の拡大とするとき、K の元 α が k 上代数的（だいすうてき、algebraic over k）であるとは、k 係数多項式 f(X) で α が f(X) の根となるようなものが存在するときにいうテンプレート:Sfn。k 上代数的な K の元 α を根に持つ k 係数多項式でモニックかつ次数最小のものを α の k 上の最小多項式（さいしょうたこうしき、minimal polynomial）とよびテンプレート:Sfn、テンプレート:Math のように記す。拡大 K/k で K の各元がすべてk 上代数的であるとき、拡大 K/k は代数的であるといいテンプレート:Sfn、K を k の代数拡大体という。拡大 T/k がk 上代数的でないとき、拡大 T/k は超越的（ちょうえつてき、transcendencial）であるというテンプレート:Sfn。T の元 t はk 上代数的でないとき k 上の超越元という。t がk 上超越的であることは、「k 上の多項式 f(X) が f(t) = 0 となるならば f = 0 である」ことと同値であり「k に t を添加した体 k(t) は一変数代数関数体 k(X) に同型である」こととも同値である。拡大 T/k が超越的であることは、k 上超越的な T の元 t が少なくともひとつ存在する事と同値である。

拡大 K/k が与えられたとき、K の元 α₁, α₂, ..., α_n に対して、恒等的に 0 でない n 変数の k 係数多項式 F(X₁, X₂, ..., X_n) で F(α₁, α₂, ..., α_n) = 0 を満たすものが存在するとき、α₁, α₂, ..., α_n は代数的従属 (algebraically dependent) であるといい、そうでないとき代数的独立 (algebraically independent) であるという。

超越拡大 T/k に対し、T の k 上代数的独立な元からなる部分集合 B で拡大 T/k(B) が代数的となるとき、B は T / k のあるいは T の k 上の超越基または超越基底（ちょうえつきてい、transcendencial basis）テンプレート:Sfnという。ツォルンの補題（T が k 上有限生成の場合は帰納法）により、超越基底は常に存在するテンプレート:Sfn。とくに、超越拡大 T/k がその超越基底 B によって T = k(B) と表されるならば、拡大は純超越的であるという。また、超越基底 B の濃度はその取り方によらず一定であることが証明できるのでテンプレート:Sfn、これを T の k 上の超越次数（ちょうえつじすう、transcendencial degree）あるいは次元（じげん、テンプレート:Lang）といい、deg_kT あるいは trans.deg_kT などと表す。例えば、代数函数体 k(x₁, ..., x_n) は k 上 n-次元の純超越拡大体である。

有限次拡大はすべて代数拡大でありテンプレート:Sfn、また超越拡大はかならず無限次元拡大である。しかしそれぞれ逆はいえない、つまり無限次元の代数拡大が存在するテンプレート:Sfn。

正規拡大・分離拡大・ガロア拡大

代数拡大 テンプレート:Mvar が正規拡大 (normal extension) であるとは、多項式環 テンプレート:Math において テンプレート:Mvar に根をもつすべての既約多項式が一次式の積に分解されることをいうテンプレート:Sfn。すべての代数拡大 テンプレート:Mvar は正規閉包 テンプレート:Mvar―つまり拡大 テンプレート:Mvar のうち テンプレート:Mvar が正規となる最小の拡大体―をもつ。

代数拡大 テンプレート:Mvar が分離拡大 (separable extension) であるとは、体 テンプレート:Mvar のすべての元の最小多項式が分離的である―つまり テンプレート:Mvar の代数的閉包において重根をもたない―ことをいうテンプレート:Sfn。原始元定理からわかることとして、すべての有限次分離拡大は単純拡大であることがあるテンプレート:Sfn。

ガロア対応の例

ガロア拡大 (Galois extension) とは正規かつ分離的な拡大体のことであるテンプレート:Sfn。体の拡大 テンプレート:Mvar が与えられたとき、自己同型群 テンプレート:Math を考えることができる；これは テンプレート:Mvar の各元を固定するすべての体の準同型からなる。ガロア拡大に対してはこの自己同型群は拡大のガロア群と呼ばれるテンプレート:Sfn。またガロア群がアーベル群となるような拡大はアーベル拡大と呼ばれる。体の拡大が与えられたとき、その中間体にしばしば興味がある。ガロア拡大とガロア群の著しい特徴は中間体の記述が完全にできることである：ガロア理論の基本定理で述べられているように中間体とガロア群の部分群の間には全単射が存在するテンプレート:Sfn。

拡大の準同型

体の準同型というのは、体を単位的環とみなしたときの単位的環の準同型で、体の単純性から単射となるため通常は中への同型と呼ばれる。一方、拡大 K/k が与えられたとき、上の体 K に下の体 k が特別な構造として備わっていると考えて、K の自己準同型の中でも k に自明に作用するものが特別に扱われる（これは K を k 上の多元環とみたときの k-多元環の自己準同型である）。

K の自己準同型 f によって k の元が動かされないということは、k の零でない元が f で零に写されることが無いので、そのような f は零準同型にならず、さらに拡大 K/k が有限次拡大ならば、f は上への同型になる。k の元を動かさない K の自己同型を、K における k 上の同型あるいは k-同型というテンプレート:Sfn。また、拡大 K/k 上の自己同型ということもある。K の k 同型全体を テンプレート:Math または テンプレート:Math などで表す。Aut(K/k) は写像の合成を積として群をなし、K の k-自己同型群と呼ばれる。また、拡大 N/k が正規ならば k-自己同型群 Aut(N/k) を特に拡大 N/k のガロア群と呼んで、テンプレート:Math や テンプレート:Math と記す。

なお一般に二つの拡大 K/k と L/l があって、上の体の中への同型 f: K → L と下の体の中への同型 g: k → l が与えられるとき、

$\begin{array}{cccc}f:& K& \to & L\\ & |& & |\\ g=f{|}_k:& k& \to & l\end{array}$

f の k への制限 f|_k がちょうど g となるなら f を g の上にある K 上の（L の中への）同型あるいは拡大 K/k から L/l への準同型という。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book（第1章）
• テンプレート:Cite book（第4章、第5章）

関連項目

• 可換体
• 体論
• テンプレート:仮リンク

外部リンク

• テンプレート:高校数学の美しい物語
• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:SpringerEOM
• テンプレート:Nlab