The non-zero elements of the minimal prime ideals of a noetherian commutative ring are zero-divisors. 


The proof of this fact I know of uses primary decomposition. Are there alternative (e.g. more direct) proofs ? 



Minimal primes and zero-divisors 
Let $A$ be your ring and $X=\mathrm{Spec} A$. The minimal primes of $A$ correspond to the irreducible components of $X$. An element of $f\in A$ induces a function $\widehat f:X\to \coprod\_{\mathfrak p\in \mathrm{Spec} A}\kappa(\mathfrak p)$ and this function vanishes everywhere if and only if $f\in\mathfrak p$ for all $\mathfrak p\in \mathrm{Spec} A$, that is, when it is nilpotent. For an $f\in A$ contained in a minimal prime the induced function $\widehat f$ vanishes on the irreducible component corresponding to the minimal prime containing $f$.


If $X$ has a single irreducible component, then the functions induced by the elements of $A$ in the corresponding single prime ideal are vanishing everywhere hence they are nilpotent (in particular zero-divisors).


If $X$ has more than one irreducible component, then do the following: Choose $f\_1,\dots,f\_m$ such that each $f\_i$ is contained in exactly one minimal prime ideal and for each minimal prime there is (exactly) one $f\_i$ contained in it. This choice ensures that the product of any proper subset of these functions will not vanish on at least one irreducible component and hence it is not nilpotent. (The point is, that if their product vanished on an irreducible component, then one of them would have to, but then it would be *the* one that vanishes on *that* component). Now take an arbitrary element $g$ in any of the minimal primes and for simplicity assume it is from the one corresponding to $f\_1$. (We allow $g$ to be contained in other primes as well, but that has no consequence). Then the following claim implies that $g$ is a zero-divisor.


**Claim** Let $g,f\_2,\dots,f\_t$ be such that $g\cdot f\_2\cdots f\_t$ is nilpotent, but $f\_2\cdots f\_t$ is not nilpotent, then $g$ is a zero-divisor.


**Proof** Let $n$ be the smallest non-negative integer for which there exists a $t-1$-uple
$(n\_2,\dots,n\_t)\in\mathbb N^{t-1}$ such that $g^n\cdot f\_2^{n\_2}\cdots f\_t^{n\_t}=0$. Observe that $n$ exists and $n\geq 1$ by the assumptions.
Then $g\cdot (g^{n-1}\cdot f\_2^{n\_2}\cdots f\_t^{n\_t})=0$, but $g^{n-1}\cdot f\_2^{n\_2}\cdots f\_t^{n\_t}\neq 0$. $\square$


**Comment** Apparently this is essentially the same proof as the one Graham included in the comments, but I can't let go any chance of giving a geometric proof of an algebra question.
Also, it clarifies the unclear step pointed out by Georges. In fact, it seems one needs to do a little yoga to get the result.
In any case algebra=geometry. :)


