素イデアル根基が極大イデアル既約(ネーター環)素イデアルのべき準素イデアル根基が素イデアル反例 (x^2, xy)反例 (x, z)^2既約の逆の反例 (x, y)^2素の逆の反例 (4)