Unit from norm one or minus one (source code)

= Unit from norm one or minus one

An algebraic integer whose absolute norm is $1$ or $-1$ is a unit, because its conjugate product supplies an integral inverse.