Let $R$ be a commutative ring (not necessarily containing $1$). Say that $R$ is the trivial ring if it has trivial (zero) multiplication. If $R$ is the trivial ring, then $R$ has no prime ideals (as any ideal contains $0$, hence the square of every element). Is the converse true - i.e.,

if $R$ is not the trivial ring, then does $R$ necessarily have a prime ideal?

If $R$ has a unity 1, then $R$ has a maximal ideal, which is necessarily prime. However, if $R$ does not have a 1, then maximal ideals need not exist, and even if they do, they need not be prime (in fact, an ideal $I \subseteq R$ is a nonprime maximal ideal iff $R/I$ is the trivial ring of order $p$, for some prime $p \in \mathbb{Z}$). So at first glance, considering maximal ideals doesn't seem terribly helpful...


2 Answers 2


Take $R=2\mathbb Z/8\mathbb Z$. This ring has no prime ideals and the multiplication is clearly not trivial.

Since the OP took another way, I'd like to add a generalization of the example above: take $R=d\mathbb Z/n\mathbb Z$ with $d\mid n$, and $m=n/d$. The prime ideals of $R$ are of the form $pd\mathbb Z/n\mathbb Z$ with $p$ prime, $p\mid m$ and $p\not\mid d$. Now it's easy to give examples of such rings without prime ideals.

  • $\begingroup$ Ah, I saw that $2\mathbb{Z}/4\mathbb{Z}$ didn't work, but I should have tried this. Thank you. This seems to give a general class of examples - I'll post this below. $\endgroup$
    – zcn
    Dec 14, 2013 at 20:33

Extending YACP's example, we have the following general class of examples:

Let $R$ be a commutative ring with 1, $p$ a prime ideal, $I$ any ideal satisfying $p^2 \not \subset pI$ and $V(I) \cap \operatorname{Spec}(R_p) \subset \{p\}$ (viewing $\operatorname{Spec}(R_p) \subseteq \operatorname{Spec} R$). Then viewing $S := p/pI$ as a non-unital ring gives an example of a nontrivial ring with no prime ideals (as long as $p$ has no idempotents modulo $pI$).

To see why, note that $p^2 \not \subset pI$ is equivalent to saying that multiplication in $S$ is nontrivial. Now any prime ideal of $S$ must come from a prime ideal of $R$, contained in $p$, and containing $pI$. By the assumption on $V(I)$, the only possible such prime is $p$ itself, which is not a proper ideal in $S$, so $S$ has no primes.

As an example, taking $I = p^n$, for $n \geq 2$ (note: $n = 1$ never works!), will satisfy the conditions above (as long as $p^2 \not \subseteq p^3$, e.g. $p^2 \neq 0$ is finitely generated). This recovers YACP's example with $R = \mathbb{Z}$, $p = 2\mathbb{Z}$, $n = 2$.

Notice that $2\mathbb{Z}/6\mathbb{Z}$ is not an example though: the element $4$ acts as a 1. So the assumption that $p$ has no idempotent mod $pI$ is not an empty statement. It seems to hold when $I = p^n$ and $R$ is Noetherian though, e.g. possibly by considering the order in a local ring (the largest power of the maximal ideal an element lies in) - can anyone provide a proof of this?

Edit: Suppose $R$ had a prime ideal $p$, such that $p/p^n$, $n \geq 3$, has an idempotent $x$. Replacing $R$ by $R_p$, we may assume that $p$ is maximal and $R$ is local. Then $x^2 - x = x(x-1) \in p^n$, but $1-x$ is a unit in $R$ (since $x \in p$), so $x \in p^n$, i.e. $x = 0$ in $p/p^n$. So the example $I = p^n$ does work (without Noetherian hypotheses).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.