>>927 の続き。

p を有理素数として、p の Z[ω] における素因子分解を考える。
ω の Q 上のモニックな最小多項式を f(X) とする。
>>926 より f(X) を mod p で既約多項式に分解すれば p の素因子分解が
得られる。
このため、補題を用意する。