Definition:Divisor (Algebra)/Gaussian Integer

Definition
Let $\left({\Z \left[{i}\right], +, \times}\right)$ be the ring of Gaussian integers.

Let $x, y \in \Z \left[{i}\right]$.

Then $x$ divides $y$ is defined as:
 * $x \mathrel \backslash y \iff \exists t \in \Z \left[{i}\right]: y = t \times x$