Cyclic group:Z7

Definition
This group, denoted $$C_7, \Z_7, \Z/7\Z$$ is defined as the cyclic group of order $$7$$, i.e., the group of integers modulo n where $$n = 7$$. Equivalently, it is the additive group of the field of seven elements.

Other descriptions
The group can be constructed using GAP's CyclicGroup function:

CyclicGroup(7)