# When is the set of zero divisors equal to the union of the minimal primes in a reduced ring?

It is straightforward to show, for example, that the set of zero divisors of a (commutative unital) reduced Noetherian ring is precisely the union of its minimal primes. When else can we say that the set of zero divisors is equal to the union of the minimal primes? Are there other useful cases where this is true? Is there a structure theory for such rings? I'm primarily looking for conditions that do not assume that the ring is Noetherian.

Edit: I messed up this question and received a correct answer for the wrong assumptions, so I have accepted the answer. The reducedness assumption was for the example, not for the general question.

The correct question is in there, but I accidentally changed the title, so I apologize for the confusion.

• I believe you mean that the set of zero-divisors is equal to the union of the associated primes. Example: $R=k[x,y]/(x^2,xy)$; $y$ is a zerodivisor, though the unique minimal prime is $(x)$. If your question is "When is the set of associated primes equal to the set of minimal primes?" then the answer is "When the ring is unmixed." Commented Apr 9, 2010 at 12:20
• Yes, I forgot the condition "reduced". Commented Apr 9, 2010 at 12:39

Let $R$ be a reduced commutative unital ring. If $a\in R$ is a zero divisor, then $ab=0,$ for some $b\neq 0.$ Hence $b\not \in 0 = \text{nil}(R)= \bigcap \text{Spec}(R) =\bigcap \text{Specmin}(R),$ where $\text{Specmin}(R)$ states for family of all minimal prime ideals of $R.$ So there exists a minimal prime ideal $\mathfrak{p}\triangleleft R$ s.t. $b\not \in \mathfrak{p}.$ But $\mathfrak{p}$ is prime, and $ab\in \mathfrak{p},$ thus $a\in \mathfrak{p}.$ Hence the set of zero divisors is contained in union of minimal prime ideals.