1
$\begingroup$

$R$ is a ring with $1$. We call $r\in R$ nilpotent if $\exists n\in \mathbb{N}$ such that $r^n=0$. Show every nilpotent element lies in some prime ideal.

The fact that $1\in R$ may not be needed here since this problem has multiple parts.

I know that "every nilpotent element lies in every prime ideal," but I don't assume $R$ has prime ideals. So I would like to construct one (possibly in terms of a given nilpotent element $r$). Suppose $r^n=0$ with $n$ minimal.

My attempts at constructing a prime containing $r$ have included $(r),$ the collection of nilpotent elements, the collection of zero divisors, the collection of all $s$ with $s^n=0$ and $n$ minimal. But I cannot show that either of these are prime ideals mostly due to the fact that $R$ may not be an integral domain. How can I construct such a prime ideal?

$\endgroup$
0

2 Answers 2

1
$\begingroup$

You need Zorn lemma (I think Zorn lemma is essentially needed)... There are multiple ways to construct a prime; to my knowledge all of them use Zorn lemma (Axiom of choice).

Let $S$ be the set of all proper ideals containing $r$ (which is non-empty obviously). With inclusion this set is partially ordered. Take any chain of ideals $r\in \mathfrak{a}_1\subset \mathfrak{a}_2\subset \cdots$. Then $\bigcup \mathfrak{a}_i$ is an ideal too, and it is in $S$. This is an upper bound for you chain. So the hypothesis of Zorn lemma holds. Hence $S$ has a maximal element. This maximal element is a maximal ideal containing $r$. Every maximal ideal is prime. Hence there exists a prime ideal containing $r$.

Aside: The set of zero-divisors is not in general even an ideal. The set of nilpotents (nilradical) is an ideal, but it is only prime when there exists only a single minimal prime (like an integral domain), in which case zero-divisors and nilradicals coincide.

$\endgroup$
0
$\begingroup$

Let I be the nil radical of the ring( under consideration) R. Then I is equal to the prime radical. if x is a nilpotent element then it is in I and hence in the prime radical.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .