En la teora de grupos , un grupo cclico o grupo monogenous es

un grupo que puede ser generada por un solo elemento, en el sentido de que el
grupo tiene un elemento g (llamado un " generador "del grupo) de modo que,
cuando se escribe multiplicativa, cada elemento del grupo es una potencia
de g (un mltiplo de g cuando la notacin es aditivo).

Definicin

Un grupo G se llama cclico si existe un elemento g en G tal

que G = <g> = {g n | n es un nmero entero}. Dado que cualquier grupo
generado por un elemento en un grupo es un subgrupo de ese grupo,
demostrando que la nica subgrupo de un grupo G que contiene g es en
s G basta para demostrar que G es cclico.

Por ejemplo, si G = {0 g, 1 g, 2 g, 3 g, 4 g, g 5} es un grupo,

entonces g = 6 g 0, y G es cclico. De hecho, G es esencialmente la misma que
(es decir, isomorfo a) el conjunto {0, 1, 2, 3, 4, 5} con la adicin de mdulo 6.
Por ejemplo, 1 + 2 = 3 (mod 6) corresponde a 1 g g = 2 g 3 y 2 + 5 = 1 (mod 6)
corresponde a 2 g g = 5 g 7 g = 1, y as sucesivamente . Uno puede utilizar el
isomorfismo definida por (g i) = i.

Para cada entero positivo n hay exactamente un grupo cclico (hasta

isomorfismo) cuyo orden es n, y hay exactamente un grupo cclico infinito (los
nmeros enteros bajo la adicin). Por lo tanto, los grupos cclicos son los
grupos ms simples y estn completamente clasifican.

El nombre 'cclico' puede ser engaoso: es posible generar un nmero infinito

de elementos y no formar ningn ciclo literales; es decir, cada es distinta.
(Se puede decir que tiene un ciclo infinitamente largo.) Un grupo generado de
esta manera se llama un grupo cclico infinito, y es isomorfo al grupo aditivo
de los enteros Z.

Puesto que los grupos cclicos son abeliano, a menudo se escriben de forma
aditiva y denotan Z n. Sin embargo, esta notacin puede ser problemtico para
los tericos de nmeros porque entra en conflicto con la notacin habitual
para p nmero -adic anillos o localizacin en una ideal primo. La cociente
notaciones Z / n Z, Z / n, y Z / (n) son alternativas estndar. Adoptamos la
primera de ellas para evitar la colisin de notacin. Ver tambin la
seccin Subgrupos y notacin abajo.
Uno puede escribir el grupo multiplicativa, y denotan por C n, donde n es el
orden (que puede ser ). Por ejemplo, g 3g 4 g = 2 en do 5, mientras que 3 + 4 =
2 en Z / 5 Z.

Propiedades

La teorema fundamental de grupos cclicos establece que si G es un grupo

cclico de orden n entonces cadasubgrupo de G es cclico. Adems, el orden de
cualquier subgrupo de G es un divisor de n y k para cada divisor positivo
de n el grupo G tiene exactamente un subgrupo de orden k. Esta propiedad
caracteriza a grupos cclicos finitos: un grupo de orden n es cclico si y slo si
para cada divisor d de n el grupo tiene a lo sumo un subgrupo de orden d. A
veces, la declaracin equivalente se utiliza: un grupo de orden n es cclico si y
slo si para cada divisor d de n el grupo tiene exactamente un subgrupo de
orden d.

Cada grupo cclico finito es isomorfo al grupo {[0], [1], ..., [n - 1]} de los enteros
mdulo n bajo la adicin, y cualquier grupo cclico infinito es isomorfo a Z (el
conjunto de todos los enteros) bajo la adicin. Por lo tanto, uno slo tiene que
mirar a esos grupos para comprender las propiedades de los grupos cclicos en
general. Por lo tanto, los grupos cclicos son uno de los grupos ms simples
para estudiar y una serie de propiedades agradables son conocidos.

Dado un grupo cclico G de orden n (n puede ser infinito) y por cada g en G,

G es abeliano; es decir, su operacin de grupo es conmutativo: gh = hg (para

todos h en G). Esto es as ya que g + h mod n = h + g mod n.

Si n es finito, entonces g n = g 0 es el elemento identidad del grupo, ya

que n mod n = 0.

Si n = , entonces hay exactamente dos generadores: a saber, 1 y -1 para Z, y

cualquier otro asignadas a ellos bajo un isomorfismo en otros grupos cclicos
infinitos.

Si n es finito, entonces hay exactamente (n) generadores , donde es

el Funcin phi de Euler
 Cada subgrupo de G es cclico. De hecho, cada subgrupo finito de G es un
grupo de {0, 1, 2, 3, ... m - 1} con modulo Adems m. Y cada subgrupo infinito de
G es m Z para algunos m, que es biyectiva a (de modo isomorfo a) Z.

G n es isomorfo a Z / n Z ( de grupo de factor de Z sobre n Z) desde Z / n Z = {0

+ n Z, Z 1 + n, n + 2 Z, 3 + n Z, 4 + n Z, ..., n - 1 + n Z } {0, 1, 2, 3, 4, ..., n - 1}
bajo mdulo Adems n.

Ms generalmente, si d es un divisor de n, entonces el nmero de elementos

en Z / n que tienen el fin d es (d). El orden de la clase de residuos
de m es n / mcd (n, m).

Si p es un nmero primo , entonces el nico grupo ( hasta isomorfismo)

con p elementos es el grupo cclico C o Z p / p Z.

La producto directo de dos grupos cclicos Z / n Z y Z / m Z es cclico si y slo

si n y m son primos entre s. As, por ejemplo, Z / Z 12 es el producto directo
de Z / Z 3 y Z / Z 4, pero no el producto directo de Z / 6 Z y Z / Z 2.

La definicin de inmediato implica que los grupos cclicos tienen muy

simple presentacin del grupo C = <x |> y C n = <x | x n> para finita n.

La grupo cclico primaria es un grupo de la forma Z / p k donde p es un nmero

primo . La teorema fundamental de los grupos abelianos establece que
cadagrupo abeliano finitamente generado es el producto directo de un nmero
finito de grupos cclicos e infinitas primarias finitos cclicos.

Z / n Z y Z tambin son anillos conmutativos . Si p es un primo,

entonces Z / p Z es una campo finito, tambin denotado por F p o GF (p). Cada
campo con p elementos es isomorfo a ste.

La unidades del anillo Z / n Z son los nmeros coprimeros a n. Ellos forman

una grupo bajo la multiplicacin modulo n con (n) elementos (vase ms
arriba). Est escrito como (Z / n Z) x. Por ejemplo, obtenemos (Z / n Z) x = {1,5}
cuando n = 6, y obtener (Z / n Z) x = {1,3,5,7} cuando n = 8.

De hecho, se sabe que (Z / n Z) es cclico si y slo si n es 2 o 4 o p k o

2 p k para una extrao nmero primo p y k 1, en cuyo caso cada generador
de (Z / nZ) se llama primitiva mdulo raz n. Por lo tanto, (Z / n Z) es cclico
para n = 6, pero no para n = 8, donde es isomorfa a la vez Grupo de Klein.
El grupo (Z / p Z) es cclico con p - 1 elementos para cada primo p, y tambin
se escribe (Z / Z p) *, ya que se compone de los elementos distintos de cero.
Ms generalmente, cada finito subgrupo del grupo multiplicativo de
cualquier campo es cclico.