>>917 より任意の有理素数 p の Z[θ] における素因子分解、
または同じことだが素イデアル分解が決定されたことになる。

pZ[θ] = Π(P_i)^(m_i) を素イデアル分解とすると、
m_i ≧ 2 となる i があるのは p が f(X) の判別式を割るときかつ
そのときのみである(>>793)。
このような p を Z[θ] において分岐するという。