Additive Groups of Integers and Integer Multiples are Isomorphic

From ProofWiki
Jump to navigation Jump to search


Let $n \in \Z_{> 0}$ be a strictly positive integer.

Let $\struct {n \Z, +}$ denote the additive group of integer multiples.

Let $\struct {\Z, +}$ denote the additive group of integers.

Then $\struct {n \Z, +}$ is isomorphic to $\struct {\Z, +}$.


We have that:

Infinite Cyclic Group is Isomorphic to Integers.
Integer Multiples under Addition form Infinite Cyclic Group.
Infinite Cyclic Group is Unique up to Isomorphism

Hence the result.