Definition:Group of Gaussian Integer Units

Definition
Let $i$ be the imaginary unit: $i = \sqrt {-1}$.

Let $U_\C$ be the set of complex numbers defined as:
 * $U_\C = \set {1, i, -1, -i}$

Let $\times$ denote the operation of complex multiplication.

The algebraic structure $\struct {U_\C, \times}$ is the group of units of the ring of Gaussian integers.

Cayley Table
The Cayley table for $\struct {U_\C, \times}$ is as follows:

Also see

 * Units of Gaussian Integers, where it is shown that $U_\C$ is the set of units of the ring of Gaussian integers'''


 * Units of Gaussian Integers form Group