TEMA 8

Grupos. Subgrupos. El Teorema de

Lagrange. Grupo cociente. Teoremas de
Isomorfı́a

En la primera sección introducimos los conceptos de grupo y subgrupo y, además de

presentar varios ejemplos, prestamos especial atención a los grupos cı́clicos. El Teorema
de Lagrange ocupa la segunda sección, mientras que en la tercera aparecen las nociones
fundamentales de subgrupo normal, que permite construir cocientes, y homomorfismo de
grupos, para terminar con los Teoremas de Isomorfı́a.

1. Grupos y Subgrupos

Definiciones 1.1 Un conjunto G dotado de una operación G × G → G, (a, b) �→ ab se

dice grupo si se cumplen las siguientes condiciones:
(1) (ab)c = a(bc) para cualesquiera a, b, c ∈ G. (Propiedad asociativa).
(2) Existe un elemento 1G ∈ G, denominado elemento neutro de G, tal que a1G = 1G a = a
para cada a ∈ G.
(3) Para cada a ∈ G existe un elemento a−1 ∈ G tal que aa−1 = a−1 a = 1G . Se dice que
a−1 es el inverso de a.
(4) Se dice que los elementos a, b ∈ G conmutan si ab = ba. Si cada par de elementos de
G conmutan se dice que el grupo G es abeliano.
(5) Si G es finito se llama orden de G al número de elementos de G, al que se denota
ord(G).

Observaciones y Ejemplos 1.2 (1) El elemento neutro de un grupo es único; en efecto,

si existieran dos, digamos e1 y e2 , necesariamente e1 = e1 e2 = e2 , donde hemos utilizado,
en la primera igualdad, que e2 es neutro, y en la segunda que lo es e1 .

71
72 TEMA 8. GRUPOS

(2) El inverso de cada elemento es también único. En efecto, sean b y c inversos de a.

Entonces
b = b1G = b(ac) = (ba)c = 1G c = c.

(3) Cada elemento es el inverso de su inverso, o sea, (a−1 )−1 = a. Esto es consecuencia
inmediata de las igualdades aa−1 = a−1 a = 1G y la unicidad del inverso.
(4) Dados a, b ∈ G se tiene (ab)−1 = b−1 a−1 , ya que

(ab)(b−1 a−1 ) = a(bb−1 )a−1 = aa−1 = 1G .

(5) Dados a, b, c ∈ G tales que ab = ac se tiene b = c pues, multiplicando por la izquierda

ambos miembros de la igualdad inicial por a−1 , resulta

b = (a−1 a)b = a−1 (ab) = a−1 (ac) = (a−1 a)c = c.

Análogamente, si ba = ca entonces b = c. Esta propiedad se denomina cancelativa.

(6) El conjunto Z de los números enteros con la operación suma es un grupo abeliano,
cuyo elemento neutro es 0 y en el que el inverso de cada a ∈ Z es −a. Cuando en un
grupo la operación es la suma decimos que empleamos notación aditiva, y al inverso de
un elemento a lo llamamos opuesto de a y lo denotamos −a.
(7) Sea K un cuerpo. El conjunto K ∗ = K \ {0} es un grupo abeliano con la operación
multiplicación. Su neutro es 1 y el inverso de cada a ∈ K ∗ es 1/a.
(8) Si X es un conjunto cualquiera, el conjunto Biy(X) de la biyecciones de X en sı́ mismo
tiene estructura de grupo con la operación composición, debido a que cada aplicación
biyectiva X → X tiene inversa, que también es biyectiva. Dadas f, g ∈ Biy(X) se define
f g : X → X, x �→ g(f (x)). Por supuesto, el elemento neutro de este grupo es la aplicación
identidad id : X → X, x �→ x.
Si X es finito, digamos con n elementos, el orden de Biy(X) es el número de permu-
taciones de n elementos, que por 4.1.1 es n!, y se denota Biy(X) = Sn .

Definición 1.3 Un subconjunto H de un grupo G se dice subgrupo de G si, con la misma

operación que G, es un grupo. Se comprueba inmediatamente que esto equivale a que
1G ∈ H y ab−1 ∈ H para cada a, b ∈ H.

Ejemplos 1.4 (1) Para cada grupo G, él mismo y {1G } son subgrupos de G, denominados
subgrupos triviales.
comprobar que si {Hi : i ∈ I} es una familia de subgrupos de un grupo
(2) Es inmediato �
G, también H = i∈I Hi es un subgrupo de G.
TEMA 8. GRUPOS 73

(3) Sea n un entero positivo. Se comprueba sin dificultad que el conjunto

Un = {ζk = e2πki/n : 0 ≤ k ≤ n − 1}

es un subgrupo con n elementos del grupo C∗ de los números complejos no nulos. De

hecho Un = {z ∈ C : z n = 1}, en virtud de 12.1.8. Se dice que Un es el grupo de las raı́ces
n-ésimas de la unidad.
Para terminar esta sección introducimos la clase de grupos más elemental, la de los
grupos cı́clicos, y presentamos una de sus propiedades fundamentales: todos sus subgrupos
son también cı́clicos.

Definiciones y Observaciones 1.5 (Grupos cı́clicos) (1) Dados un grupo G, un ele-

mento a ∈ G y un entero positivo k, se define por recurrencia ak poniendo a1 = a y
ak = ak−1 a. Se comprueba directamente, por ejemplo por inducción, que ak = aak−1 .
Además, definimos a0 = 1G y a� = (a−1 )−� para cada entero negativo �. Es inmediato
comprobar ahora que ak a� = ak+� para cada par de números enteros k, � ∈ Z.
(2) Se llama subgrupo cı́clico generado por a al subgrupo �a� = {ak : k ∈ Z}. Por ejemplo,
el grupo Z es cı́clico, generado por 1. También Un es cı́clico, generado por ζ = e2πi/n .
(3) Si el subgrupo �a� es finito se llama orden de a, y se denota o(a), al orden del grupo
�a�. Se tiene:
o(a) = mı́n{k ∈ Z : k > 0 y ak = 1G }.
En efecto, si denotamos r el mı́nimo de la derecha, los elementos 1G , a, . . . , ar−1 ∈ �a�
son distintos dos a dos, pues si ak = a� con 0 ≤ k < � ≤ r − 1, entonces a�−k = 1G y
0 < � − k < r, contra la minimalidad de r. Esto demuestra que o(a) ≥ r. Pero de hecho se
da la igualdad, pues
�a� = {1G , a, . . . , ar−1 }.
Para comprobar esto último, observamos que para cada k ∈ Z existe un entero m > 0 tal
que � = k + mr > 0, y ak = ak (ar )m = a� . Dividiendo � entre r por defecto, existen enteros
no negativos q, s tales que s < r y � = qr + s. En consecuencia,

ak = a� = aqr+s = as y 0 ≤ s ≤ r − 1.

(4) Sean G un grupo, a ∈ G y m un número entero tal que am = 1G . Entonces m es

múltiplo del orden de a. En efecto, denotamos n = o(a) y dividimos m = qn + r donde
0 ≤ r ≤ n − 1. Entonces,

1G = am = aqn+r = (an )q ar = ar

y por ser n mı́nimo entre los enteros positivos que cumplen an = 1G deducimos que r = 0,
esto es, m es múltiplo de n.
74 TEMA 8. GRUPOS

Proposición 1.6 Todo subgrupo de un grupo cı́clico es también cı́clico.

Demostración. Sean G un grupo cı́clico, a ∈ G tal que G = �a� y H un subgrupo no trivial

de G. Sea k el menor entero positivo tal que ak ∈ H. Vamos a demostrar que H = �ak �,
lo que prueba que H es cı́clico. El contenido �ak � ⊂ H es evidente. Recı́procamente, sea
x ∈ H ⊂ G. Existe por tanto un entero � tal que x = a� y, dividiendo � entre k, deducimos
que existen números enteros q, r tales que � = qk + r y 0 ≤ r < k. Entonces,

x = a� = aqk+r = (ak )q ar ,

es decir, ar = x(ak )−q ∈ H, lo que contradice la elección de k, a menos que r = 0. Éste es

pues el caso, y por tanto x = (ak )q ∈ �ak �, como querı́amos. �

Ejemplo 1.7 Se deduce de la proposición anterior que los subgupos del grupo Z de los
números enteros son los subconjuntos de la forma nZ, donde n es un entero positivo.

2. El Teorema de Lagrange

El objetivo de esta sección es enunciar y demostrar el Teorema de Lagrange, que

proporciona una fuerte obstrucción aritmética para que un entero positivo sea el orden de
algún subgrupo de un grupo finito de orden dado.

Definiciones y Observaciones 2.1 (Clases laterales) Sean G un grupo y H un sub-

grupo de G.
(1) Se define en G la relación de equivalencia RH mediante: dados a, b ∈ G, decimos que a
y b son congruentes por la derecha respecto de H, y escribimos aRH b, si y sólo si ab−1 ∈ H.
Es inmediato comprobar que se trata de una relación de equivalencia. Además, la clase
de un elemento a ∈ G está formada por aquellos b ∈ G congruentes por la derecha con
a, esto es, los que cumplen ab−1 ∈ H o, equivalentemente, ba−1 = (ab−1 )−1 = h ∈ H, es
decir, b ∈ Ha = {ha : h ∈ H}.
(2) Se define en G otra relación de equivalencia RH mediante: dados a, b ∈ G, decimos
que a y b son congruentes por la izquierda respecto de H, y escribimos aRH b, si y sólo si
a−1 b ∈ H. La clase de un elemento a ∈ G está formada por aquellos b ∈ G congruentes por
la izquierda con a, esto es, los que cumplen a−1 b = h ∈ H, o sea, b ∈ aH = {ah : h ∈ H}.
Se dice que {Ha : a ∈ G} y {aH : a ∈ G} son los conjuntos de clases laterales por
derecha e izquierda, respectivamente, respecto de H.
TEMA 8. GRUPOS 75

(3) En general estas dos relaciones de equivalencia son distintas. En efecto, consideremos
el grupo S3 = Biy(X) de permutaciones de los tres elementos del conjunto X = {1, 2, 3}.
Dos de dichas permutaciones son

τ : X → X, 1 �→ 2, 2 �→ 1, 3 �→ 3 y σ : X → X, 1 �→ 2, 2 �→ 3, 3 �→ 1,

cuyos órdenes son o(τ ) = 2 y o(σ) = 3. Más aún, στ : X → X, 1 �→ 1, 2 �→ 3, 3 �→ 2 tiene

orden 2, es decir, στ στ = id, por lo que στ σ = τ .
Ahora consideramos el subgrupo H = {id, τ } de S3 . Las clases σH y Hσ son distintas
pues, como στ = τ σ −1 = τ σ 2 , se tiene

Hσ = {σ, τ σ} mientras que σH = {σ, στ = τ σ 2 }.

(4) Supongamos que H es un subgrupo finito de un grupo G. Entonces todas las clases
de equivalencia de G respecto de las relaciones RH y RH tienen el mismo número de
elementos, que es el de H ya que, por la propiedad cancelativa, 8.1.2 (5), las aplicaciones

H → Ha, h �→ ha y H → aH, h �→ ah

son biyecciones. Por ello ambos conjuntos cociente G/RH y G/RH tienen igual cardinal,
que se denota [G : H] y se denomina ı́ndice de H en G.

Teorema 2.2 (Teorema de Lagrange) Sean G un grupo finito y H un subgrupo de G.

Entonces,
ord(G) = ord(H)[G : H].
En particular el orden de H es un divisor del orden de G.

Demostración. El grupo G es unión disjunta de las clases de equivalencia respecto de la

relación de equivalencia RH , luego su orden es la suma de los cardinales de cada clase.
Ası́, la igualdad del enunciado se deduce de que [G : H] es el número de tales clases y cada
una de ellas tiene ord(H) elementos. �
Del Teorema de Lagrange se deducen innumerables consecuencias. Destacamos las dos
siguientes:

Corolario 2.3 (1) Sean H y K subgrupos de un grupo finito G cuyos órdenes son primos
entre sı́. Entonces H ∩ K = {1G }.
(2) Todo grupo de orden primo es cı́clico, y está generado por cualquiera de sus elementos
distintos del neutro.
76 TEMA 8. GRUPOS

Demostración. (1) Como H ∩ K es subgrupo de H y de K, su orden ha de dividir tanto

al de H como al de K, esto es, ord(H ∩ K) = 1, luego H ∩ K = {1G }.
(2) Sean G un grupo de orden primo p y a ∈ G un elemento distinto del neutro. Ası́, el
orden del subgrupo �a� divide a p y es distinto de 1, luego vale p y por ello G = �a�.
�

3. Grupos cociente y teoremas de isomorfı́a

Definiciones y Observaciones 3.1 (Subgrupos normales) (1) Dados un subgrupo

H de un grupo G y a ∈ G se llama conjugado de H vı́a a al subgrupo

H a = a−1 Ha = {a−1 ha : h ∈ H}.

Se dice en este caso que los subgrupos H y H a son conjugados. Para comprobar que
H a es subgrupo de G basta observar que 1G = a−1 1G a y que dados b, c ∈ H a también
bc−1 ∈ H a . Ahora bien, existen h1 , h2 ∈ H tales que b = a−1 h1 a y c = a−1 h2 a, y como
h3 = h1 h−1
2 ∈ H, resulta

bc−1 = (a−1 h1 a)(a−1 h−1 −1 −1 −1 a

2 a) = a (h1 h2 )a = a h3 a ∈ H .

Nótese que si H es finito también lo es H a y de hecho ambos tienen el mismo orden ya que
la aplicación H → H a , h �→ a−1 ha es, por la propiedad cancelativa, 8.1.2 (5), biyectiva.
Es útil observar que dados a, b ∈ G se tiene (H a )b = H ab . En efecto,

(H a )b = b−1 H a b = b−1 (a−1 Ha)b = (ab)−1 Hab = H ab .

(2) Se dice que H es subgrupo normal de G si Ha = aH para cada a ∈ G. Equivalentemente,

H a = a−1 Ha = H para cada a ∈ G. Por tanto, H es subgrupo normal de G si al conjugar
H por cualquier elemento de G volvemos a obtener el subgrupo H. Si H es subgrupo
normal de G escribiremos H � G.
(3) Sean H y N dos subgrupos de un grupo G tales que N � G. Entonces el conjunto

HN = {hn : h ∈ H, n ∈ N }

es subgrupo de G. En efecto, dados x, y ∈ HN existen h1 , h2 ∈ H y n1 , n2 ∈ N tales que

x = h1 n1 e y = h2 n2 . Entonces, xy −1 = h1 n1 n−1 −1 −1 −1
2 h2 = h1 nh2 , donde n = n1 n2 ∈ N ,
y como N es subgrupo normal de G, se tiene nh−1 −1 −1
2 ∈ N h2 = h2 N . Por tanto, existe
−1 −1 −1 −1 −1
n3 ∈ N tal que nh2 = h2 n3 , luego xy = h1 nh2 = h1 h2 n3 ∈ HN .
TEMA 8. GRUPOS 77

Ejemplos 3.2 (1) Los subgrupos triviales de un grupo G son subgrupos normales de G.
Un grupo cuyos únicos subgrupos normales son los triviales se denomina simple.
(2) Todos los subgrupos de un grupo abeliano son normales.
(3) Sea H un subgrupo de ı́ndice 2 de un grupo G. Entonces H es subgrupo normal de G.
En efecto, los conjuntos cociente G/RH y G/RH constan de dos clases, y una de ellas es
H, luego la otra es G \ H, es decir G/RH = {H, G \ H} = G/RH . Por tanto, dado a ∈ H
se tiene aH = H = Ha, mientras que si a ∈ G \ H se tiene aH = G \ H = Ha.
(4) La propiedad vista en 8.3.1 (3) no es cierta en general si H y N son subgrupos no
normales. Consideremos en el grupo S3 de permutaciones de tres elementos, con las nota-
ciones de 8.2.1, los subgrupos H = {id, τ } y N = {id, τ σ}. Entonces, HN = {id, τ σ, τ, σ},
que no es subgrupo de S3 , pues card(HN ) = 4 no divide a 6 = ord(S3 ).

Definiciones y Observaciones 3.3 (Grupo cociente) Sea H un subgrupo normal de

un grupo G. En tal caso las dos relaciones RH y RH coinciden, y al conjunto cociente
(común) lo denotamos G/H. Se le dota de estructura de grupo de modo natural mediante
la operación
G/H × G/H → G/H, (Ha, Hb) �→ HaHb = Hab.
La normalidad de H es esencial para que la operación esté bien definida. En efecto, sean
a, a1 , b, b1 ∈ G tales que Ha = Ha1 y Hb = Hb1 . Hemos de comprobar que Hab = Ha1 b1 ,
o lo que es igual, ab(a1 b1 )−1 ∈ H. Ahora bien, bb−1 −1
1 = h1 ∈ H y también aa1 = h2 ∈ H
luego, como aH = Ha,

ab(a1 b1 )−1 = a(bb−1 −1 −1 −1 −1

1 )a1 = ah1 a1 ∈ aHa1 = Haa1 = Hh2 = H.

Una vez visto que la operación en G/H está bien definida comprobamos que G/H es un
grupo. Se cumple la propiedad asociativa, ya que dados a, b, c ∈ H,

(HaHb)Hc = HabHc = H(ab)c = Ha(bc) = HaHbc = Ha(HbHc).

Además, H = H1G es el elemento neutro, pues para cada a ∈ G se tiene (H1G )Ha =
H1G a = Ha = Ha1G = Ha(H1G ), mientras que el inverso de Ha es Ha−1 , porque

(Ha)(Ha−1 ) = H(aa−1 ) = H1G = H(a−1 a) = (Ha−1 )(Ha).

Obsérvese que si H es subgrupo normal de G el orden del cociente G/H es el ı́ndice [G : H].

Ejemplos 3.4 (1) Como Z es abeliano, su subgrupo nZ es normal. Además, aunque

tanto Z como nZ son grupos infinitos, el cociente Zn = Z/nZ es finito, y de hecho tiene n
78 TEMA 8. GRUPOS

elementos. En efecto, como la notación en Z es aditiva los elementos del cociente son las
clases k + nZ con k ∈ Z, y es inmediato comprobar que Zn = {k + nZ : 0 ≤ k ≤ n − 1}.
(2) Como C∗ es un grupo abeliano, su subgrupo Un de raı́ces n-ésimas de la unidad es
subgrupo normal. Puesto que C∗ es infinito y Un es finito, también C∗ /Un es infinito.
(3) Si G es un grupo cı́clico generado por a ∈ G y H es un subgrupo normal de G, el
grupo cociente G/H es también cı́clico, generado por la clase Ha.
(4) Si H es un subgrupo (necesariamente normal) de un grupo abeliano G, el cociente G/H
es también abeliano, pues dados a, b ∈ G, se tiene (Ha)(Hb) = Hab = Hba = (Hb)(Ha).

La siguiente proposición, cuya demostración omitimos pues es inmediata, describe

cuáles son los subgrupos del grupo cociente G/H y cuáles de ellos son normales.

Proposición 3.5 (Teorema de la correspondencia) Sean H un subgrupo normal del

grupo G y sean ΣH (G) y Σ(G/H) las familias formadas, respectivamente, por los subgrupos
de G que contienen a H y los subgrupos del grupo cociente G/H. Entonces, la aplicación

ΣH (G) → Σ(G/H), K �→ K/H

es una biyección que envı́a los subgrupos normales de G que contienen a H sobre los
subgrupos normales de G/H.

Definiciones y Observaciones 3.6 (Homomorfismos de grupos) Sean G1 y G2 dos

grupos. Una aplicación f : G1 → G2 se denomina homomorfismo de grupos si f (ab) =
f (a)f (b) para cada a, b ∈ G1 .
(1) Se cumple que f (1G1 ) = 1G2 . En efecto, basta simplificar en la igualdad

1G2 f (1G1 ) = f (1G1 ) = f (1G1 1G1 ) = f (1G1 )f (1G1 ).

(2) Dado a ∈ G1 se tiene f (a−1 ) = f (a)−1 , pues f (a)f (a−1 ) = f (aa−1 ) = f (1G1 ) = 1G2 .
(3) Sea a1 ∈ G1 un elemento de orden finito n. Entonces, el orden m de a2 = f (a1 ) también
es finito y, en virtud de 8.1.5(4), m divide n, ya que an2 = f (a1 )n = f (an1 ) = f (1G1 ) = 1G2 .
(4) Para cada subgrupo H1 de G1 su imagen H2 = f (H1 ) es un subgrupo de G2 . En efecto,
por un lado 1G2 = f (1G1 ) ∈ H2 . Por otro, dados a2 , b2 ∈ H2 existen a1 , b1 ∈ H1 tales que
f (a1 ) = a2 y f (b1 ) = b2 , y puesto que a1 b−1
1 ∈ H1 , tenemos

a2 b−1
2 = f (a1 )f (b1 )
−1
= f (a1 )f (b−1 −1
1 ) = f (a1 b1 ) ∈ f (H1 ) = H2 .

En particular, im f = f (G1 ) es subgrupo de G2 .

TEMA 8. GRUPOS 79

(5) Para cada subgrupo H2 de G2 su preimagen H1 = f −1 (H2 ) es un subgrupo de G1 .

En efecto, como f (1G1 ) = 1G2 ∈ H2 deducimos que 1G1 ∈ H1 . Además, si a1 , b1 ∈ H1 sus
imágenes f (a1 ), f (b1 ) ∈ H2 , y puesto que H2 es un subgrupo, f (a1 )f (b1 )−1 ∈ H2 , es decir
f (a1 b−1 −1
1 ) ∈ H2 , o lo que es igual, a1 b1 ∈ H1 .

Además, si H2 � G2 , entonces H1 � G1 . En efecto, hemos de probar que a−1 1 H1 a 1 = H1

para cada a1 ∈ G1 . Dado h1 ∈ H1 , su imagen h2 = f (h1 ) ∈ H2 , y por ser H2 normal,
f (a1 )−1 h2 f (a1 ) ∈ H2 , o sea, f (a−1 −1
1 h1 a1 ) ∈ H2 , luego a1 h1 a1 ∈ H1 . Esto prueba que
−1
a1 H1 a1 ⊂ H1 . Para probar el contenido recı́proco aplicamos lo ya probado al elemento
a−1
1 en vez de a1 , lo que nos proporciona a1 H1 a−1 1 ⊂ H1 . Ası́ H1 = a−1 −1
1 (a1 H1 a1 )a1
está contenido en a−1 −1
1 H1 a1 , y de este modo queda probada la igualdad a1 H1 a1 = H1 .

En particular, ker f = {a ∈ G1 : f (a) = 1G2 } = f −1 ({1G2 }) es un subgrupo normal de

G1 , llamado núcleo de f .
(6) El homomorfismo f es inyectivo si y sólo si ker f = {1G1 }. En efecto, si f es inyectiva
y a1 ∈ ker f entonces f (a1 ) = f (1G1 ), luego a1 = 1G1 . Recı́procamente, suponemos que
ker f = {1G1 }. Dados a1 , b1 ∈ G1 tales que f (a1 ) = f (b1 ) se tiene
f (a1 b−1 −1 −1 −1
1 ) = f (a1 )f (b1 ) = f (b1 )f (b1 ) = f (b1 b1 ) = f (1G1 ) = 1G2 ,

por lo que a1 b−1 −1

1 ∈ ker f , o sea, a1 b1 = 1G1 , esto es, a1 = b1 .

(7) Si el homomorfismo f es biyectivo la aplicación inversa f −1 : G2 → G1 es también

homomorfismo, y se dice que f es un isomorfismo. En tal caso decimos que los grupos G1
y G2 son isomorfos, lo que se denota G1 ∼
= G2 .
En efecto, dados dos elementos a2 , b2 ∈ G2 denotamos a1 = f −1 (a2 ) y b1 = f −1 (b2 ).
Entonces f (a1 ) = a2 y f (b1 ) = b2 , y como f es homomorfismo, a2 b2 = f (a1 )f (b1 ) =
f (a1 b1 ), o sea f −1 (a2 b2 ) = a1 b1 = f −1 (a2 )f −1 (b2 ).

Ejemplos 3.7 (1) Todo grupo cı́clico infinito es isomorfo a Z. En efecto, sea G = �a�
un grupo cı́clico infinito. Es inmediato que la aplicación f : Z → G, n �→ an es un
homomorfismo sobreyectivo. De hecho es también inyectivo, luego isomorfismo. En caso
contrario existirı́a un entero no nulo n ∈ ker f . Entonces an = 1G , luego o(a) = ord(G)
serı́a finito, contra la hipótesis.
(2) Dados grupos cı́clicos G1 = �a� y G2 = �b� del mismo orden n, la aplicación
f : G1 → G2 , ai �→ bi
es un isomorfismo. En efecto, está bien definida, pues si ai = aj entonces aj−i = 1G1 ,
es decir, j − i es múltiplo de n. Por tanto, bj−i = 1G2 , o sea, bi = bj . Además f es
homomorfismo, ya que
f (ai aj ) = f (ai+j ) = bi+j = bi bj = f (ai )f (aj ).
80 TEMA 8. GRUPOS

Por último, para demostrar que f es biyectiva, y puesto que G1 y G2 tienen el mismo
orden, es suficiente observar que es sobreyectiva, lo cual es evidente.

Al igual que en el Álgebra Lineal, 15.3.7, también en la Teorı́a de Grupos disponemos

de los llamados Teoremas de Isomorfı́a, con los que concluimos el tema.

Proposición 3.8 (Primer Teorema de isomorfı́a) Para cada homomorfismo de gru-

pos f : G1 → G2 , la aplicación f : G1 / ker f → im f, a ker f �→ f (a) es un isomorfismo de
grupos.

Demostración. La aplicación f está bien definida, pues si a1 ker f = b1 ker f entonces

a−1 −1 −1
1 b1 ∈ ker f , es decir, 1G2 = f (a1 b1 ) = f (a1 ) f (b1 ), o sea, f (a1 ) = f (b1 ). Además f
es homomorfismo, ya que

f (a1 ker f · b1 ker f ) = f (a1 b1 ker f ) = f (a1 b1 ) = f (a1 )f (b1 ) = f (a1 ker f ) · f (b1 ker f ).

Cada elemento a2 ∈ im f es de la forma a2 = f (a1 ) = f (a1 ker f ) para cierto a1 ∈ G1 ,

luego f es sobreyectiva. Por último, si a1 ker f ∈ ker f entonces 1G2 = f (a1 ker f ) = f (a1 ),
esto es, a1 ∈ ker f , o lo que es igual a1 ker f = 1G1 ker f = 1G1 / ker f . Por tanto f es también
inyectiva, luego isomorfismo. �

Proposición 3.9 (Segundo Teorema de isomorfı́a) Sean H y K subgrupos normales

G/H
de un grupo G tales que H ⊂ K. Entonces los grupos K/H y G/K son isomorfos.

Demostración. Basta aplicar el Primer Teorema de isomorfı́a al homomorfismo sobreyec-

tivo G/H → G/K, Ha �→ Ka, cuyo núcleo es K/H. �

Proposición 3.10 (Tercer Teorema de isomorfı́a) Sean H y N subgrupos de un gru-

po G, de modo que N es subgrupo normal de G. Entonces los grupos H/(H ∩ N ) y HN/N
son isomorfos.

Demostración. Sabemos por 8.3.1 que HN es subgrupo de G, y N es subgrupo normal

de HN , ya que N � G. Tiene pues sentido considerar el grupo cociente HN/N y el
homomorfismo φ : H → HN/N, h �→ hN cuyo núcleo es H ∩ N . Aplicando el Primer
Teorema de isomorfı́a todo se reduce a probar la sobreyectividad de φ. Pero dado a ∈ HN
existen h ∈ H y n ∈ N tales que a = hn, por lo que aN = hnN = h(nN ) = hN = φ(h),
luego φ es sobreyectiva. �