\begin{definition}[Definition:Divisor (Algebra)/Gaussian Integer]
Let $\struct {\Z \left[{i}\right], +, \times}$ be the ring of Gaussian integers.
Let $x, y \in \Z \left[{i}\right]$.
Then '''$x$ divides $y$''' is defined as:
:$x \divides y \iff \exists t \in \Z \left[{i}\right]: y = t \times x$
\end{definition}