A cyclic group is a group in which it is possible to cycle through all elements of the group starting with a particular element of the group known as the generator and using only the group operation and the inverse axiom. That is, every element of group can be expressed as an integer power (or multiple if the operation is addition) of .
A group is said to be cyclic if there exists an element , called a generator of , such that .
The trivial subgroup of (G,·) is cyclic by itself.
If one wishes to consider a definition that foregos any notion of the integers, one may wish to view a generator of a group as being an element whose membership in any subgroup implies all other members of the group must also be members of the subgroup. That is, the only subgroup containing a generator is the whole group itself.
- A group is said to be cyclic if there exists an element , called a generator of , such that for any subgroup , if , then .
A cyclic subgroup (H,·) of a group (G,·), denoted as [a], is a cyclic group where and .