訂正：

>>581
>λ を割る Z[η] の素イデアルは P = Z[η] ∩ Q のみである。
>よって、>>479 より λZ[η] = P^s となる有理整数 s > 0 がある。

>>479 は Z[ζ] について述べたものであり、Z[η] については証明を
要する。これは Z[η] が整閉(>>570)であることを使えば、前スレ２の676
から分かる。しかし、ここでは今までの結果を使った証明をしよう。
そのため可換代数のいくつか簡単な補題を用意する。後の参照のために、
ここでは不要だが関連する補題も証明する。