分解体
F を体、p(X) は多項式環 F[X] の n-次多項式とする。多項式 p(X) の F 上の分解体を構成する一般の過程は、体の拡大の列 F = K0, K1, ..., Kr−1, Kr = K で、各 Ki が p(X) の新たな根を含む Ki−1 の拡大となっているようなものを構成することである。p(X) は高々 n 個しか根を持たないのだから、この構成も高々 n 段階の拡大を想定すればよい。各 Ki に対する構成は以下のようにする:
p(X) を Ki 上の既約因子の積 f1(X)f2(X) ... fk(X) に因数分解する。
そのうちの一次式でない既約因子 f(X) = fi(X) を選択する。
体の拡大 Ki+1/Ki を、f(X) の根体、すなわち剰余環 Ki+1 = Ki[X]/(f(X)) として構成する。ここに、記号 (f(X)) は f(X) の生成する Ki[X] のイデアルである。
p(X) が完全に分解されていなければ、Ki+1 に対して上記の操作 1–3 を繰り返す。
上記の剰余環の構成に用いる既約因子 fi の取り方は任意でよいが、取り方が異なれば得られる拡大体の列は異なることに注意せよ。それにも拘らず最終的に得られる最小分解体は同型の意味で一意である。
f(X) を既約にとることで、イデアル (f(X)) は極大イデアルとなり、従って剰余環 Ki[X]/(f(X)) が実は体となることが導かれる。さらに言えば、剰余環への自然な射影 π: Ki[X] → Ki[X]/(f(X)) は
f ( π ( X ) ) = π ( f ( X ) ) = f ( X ) mod f ( X ) = 0 {\displaystyle f(\pi (X))=\pi (f(X))=f(X){\bmod {f}}(X)=0}
を満たすから、π(X) は f(X) の(したがって p(X) の)根になる(根体の項も参照)。
各拡大における拡大次数 [Ki+1 : Ki] は既約因子 f(X) の次数に等しいから、求める拡大の次数 [K : F] は各拡大の次数すべての積 [Kr : Kr−1] ... [K2 : K1][K1 : F] に等しく、高々 n! である。