Gaussian integer
In algebraic number theory, every abelian extension of the Gaussian rationals formula_72 is obtained by adjoining formula_73, where formula_74 is a root of the equation formula_75 and formula_76 is a Gaussian integer.