Finite cyclic group

Definition
A finite cyclic group is a group satisfying the following equivalent conditions:


 * It is both finite and cyclic.
 * It is isomorphic to the defining ingredient::group of integers modulo n for some positive integer $$n$$.

Arithmetic functions
This lists arithmetic functions for the cyclic group of order $$n$$: