Existence of Cyclic Group of Order n

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $n \in \Z_{>0}$.

Then there exists a cyclic group of order $n$ which is unique up to isomorphism.


Proof

Existence follows from Integers Modulo m under Addition form Cyclic Group.

Uniqueness follows from Cyclic Groups of Same Order are Isomorphic.

$\blacksquare$


Sources