体の拡大

出典: フリー百科事典『ウィキペディア（Wikipedia）』

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

[編集] 定義

（可換）体の組 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 は有限次拡大であるといい、そうでないとき無限次元拡大という。

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

厳密な意味で上の体が下の体を含んでいない場合にも、体の拡大と呼ぶことがある。つまり、適当な埋め込み写像が与えられていて、その埋め込まれた像を下の体として体の拡大を考えるとき、埋め込みの像と原像とを同一視して扱うのである。

[編集] 諸概念

K, M, k が体で K/M および M/k がともに体の拡大であるとき K/M/k と書いて体の拡大の列と言い、M を拡大 K/k の中間体（ちゅうかんたい、intermediate field）という。とくに、K の部分集合 E と k に対して、E と k とをともに含む最小の体を k に E を添加（てんか、adjunction）した体とよび k(E) のように表す。また、部分体 M に対し M = k(E) となるとき、M は E によって k 上生成された体であるといい、E を M の k 上の生成系とも呼ぶ。ここで生成系 E を有限集合に取れるとき M は k の上に有限生成な体であるといい、さらに生成系が一元集合 E = {α} のときの k(E) を k(α) と略記して k に α を添加して得られる単拡大あるいは単純拡大（たんじゅんかくだい、simple extension）という。

[編集] 代数性・超越性

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 の代数拡大体という。拡大 T/k のある元 t がいかなる k 係数多項式の根ともならないとき、拡大 T/k は超越的（ちょうえつてき、transcendencial）であるといい、t を k 上の超越元という。t が体 k 上超越的であることは、「k 上の多項式 f(X) が f(t) = 0 となるならば f = 0 である」とか「k に t を添加した体 k(t) は一変数代数関数体 k(X) に同型である」などの条件としても述べられる。

拡大 K/k が与えられたとき、K の元 α₁, α₂, ..., α_n に対して、恒等的に 0 でない n 変数の多項式 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）という。またこのとき、超越基底 B の濃度を T の k 上の超越次数（ちょうえつじすう、transcendencial degree）といい、deg_kT あるいは trans.deg_kT などと表す。

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

[編集] 拡大の準同型

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

K の自己準同型 f によって k の元が動かされないということは、k の零でない元が f で零に写されることが無いので、そのような f は零準同型にならず、必然的に 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" を用いることがしばしばあり、拡大 K/k と記したときもこれに当たるのであるが、一方で K/k を剰余群や商環などと同様の商構造と見ることもできる。K を k 上のベクトル空間と思えば、商集合としての K/k は K の k 上の基底にあたるものであり、K がある k 係数多項式の分解体ならば、K/k は多項式の根全体の集合と見なされる。また k-自己同型群 Aut(K/k) は商集合としての K/k 上に置換として作用する。特に拡大 N/k が多項式に分解によって得られる正規拡大ならば、ガロア群 Gal(N/k) は多項式の根の置換によって定まる対称群の部分商である。

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