An ideal is a subring that is closed under multiplication by elements from the original ring.
Now, consider the subset $R = \{(a, 0) \mid a \in \mathbb{Z}\}$ of $\mathbb{Z} \oplus \mathbb{Z}$. We will show that $R$ is a subring but not an ideal.
Show more…