Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

In a commutative ring with unit every maximal ideal is prime. Under what conditions does the converse occur?

share|cite|improve this question

marked as duplicate by rschwieb abstract-algebra May 13 '15 at 17:56

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

You want to look at the literature on rings of "dimension zero". If the ring is Noetherian, then it is dimension zero iff it is Artinian. – Dylan Moreland Jan 5 '12 at 21:13

When the ring has Krull dimension equal to zero. If we're talking about integral domains then every prime ideal of $R$ is maximal if and only if $R$ is a field (since $0$ is a prime ideal in any integral domain).

share|cite|improve this answer
Possibly the questioner intended to exclude the $0$-ideal in case it is prime. – paul garrett Jan 5 '12 at 21:28
Possibly. In that case, @Lmn6, you'll want to look at one-dimensional rings. In the context of integral domains, the concepts of UFD and PID coincide. – user5137 Jan 5 '12 at 21:30
@JackManey: what do you mean exactly with "in the contenxt of ID the concepts of UFD and PID coincide"? – user14174 Jan 5 '12 at 23:50
@Lmn6 - If $R$ is an integral domain of Krull dimension at most 1, then $R$ is a UFD if and only if $R$ is a PID. – user5137 Jan 6 '12 at 2:08

When the ring contains no elements that are neither units nor zero divisors. Irritatingly, I know of no short name for this third category of elements of rings.

Polynomials are a typical example: Let $R$ be an integral domain and consider $R[x]$. Polynomials (of positive degree) are not units (they don't have multiplicative inverses), nor are they zero divisors. In such a ring, there are prime ideals that are not maximal ideals. For instance $(x)$, which has $R[x]/(x) \cong R$. Since $R$ had no zero divisors, neither does this quotient, so $(x)$ is prime. However, unless $R$ was already a field, this quotient is not a field so $(x)$ is not maximal.

share|cite|improve this answer

A ring $R$ with identity is artinian if and only if it is noetherian and every prime ideal is a maximal ideal by Hopkins theorem.

share|cite|improve this answer
Z is PID and noetherian but not artin – annimal Dec 20 '14 at 19:10