Subgrupos generados- Grupos cíclicos

Definición de subgrupo generado

Sea (𝐺, . ) grupo, 𝑋 ⊂ 𝐺, 𝑋 ≠ ∅.
1. Se llama subgrupo generado por 𝑋 a la intersección de todos los subgrupos de G
que contienen a 𝑋 y se simboliza 〈𝑋〉. En símbolos:

〈𝑋〉 ≝ ⋂ 𝐻𝑖
𝑖∈𝐼
donde 𝐻𝑖 ≺ 𝐺 , 𝑋 ⊂ 𝐻𝑖 , 𝐼 conjunto de índices.
2. Si 𝑋 = {𝑎} , el subgrupo generado por {𝑎} se denota 〈𝑎〉 y se llama subgrupo
cíclico de G.
3. Si existe 𝑎 ∈ 𝐺 tal que 𝐺 = 〈𝑎〉, decimos que G es cíclico.
Propiedades del subgrupo generado
1. 〈𝑋〉 ≺ 𝐺 por ser intersección de subgrupos de G.
2. 𝑋 ⊂ 〈𝑋〉 porque 𝑋 ⊂ 𝐻𝑖 ∀ 𝑖
3. Si 𝐻 ≺ 𝐺 y 𝑋 ⊂ 𝐻 entonces 〈𝑋〉 ⊂ 𝐻
Esta última propiedad o característica del subgrupo generado nos dice que es el menor
subgrupo de 𝐺 que contiene al conjunto 𝑋.
Estas tres propiedades son características propias de un subgrupo generado.
Proposición (Caracterización del subgrupo generado)
Sean (𝑮, . ) grupo, 𝑿 ⊂ 𝑮, 𝑿 ≠ ∅ y 𝑲 ⊂ 𝑮 que satisfacen las siguientes condiciones:
1. 𝑿 ⊂ 𝑲 ≺ 𝑮 ,
2. 𝑯 ≺ 𝑮 y 𝑿 ⊂ 𝑯 entonces 𝑲 ⊂ 𝑯 .
Entonces 〈𝑿〉 = 𝑲.
Demostración
Hay que probar una doble inclusión.
𝐾 ⊂ 〈𝑋〉 a probar.
Por propiedad 1 y 2 de 〈𝑋〉, < 𝑋 > ≺ 𝐺 y 𝑋 ⊂ 〈𝑋〉 , luego, aplicando la hipótesis 2
resulta 𝐾 ⊂ 〈𝑋〉 .
〈𝑋〉 ⊂ 𝐾 a probar.

Por hipótesis 1, 𝑋 ⊂ 𝐾 ≺ 𝐺, luego, aplicando la propiedad 3 del subgrupo generado

〈𝑋〉, resulta 〈𝑋〉 ⊂ 𝐾.

1
El siguiente teorema nos dice cómo son los elementos de un subgrupo generado.
Teorema
𝒏 𝒏 𝒏
Sea (G, .) grupo, ∅ ≠ 𝑿 ⊂ 𝑮. Entonces 〈𝑿〉 = {𝒙𝟏 𝟏 𝒙𝟐 𝟐 … 𝒙𝒔 𝒔 | 𝒙𝒊 ∈ 𝑿 ∧ 𝒏𝒊 ∈ ℤ }

Demostración
𝑛 𝑛 𝑛
Llamo 𝐾 = {𝑥1 1 𝑥2 2 … 𝑥𝑠 𝑠 | 𝑥𝑖 ∈ 𝑋 ∧ 𝑛𝑖 ∈ ℤ }

Para probar 〈𝑋〉 = 𝐾 usaremos la caracterización del subgrupo generado. Tenemos que
probar:
1) 𝑋 ⊂ 𝐾 ≺ 𝐺
2) 𝐻 ≺ 𝐺 y 𝑋 ⊂ 𝐻 entonces 𝐾 ⊂ 𝐻 .
Probemos 1)
Sea 𝑥 ∈ 𝑋 . Por definición de potencia y por la forma de los elementos de 𝐾, afirmamos
𝑥 = 𝑥1 ∈ 𝐾.
∴𝑋⊂𝐾
𝐾 ≺ 𝐺 a probar.
𝑛 𝑛 𝑛 𝑚1 𝑚 𝑚
Sean 𝑘, 𝑘 ′ ∈ 𝐾, es decir, 𝑘 = 𝑥1 1 𝑥2 2 … 𝑥𝑖 𝑖 , 𝑘 ′ = 𝑦1 𝑦2 2 … 𝑦𝑗 𝑗 , con 𝑥𝑟 , 𝑦𝑟 ∈
𝑋, 𝑛𝑟 , 𝑚𝑟 ∈ ℤ.
Entonces:
𝑚 −1 −𝑚𝑗
𝑛 𝑛 𝑚1 𝑛 𝑛 −𝑚1
𝑘. (𝑘 ′ )−1 = (𝑥1 1 … 𝑥𝑖 𝑖 ) (𝑦1 … 𝑦𝑗 𝑗 ) = 𝑥1 1 … 𝑥𝑖 𝑖 . 𝑦𝑗 … 𝑦1 ∈ 𝐾 por definición
de 𝐾.
∴𝐾≺𝐺
Probemos 2). Sea 𝐻 ≺ 𝐺 y 𝑋 ⊂ 𝐻 .
𝑛 𝑛 𝑛
Sea 𝑘 ∈ 𝐾, entonces: 𝑘 = 𝑥1 1 𝑥2 2 … 𝑥𝑖 𝑖 con 𝑥𝑟 ∈ 𝑋, 𝑛𝑟 ∈ ℤ.
𝑝𝑟𝑜𝑑 𝑐𝑒𝑟𝑟𝑎𝑑𝑜 𝑒𝑛 𝐻 𝑛 𝑝𝑟𝑜𝑑 𝑐𝑒𝑟𝑟𝑎𝑑𝑜 𝑒𝑛 𝐻 𝑛 𝑛 𝑛
𝑋⊂𝐻 ⇒ 𝑥𝑟 𝑟 ∈ 𝐻 ∀𝑟 ⇒ 𝑘 = 𝑥1 1 𝑥2 2 … 𝑥𝑖 𝑖 ∈ 𝐻

∴ 𝐾⊂𝐻
Luego, por caracterización de los subgrupos generados, resulta < 𝑋 > = 𝐾.
∎
Observación
Si 𝑿 = {𝒂} , 〈𝒂〉 = {𝒂𝒏 |𝒏 ∈ ℤ } grupo cíclico
Si la operación en el grupo es suma,
〈𝑋〉 = {𝑛1 𝑥1 + 𝑛2 𝑥2 + ⋯ + 𝑛𝑠 𝑥𝑠 | 𝑥𝑖 ∈ 𝑋 ∧ 𝑛𝑖 ∈ ℤ }

2
Si el grupo es aditivo, 〈𝒂〉 = {𝒏𝒂 |𝒏 ∈ ℤ }
Ejemplos
1) Sea 𝑆3 = {(1), (12), (13), (23), (123), (321)} grupo de las permutaciones de 3
elementos.
Calcular < (12) > = { (12)𝑛 | 𝑛 ∈ ℤ}.
(12)2 = (12)(12) = (1) = 𝑖𝑑
∴ < (12) > = {(12), 𝑖𝑑 }
Calcular < (123) >.
(123)2 = (123)(123) = (321)
(123)3 = (321)(123) = (1) = 𝑖𝑑
∴ < (123) > = {(123), (123)2 , 𝑖𝑑 }
Calcular < (12), (123) > queda como ejercicio. Da 𝑆3
2) Sea (ℤ, + ), y considero 𝑋 = {5, 6}. Entonces 〈𝑋〉 = { 𝑛5 + 𝑚6 |𝑛, 𝑚 ∈ ℤ }
Como (5, 6 ) = 1, existen 𝑛0 , 𝑚0 ∈ ℤ ∶ 1 = 𝑛0 5 + 𝑚0 6.
Sabemos que 1 es neutro para el producto en ℤ. Sea 𝑥 ∈ ℤ entonces:
𝑥 = 𝑥. 1 = 𝑥. (𝑛0 5 + 𝑚0 6) = 𝑥𝑛
⏟0 5 + 𝑥⏟
𝑚0 6 ∈ < 𝑋 >
∈ℤ ∈ℤ

∴ ℤ ⊂ 〈𝑋〉
Como 〈𝑋〉 ⊂ ℤ, concluimos ℤ = 〈𝑋〉
Si 𝑋 = {1}, < 1 > = {𝑛. 1 |𝑛 ∈ ℤ} = ℤ
Si 𝑋 = {2}, < 2 > = {𝑛. 2 |𝑛 ∈ ℤ} enteros pares
Si 𝑋 = {−4, 2}, < {−4,2} > = {𝑚. (−4) + 𝑛. 2 |𝑛, 𝑚 ∈ ℤ}
Sea 𝑥 ∈ 〈𝑋〉 , entonces existen m y n enteros tales que 𝑥 = −4𝑚 + 2𝑛
𝑥 = −4𝑚 + 2𝑛 ⟹ 𝑥 = 2 ⏟
(−2𝑚 + 𝑛) ⟹ 𝑥 ∈< 2 >
∈ℤ

∴ < {−4,2} > ⊂ < 2 >

Sea 𝑥 ∈< 2 >.
𝑥 = 2𝑛 = 2𝑛 + 4𝑚 − 4𝑚 = 2 (𝑛
⏟ + 2𝑚) + (−4)𝑚 = 2𝑘 + (−4)𝑚 ⟹ 𝑥 ∈< {−4,2} >
=𝑘

∴ < 2 > ⊂ < {−4,2} >

∴ < 2 > =< {−4,2} >

3
En este último ejemplo vemos que dos conjuntos distintos pueden generar el mismo
subgrupo.
Definición de orden de un elemento
Sea G grupo, 𝑎 ∈ 𝐺. Decimos que a tiene orden finito si existe 𝑛0 ∈ ℕ mínimo tal que
𝑎𝑛0 = 𝑒. Se simboliza 𝑜(𝑎) = 𝑛0 .
Si no existe tal entero positivo, decimos que a es de orden infinito.
Ejemplos
1) En (ℤ , + ) el número 1 tiene orden infinito:
𝑚. 1 = 0 ⟺ 𝑚 = 0
Es decir, no existe entero positivo tal que m.1=0.
En este grupo todos los elementos son de orden infinito, excepto el 0, el cual es de
orden 1.

2) En todo grupo, el elemento neutro es de orden 1.

3) Calculemos el orden de los elementos de (ℤ3 , +).
𝑜(0̅) = 1,
1̅ + 1̅ + 1̅ = 3̅ = 0̅
3 es la menor cantidad de veces que debemos sumar 1̅
∴ 𝑜(1̅) = 3
2̅ + 2̅ = ̅̅̅̅̅̅̅
2 + 2 = 4̅ = 1̅, 2̅ + 2̅ + 2̅ = 3.2
̅̅̅̅ = 6̅ = 0̅
3 es la menor cantidad de veces que debemos sumar 2̅
∴ 𝑜(2̅) = 3
Observemos que 1̅ 𝑦 2̅ son opuestos en ℤ3 y que tienen el mismo orden.
Esto vale en general para todo grupo, es decir, que los inversos tengan el mismo
orden.
Notemos también si sumamos 1̅ una cantidad de veces que sea múltiplo de 3, también
obtenemos como respuesta 0̅.
6. 1̅ = 1̅ + 1̅ + 1̅ + 1̅ + 1̅ + 1̅ = 6̅ = 0̅

4) Consideremos (ℂ − {0}, . ) grupo multiplicativo e infinito, cuyo neutro es 1.

Calculemos el orden i.
𝑖 2 = −1, 𝑖 3 = −𝑖, 𝑖 4 = 1 ∴ 𝑜(𝑖) = 4
De nuevo, observemos que cualquier potencia de 𝑖 que sea múltiplo de 4 dará el
neutro.

Proposición (Condición necesaria y suficiente para orden finito)

Sea 𝐺 grupo, 𝑎 ∈ 𝐺.
1) 𝑎𝑛0 = 𝑒
𝑜(𝑎) = 𝑛0 ⟺ {
2) ∀ 𝑛 ∈ ℕ ∶ 𝑎𝑛 = 𝑒 ⟹ 𝑛0 |𝑛

4
Demostración
⟹
Sea 𝑜(𝑎) = 𝑛0 . Queremos probar que 𝑛0 satisface las condiciones 1) y 2).
La condición 1) se cumple por definición de orden.
Probemos condición 2).
Sea 𝑛 ∈ ℕ tal que 𝑎𝑛 = 𝑒. Por algoritmo de la división entera:
∃ 𝑞, 𝑟 ∈ ℤ ∶ 𝑛 = 𝑞. 𝑛0 + 𝑟, 0 ≤ 𝑟 < 𝑛0 .
Luego:
𝑎𝑛 =𝑒
𝑎𝑛 = 𝑎𝑞.𝑛0 +𝑟 = (𝑎
⏟ 𝑛0 𝑞 𝑟
) . 𝑎 = 𝑎𝑟 ⇒ 𝑎𝑟 = 𝑒
𝑒

Pero 𝑛0 es el mínimo entero positivo tal que 𝑎𝑛0 = 𝑒 y 𝑟 < 𝑛0 , por lo tanto 𝑟 = 0.
∴ 𝑛0 | 𝑛
⟸
Debemos probar: 𝑛0 = 𝑚í𝑛 {𝑛 ∈ ℕ ∶ 𝑎𝑛 = 𝑒 }
Por 1) , 𝑎𝑛0 = 𝑒 , es decir, 𝑛0 ∈ {𝑛 ∈ ℕ ∶ 𝑎𝑛 = 𝑒 } .
Sea 𝑛 ∈ ℕ tal que 𝑎𝑛 = 𝑒. Veamos 𝑛0 ≤ 𝑛.
Por 2), 𝑛0 | 𝑛, entonces |𝑛0 | ≤ |𝑛|, es decir, 𝑛0 ≤ 𝑛.
Luego,
𝑛0 ∈ {𝑛 ∈ ℕ ∶ 𝑎𝑛 = 𝑒 } y ( ∀𝑛 ∈ ℕ: 𝑎𝑛 = 𝑒 ⟹ 𝑛0 ≤ 𝑛 )
∴ 𝑛0 = 𝑚í𝑛 {𝑛 ∈ ℕ ∶ 𝑎𝑛 = 𝑒 }
∎
Observación
Si a tiene orden infinito significa lo siguiente:
∀𝑛 ∈ ℕ 𝑎𝑛 ≠ 𝑒 ⟺ ∀𝑛 ∈ ℤ , 𝑛 ≠ 0 𝑎𝑛 ≠ 𝑒 ⟺ ( ∀𝑛, 𝑚 ∈ ℤ , 𝑛 ≠ 𝑚 ⟹ 𝑎𝑛 ≠ 𝑎𝑚 )
⟺ {𝑎𝑛 |𝑛 ∈ ℤ } es infinito ⟺ < 𝑎 > es infinito
Proposición
Sea 𝑮 = 〈𝒂〉 . Entonces:

1) 𝒐(𝒂) = 𝒏𝟎 ⟺ 〈𝒂〉 = {𝒂𝟎 , 𝒂, 𝒂𝟐 , … , 𝒂𝒏𝟎 −𝟏 }

2) 𝒂 𝒕𝒊𝒆𝒏𝒆 𝒐𝒓𝒅𝒆𝒏 𝒊𝒏𝒇𝒊𝒏𝒊𝒕𝒐 ⟺ 〈𝒂〉 𝒆𝒔 𝒊𝒏𝒇𝒊𝒏𝒊𝒕𝒐

5
Observación
Esta proposición nos dice que el orden del grupo cíclico es igual al orden del elemento
generador.
Demostración
1) ⟹
< 𝑎 > = {𝑎0 , 𝑎, 𝑎2 , … , 𝑎𝑛0 −1 } a probar con una doble inclusión.
Sea 𝑥 ∈ < 𝑎 >. Entonces:
∃ 𝑛 ∈ ℤ ∶ 𝑥 = 𝑎𝑛
Divido 𝑛 por 𝑛0 . Por algoritmo de la división:
∃ 𝑞, 𝑟 ∈ ℤ ∶ 𝑛 = 𝑞. 𝑛0 + 𝑟, 0 ≤ 𝑟 < 𝑛0 .
Luego:
𝑥 = 𝑎𝑛 = 𝑎𝑞.𝑛0 +𝑟 = (𝑎𝑛0 )𝑞 . 𝑎𝑟 = 𝑎𝑟 , con 𝑟 = 0,1,2, … , 𝑛𝑜 − 1.

∴ 𝑥 ∈ {𝑎0 , 𝑎, 𝑎2 , … , 𝑎𝑛0 −1 }
∴ < 𝑎 > ⊂ {𝑎0 , 𝑎, 𝑎2 , … , 𝑎 𝑛0 −1 }

Por Teorema, < 𝑎 >= {𝑎𝑛 |𝑛 ∈ ℤ }, por lo tanto, la inclusión

{𝑎0 , 𝑎, 𝑎2 , … , 𝑎𝑛0 −1 } ⊂ < 𝑎 > es obvia.

⟸
Queremos probar que o(a)=n0. Veamos que es el mínimo natural tal que 𝑎 𝑛0 = 𝑒.

Por hipótesis < 𝑎 >= {𝑎𝑛 |𝑛 ∈ ℤ } = {𝑎0 , 𝑎, 𝑎2 , … , 𝑎𝑛0 −1 }.

Entonces:
𝑎𝑛0 ∈ < 𝑎 > ⟹ 𝑎𝑛0 = 𝑎𝑟 para algún 𝑟 = 0,1,2, … , 𝑛𝑜 − 1.
Si r=0, 𝑎𝑛0 = 𝑒
Si 𝑟≠0
𝑎𝑛0 = 𝑎𝑟 ⟹ 𝑎𝑛0 −𝑟 = 𝑒, 𝑐𝑜𝑛 0 < 𝑛0 − 𝑟 ≤ 𝑛0 − 1 ,
lo cual contradice que todos los elementos de < 𝑎 > son distintos entre si y distintos del
neutro.
∴ 𝑎𝑛0 = 𝑎0 = 𝑒
Es obvio que 𝑛0 es el menor natural tal que 𝑎𝑛0 = 𝑒, ya que todos los 𝑎𝑟 con
𝑟 = 1,2, … , 𝑛𝑜 − 1 son distintos entre sí y del neutro.
∴ 𝑜(𝑎) = 𝑛0 ∎

6
Teorema
Todo subgrupo 𝑯 del grupo aditivo ℤ es cíclico, ya sea 𝑯 = 〈𝟎〉 𝒐 𝑯 = 〈𝒎〉 donde m es
el menor entero positivo en 𝑯. Además, si 𝑯 ≠ 〈𝟎〉, 𝑯 es infinito.
Demostración
Si 𝐻 = {0} es cíclico.
Supongo 𝐻 ≺ ℤ, 𝐻 ≠ {0}.
Llamo m al menor entero positivo en H. Veamos que 𝐻 =< 𝑚 >.
Por teorema < 𝑚 > = {𝑘. 𝑚 |𝑘 ∈ ℤ}. Sea 𝑥 ∈< 𝑚 > , entonces 𝑥 = 𝑘. 𝑚 con k entero.
Si k es positivo, 𝑥 = ⏟
𝑚 + ⋯ + 𝑚 ∈ 𝐻 pues 𝑚 ∈ 𝐻 y la suma es cerrada en H.
𝑘 𝑣𝑒𝑐𝑒𝑠

Si k es negativo, 𝑥 = ⏟
(−𝑚) + ⋯ + (−𝑚) ∈ 𝐻, por ser H es grupo, −𝑚 ∈ 𝐻 y la suma es
𝑘 𝑣𝑒𝑐𝑒𝑠
cerrada en H.
Si k=0, 𝑥 = 0 ∈ 𝐻.
∴< 𝑚 >⊂ 𝐻
Sea ℎ ∈ 𝐻. Por algoritmo de la división, existen q y r enteros tales que ℎ = 𝑞. 𝑚 + 𝑟 con
0 ≤ 𝑟 < 𝑚. De la igualdad obtenemos:
ℎ = 𝑞. 𝑚 + 𝑟 ⟹ 𝑟 = ⏟
ℎ − 𝑞.
⏟ 𝑚∈𝐻
∈𝐻 ∈𝐻

Tenemos 𝑟 ∈ 𝐻 𝑦 0 ≤ 𝑟 < 𝑚. Como m es el mínimo natural en H, debe ocurrir r=0.

∴ ℎ = 𝑞. 𝑚 ∈< 𝑚 >
∴𝐻 ⊂<𝑚 >
Es obvio que < 𝑚 > es infinito, pues sus elementos son los múltiplos de m.
Observación
(ℤ, +) es cíclico y (ℤ𝑛 , +) es cíclico.

Teorema (Clasificación de grupos cíclicos)

Todo grupo cíclico infinito es isomorfo a (ℤ, +).
Todo grupo cíclico finito de orden n es isomorfo a (ℤ𝒏 , +).
Demostración
Sea 𝐺 = 〈𝒂〉 infinito. Definimos la siguiente función:
𝑓: ℤ → 𝐺
𝑘 ↦ 𝑎𝑘
f es isomorfismo, a probar.
7
1) Sobre
Sea 𝑦 ∈ 𝐺. Existe 𝑘 ∈ ℤ tal que 𝑦 = 𝑎𝑘 = 𝑓(𝑘)
∴ 𝑓 𝑒𝑠 𝑠𝑜𝑏𝑟𝑒
2) Homomorfismo
Sean 𝑘1 , 𝑘2 ∈ ℤ.
𝑓(𝑘1 + 𝑘2 ) = 𝑎 𝑘1 +𝑘2 = 𝑎 𝑘1 . 𝑎 𝑘2 = 𝑓(𝑘1 ). 𝑓(𝑘2 )
∴ 𝑓 𝑒𝑠 ℎ𝑜𝑚𝑜
3) Inyectiva
ker 𝑓 = {𝑛 ∈ ℤ| 𝑎𝑛 = 𝑒}
< 𝑎 > es infinito⟺ ∀𝑚 ∈ ℤ, 𝑚 ≠ 0, 𝑎𝑚 ≠ 𝑒 ⟹ ker 𝑓 = {0}
∴ 𝑓 𝑒𝑠 𝑖𝑛𝑦𝑒𝑐𝑡𝑖𝑣𝑎
∴ 𝐺 ≃ (ℤ, +)
Sea 𝐺 =< 𝑎 > finito de orden m, entonces < 𝑎 > = {𝑎0 , 𝑎, … , 𝑎𝑚−1 }
Defino la función
𝑓: ℤ𝑚 → 𝐺
𝑘̅ ↦ 𝑎𝑘
1) Veamos que f está bien definida.

Sea 𝑘1 ∈ 𝑘̅, es decir, 𝑘1 − 𝑘 = 𝑞. 𝑚, con q entero, queremos probar 𝑓(𝑘

̅̅̅1 ) = 𝑓(𝑘̅).

̅̅̅1 ) = 𝑎𝑘1 = 𝑎𝑞.𝑚+𝑘 = (𝑎

𝑓(𝑘 ⏟ ) . 𝑎 = 𝑎𝑘 = 𝑓(𝑘̅)
𝑚 𝑞 𝑘

=𝑒

2) f es homo, a probar

Sean ̅̅̅
𝑘1 , ̅̅̅
𝑘2 ∈ ℤ𝑚 .
̅̅̅1 + ̅̅̅
𝑓(𝑘 ̅̅̅̅̅̅̅̅̅̅
𝑘2 ) = 𝑓(𝑘 1 + 𝑘2 ) = 𝑎
𝑘1 +𝑘2 ̅̅̅1 ). 𝑓(𝑘
= 𝑎𝑘1 . 𝑎𝑘2 = 𝑓(𝑘 ̅̅̅2 )

3) f es sobre, a probar.

Sea 𝑦 ∈ 𝐺, entonces 𝑦 = 𝑎𝑘 para algún 𝑘 = 0, 1, … , 𝑚 − 1. Por lo tanto, existe 𝑘̅ ∈ ℤ𝑚

tal que 𝑦 = 𝑎𝑘 = 𝑓(𝑘̅)

4) f es inyectiva, a probar.
ker 𝑓 = {𝑘̅ ∈ ℤ𝑚 | 𝑎𝑘 = 𝑒}
Sea 𝑘̅ ∈ ker 𝑓.
𝑎𝑘 = 𝑒 ⇒ 𝑚| 𝑘 ⟹ 𝑘̅ = 0̅
𝑜(𝑎)=𝑚
∴ ker 𝑓 = {0̅}, es decir, f es inyectiva.
Por todo lo probado
∴ 𝐺 ≃ (ℤ𝑚 , +)

8
Propiedades de grupos cíclicos
Si G es cíclico generado por a entonces:
1) G es abeliano
2) 𝑯 ≺ 𝑮 ⟹ 𝑯 𝒆𝒔 𝒄í𝒄𝒍𝒊𝒄𝒐
3) 𝒇: 𝑮 → 𝑮 ′ es homo de grupos ⟹ 𝑰𝒎 𝒇 = 𝒇(𝑮) es cíclico
4) Si G es finito de orden m entonces un generador de G es 𝒂𝒌 donde (𝒌, 𝒎) = 𝟏
5) Si G es infinito sus únicos generadores son a y a-1.
Ejemplo
Consideremos un grupo cíclico de orden 6, cuyo generador es a.

< 𝑎 >= {𝑒, 𝑎, 𝑎2 , 𝑎3 , 𝑎4 , 𝑎5 }

¿Existe otra potencia de a que genere al grupo?
Debemos buscar elementos de orden 6.
Notemos que (2,6) = 2 ,es decir, 2 y 6=o(a) no son coprimos, esto provoca lo siguiente:
(𝑎2 )2 = 𝑎4 ≠ 𝑒, (𝑎2 )3 = 𝑎2.3 = 𝑎6 = 𝑒 ∴ 𝑜(𝑎2 ) = 3
Luego, 𝑎2 no genera al todo el grupo.
Notemos que (3,6) = 3, no son coprimos, entonces:
(𝑎3 )2 = 𝑎6 = 𝑒 ∴ 𝑜(𝑎3 ) = 2
Notemos que (4,6) = 2, no son coprimos, entonces:

(𝑎4 )2 = 𝑎8 = 𝑎2 ≠ 𝑒, (𝑎4 )3 = 𝑎2.2.3 = 𝑒 ∴ 𝑜(𝑎4 ) = 3

Lo cual era esperable ya que 𝑎4 𝑦 𝑎2 son inversos entre si.
Finalmente (5,6) =1, entonces:
(𝑎5 )2 = 𝑎10 = 𝑎6 𝑎4 = 𝑎4 , (𝑎5 )3 = 𝑎15 = 𝑎2.6+3 = 𝑎3 ,
(𝑎5 )4 = 𝑎20 = 𝑎3.6+2 = 𝑎2 , (𝑎5 )5 = 𝑎25 = 𝑎4.6+1 = 𝑎,
(𝑎5 )6 = 𝑎5.6 = 𝑒 ∴ 𝑜(𝑎5 ) = 6
¿ 𝑎15 𝑔𝑒𝑛𝑒𝑟𝑎𝑟á 𝑎 𝑒𝑠𝑡𝑒 𝑔𝑟𝑢𝑝𝑜?