\begin{definition}[Definition:Additive Group of Integers Modulo 4]
The '''additive group of integers modulo $4$''' $\struct {\Z_4, +_4}$ is the set of integers modulo $4$ under the operation of addition modulo $4$.
\end{definition}