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

出典:wikipedia