Un grupo generado por un único elemento g: G = ⟨g⟩ = {g^n : n ∈ Z} en el caso cíclico infinito o {g^n : n ∈ Z_n} en el caso cíclico finito. Todo elemento de G es una potencia (o múltiplo entero, en notación aditiva) del generador.

Principio

La existencia de un único generador reduce la estructura del grupo a la aritmética de las potencias del generador; la clasificación se reduce al caso infinito isomorfo a (Z, +) o al caso finito isomorfo a Z/nZ para algún n.

Demostración

Z con la suma es cíclico infinito, generado por 1. Los enteros módulo n, Z/nZ, son cíclicos finitos, generados por 1 mod n. En notación multiplicativa, el grupo de las raíces n‑ésimas de la unidad en C es un subgrupo cíclico cuando existe una raíz primitiva.

Aplicación incorrecta

Asumir que un grupo es cíclico porque contiene un elemento de gran orden o porque está generado por un conjunto sin comprobar que un solo elemento genera todo el grupo. Confundir 'estar generado por' con 'contener un subgrupo cíclico' es un error habitual.

Consecuencia

Los grupos cíclicos son necesariamente abelianos; su estructura de subgrupos viene determinada por los divisores del orden en el caso finito, y se clasifican por un solo invariante (el orden). Esto hace que muchos cálculos sean explícitos y elementales.

Inversión

Los grupos no cíclicos requieren varios generadores y exhiben estructuras de subgrupos y subgrupos normales más complejas; pueden ser no abelianos y no admiten clasificación por un único invariante escalar.

Límite

Esta entrada se refiere únicamente a grupos generados por un solo elemento. Excluye grupos generados por múltiples elementos, grupos que solo son cíclicos mediante estructura adicional y sistemas en los que las potencias no están definidas o no tienen sentido (por ejemplo, sistemas no asociativos).

Tensión semántica

Existe una tensión entre un grupo cíclico y la noción más débil de subgrupo cíclico: muchos grupos contienen subgrupos cíclicos sin ser cíclicos. Además, 'cíclico' en dinámica o topología puede indicar periodicidad sin implicar cyclicidad algebraica.

Síntesis

Un grupo cíclico es la estructura de grupo no trivial más sencilla: un único generador determina todos los elementos y la estructura, conduciendo a una clasificación completa como Z o Z/nZ.