Quotient Ring of Integers and Principal Ideal from Unity

Theorem

Let $\left({\Z, +, \times}\right)$ be the integral domain of integers.

Let $\left({1}\right)$ be the principal ideal of $\left({\Z, +, \times}\right)$ generated by $1$.

The quotient ring $\left({\Z, +, \times}\right) / \left({1}\right)$ is isomorphic to the null ring.

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.