Утверждение

Любая циклическая группа $<a>$ является абелевой группой вида:

Для мультипликативной группы:
$$<a> = <a^{n}|n \in \mathbb{Z}>$$

Для аддитивной группы:
$$<a>=<na|n \in \mathbb{Z}>$$