Les groupes cycliques possèdent une structure simple à comprendre. Ils forment une structure telle que les puissances d'un élément (en notation multiplicative), bien choisi, engendrent tout le groupe. Cette situation est illustrée dans la figure suivante, qui présentent les racines complexes de l'unité sur un cercle.
L'élément neutre est représenté par un point noir, un élément générateur peut être obtenu en prenant (par exemple) le premier élément en tournant vers la droite, le carré de cet élément générateur s'obtient en tournant toujours dans la même direction. Et ainsi de suite. L'élément n+1 est égal à l'élément 1, n+2 à l'élément 2, et ainsi de suite.
Cn désigne, suivant la convention habituelle, le groupe cyclique d'ordre n.
La traduction en termes mathématiques est alors la suivante :
- Soit G un groupe cyclique d'ordre n, alors G est isomorphe à Z/nZ.
Ce théorème est important, car il démontre la simplicité d'un groupe cyclique. À la fois, ce groupe est unique pour un ordre donné et, de plus, sa structure est limpide. De ce théorème découlent immédiatement quelques corollaires :
- Tout groupe cyclique est abélien.
- Soit G un groupe cyclique d'ordre p.q, où p et q sont deux entiers strictement positifs, alors il n'existe qu'un seul sous-groupe H d'ordre p et, si g est un élément primitif de G, alors g est un élément primitif de H.
- Le quotient d'un groupe cyclique par un sous-groupe quelconque est un groupe cyclique.
- Soit p un nombre premier : le groupe cyclique d'ordre p est le seul groupe d'ordre p, à un isomorphisme près.