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 orders of elements of rings

module ring-theory.multiplicative-orders-of-units-rings where
Imports 




Idea


The multiplicative order of an
invertible element x of a
ring R is the order of x in the
group of multiplicative units. In other
words, it is the normal subgroup of the
group of integers consisting of
all integers k such that xᵏ ＝ 1.