3
$\begingroup$

I am wondering right now whether every ring, which is commutative, has a 1, and is reduced (i.e. no nilpotent elements) always has just one minimal prime Ideal.

Does anyone have a proof or a counterexample? The motivation for this question is that said rings correspond to coordinate rings $k[X]$ for irreducible algebraic sets $X$. And the minimal prime ideals should correspond to the irreducible components of $X$, which in case that $X$ itself is irreducible should just be $X$. Possible it is necessary to assume that $k$ is also an integral domain.

As there was some confusion, because I did not phrase the question clearly (sorry for that) and the answer is so simple, here is the short solution: If $R$ is an integral domain then $0$ is a prime ideal, and clearly it is also the unique minimal prime ideal. If $R=k[X]$ (i.e. $R$ is the coordinate ring of $X$), then $0$ corresponds to $X$ and $X$ is irreducible.

$\endgroup$
6
  • $\begingroup$ What about $\Bbb Z$ and its primes $(p)=p\Bbb Z$? Am I missing something? $\endgroup$
    – Berci
    Mar 17 '18 at 13:58
  • $\begingroup$ @Berci: In this context, the OP presumably means truly minimal, so for an integral domain, the zero ideal would be the unique minimal prime ideal. Otherwise, if "minimal prime ideal" was intended as minimal among nonzero prime ideals, then yes, in the ring $\mathbb{Z}$, all principal prime ideals would be minimal. $\endgroup$
    – quasi
    Mar 17 '18 at 14:08
  • $\begingroup$ How do you mean 'truely'? Is it a minimal / the smallest among all ideals / all prime ideals? $\endgroup$
    – Berci
    Mar 17 '18 at 14:11
  • $\begingroup$ Yes, minimal among all prime ideals. $\endgroup$
    – quasi
    Mar 17 '18 at 14:12
  • $\begingroup$ Aren't $p\Bbb Z$ minimal among the prime ideal? $\endgroup$
    – Berci
    Mar 17 '18 at 20:16
3
$\begingroup$

If you're allowing $(0)$ as a minimal ideal, then every ring has $(0)$ as a unique minimal ideal.

So I'll assume that by "minimal ideal", you mean an ideal which is minimal among nonzero ideals.

But then minimal ideals need not exist. For example, the ring $\mathbb{Z}$ has no minimal ideals.

In your latest edit, you changed "minimal ideal" to "minimal prime ideal".

In this context, "minimal" presumably means truly minimal in the set of prime ideals.

If the ring $R$ is required to be an integral domain, then the zero ideal is a prime ideal, and in that case, the zero ideal is the unique minimal prime ideal.

If $R$ is required to be reduced, but not necessarily an integral domain, then there need not be a unique minimal prime ideal.

For example, consider the ring $R=Z_6$.

It's easily verified that $R$ is reduced.

The prime ideals of $R$ are the principal ideals $(2)$ and $(3)$, which are distinct, and which are each both minimal and maximal.

Thus, $R$ does not have a unique minimal prime ideal.

$\endgroup$
4
  • $\begingroup$ I meant minimal prime ideals, sorry I totally forgot about that. $\endgroup$
    – Florian
    Mar 17 '18 at 13:12
  • $\begingroup$ $\Bbb Z_6$ has nilpotent elements. $\endgroup$
    – Berci
    Mar 17 '18 at 14:02
  • $\begingroup$ @Berci: Are you sure?${}{}{}$ $\endgroup$
    – quasi
    Mar 17 '18 at 14:03
  • $\begingroup$ No. It's zero divisors it has, indeed, sorry. $\endgroup$
    – Berci
    Mar 17 '18 at 14:05

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.