\begin{definition}[Definition:Additive Group of Integers Modulo m]
Let $m \in \Z$ such that $m > 1$.
The '''additive group of integers modulo $m$''', denoted $\struct {\Z_m, +_m}$, is the set of integers modulo $m$ under the operation of addition modulo $m$.
\end{definition}