UNE - FAC

UNIVERSIDAD NACIONAL DE EDUCACIÓN

ENRIQUE GUZMÁN Y VALLE
“Alma Máter del Magisterio Nacional”
FACULTAD DE CIENCIAS
Departamento Académico de Matemática e Informática

CURSO: TÓPICOS DE ÁLGEBRA II

PPT N° 5

Sección: C4
Docente: Vicente Dávila Huamán

La Cantuta, mayo de 2024

2024
UNE - FAC

Ejemplo 1. Sea G = ℤ el grupo de los enteros bajo la operación de adición, o sea (ℤ , +); y sea H un subconjunto de ℤ tal que
H = {3k / k  ℤ } = 3 ℤ . Demuestre que H es un subgrupo de (ℤ , +).
Solución. Sean a = 3p y b = 3q elementos de H, con p, q  ℤ . Se demostrará que:  a, b  H  a + 𝑏−1  H
a, b  H  a = 3p  b = 3q
 a – b = 3p – 3q
 a – b = 3 (p – q)
 a – b = 3 k, con k = p – q  ℤ
 a–bH
 a + 𝑏 −1  H
Por tanto, H = 3 ℤ ⩽ ℤ.
Ejemplo 2. Sean n  ℕ y n ℤ = x  ℤ / x = n k, con k  ℤ. Demostrar que (n ℤ, +) es un subgrupo de (ℤ, +).
Demostración. Se probará que  a, b  n ℤ  a + 𝑏 −1  n ℤ.
a, b  n ℤ  anℤ  bnℤ
 a = n p  b = n q, para ciertos p, q  ℤ
 a – b = n p – n q  a – b = n (p – q)
 a – b = n k, con k = p – q  ℤ
 a + 𝑏 −1 = n k, k  ℤ
 a + 𝑏 −1  n ℤ
Por tanto, (n ℤ, +) ⩽ (ℤ, +). Esto es, todo n ℤ  ℤ es un subgrupo de (ℤ, +).

2024
UNE - FAC

Ejemplo 3. Sea (G, ∗) un grupo abeliano. Demuestre que

H = x  G / 𝑥 2 = e
es un subgrupo de G.
Demostración. Por el teorema 2 de caracterización de subgrupos, demostraremos que:  a, b  H  a ∗ 𝑏−1  H.
Por hipótesis tenemos que: m  H  𝑚2 = e. Luego,
(𝑎 ∗ 𝑏 −1 )2 = (a ∗ 𝑏−1 ) ∗ (a ∗ 𝑏−1 )
= a ∗ (𝑏−1 ∗ a) ∗ 𝑏 −1
= a ∗ (a ∗ 𝑏−1 ) ∗ 𝑏 −1 (por ser G abeliano)
= (a ∗ a) ∗ (𝑏−1 ∗ 𝑏 −1 )
= 𝑎 2 ∗ (𝑏−1 )2 = 𝑎 2 ∗ (𝑏2 )−1
= e ∗ 𝑒 −1 = e ∗ e
=e
Por tanto, (𝑎 ∗ 𝑏−1 )2 = e  a ∗ 𝑏 −1  H. En consecuencia, H ⩽ G.
Ejemplo 4. Sea el grupo (ℝ2, +) y sea H un subconjunto de ℝ2, tal que H = {(x, y)  ℝ2 / y – x = 1}. Determine si H es un
subgrupo de (ℝ2, +).
Solución. Probaremos si  (a, b); (c, d)  H  (a, b) + (c, d)-1  H. Veamos:
(a, b); (c, d)  H  (a, b)  H  (c, d)  H  b – a = 1  d – c = 1
 b=a+1  d=c+1
 b – d = a + 1 – (c + 1)
 b–d=a–cb–d=a–c+1

2024
UNE - FAC

 b – d = a – c  (a – c, b – d)
 (a, b) – (c, d)  H
 (a, b) + (c, d)-1  H
Por tanto, H no es un subgrupo de ℝ2.
Operaciones con subgrupos
Si (G, ∗) es un grupo y H, K subgrupos de G, entonces:
i) Diferencia: H – K no es subgrupo de G.
Por ejemplo, sea el grupo (ℤ6 , ⨁) y H = 0, 2, 4, K = 0, 3 subgrupos de ℤ6 . Entonces, H – K = 2, 4 no es subgrupo
de ℤ6 ya que e = 0  H – K.

ii) Complemento: ∁𝐺 H = G – H no es subgrupo de G.

En efecto, para H = 0, 2, 4 subgrupo de ℤ6 tenemos:
∁ℤ6 H = ℤ6 – H = 0, 1, 2, 3, 4, 5 – 0, 2, 4 = 1, 3, 5
no es subgrupo de ℤ6 . ¿Por qué?

iii) Unión de subgrupos: No siempre la unión de dos subgrupos es un subgrupo.

Por ejemplo, para H = 0, 2, 4 y K = 0, 3 subgrupos de ℤ6 se tiene
H  K = 0, 2, 3, 4
no es un subgrupo de ℤ6 , ya que 3 ⨁ 4 = 1  H  K .

2024
UNE - FAC

Sin embargo, se tiene el siguiente criterio general:

Si H y K son subgrupos de un grupo G, entonces H  K ⩽ G  H  K  K  H
Por ejemplo, sea el grupo (ℤ8 , ⨁) y H, K subgrupos de ℤ8 tal que
H = 0, 2, 4, 6 y K = 0, 4
Observamos que K  H, por tanto H  K = 0, 2, 4, 6 ⩽ G.
iv) Intersección de subgrupos. Para la intersección de subgrupos tenemos la siguiente proposición.
Proposición.
Sea (G, ∗) un grupo y H, K subgrupos de G. Entonces la intersección de H y K es un subgrupo de G.
Demostración. Demostraremos que:  a, b  H  K  a ∗ 𝑏−1  H  K.
a, b  H  K  a, b  H  a, b  K (por definición de )
 a ∗ 𝑏−1  H  a ∗ 𝑏 −1  K (por ser H y K subgrupo)
 a ∗ 𝑏−1  H  K (por definición de )
Proposición.
Sea (G, ∗) un grupo finito con |G| = p, p primo. Entonces los únicos subgrupos de G son los triviales e y G.
Demostración. Sea H ⩽ G. Como |H| divide al |G|, entonces:
|H|│|G|  |H|│p (p, primo)
 |H| = 1  |H| = p

2024
UNE - FAC
Por tanto,
 Si |H| = 1, entonces H = e.
 Si |H| = p, entonces H = G.
Luego, si el orden de un grupo es un número primo, entonces sus únicos subgrupos son los triviales. Esto es, no tiene
subgrupos propios.
Ejemplo 5. Sea el grupo (ℤ5 , ⨁). Hallar todos los subgrupos de ℤ5 .
Solución. Div (5) = {1, 5}, entonces el grupo ℤ5 tendrá subgrupos de orden 1 y orden 5. Así:
 𝐻0 = {0} = {e}  │𝐻0 │= 1.
 𝐻1 = 0, 1, 2, 3, 4 = ℤ5  │𝐻1 │= 5.
 𝐻2 = 0, 2, 4, 1, 3 = ℤ5  │𝐻2 │= 5.
 𝐻3 = 0, 3, 1, 4, 2 = ℤ5  │𝐻3 │= 5.
 𝐻4 = 0, 4, 3, 2, 1 = ℤ5  │𝐻4 │= 5.
Por tanto, los únicos subgrupos del grupo (ℤ5 , ⨁) son los subgrupos triviales ({0}, ⨁) y (ℤ5 , ⨁); además, este grupo no tiene
subgrupos propios. Esto es, en general, el grupo (ℤ𝑝 , ⨁), con p un número primo, no tiene subgrupos propios.
Unidades de un conjunto
Sea A un conjunto no vacío y x un elemento de A. Se dice que x es una unidad de A, si x tiene inverso multiplicativo; esto es
si x ⋅ 𝑥 −1 = 𝑥 −1 ⋅ x = e
Al conjunto de las unidades de A las denotamos por 𝕌(A). El par (𝕌(A), ⋅) es un grupo, llamado el grupo de unidades de A.

2024
UNE - FAC

Nota. Todo elemento no nulo k en ℤ𝑛 tiene inverso multiplicativo si k y n son primos entre sí; esto es, si mcd (n, k) = 1. Si
denotamos el conjunto de tales elementos de ℤ𝑛 por 𝕌(n), entonces el par (𝕌(n), ⊗) es un grupo, llamado el grupo de
unidades de ℤ𝒏.

Ejemplo 6. Sea ℤ8 = 0, 1, 2, 3, 4, 5, 6, 7, el conjunto de residuales módulo 8. Luego,

mcd (8, k) = 1, si k = 1, 3, 5, 7
esto es; 1, 3, 5 y 7 son los elementos invertibles de ℤ8 respecto de la multiplicación módulo 8, como se observa en la tabla

Cono e = 1, entonces:
1−1 = 1,
3−1 = 3,
5−1 = 5 y
7−1 = 7.

Luego, el conjunto de unidades de ℤ8 es 𝕌(8) = 1, 3, 5, 7 y (𝕌(8), ⨂) es un grupo, llamado el grupo de unidades de ℤ8 . En
efecto,
1) La operación ⨂ es asociativa en 𝕌(8). En efecto, para algunos casos tenemos:
(7 ⨂ 3) ⨂ 5 = 5 ⨂ 5 = 1  7 ⨂ (3 ⨂ 5) = 7 ⨂ 7 = 1  (7 ⨂ 3) ⨂ 5 = 7 ⨂ (3 ⨂ 5)
(5 ⨂ 7) ⨂ 7 = 3 ⨂ 7 = 5  5 ⨂ (7 ⨂ 7) = 5 ⨂ 1 = 5  (5 ⨂ 7) ⨂ 7 = 5 ⨂ (7 ⨂ 7), etc.

2024
UNE - FAC

2) Existe elemento neutro e = 1.

3) Todos los elementos de 𝕌(8) son invertibles: 1−1 = 1, 3−1 = 3, 5−1 = 5 y 7−1 = 7.
4) Además, la operación ⨂ es conmutativa, ya que los elementos del cuerpo de la tabla son simétricos respecto de la
diagonal principal.
Por tanto, (𝕌(8), ⨂) es un grupo abeliano.

Como 𝑑𝑖𝑣+ (4) = {1, 2, 4}, entonces los subgrupos propios del grupo (𝕌(8), ⨂) son de orden 2. Estos son:
 𝐻1 = 1, 3,
 𝐻2 = 1, 5 y
 𝐻3 = 1, 7.
Ejemplo 7. Para los sistemas numéricos ℤ, ℚ y ℝ, se tiene: 𝕌(ℤ) = 1. –1; 𝕌(ℚ) = ℚ∗ y 𝕌(ℝ) = ℝ∗ ; y por tanto,
(𝕌(ℤ), ⋅) = (1. –1, ⋅); (𝕌(ℚ), ⋅) = (ℚ∗ , ⋅) y (𝕌(ℝ), ⋅) = (ℝ∗ , ⋅) son grupos abelianos.

2024
UNE - FAC

Teorema de Lagrange
Si G es un grupo finito y H un subgrupo de G, entonces el orden de H divide al orden de G.
Por ejemplo, sean el grupo finito (ℤ10 , ⨁) y el subgrupo de ℤ10 generado por 2
< 2 > = 21, 22, 23, 24, 25 = 2, 4, 6, 8, 0 = 0, 2, 4, 6, 8
se tiene:
|ℤ10 | = 10 y |< 2 >| = 5  |< 2 >|│|ℤ10 |, esto es 5│10
Propiedades
1. Si G es un grupo finito y a  G, entonces el orden de a divide al orden de G.
Esto es, ord (a)│|G|. Así, en el ejemplo anterior ord (2) = 5 y │ℤ10 │= 10; por tanto el orden de 2 divide al orden de ℤ10 .

2. Si G es un grupo finito de orden n, esto es,│G│= n, entonces 𝒂𝒏 = 𝒆, para todo a  G.

Por ejemplo, (ℤ4 , ⨁) es un grupo finito de orden n = 4. Entonces,
04 = 0 = 𝑒
14 = 4 = 0 = 𝑒
24 = 8 = 0 = 𝑒
34 = 12 = 0 = 𝑒
Proposición
Si (G, ∗) es un grupo finito y x un elemento de G, el orden de x coincide con el menor entero positivo k tal que 𝑥 𝑘 = 𝑒. Además,
< 𝑥 > = 𝑥 1 , 𝑥 2 , 𝑥 3 , ⋯ , 𝑥 𝑘−1 , 𝑥 𝑘 = 𝑒
y todos los elementos de este conjunto son distintos.

2024
UNE - FAC

Así, por ejemplo, en el grupo aditivo (ℤ4 , ⨁) se cumple que:

22 = 4 = 0 = 𝑒
24 = 8 = 0 = 𝑒
26 = 12 = 0 = 𝑒
⋮
Luego, ord (2) = min 2, 4, 6, ⋯ = 2; esto es, ord (2) = 2.
Subgrupo generado
Sea G un grupo y sea x  G un elemento de orden m. Entonces, las potencias enteras de x
x0, x1, x2, ⋯, 𝑥 𝑚−1
forman un subgrupo de G, llamado subgrupo cíclico generado por x y se denota por < 𝑥 >. El orden del subgrupo < 𝒙 > es
igual al orden del elemento x.

Ejemplo 8. Sea el grupo aditivo (ℤ12, ⨁). Encontrar los subgrupos que generan los elementos de ℤ12 : 2, 10, 8, 5, 6 y 3.
Solución. Primero hallamos el orden del elemento y luego el subgrupo que genera. (Recordar que el orden del elemento es igual
al orden del subgrupo que genera).
⟐ Subgrupo generado por 2.
ℤ12 12
Ord (2) = = = 6  2 genera un subgrupo cíclico de orden m = 6. Luego,
2 2
< 2 > = 20, 21, 22, 23, 24, 25 = 0, 2, 4, 6, 8, 10, es el subgrupo cíclico generado por 2.

2024
UNE - FAC

⟐ Subgrupo generado por 10.

ℤ 12
12
Ord (10) = 𝑚.𝑐.𝑑.(12,10) = 2
= 6  10 genera un subgrupo cíclico de orden m = 6. Luego,

< 10 > = 100, 101, 102, 103, 104, 105 = 0, 10, 8, 6, 4, 2, es el subgrupo cíclico generado por 10.
Observamos que 2 y 10 generan el mismo subgrupo cíclico, tienen el mismo orden y, además, el inverso de 2 es
10; esto es, 2−1 = 10 y se cumple: ord (2) = ord (2−1 ) = 6.
Por tanto, < 2 > = < 2−1 > = < 10 >.
Nota: Sea G un grupo. Si x  G tiene orden finito, entonces ord (x) = ord (𝑥 −1 ).

⟐ Subgrupo generado por 8.

ℤ 12
12
Ord (8) = 𝑚.𝑐.𝑑.(12, 8)
= 4
= 3  8 genera un subgrupo de orden m = 3. Luego,

< 8 > = 80, 81, 82 = 0, 8, 4 = 0, 4, 8, es el subgrupo cíclico generado por 8.
⟐ Subgrupo generado por 5.
ℤ 12
12
Ord (5) = 𝑚.𝑐.𝑑.(12,5) = 1
= 12  5 genera un subgrupo de orden m = 12. Luego,

< 5 > = 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 510, 511 = 0, 5, 10, 3, 8, 1, 6, 11, 4, 9, 2, 7
= 0, 1, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11 = ℤ12, es el subgrupo cíclico generado por 5.

2024
UNE - FAC

Observamos que
< 5 > = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 = ℤ12
Esto significa que 5 es un generador del grupo ℤ12. En este caso se dice que (ℤ12, ⊕) es un grupo cíclico
generado por 5.
⟐ Subgrupo generado por 6.
ℤ12 12
Ord (6) = = = 2  6 genera un subgrupo de orden m = 2. Esto es,
𝑚.𝑐.𝑑.(12, 6) 6

< 6 > = 60, 61 = 0, 6, es el subgrupo cíclico generado por 6.
⟐ Subgrupo generado por 3.
ℤ 12
12
Ord (3) = 𝑚.𝑐.𝑑.(12, = = 4  3 genera un subgrupo de orden m = 4. En efecto,
3) 3

< 3 > = 30, 31, 32, 33 = 0, 3, 6, 9, es el subgrupo cíclico generado por 3.

2024
UNE - FAC

Ejercicios propuestos.

1. Sea (G, ⋅) un grupo. Demostrar la siguiente propiedad:

𝑎 𝑚 ⋅ 𝑎 𝑛 = 𝑎 𝑚+𝑛 , a  G, m, n  ℤ+
0
(Sugerencia: use inducción matemática).
2. Demostrar que (ℚ∗ , ⧣) es un grupo, si
𝑥𝑦
x⧣y= ,  x, y  ℚ∗ .
2

3. Demuestre que el conjunto A = (a, b)  ℝ2 / a, b  ℝ, a  0 con la operación ∗ definida por

(a, b) ∗ (c, d) = (ac, ad + b),  (a, b), (c, d)  A
es un grupo. ¿(A, ∗) es abeliano?

4. Suponga que H ⩽ G y   F  H. Demuestre que

F ⩽ H si y sólo si F ⩽ G

5. En el grupo aditivo (ℤ, +), ¿cuáles de los siguientes subconjuntos son subgrupos?
a) 6 ℤ  12 ℤ.
b) 6 ℤ  10 ℤ.
c) 6 ℤ  12 ℤ.
d) 6 ℤ  10 ℤ.
Si alguno es subgrupo escríbalo en la forma m ℤ.

2024
UNE - FAC

6. Muestre que en un grupo (G, ∗) la unión de dos subgrupos es un subgrupo si y sólo si uno de ellos está contenido en el
otro.

7. Sea (G, ⧣) un grupo y sea c un elemento cualquiera de G. Demuestre que el conjunto

H = x  G / x ⧣ c = c ⧣ x
es un subgrupo de (G, ⧣).
8. Sea (F, ∗) un grupo tal que F = a, b, c, d, g, h. Complete la tabla del grupo y halle todos los subgrupos.

9. Sea el grupo aditivo (ℤ18, ⨁). Encontrar los subgrupos que generan los elementos de ℤ18 : 2, 3, 5, 6, 9 y 12.

10. Sea ℤ10 = 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, el conjunto de enteros residuales módulo 10.
a) Halle el conjunto de unidades de ℤ10 .
b) Verifique (𝕌(10), ⨂) es un grupo.
c) Encuentre los subgrupos propios del grupo (𝕌(10), ⨂).

2024
UNE - FAC

11. Sea el grupo (ℝ, ⨞), donde la operación ⨞ está definida por
a ⨞ b = a + b – 3,  a, b  ℝ.
Obtener el elemento neutro del grupo y los elementos inversos.
𝑎 𝑏
12. Sea el conjunto ℳ2 = ൗ𝑎 , 𝑏, 𝑐, 𝑑 ∈ ℝ y la operación interna + definida por
𝑐 𝑑
𝑎 𝑏 𝑚 𝑛 𝑎+𝑚−1 𝑏+𝑛
+ 𝑝 𝑞 =
𝑐 𝑑 𝑐+𝑝 𝑑+𝑞+3
a) Demostrar que (ℳ2 , +) tiene estructura de grupo abeliano.
1 −2
b) Determinar la matriz inversa de la matriz A = .
−3 4
c) Obtener la matriz X que satisface la ecuación A + X = B, siendo
1 −2 1 0
A= yB=
−3 4 1 1

13. Sean (G, ⋆) un grupo y a  G cuyo elemento inverso es 𝑎 −1 . Demostrar que si 𝑎 −1 = a,  a  G, entonces (G, ⋆) es un
grupo abeliano.

2024