M ATEM ÁTICAS

Á LGEBRA MODERNA II

Unidad 1: grupos directos

Evidencia de aprendizaje: grupos abelianos de orden 8

Julio Pérez
matrı́cula: ES1821013892

Docente:
Marı́a Anaid Linares aviña

13 de febrero de 2022
Índice

Presentación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Evidencia de aprendizaje: grupos abelianos de orden 8 . . . . . . 2
1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
4) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
5) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

Referencias 6
UnADM Álgebra moderna II Matemáticas

Presentación

La presente actividad forma parte de la unidad 1 de la materia ’álgebra

moderna II’. Consiste en la realización de algunos ejercicios en los que se
aborda el concepto de grupo abeliano como producto de grupos cı́clicos.

Julio Pérez - 1
UnADM Álgebra moderna II Matemáticas

Evidencia de aprendizaje: grupos abelianos de orden

8

Objetivo: en esta evidencia trabajaremos las caracterı́sticas básicas de

producto directo y su relación con los grupos abelianos finitos, además de
recordar el concepto de morfismos de grupos.

Instrucciones: lea con atención las siguientes preguntas y utilice los ma-
teriales vistos en la unidad para responderlas. En caso de hacer uso de
algún teorema visto o algún resultado trabajado, mencione explı́citamente
el material utilizado.

1) Para el grupo cı́clico de orden 16 generado por a muestre que a4 genera

un grupo invariante.

Tomemos a Z16 como el grupos cı́clico, con a = 1. De esta forma, a4

genera el grupo con los elementos {0, 4, 8, 12} y la suma, que con la
función n(4) −→ n(1), podemos ver que es isomorfo a Z4 y que éste es
|Z16 |
un subgrupo de Z16 pues |Z4 | . Ahora, ya que para la factorización del
orden del grupo se tiene 16 = 24 , entonces Z16 se puede descomponer
como
Z2 × Z2 × Z2 × Z2

La descomposición de grupos cı́clicos cocientes puede presentarse ası́

mismo como
Z4 · Z4 ,

y los elementos de esta segunda descomposición son factores invarian-

tes (Boya y Rivera, 2010, p. 233) del grupo abeliano finito de orden 16;
por lo tanto a4 genera un grupo invariante.

Julio Pérez - 2
UnADM Álgebra moderna II Matemáticas

2) Exprese a Z10 como producto directo de Z5 ×Z2 . Verifique ambos grupos

son isomorfos.
Representemos a Z10 como Z5 × Z2 en la siguiente tabla de Cayley

+ (0, 0) (0, 1) (0, 2) (0, 3) (0, 4) (1, 0) (1, 1) (1, 2) (1, 3) (1, 4)
(0, 0) (0, 0) (0, 1) (0, 2) (0, 3) (0, 4) (1, 0) (1, 1) (1, 2) (1, 3) (1, 4)
(0, 1) (0, 1) (0, 2) (0, 3) (0, 4) (0, 0) (1, 1) (1, 2) (1, 3) (1, 4) (1, 0)
(0, 2) (0, 2) (0, 3) (0, 4) (0, 0) (0, 1) (1, 2) (1, 3) (1, 4) (1, 0) (1, 1)
(0, 3) (0, 3) (0, 4) (0, 0) (0, 1) (0, 2) (1, 3) (1, 4) (1, 0) (1, 1) (1, 2)
(0, 4) (0, 4) (0, 0) (0, 1) (0, 2) (0, 3) (1, 4) (1, 0) (1, 1) (1, 2) (1, 3)
(1, 0) (1, 0) (1, 1) (1, 2) (1, 3) (1, 4) (0, 0) (0, 1) (0, 3) (0, 3) (0, 4)
(1, 1) (1, 1) (1, 2) (1, 3) (1, 4) (1, 0) (0, 1) (0, 2) (0, 3) (0, 4) (0, 0)
(1, 2) (1, 2) (1, 3) (1, 4) (1, 0) (1, 1) (0, 2) (0, 3) (0, 4) (0, 0) (0, 1)
(1, 3) (1, 3) (1, 4) (1, 0) (1, 1) (1, 2) (0, 3) (0, 4) (0, 0) (0, 1) (0, 2)
(1, 4) (1, 4) (1, 0) (1, 1) (1, 2) (1, 3) (0, 4) (0, 0) (0, 1) (0, 2) (0, 3)

Representemos ahora a Z10 de la misma forma:

+ 0 1 2 3 4 5 6 7 8 9
0 0 1 2 3 4 5 6 7 8 9
1 1 2 3 4 5 6 7 8 9 0
2 2 3 4 5 6 7 8 9 0 1
3 3 4 5 3 7 8 9 0 1 2
4 4 5 6 3 8 9 0 1 2 3
5 5 6 7 3 9 0 1 2 3 4
6 6 7 8 3 0 1 2 3 4 5
7 7 8 9 3 1 2 3 4 5 6
8 8 9 0 3 2 3 4 5 6 7
9 9 0 1 3 3 4 5 6 7 8

Se encuentra que ambos grupos son abelianos, Z10 es un grupo cı́clico

generado por 1 con |1| = 10, ya que es cı́clico, todos sus subgrupos
son cı́clicos; por su parte Z5 × Z2 , resulta ser un grupo cı́clico, generado
por (1, 1), cuyo mı́nimo común múltiplo de 2 y 5 es 10, de forma que
|(1, 1)| = 10. Claramente |Z10 | = |Z5 ×Z2 | y n(1, 1) −→ n(1) es isomorfo.
Luego Z10 y Z5 × Z2 , son isomorfo.

Julio Pérez - 3
UnADM Álgebra moderna II Matemáticas

3) Dé una lista de todos los grupos de orden 8 y muestre por qué no son
isomorfos. Para ellos puede mostrar que contienen subgrupos distintos
o utilizar el orden de los generadores (o dé los elementos).
Para su factorización se tiene 8 = 23 , de esta forma

Z2 × Z2 × Z2 ,

Z2 × Z4

Z8

Si G ∼
= Z2 ×Z2 ×Z2 , entonces tiene divisores elementales q1 = 2, q2 = 2
y q3 = 2 y factores invariantes k1 = 2, k2 = 2 y k3 = 2.
Si G ∼= Z2 × Z4 , entonces tiene divisores elementales q1 = 2 y q2 = 22 ,
y factores invariantes k1 = 2 y k2 = 4.
Si G ∼
= Z8 , entonces tiene un único divisore lemental q1 = 23 y un único
factor invariantes k1 = 8.
Z2 × Z2 × Z2 , no es cı́clico, entonces Z8  Z2 × Z2 × Z2 . De la misma
forma, no existe un elemento (a, b) ∈ Z2 ×Z4 tal que {(e, e), (a, b), (a, b)2 ,
. . . , (a, b)8 − 1} = Z2 × Z4 , entonces no es cı́clico y Z8  Z2 × Z4 .
Finalmente, por los teoremas de isomorfı́a, si Z2 × Z4 ∼ = Z2 × Z2 × Z2
entones Z2 ×Z2 ∼
= Z4 , pero Z2 ×Z2 , no es cı́clico, entonces, Z2 ×Z2  Z4
y Z2 × Z4  Z2 × Z2 × Z2 .
Por lo tanto, existen 3 clases de isomorfı́a de grupos abelianos de orden
8.

4) Sea G un grupo abeliano. Probar que f : G −→ G dado por f (x) =

x2 , x ∈ G es un homomorfimos y que si G es un grupo finito de orden
impar, f es un isomorfismo.
Consideremos la siguiente definición de homomorfimos. Sea G1 y G2
grupos. Un homomorfismo es una función ϕ : G1 −→ G2 tal que

ϕ(gh) = ϕ(g)ϕ(h), ∀g, h ∈ G1 .

Julio Pérez - 4
UnADM Álgebra moderna II Matemáticas

Para f , sean x, y ∈ G, se tiene

f (xy) = (xy)2 = x2 y 2 = f (x)f (y).

Por lo tanto f es un homomorfimos.

Ahora, si |G| = 2n, con n < ∞, n ∈ N, existe g ∈ G, g 6= e tal que g 2 = e;
entonces ker(f ) 6= e y f no es un homomorfimos biyectivo.
Por otra par, si |G| = 2n + 1, con n < ∞, n ∈ N, no existe g ∈ G, g 6= e
tal que g 2 = e, entonces ker(f ) = e y f es un homomorfimos biyectivo.
Un homomorfismo biyectivo es un isomorfismo.

5) Sean G un grupo abeliano. Sea H un subconjunto de G que contiene el

elemento identidad e y los elementos de G de orden 2. Muestre que H
es un subgrupo de G.
En efecto, para g ∈ G tal que |g| = 2, implica g 2 = e. Luego, si |G| =
2n + 1, n ∈ N entonces H = {e} el subconjunto trivial de G.
Por el contrario, si |G| = 2n, entonces existe |g| = 2 ∈ G y es único. De
manera que H = {e, g} y cumple con las propiedades de grupo,

H asociatividad, claramente g(gg) = (gg)g,

H identidad , por hipótesis e ∈ H,
H inverso,, pues gg = e.

Por lo tanto H es un subgrupo de G.

Julio Pérez - 5
Referencias

Fraleight, L., y Katz, V. (2003). A first course in abstract algebra. Rhode

Island: Addison - Wesley.
Herstein, I. (1980). Álgebra moderna (1.a ed.). Ciudad de México: Trillas.
Herstein, I. (1986). Álgebra abstracta (1.a ed.). Ciudad de México: Grupo
editorial iberoamérica.
Ramı́rez, A. (2021). Un curso en teorı́a de grupos. Guadalajara: Sociedad
matemática mexicana. Descargado el 5 de septiembre de 2021, de
www.smm.org.mx
Rotman, J. (2006). A first course in abstract algebra: with aplications (3.a
ed.). Londres: Pearson.
Zaldivar, F. (2006). Introducción a la teorı́a de grupos. Ciudad de México:
Reverté.
Álgebra moderna i. (s.f.) México: Universidad Abierta y a Distancia de
México. Descargado el 27 de septiembre de 2021, de https://
campus.unadmexico.mx