Zero Element Generates Null Ideal
Jump to navigation
Jump to search
Theorem
Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$.
For $r \in R$, let $\ideal r$ denote the ideal generated by $r$.
Then $\ideal {0_R}$ is the null ideal.
Proof
By definition:
- $\ideal {0_R} = \set {r \circ 0_R: r \in R}$
but for each $r \in R$ we have by Ring Product with Zero that $r \circ 0_R = 0_R$ for all $r \in R$.
Therefore $\ideal {0_R}$ is the null ideal.
$\blacksquare$