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.

## Alternate definition

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 .

## Cyclic subgroups

A **cyclic subgroup** (H,·) of a group (G,·), denoted as [a], is a cyclic group where and .