Definition:Divisor (Algebra)/Gaussian Integer

Definition
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$