\begin{definition}[Definition:Ring of Gaussian Integers]
The '''ring of Gaussian integers''' $\struct {\Z \sqbrk i, +, \times}$ is the algebraic structure formed from:
: the set of Gaussian integers $\Z \sqbrk i$
: the operation of complex addition
: the operation of complex multiplication.
\end{definition}