Quotient of Commutative Ring by Nilradical is Reduced

From ProofWiki
Jump to navigation Jump to search


Let $\struct {R, +, \circ}$ be a commutative ring whose zero is $0_R$ and whose unity is $1_R$.

Let $\struct {N, +, \circ}$ denote the nilradical of $R$.

The quotient ring $R / N$ is a reduced ring.


From Nilpotent Elements of Commutative Ring form Ideal, $\struct {N, +, \circ}$ is an ideal of $\struct {R, +, \circ}$.

Hence the quotient ring $R / N$ is defined.

By definition of the ideal of $\struct {R, +, \circ}$, $N$ is the zero of $R / N$.

Let $\paren {x + N}^n \in N$.


$x^n \in N$

and so:

$\paren {x^n}^m = 0_R$

for some $m \in \Z_{>0}$.


$x \in N$

and so:

$x + N = N$

That is, if a (left) coset of $N$ is nilpotent in $R / N$ that (left) coset is $N$ itself.

The result follows.