Number theory MOC

Gaußian integers

The Gaußian integers are a Integers adjoin the imaginary unit , num hence the lattice spanned by in Complex numbers. They form a Euclidean domain under the quadrance

meaning if with there exist elements such that and

Proof of Euclidean domain

Let and let be a lattice point such that

Let . Then

as required.

Properties

1. The group of units is

Proof of 1

Suppose is a unit, so for some . Then whence so , proving ^P1.

---

tidy | en | sembr