Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Grupos cı́clicos
ESTRUCTURAS ALGEBRAICAS I
Lima-Perú
Semestre 2020-2
Indice
1 Homomorfismos de grupos
Indice
1 Homomorfismos de grupos
2 Grupos cı́clicos
Homomorfismos de grupos
Proposición 1.1
Sean (A, ∗) y (B, ∗0 ) grupos, y sean eA y eB los elementos
identidad de A y B, respectivamente. Sea f : A → B un
homomorfismo. Entonces f (eA ) = eB .
Demostración: Tenemos:
f (eA ) = f (eA ∗ eA ) = f (eA ) ∗0 f (eA )
Como (B, ∗0 ) es un grupo, entonces f (eA ) ∈ B es inversible.
Multiplicando por f (eA )−1 a ambos lados de la igualdad anterior,
obtenemos:
f (eA )−1 ∗0 f (eA ) = f (eA )−1 ∗0 f (eA )∗0 f (eA ) = eB ∗0 f (eA ) = f (eA ),
y por lo tanto eB = f (eA ).
GABRIEL MUÑOZ MÁRQUEZ HOMOMORFISMOS DE GRUPOS Y GRUPOS CÍCLICOS
Homomorfismos de grupos
Grupos cı́clicos
Corolario 1.1
Sean (A, ∗) y (B, ∗0 ) grupos, y sea f : A → B un homomorfismo.
Entonces Ker(f ) es un subgrupo normal de (A, ∗) y Im(f ) es un
subgrupo de (B, ∗0 ). Además, para todo a ∈ A, tenemos:
f (a)−1 = f (a−1 )
f (a−1 0
2 ) ∗ f (a1 ) = eB
Entonces f (a−1 −1
2 ∗ a1 ) = eB . Luego a2 ∗ a1 ∈ Ker(f ) = {eA }, y
por lo tanto a1 = a2 . Entonces f es inyectiva.
GABRIEL MUÑOZ MÁRQUEZ HOMOMORFISMOS DE GRUPOS Y GRUPOS CÍCLICOS
Homomorfismos de grupos
Grupos cı́clicos
Además, tenemos:
f¯((a1 ∗ Ker(f ))(a2 ∗ Ker(f ))) = f¯((a1 ∗ a2 ) ∗ Ker(f ))
= f (a1 ∗ a2 )
= f (a1 ) ∗0 f (a2 )
= f¯(a1 ∗ Ker(f )) ∗0 f¯(a2 ∗ Ker(f ))
Entonces f¯ es un homomorfismo. Y como f¯ es biyectiva,
concluı́mos que f¯ es un isomorfismo.
Ejemplo 1: Consideremos los grupos (Z × Z, +) y (Z, +), y sea
f : Z × Z → Z definida por f (a, b) = a − b. Entonces f es un
homomorfismo. En efecto:
f ((a1 , b1 ) + (a2 , b2 )) = f (a1 + a2 , b1 + b2 )
= (a1 + a2 ) − (b1 + b2 )
= (a1 − b1 ) + (a2 − b2 )
= f (a1 , b1 ) + f (a2 , b2 )
GABRIEL MUÑOZ MÁRQUEZ HOMOMORFISMOS DE GRUPOS Y GRUPOS CÍCLICOS
Homomorfismos de grupos
Grupos cı́clicos
S = {A ∈ G / det(A) = 1}
Proposición 1.3
Sea (A, ∗) un grupo y sean H, N subgrupos de A, donde N es un
subgrupo normal de A. Se cumplen las siguientes afirmaciones:
1. H ∩ N es un subgrupo normal de H. En particular, N es un
subgrupo normal de cualquier subgrupo que lo contenga.
2. H ∗ N es un subgrupo de A.
(A/K)/(H/K) ∼
= A/H.
f (a ∗ K) = a ∗ H.
Zn /S ∼
= Z/ h(m, n)i.
En efecto, tenemos:
S = {am + hni / a ∈ Z}
= {am + bn + hni / a, b ∈ Z}
= (hmi + hni)/ hni
= h(m, n)i / hni
Grupos cı́clicos
Definición 1
Un grupo (A, ∗) es llamado cı́clico, si existe a ∈ A tal que
A = hai.
Ker(f ) = {k ∈ Z / ak = eA }.
Definición 2
Sea (A, ∗) un grupo, y sea a ∈ A. Definimos el orden de a como
el número de elementos de hai.