分解体

抽象代数学において、与えられた多項式の分解体（ぶんかいたい、）とは、その多項式を一次式の積に因数分解 (splitting) できるような係数体の拡大体を言う。特にそのような拡大体のうちが最小となる最小分解体 (smallest splitting field) は多項式に対して同型を除いて一意に定まるため、最小分解体のことを指して単に分解体と呼ぶことも多い。
定義.
体 上の多項式 の（最小）分解体とは、 の拡大 であって、 において が一次因子 の積
に分解され、なおかつ が根 たちによって 上生成されるときに言う。したがって拡大体 は、 を分解する の拡大体の中で、が最小のものになる。そのような分解体の存在と同型を除く一意性を証明することができる。そのような同型の取り方の自由度は、多項式 のガロワ群と呼ばれる（ は分離的であるものとする）。
例.
三次方程式の例.
例えば、"K" が有理数体 Q であり、
のとき、"P"("X") の分解体 "L" は 1 の原始立方根と 2 の立方根を含む。
従って、
であり、"L" は "K" = Q の6次拡大である。ここで、
 {2} i, \\
\omega_3 &= - \frac{1} {2} - \frac {\sqrt{3}} {2} i
\end{align} </math>
は、1 の立方根である。
事実.
 の拡大体 が、 上の多項式からなる適当な集合に対して、同時にそれら全ての多項式の（それを一次式の積に分解することができるという意味で）分解体となっているとき、 は の正規拡大であると言う。
 を含む代数閉体 を固定して考えるとき、拡大 の中間体で 上の多項式 の分解体となるものが"ただ一つ"存在し、それは の における根を に全て添加して得られる体に他ならない。 が複素数体の部分体ならば分解体の存在については直ちにいえるが、一般には代数閉包の存在がこの分解体に対する結果の「ある種の極限」として証明されることもしばしばであるので、循環論法を避けるためにはこれらは独立に証明されなければならない。
 の分離拡大 に対し、 のガロワ閉包 ("Galois closure") は分解体の一種で、 の を含む最小のガロワ拡大を言う。そのようなガロワ閉包は各元 の 上の最小多項式として得られる全ての -係数多項式に対する最小分解体を含まなければならない。
分解体の構成.
多項式の求根は古代ギリシアの時代より重要な問題であった。しかしいくつかの多項式、例えば のようなものは実数体 の範囲で考える限りにおいて根を持たない。そのような多項式に対する分解体の構成は、新たな体の中に多項式の根を求めることを可能にするものである。
構成法.
 を体、 は多項式環 の -次多項式とする。多項式 の 上の分解体を構成する一般の過程は、体の拡大の列 で、各 が の新たな根を含む の拡大となっているようなものを構成することである。 は高々 個しか根を持たないのだから、この構成も高々 段階の拡大を想定すればよい。各 に対する構成は以下のようにする:
上記の剰余環の構成に用いる既約因子 の取り方は任意でよいが、取り方が異なれば得られる拡大体の列は異なることに注意せよ。それにも拘らず最終的に得られる最小分解体は同型の意味で一意である。
 を既約にとることで、イデアル は極大イデアルとなり、従って剰余環 が実は体となることが導かれる。さらに言えば、剰余環への自然な射影 は
を満たすから、 は の（したがって の）根になる（根体の項も参照）。
各拡大における拡大次数 は既約因子 の次数に等しいから、求める拡大の次数 は各拡大の次数すべての積 に等しく、高々 ! である。
根体 について.
上記の通り、剰余環 は が既約であるとき体を成す。この体の元は、 および として、
なる形に表すことができる（ を 上のベクトル空間と見れば、 の冪 () がその基底を与えるということ）。
つまり の各元は の次数高々 の多項式と看做すことができる。 の加法は多項式の加法によって、乗法は を法とする多項式の乗法で与えられる。すなわち、 の積 は、 において を で割った剰余 によって与えられる。
剰余 は多項式の長除法によって計算することができるが、もっと直接的な簡約規則によっても を直接計算することもできる。まず は体上の多項式であるから、それが最高次係数
と仮定して一般性を失わない。 が の根とすれば、
であり、積 の なる項 は
と簡約することができる。