A group generated by a single element g: G = = {g^n : n in Z} for infinite cyclic or {g^n : n in Z_n} for finite cyclic groups. Every element of G is a power (or integer multiple, in additive notation) of the generator.

Principle

Existence of a single generator collapses the group's structure to the arithmetic of the generator's powers; classification reduces to either an infinite cyclic case isomorphic to (Z, +) or a finite cyclic case isomorphic to Z/nZ for some n.

Demonstration

Z under addition is infinite cyclic generated by 1. The integers modulo n under addition, Z/nZ, are finite cyclic generated by 1 mod n. In multiplicative notation, the group of nth roots of unity in the complex numbers is a cyclic subgroup when the primitive root exists.

Misapplication

Assuming a group is cyclic because it contains an element of large order or because it is generated by a set of elements without checking that one element alone generates the whole group. Confusing 'generated by' with 'contains a cyclic subgroup' is another common error.

Consequence

Cyclic groups are necessarily abelian, their subgroup structure is completely determined by divisors of the order in the finite case, and they are fully classified by a single invariant (the order). This makes many calculations explicit and elementary.

Reversal

Non-cyclic groups require multiple generators and exhibit more complex subgroup and normal-subgroup structures; they may be non-abelian and resist classification by a single scalar invariant.

Boundary

This entry addresses groups generated by a single element only. It excludes groups generated by multiple elements, groups that are cyclic only when equipped with extra structure, and structures where powers are not defined or meaningful (e.g., non-associative systems).

Semantic Tension

There is tension between a cyclic group and the weaker notion of a cyclic subgroup: many groups contain cyclic subgroups without being cyclic themselves. Also, 'cyclic' in dynamics or topology may describe periodicity that does not imply algebraic cyclicity.

Synthesis

A cyclic group is the simplest nontrivial group: a single generator determines all elements and structure, yielding a complete classification into the infinite case Z or finite cases Z/nZ.