Past exam of the mathematics course of the University of Cambridge / 2019 / ib / Paper 3 / 11G / a / Solution

The Eisenstein integers are $\mathbb{Z}[\omega ]$, where ${\omega }^2+\omega +1=0$. Their multiplicative algebraic norm isGiven $\alpha ,\beta \ne 0$, choose an Eisenstein integer $q$ nearest to the complex number $\alpha /\beta$. The hexagonal lattice has covering radius $1/\sqrt{3}$, soWith $r=\alpha -q\beta$, multiplicativity givesThus division with remainder decreases the nonnegative integer norm, proving that $\boxed{\mathbb{Z}[\omega ]\text{ is a Euclidean domain}}$.