Multiplicative units in the integers

Content created by Egbert Rijke and Gregor Perčič.

Created on 2023-09-21.
Last modified on 2023-09-21.

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




Idea


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


Recent changes