根体

抽象代数学における多項式の**根体**（こんたい、）は、与えられたを少なくとも一つ含むような最小の非自明な拡大体を言う。すなわち、根体はその多項式の係数体にひとつの根を添加して与えられる拡大体を言う。

この概念は主に  が係数体  上既約であるときに意味を持つ。この場合、 の  上の任意の根体が  に同型（ただし標準同型ではない）になる。これは  に係数を持つ一変数多項式環  を  の生成するイデアルで割った環であり、 で割った剰余全体の成す環と見ることもできる。すなわち、この剰余環をとる操作が  の根体構成である。

多項式  の根体は必ずしも  の全ての根を含む（すなわち、 において一次式の積に分解される）わけではない。しかし、この構成を有限回繰り返し適用して  の全ての根を含む有限次拡大を構成することは可能である。このように得られる体は  の分解体と言う。またこれは、もっと一般の（既約とは限らない）多項式に対しても適用できる。

「根体」という用語は必須のものではない。既に述べたように、根体を得るには剰余環  をとればよいのであって、剰余環の概念を持ち出せば十分であることから、特段の名称を付けないというような文献も多い。加えて、「根体」("corps de rupture") を別の意味で用いることも稀にあるため注意を要する。

## 用語に関する注意
多くの文献において、根体構成及びその性質は体論において最初の段階で扱うことになるものだが、 上の既約多項式  の根  を添加して得られる  の拡大体  に特定の名前を付けず、構成及び性質は主に剰余環構成  のそれによって達成される。

さらに言えば、別な意味で「根体」あるいは「分解体」という呼称が用いられることがある。ある文献では、与えられた多項式の根を含む「任意の」拡大体を根体 (corps de rupture) と呼んでいる。この意味では例えば実数体  も多項式  の根体になる。また別の文献は  上の定数でない多項式  に対して、 が一次式の積に分解 (split) されるような  上有限次の任意の拡大を  の「分解体」(corps de rupture) と呼んでいる。これと近い定義で、多項式  の「分解体」(corps de rupture) を  の根全体の成す集合が  上生成する体と定めるものもある（これは  の最小分解体 (corps de décomposition) と呼ぶのが普通）。

## 定義
具体的に、 を体、 は  の拡大体で、 は  の元とする。
*  上で  の生成する中間体（ と  を含む最小の体）を  と書く。これは  の  による単拡大である。
*  が  上の既約多項式  の根であるとき、 は  上代数的であり、また は  の  上の最小多項式である。

; 定義: 体  上の（既約）多項式  に関する  上の根体とは、 の根  が  上生成する単拡大体  を言う。

例えば、 を有理数体、 のとき、 は  の根体（のひとつ）になる。多項式の根体は必ずしもその多項式の全ての根を含むわけではない。実際、体  は  の残り二つの虚根（すなわち、 を1 の虚立方根として、 および ）を含まない。

### 拡大体の部分体として
 は  の拡大体で  とし、適当な -係数多項式  を用いて  として書くことができる  の元全体の成す集合、すなわち  の冪たちの -係数線型結合の全体を  と書けば、これが  と  を含む最小の部分環であることは容易に知れる。 は  と  を含む任意の体に含まれることも明らかである。 が  に属する次数  の既約多項式  の根であるとき、
*  の各元  は、次数高々  の多項式（ を  で割った剰余）によって一意的に表される（一意性は剰余の一意性からくる）。
*  の各非零元は  において可逆である。実際、そのような元を  とすると  は既約であるから、 におけるベズーの等式により、適当な多項式  が存在して、 とできるが、いま  ゆえ、 が  の逆元を与える。
ゆえに環  は体を成し、 は  の  上の根体である。さらに言えば、この体の  上のベクトル空間としての基底は  で与えられる（ の任意の拡大体  は、 の加法と  の元と見た  の元を掛ける操作を  のスカラー倍と見做して  上のベクトル空間の構造を持つことに注意せよ）。 の  上の拡大次数  はこのベクトル空間としての次元であるから、 は多項式  の次数に等しい。

### 根体における計算
前節でみたように  の  上の根体  の元を  の次数が  の次数より小さい多項式として表すとき、それらの和、積および逆元は、 の取り方に依らず  のみによって決まる。
* 和は多項式の和;
* 積は多項式の積を  で割った剰余;
* 逆元は拡張ユークリッド互除法で求まるベズーの等式から計算できる。

## 構成
実は既約多項式  の  上の根体は  の根  を含む  の拡大体の存在を仮定することなく、多項式環  を  で割った剰余の成す環  として構成することができる。 の次数が  ならば、この環は次数高々  の多項式全体の成す集合であって、前節に述べた加法および乗法を持ち、それぞれの単位元  および  が存在する。これによりこの集合は環であって、また  が既約であることからベズーの等式により逆元がとれるから体を成す。この構成において  は  の根となる。

より抽象的に、 は  を  の生成するイデアル  で割った剰余環として定義される。 は既約であるから、 は素イデアルであり、さらに  は主環（特にユークリッド環）だから極大イデアル、従って剰余環  は体を成す。 の各剰余類は、次数高々  の多項式をただ一つずつ含み、それらを完全代表系として先に述べた構成および計算が得られる。

この体は（ の各元は定数多項式と同一視することにより） の拡大体で  の根を含むものとして構成されたものである。実際、 の同値類を  と書けば、 は  の根体である。

前の節で述べたことは以下のように言い直せることを注意しておく:
*  が体、 が  上の既約多項式で、 を  の少なくとも一つの根  を含む  の拡大体とすれば、 から  への体の準同型（これは必ず単射になる） が一意的に存在して  および  とできる。

実際、 から  への環準同型で、 の元をそれ自身に写し、かつ  を  に写すものはただ一つであり、 の生成するイデアルはこの準同型の核であるから、準同型定理により、環準同型  で所期の性質を満足するものが得られる。 は体であるから、この  は必ず単射である。これらの性質を用いれば、 の各元は  の線型結合であるということから、 が  の行き先のみによって決まることがわかる。 

この性質は特に、 の  上の任意の根体が  に同型となることを保証する（先の記法で書けば、 ととって作った上記の準同型の像は  と  を含む  の部分体であるから、それは  全体に他ならない）。

## 例
*  の実数体  上の根体は複素数体  である。これはまた分解体でもある。
*  の三元体  上の根体は  である。実際、 は平方が  になる元を持たず、また  の任意の二次拡大体が  に同型である。

## 性質
### 存在と一意性
 の構成は、根体の存在を保証し、ほかの任意の根体がこれに同型であるという性質はその一意性を示している。 の根を含む  の拡大体に関する研究は、 上で有効である。すなわち、以下の定理を得た:

; 定理 (根体の一意存在):  が体  上の -次既約多項式ならば、同型の違いを除いてただ一つ  の根体  がする。さらに言えば、これは拡大次数  の拡大体であって、 の根を含む  の任意の拡大体が、根体を中間拡大体として含む。

ここに、多項式  の既約性は、多項式の根を含む最小の拡大体の一意性を言うために必要である。実際、 上の次数の相異なる二つの既約多項式の積に対し、その各既約因子の根を添加する拡大は、上で述べたように  上相異なる拡大次数を持つ拡大体を定めるから、それらは互いに同型でない。次数が同じである場合も同型でないことは起こりうる。例えば、多項式  は  上で  の根を含む二つの次数最小の拡大体  および  を持ち、これらは互いに同型でない。

### 根体の特徴付け
体  が  上の-次既約多項式  の根体  であることと、以下は同値である:
*  の根を添加する  の単拡大であること;
*  の根を少なくとも一つ含む  の拡大体であって、 上の拡大次数が  であること;
*  の根を少なくとも一つ含む  の拡大体であって、 上の拡大次数が最小であること;
*  の根を少なくとも一つ含む  の拡大体であって、そのような任意の拡大体の部分体となるという意味で最小となること;
*  の根を含む  の極小拡大体（ の根を含むような真の部分体を持たないという意味で極小）となること。

### 準同型と根
 を  の拡大体とする。上で見たように、 の任意の根  が、 に含まれる  の根体  に対応する。相異なる二つの根に同じ根体が対応し得るが、各根に対して一意に  から  への（したがって、 に含まれる根体への）体の準同型が定まる。故に、 に含まれる  の根の全体と  から  への準同型の全体は一対一に対応する。

特に、 の次数が  ならば、 から  への準同型は高々  個存在する。 が  において一次式の積に分解し、全ての単根が  に属するならば、 から  への準同型はちょうど  個存在する。

 上の多項式が分離的であるとは、それが  の代数閉包において重根を持たないこと（あるいは同じことだが、その一階導多項式と共通根を持たないこと）を言う。次数  の既約多項式  が分離的ならば、 から  の代数閉包への（あるいは  または  が一次式の積に分解する任意の体への）準同型はちょうど  個存在する。完全体上任意の既約多項式は分離的である。例えば、有理数体、実数体、一般に標数  の任意の体はそうであるが、任意の有限体はそうでない（分離拡大の項を参照）。

## 参考文献