>>685
例えば P に 2 を添加してみる P'=<P,2>
{2,4,6,...} ⊂ P'- P
{1,3,5,...} ⊂ Z[X_1 , … , X_n] - P'
よって
P ≠ P' ≠ Z[X_1 , … , X_n]
P は極大イデアルではない
素イデアルの条件を何も使ってないからどこか間違ってるかも‥‥