Cyclic Group — Definition, Formula & Examples
A cyclic group is a group where every element can be produced by repeatedly applying the group operation to one particular element, called a generator. For example, the integers modulo under addition form a cyclic group generated by .
A group is cyclic if there exists an element such that every element of can be written as for some integer . We write , and is called a generator of . A cyclic group is either isomorphic to if it is infinite, or to if it has finite order .
Key Formula
Where:
- = The cyclic group
- = A generator of the group
- = An integer exponent (or number of times the operation is applied)
How It Works
To check whether a group is cyclic, you look for a single element whose powers (or repeated applications of the group operation) produce every element in the group. In a finite group of order , the element is a generator if and only if . Every cyclic group is abelian, meaning the group operation commutes: for all integers . By Lagrange's theorem, the order of any subgroup of a cyclic group divides the order of the group. In fact, for each divisor of , a cyclic group of order has exactly one subgroup of order , and that subgroup is itself cyclic.
Worked Example
Problem: List all elements and find all generators of the cyclic group (integers modulo 6 under addition).
Step 1: The elements are the residues modulo 6.
Step 2: An element is a generator if and only if . Compute the gcd for each nonzero element.
Step 3: The generators are the elements with gcd equal to 1. Verify for : the multiples of 5 mod 6 are , which is all of .
Answer: The generators of are and . There are generators, where is Euler's totient function.
Why It Matters
Cyclic groups are the building blocks of all finitely generated abelian groups via the Fundamental Theorem of Finitely Generated Abelian Groups. They appear directly in number theory (modular arithmetic), cryptography (Diffie-Hellman key exchange relies on cyclic subgroups), and signal processing (the discrete Fourier transform uses roots of unity, which form cyclic groups).
Common Mistakes
Mistake: Assuming every abelian group is cyclic.
Correction: While every cyclic group is abelian, the converse is false. For example, the Klein four-group is abelian but not cyclic, since no single element has order 4.
