体の拡大

抽象代数学のとくに体論において体の拡大︵たいのかくだい、英: field extension︶は、体の構造や性質を記述する基本的な道具立ての一つである。

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

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

定義

${\begin{matrix}K\\|\\k\end{matrix}}$${\begin{matrix}K\\|\\k\end{matrix}}$
︵可換︶体の組 K, k が与えられるとき、体の拡大 K/k とは、k は Kに集合として含まれ、k の体構造が Kの体構造の制限として得られる構造に一致していることをいう。またこのとき、k は Kの部分体︵ぶぶんたい、subfield︶、基礎体︵きそたい︶あるいは下にある体であるといい、K は kの拡大体︵かくだいたい、extension field︶あるいは上にある体であるという。

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

中間体

${\begin{matrix}K\\|\\M\\|\\k\end{matrix}}$${\begin{matrix}K\\|\\M\\|\\k\end{matrix}}$
K, M, kが体で K/M および M/k がともに体の拡大であるとき K/M/k と書いて体の拡大の列と言い、M を拡大 K/k の中間体︵ちゅうかんたい、intermediate field︶という。

${\begin{matrix}{\bar {k}}\\|\\K\\|\\MN\\\diagup \quad \diagdown \\M\qquad \quad N\\\diagdown \quad \diagup \\M\cap N\\|\\k\end{matrix}}$${\begin{matrix}{\bar {k}}\\|\\K\\|\\MN\\\diagup \quad \diagdown \\M\qquad \quad N\\\diagdown \quad \diagup \\M\cap N\\|\\k\end{matrix}}$
もし M, Nがともに K/k の中間体なら、共通部分 M∩ Nもふたたび K/k の中間体となる。とくに、K の部分集合 Eと kに対して、E と kとをともに含む最小の体が存在する。これを kに Eを添加︵てんか、adjunction︶した体とよび k(E) のように表す。また、部分体 Mに対し M= k(E) となるとき、M は Eによって k上生成された体であるといい、E を Mの k上の生成系とも呼ぶ。中間体 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を添加するとき、

${\displaystyle k($E)=\varinjlim _{F}k(F)=\bigcup _{F}k(F)} $k(E)=\varinjlim _{F}k(F)=\bigcup _{F}k(F)$
となる。ただし、F は包含関係による帰納系と見た Eの有限部分集合全体を動く。

${\displaystyle {\begin{matrix}K\\|\\k($E)\\|\\k[E]\\|\\k\end{matrix}}} ${\begin{matrix}K\\|\\k(E)\\|\\k[E]\\|\\k\end{matrix}}$
有限生成拡大体 k(a₁, ..., a_n) は、k 上の n個の不定元 x₁, ..., x_nに関する多項式を使って、

$k(a_{1},\ldots ,a_{n})=\left\{\left.{\frac {f(a_{1},\ldots ,a_{n})}{g(a_{1},\ldots ,a_{n})}}\ \right|f,g\in k[x_{1},\ldots ,x_{n}]\right\}$$k(a_{1},\ldots ,a_{n})=\left\{\left.{\frac {f(a_{1},\ldots ,a_{n})}{g(a_{1},\ldots ,a_{n})}}\ \right|f,g\in k[x_{1},\ldots ,x_{n}]\right\}$
の形に表すことができる。これは、k(a₁, ..., a_n) が

$k[a_{1},\ldots ,a_{n}]:=\{f(a_{1},\ldots ,a_{n})\mid f\in k[x_{1},\ldots ,x_{n}]\}$$k[a_{1},\ldots ,a_{n}]:=\{f(a_{1},\ldots ,a_{n})\mid f\in k[x_{1},\ldots ,x_{n}]\}$
によって定まる k上の環︵これは kと a₁, ..., a_nを含む最小の環で、k 上 a₁, ..., a_nで生成される環と呼ばれる︶の商体であることを意味する。

代数性・超越性

K/k を体の拡大とするとき、K の元 α が k上代数的︵だいすうてき、algebraic over k︶であるとは、k 係数多項式 f(X) で α が f(X) の根となるようなものが存在するときにいう。k 上代数的な Kの元 α を根に持つ k係数多項式でモニックかつ次数最小のものを α の k上の最小多項式︵さいしょうたこうしき、minimal polynomial︶とよび、Irr(α, k, X) のように記す。拡大 K/k で Kの各元がすべてk 上代数的であるとき、拡大 K/k は代数的であるといい、K を kの代数拡大体という。拡大 T/k がk 上代数的でないとき、拡大 T/k は超越的︵ちょうえつてき、transcendencial︶であるという。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︶という。ツォルンの補題︵T が k上有限生成の場合は帰納法︶により、超越基底は常に存在する。とくに、超越拡大 T/k がその超越基底 Bによって T= k(B) と表されるならば、拡大は純超越的であるという。また、超越基底 Bの濃度はその取り方によらず一定であることが証明できるので、これを Tの k上の超越次数︵ちょうえつじすう、transcendencial degree︶あるいは次元︵じげん、dimension︶といい、deg_kT あるいは trans.deg_kT などと表す。例えば、代数函数体 k(x₁, ..., x_n) は k上 n-次元の純超越拡大体である。

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

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

代数拡大 K/k が正規拡大 (normal extension) であるとは、多項式環 k[X] において Kに根をもつすべての既約多項式が一次式の積に分解されることをいう。すべての代数拡大 K/k は正規閉包 L―つまり拡大 L/K のうち L/K が正規となる最小の拡大体―をもつ。

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

ガロア対応の例

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

拡大の準同型

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

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

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

${\begin{matrix}\qquad f\colon &K&\to &L\\&|&&|\\g=f|_{k}\colon &k&\to &l\end{matrix}}$${\begin{matrix}\qquad f\colon &K&\to &L\\&|&&|\\g=f|_{k}\colon &k&\to &l\end{matrix}}$
f の kへの制限 f|_k がちょうど gとなるなら fを gの上にある K上の︵L の中への︶同型あるいは拡大 K/k から L/l への準同型という。

注

出典

参考文献

●Morandi, P. (1996). Field and Galois Theory. Graduate Texts in Mathematics. 167. Springer-Verlag. doi:10.1007/978-1-4612-4040-2. ISBN 978-1-4612-8475-8. MR1410264. Zbl 0865.12001. https://books.google.co.jp/books?id=x_DjBwAAQBAJ 

●ニコラ・ブルバキ﹃代数1﹄銀林浩・清水達雄訳、東京図書︿ブルバキ数学原論 第5﹀、1968年。NDLJP:1382559。 ︵第1章︶

●ニコラ・ブルバキ﹃代数4﹄倉田令二朗・清水達雄訳、東京図書︿ブルバキ数学原論 第8﹀、1969年。NDLJP:1383302。 ︵第4章、第5章︶

関連項目

●可換体

●体論

●環の拡大

外部リンク

●﹃体の基礎用語～拡大体と拡大次数﹄ - 高校数学の美しい物語

●Weisstein, Eric W. "Extension Field". mathworld.wolfram.com (英語).

●extension field - PlanetMath.︵英語︶

●Hazewinkel, Michiel, ed. (2001), “Extension of a field”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Extension_of_a_field 

●field extensioninnLab