Integers Modulo m under Addition form Cyclic Group

Theorem
The structure $$\left({\mathbb{Z}_m, +_m}\right)$$ where $$\mathbb{Z}_m$$ is the set of integers modulo $m$, is an abelian group.

$$\left({\mathbb{Z}_m, +_m}\right)$$ is cyclic of order $$m$$, generated by the element $$\left[\!\left[{1}\right]\!\right]_m \in \mathbb{Z}_m$$.

Frequently, the operation $$+_m$$ (addition modulo $m$) is merely written $$+$$, as long as it is understood what this operation actually is.

Proof
From the definition of integers modulo $m$, we have:

$$\mathbb{Z}_m = \frac {\mathbb{Z}} {\mathcal{R}_m} = \left\{{\left[\!\left[{0}\right]\!\right]_m, \left[\!\left[{1}\right]\!\right]_m, \ldots, \left[\!\left[{m-1}\right]\!\right]_m}\right\}$$

It is established that addition modulo $m$ is well defined:

$$\left[\!\left[{a}\right]\!\right]_m +_m \left[\!\left[{b}\right]\!\right]_m = \left[\!\left[{a + b}\right]\!\right]_m$$

The group axioms are fulfilled :


 * G0: Closure: addition modulo $m$ is closed.
 * G1: Associativity: addition modulo $m$ is associative.
 * G2: Identity: The identity element of $\left({\mathbb{Z}_m, +_m}\right)$ is $$\left[\!\left[{0}\right]\!\right]_m$$.
 * G3: Inverses: The inverse of $\left[\!\left[{k}\right]\!\right]_m \in \mathbb{Z}_m$ is $$- \left[\!\left[{k}\right]\!\right]_m = \left[\!\left[{-k}\right]\!\right]_m = \left[\!\left[{n - k}\right]\!\right]_m$$.
 * Commutativity: addition modulo $m$ is commutative.

From Integers Infinite Cyclic Group and Quotient Group of Cyclic Group, $$\left({\mathbb{Z}_m, +_m}\right)$$ is cyclic order $$m$$.