The zero ideal is a prime ideal because is an integral domain. Each of is a prime ideal: for among these three, reduction is a surjective ring homomorphism with kernel of a ring homomorphism , so its quotient ring is a field.
Any other nonzero proper ideal in (c) has generator with total exponent at least two. Choose one prime factor and put . Then but neither nor belongs to , as seen from the required prime exponents. Such an ideal is not prime. Thus with the standard proper-ideal convention the answer is
The definition printed in this paper omits properness. Literally under that definition itself also satisfies the implication, so its literal complete list is the preceding four ideals together with . Both interpretations are thereby accounted for.

Articles by others on the same topic (0)

There are currently no matching articles.