This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Multiplicative units in the integers

module elementary-number-theory.multiplicative-units-integers where

Idea

A multiplicative unit in the ring ℤ of integers is an invertible element in ℤ. The only two multiplicative units in ℤ are 1 and -1.