Capı́tulo 2

Grupos Cı́clicos

Objetivos del capı́tulo

Se estudian y clasifican los grupos cı́clicos.

Se estudian los ordenes de los elementos de un grupo cı́clico.

1. Subgrupos cı́clicos. El orden de un elemento

Ya hemos calculado el subgrupo cı́clico generado por un elemento dentro de un grupo.
Estudiemos estos subgrupos con más detalle.

Proposición 1 Sea (G, ∗) un grupo y sea a ∈ G. Entonces la aplicación fa : Z → G

definida por  n
 a
 n>0
f (n) := e n=0
 −1 −n

(a ) n<0
es un homomorfismo de grupos. Es más, Im(f ) coincide con el subgrupo cı́clico generado
por a, es decir, h{a}i = {an | n ∈ Z}.

Demo: Dado un número n ∈ Z vamos a denotar por σn el signo de n. Tenemos entonces

que n = σn |n|. Con esta notación, tenemos que para todo n, m ∈ Z,

n + m = σn |n| + σm |m|
n + m = σn+m |n + m|
f (n) + f (m) = (aσn )|n| ∗ (aσm )|m| = aσn |n|+σm |m| = (aσn+m )|n+m| = f (n + m)

Además, Im(f ) = {an | n ∈ Z} = h{a}i. 

Corolario 2 Si (G, ∗) es un grupo cı́clico generado por a ∈ G. Entonces la aplicación

anterior es un epimorfismos de grupo.

Demo: Sin demo. 

17
18 2.1 Subgrupos cı́clicos. El orden de un elemento

Ejemplos A
? El subgrupo cı́clico generado por 9 en Z12 es h{9}i = {0, 9, 6, 3}
? El subgrupo cı́clico generado por el 7 en (Z, +) es

h{7}i = {. . . , −21, −14, −7, 0, 7, 14, 21, . . . }

? El subgrupo cı́clico generado por 4 en Z8 es

h{4}i = {0, 4}

Definición 3 Sea (G, ∗) un grupo. Se define el orden de G y se representa por |G| como
(
n si G es finito con n elementos
|G| =
∞ en caso contrario

Se define el orden de un elemento a ∈ G, y se representa por |a| (en algunos libros se

denota por ◦a) como el orden del subgrupo cı́clico que genera.

Proposición 4 Si (G, ∗) es un grupo y a ∈ G. Entonces:

(i) Si |a| = ∞, se verifica que h{a}i = {. . . , a−3 , a−2 , a−1 , e, a, a2 , a3 , . . . }. En donde
todos los elementos son distintos. Además, h{a}i ≈ (Z, +).
(ii) Si |a| = n, se verifica que:
(a) an = e,
(b) h{a}i = {e, a, a2 , · · · , an−1 }.
(c) Para todo m ∈ Z, si am = e, m es múltiplo de n.
Además, h{a}i ≈ (Zn , +).

Demo: Sabemos que h{a}i = {an | n ∈ Z}.

(i). Si todos estos elementos son distintos, tenemos que |a| = ∞. Por tanto, por la
proposición 1, la aplicación

f : Z → h{a}i definida por f (n) = an

está bien definida y es un isomorfismo, al ser sobreyectiva con todas las potencias de a
distintas. Por lo que h{a}i ≈ Z.
(ii) Caso contrario existe r, s ∈ N distintos, por lo que puedo suponer r < s, tales que
ar = as , o lo que es lo mismo, as−r = e. Sea

Λ := {k ∈ N | ak = e} ⊆ N

Por lo anterior, s − r ∈ Λ y por el principio del buen orden, existe un mı́nimo en Λ,

denotemos a este mı́nimo por n. En particular, an = e.
Entonces {e, a, a2 , . . . , an−1 } son todos distintos (repetimos el razonamiento anterior)
si 0 < r < s < n − 1 y ar = as , entonces as−r = e con n > s − r ∈ Λ, una contradicción.
Es más, dado m ∈ Z, por el algoritmo de la división m = cn + r con 0 < r < n y

am = acn+r = (an )c ∗ ar = ec ∗ ar = ar .
Capı́tulo 2. Grupos Cı́clicos 19

Esto demuestra (b), (c) y por tanto (a): h{a}i = {an | n ∈ Z} = {e, a, a2 , . . . , an−1 } con
n el menor natural tal que an = 0.
Ahora, la aplicación
f : Zn → G definida por f (n) = an
es un isomorfismo de grupos:
? Al estar definida la aplicación según un representante de clase, tenemos que ver que
está bien definida. Si r = s, entonces r − s = αn, por lo que r = s + αn. Entonces
que ar = as+αn = as ∗ (an )α = as . Por tanto está bien definida.
? f (n + m) = f (n + m) = an+m = an ∗ am = f (n) ∗ f (m), ∀ n, m ∈ Zn .
? Claramente f es sobreyectiva, dado ak ∈ G, ak = f (k)
? La inyectividad. Sean r, s ∈ Zn tales que f (r) = f (s). Entonces ar = as con lo que
ar−s = e y por tanto r − s es múltiplo de n, r − s = αn por lo que r = s. 
Lema 5 Sea G un grupo y sea a ∈ G. Entonces el orden de a es n si n es el menor
natural tal que an = e.
Proposición 6 Sean G y G0 dos grupos, f : G → G0 un homomorfismo de grupos y
a ∈ G. Si a tiene orden finito, entonces |f (a)| divide a |a|.
Demo: Como an = 0, e0 = f (e) = f (an ) = f (a)n por tanto el orden de f (a) divide a
n = |a|. 

2. Grupos cı́clicos
Definición 1 Se dice que (G, ∗) es cı́clico si existe a ∈ G tal que h{a}i = G, en este
caso se dice que a es un generador de G. Observar que en la proposición 12 (Pag. 13) se
demostró que la propiedad “ser grupo cı́clico” es estructural.
Observar que, por la proposición 4 (Pag. 18), ya sabemos como son todos los grupos
cı́clicos: salvo isomorfismos los siguientes.

Teorema 2 Si G es un grupo cı́clico, entonces:

(i) Si |G| = ∞, entonces G ∼
= Z.
(ii) Si |G| = n, entonces G ∼
= Zn .

Corolario 3 Todo grupo cı́clico es abeliano.

Proposición 4 Sea G un grupo cı́clico y H un subgrupo de G. Entonces

(i) H es cı́clico.
Es más, si G es cı́clico con n elementos,
(ii) El orden de H divide al orden de G.
(iii) Para cada divisor k de n existe un único subgrupo con k elementos.
20 2.2 Grupos cı́clicos

Demo: Sea a ∈ G tal que G = h{a}i. Si H = {e}, no tenemos nada que demostrar.
Por tanto, podemos suponer que existe e 6= ar ∈ H. Tenemos entonces que ar y a−r
pertenecen a H, por lo que el subconjunto

∆ := {n ∈ N |an ∈ H} ⊂ N

es no vacı́o. Sea k = Min(∆). Veamos que H = h{ak }i: Dado am ∈ H, por el algoritmo de
la división, m = ck + r con 0 ≤ r < k por lo que am = ack ∗ ar . Por tanto ar = am ∗ (a−k )c
y como am y a−k ∈ H, ar ∈ H lo que implica, por la minimalidad de k, que r = 0. Luego,
H ⊂ h{ak }i ⊂ H, luego H es cı́clico generado por ak . Es más, hemos demostrado que

si am ∈ H, m es múltiplo de k (∗)

Luego, si G es finito con n elementos, e = an ∈ H, por lo que n es múltiplo de k,

n = ck y entonces
H = {ak , a2k , . . . , a(c−1)k , ack = e}
lo que demuestra que |H| = c y como n = ck, c divide a n. Es más, un generado de H
es an/c con n el orden de G y c el orden de H, por lo que hay un único subgrupo con c
elementos, el generado por ak siendo k = n/c, lo que demuestra (iii). 
Estudiemos el orden de los elementos en un grupo cı́clico y finito:

Proposición 5 Sea G un grupo cı́clico con n elementos, supongamos que a ∈ G es un

generador: G = h{a}i = {e, a, a2 , . . . , an−1 }. Entonces:
(i) h{ak }i = h{am.c.d(k,n) }i.
(ii) El orden de ak = n/ m. c. d(k, n).
(iii) ak genera G si y sólo si m. c. d(k, n) = 1.
(iv) El número de generadores de G es φ(n) (donde φ es la función de Euler).

Demo: (i). Denotemos por m := m. c. d(k, n). Como k es múltiplo de m, k = αm,

ak = aαm = (am )α ∈ h{am }i.

Por tanto h{ak }i ⊂ h{am }i. Por otro lado, aplicando el Teorema de Bezout, existe r, s ∈ Z
tales que rk + sn = m(= m. c. d(k, n)). Ası́,

am = ark+sn = (ak )r (an )s = (ak )r es = (ak )r ∈ h{ak }i

y por tanto h{am }i ⊂ h{ak }i.

(ii). Seguimos denotando por m = m. c. d(k, n). Sea β ∈ N tal que n = βm. Tenemos
entonces que

h{ak }i = h{am }i = {am , a2m , . . . , a(β−1)m , aβm = an = e}

Por lo que ◦ak = β = n/ m. c. d(k, n).

(iii)y (iv) son consecuencia directa de (ii). 
El siguiente resultado será usado repetidamente a lo largo del curso.
Capı́tulo 2. Grupos Cı́clicos 21

P
Corolario 6 Sea n ∈ N. Entonces n = d|
n
φ(d) donde φ es la función de Euler.

Demo:
Consideremos Zn el grupo cı́clico con n elementos. Cada cada divisor d de n existe un
único subgrupo con d elementos y este subgrupo tiene φ(d)P generadores. Si sumo todos
los generadores de todos los subgrupos de Zn , es decir, d |n φ(d) son todos elementos
P
distintos de Zn por lo que d |n φ(d) ≤ n. Por otro lado, dado k ∈ Zn tenemos que k
genera un subgrupo de Zn de orden d, un divisor deP n, por lo que todo elemento de Zn es
uno de los que he contado antes y por tanto n ≤ d |n φ(d). 
22 2.3 Ejercicios del Tema

3. Ejercicios del Tema

1 Demuestra que (Z7 − {0}, ·), es un grupo cı́clico.

2 Sea (G, ∗) un grupo cı́clico con n elementos. Demuestra la ecuación X 2 = e posee

solución no trivial en G si y sólo si n es par. Es más, solo puede existir una única solución
no trivial. ∗

3 Sea (G, ∗) un grupo. Supongamos que G sólo posee los subgrupos triviales. Demuestra
que G es abeliano y finito. ¿Será cı́clico?