Every ring $R$ has a minimal prime ideal.

341 Views Asked by At

In my commutative algebra course I was asked to solve the following problem:

(i) Prove that in commutative unital ring $R$ every prime ideal $P$ contains a minimal prime ideal.
(ii) Prove that every commutative unital ring $R$ has a minimal prime ideal

Using Zorn's lemma I was able to prove (i). However I do not understand (ii), because if this is true, that would mean that there is some prime ideal $P$ such that for every prime ideal $Q$ we have $P\subset Q$. Of course if $R$ is an integral domain $(0)$ is a minimal prime ideal. But in $\mathbb{Z}_6$ we can prove that $(2)$ and $(3)$ are prime ideals and $2\notin(3)$, $3\notin (2)$, so that would be a counterexample.

It seems that I am missing something, I'll appreciate some help.

1

There are 1 best solutions below

1
On BEST ANSWER

From your comment in the comments:

Then it suffices to take some prime ideal , apply (i) and the minimal prime ideal obtained is as in (ii), right?

This will work, yes. If you know that in a ring with identity

  1. There exist maximal ideals; and
  2. maximal ideals are prime.

then you can extract a minimal prime ideal contained in that prime ideal, which would necessarily be a minimal prime in the entire ring.

However I do not understand (ii), because if this is true, that would mean that there is some prime ideal such that for every prime ideal we have ⊂.

As also discussed in the comments, it seems you are interpreting minimal as minimum (meaning "a prime ideal contained in all other prime ideals").

A minimal prime ideal is simply one that does not properly contain any other prime ideal. In your example, $(2)$ and $(3)$ are both minimal prime ideals of $\mathbb Z_6$, and no minimum prime ideal exists in the ring.