Definition:Divisor (Algebra)/Gaussian Integer

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

Let $x, y \in G$.

Then $x$ divides $y$ is defined as:
 * $x \mathrel \backslash y \iff \exists t \in G: y = t \times x$