The ring of Gaussian integers is exactly \(\mathbb Z[i] = \{a+bi\mid a,b\in\mathbb Z, i^2=-1\}.\) It is a Euclidean domain with norm $N(a+bi) = a^2+b^2 = (a+bi)(a-bi)$. This norm is multiplicative.
Wikidata ID: Q724975