reduced residues

forming a multiplicative group 'order' of an element of a finite group subgroup of a group order of a finite group LaGrange's theorem

Euler's generalization

group theoretic interpretation of Euler's theorem

next back