# When a prime ideal is a maximal ideal [duplicate]

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?

-

## marked as duplicate by rschwieb abstract-algebra StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); May 13 '15 at 17:56

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).

-
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.

-

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.

-
Z is PID and noetherian but not artin – annimal Dec 20 '14 at 19:10