Ring of Integers is Principal Ideal Domain

Theorem
The integers $$\Z$$ form a principal ideal domain.

Proof
Let $$J$$ be an ideal of $$\Z$$.

Then $$J$$ is a subring of $$\Z$$, and so $$\left({J, +}\right)$$ is a subgroup of $$\left({\Z, +}\right)$$.

But by Integers Infinite Cyclic Group, the group $$\left({\Z, +}\right)$$ is cyclic, generated by $$1$$.

Thus by Subgroup of a Cyclic Group is Cyclic, $$\left({J, +}\right)$$ is cyclic, generated by some $$m \in \Z$$.

Therefore from the definition of principal ideal, $$J = \left\{{k m: m \in \Z}\right\} = \left({m}\right)$$, and is thus a principal ideal.