Estructuras Algebraicas$1,5cm]Apuntesdeclase

Capítulo 1 — Grupos y Subgrupos

2 de julio de 2026
2
Índice general

1. Grupos y Subgrupos 5
1.1. Operación binaria interna . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Definición de grupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1. Unicidad del elemento neutro y del inverso . . . . . . . . . . . . . . 7
1.2.2. Convenciones de notación . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.3. Ejemplos básicos de grupos . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Grupos abelianos (conmutativos) . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.1. Criterio práctico de subgrupo . . . . . . . . . . . . . . . . . . . . . 10
1.4.2. Subgrupos triviales y propios . . . . . . . . . . . . . . . . . . . . . 11
1.5. Subgrupo generado y grupos cíclicos . . . . . . . . . . . . . . . . . . . . . 11
1.6. Estructuras especiales asociadas a un grupo . . . . . . . . . . . . . . . . . 12
1.6.1. Centralizador y centro . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6.2. Conjugación y normalizador . . . . . . . . . . . . . . . . . . . . . . 13
1.6.3. Subgrupos normales (introducción) . . . . . . . . . . . . . . . . . . 14
1.6.4. Producto de subgrupos HK . . . . . . . . . . . . . . . . . . . . . . 15
1.7. Problemas de examen resueltos . . . . . . . . . . . . . . . . . . . . . . . . 15
1.8. Resumen del capítulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2. Orden e Índice 21
2.1. Orden de un elemento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.1.1. Propiedades fundamentales del orden . . . . . . . . . . . . . . . . . 23
2.2. Elementos de torsión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.2.1. Torsión en grupos abelianos . . . . . . . . . . . . . . . . . . . . . . 24
2.3. Relaciones de equivalencia y clases laterales . . . . . . . . . . . . . . . . . 25
2.3.1. Recordatorio: relaciones de equivalencia . . . . . . . . . . . . . . . . 26
2.3.2. Las dos relaciones inducidas por un subgrupo . . . . . . . . . . . . 26
2.3.3. Clases laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4. Índice de un subgrupo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5.1. Consecuencias del Teorema de Lagrange . . . . . . . . . . . . . . . 29
2.6. Grupos cíclicos: estructura completa . . . . . . . . . . . . . . . . . . . . . 30
2.7. Problemas de examen resueltos . . . . . . . . . . . . . . . . . . . . . . . . 31
2.8. Resumen del capítulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

3
ÍNDICE GENERAL

4
Capítulo 1

Grupos y Subgrupos

Introducción
Este capítulo constituye la piedra angular de toda la asignatura de Estructuras Alge-
braicas. En él se presenta la noción de grupo, que es, en esencia, un conjunto dotado de
una operación que satisface unas reglas mínimas de coherencia. A pesar de su aparente
sencillez, los grupos aparecen de forma natural en multitud de ámbitos: las simetrías
de una figura geométrica, las permutaciones de un conjunto, la aritmética modular, las
transformaciones lineales, la criptografía, la física de partículas. . .

⋆ Analogía inicial: las reglas de un juego de mesa

Imagina que tienes un tablero (el conjunto G) y unas fichas (los elementos de G). La
operación ∗ es la regla que indica cómo combinar dos fichas para obtener una tercera
ficha que siga perteneciendo al tablero. Un grupo es, entonces, un juego cuyas reglas
garantizan tres cosas:

(i) Da igual cómo agrupes las jugadas (asociatividad).

(ii) Existe una ficha “neutra” que no cambia nada (elemento neutro).

(iii) Para cada ficha existe otra que la “deshace” (elemento inverso).

Estas tres simples reglas tienen consecuencias profundísimas, como iremos descubriendo
a lo largo del curso.

1.1 Operación binaria interna

Antes de definir un grupo, necesitamos precisar qué entendemos por operar dos
elementos de un conjunto.

La clave de la definición es la palabra interna: el resultado de operar dos elementos de

G no se sale de G. A esta propiedad se le llama también clausura o cerradura.

5
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

⋆ Clausura: la cocina que no necesita supermercado

Piensa en G como una despensa. La operación ∗ es una receta que toma dos ingredientes
de la despensa y produce un plato que también queda guardado en la misma despensa.
Nunca necesitas salir a comprar nada: la despensa es cerrada bajo esa receta.

Ejemplo 1.1 — Operaciones internas y no internas

a) La suma habitual + es una operación binaria interna en Z, en Q, en R y en C,

pues la suma de dos enteros es un entero, la de dos racionales es un racional, etc.

b) La resta − es operación interna en Z, pero no en N = {0, 1, 2, . . .} porque, por

ejemplo, 2 − 5 = −3 ∈/ N.

c) El producto de matrices n × n con coeficientes reales es una operación interna

en Mn (R).

d) La división no es operación interna en R porque la división por 0 no está definida.

Sin embargo, sí lo es en R∗ = R \ {0}.

1.2 Definición de grupo

Estamos ya en condiciones de enunciar la definición central de este capítulo.

Definición: Grupo
Sea G un conjunto no vacío y sea ∗ una operación binaria interna en G. Decimos que
el par (G, ∗) es un grupo si se verifican las tres propiedades siguientes:

(G1) Asociatividad. Para todos a, b, c ∈ G:

(a ∗ b) ∗ c = a ∗ (b ∗ c).

(G2) Existencia de elemento neutro. Existe un elemento e ∈ G tal que, para todo
a ∈ G:
a ∗ e = e ∗ a = a.

(G3) Existencia de elemento inverso. Para cada a ∈ G existe un elemento a′ ∈ G

(llamado inverso de a) tal que:

a ∗ a′ = a′ ∗ a = e.

⋆ El grupo como un “Ctrl + Z” universal

Cada operación que realizas en un grupo puede “deshacerse” (gracias al inverso) y

existe una operación que “no hace nada” (el neutro, como no pulsar ninguna tecla).
Además, si encadenas varias operaciones, no importa cómo las agrupes: el resultado
final es el mismo (asociatividad). Es como un editor de texto perfecto en el que el
orden de agrupación de tus acciones nunca genera conflictos.

6
 1.2. DEFINICIÓN DE GRUPO

1.2.1 Unicidad del elemento neutro y del inverso

Proposición 1.1 — Unicidad del neutro

En un grupo (G, ∗), el elemento neutro es único.

Demostración. Supongamos que existen dos elementos neutros e y e′ en G. Entonces,

usando que e es neutro aplicándolo a e′ :
e′ = e ∗ e ′ .
Pero usando que e′ es neutro aplicándolo a e:
e ∗ e′ = e.
Combinando ambas igualdades: e′ = e ∗ e′ = e. Por tanto, el elemento neutro es único.

Proposición 1.2 — Unicidad del inverso

En un grupo (G, ∗), el inverso de cada elemento es único.

Demostración. Sea a ∈ G y supongamos que a′ y a′′ son ambos inversos de a. Entonces:

a′ = a′ ∗ e = a′ ∗ (a ∗ a′′ ) = (a′ ∗ a) ∗ a′′ = e ∗ a′′ = a′′ .
Luego el inverso de cada elemento es único.

△ El elemento neutro y el inverso son únicos

La unicidad del neutro y del inverso es un resultado fundamental que usaremos
constantemente y, muchas veces, de forma implícita. Cada vez que escribimos “el”
neutro o “el” inverso (y no “un” neutro), estamos invocando estas proposiciones.

1.2.2 Convenciones de notación

Aunque la definición emplea un símbolo genérico ∗, en la práctica se usan dos notaciones
predominantes:

Notación multiplicativa Notación aditiva

Operación ab a+b
Elemento neutro 1 0
Inverso de a a−1 −a
Potencia n an na

△ Nota importante

La notación aditiva suele reservarse para grupos abelianos (conmutativos). Cuando

no se sabe o no se supone conmutatividad, se emplea la notación multiplicativa.

1.2.3 Ejemplos básicos de grupos

7
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

Ejemplo 1.2 — Grupos numéricos

a) (Z, +), (Q, +), (R, +), (C, +) son grupos (abelianos). El neutro es 0 y el inverso
de a es −a.

b) (Q∗ , · ), (R∗ , · ), (C∗ , · ) son grupos (abelianos). El neutro es 1 y el inverso de a es

1/a. Nótese que (Z∗ , · ) no es grupo porque, por ejemplo, el inverso multiplicativo
de 2 es $1/2 ∈ / Z.

c) (Zn , +), los enteros módulo n con la suma modular, es un grupo abeliano de
orden n.

Ejemplo 1.3 — Grupo de simetrías de un triángulo equilátero

Consideremos un triángulo equilátero con vértices etiquetados $1, 2,

[Link](rotacionesyref lexiones)f ormanungrupoS3 de 6 ele-
mentos con la composición de funciones como operación. Este grupo no es abeliano: el
resultado de aplicar primero una reflexión y luego una rotación difiere, en general, del
resultado de hacerlo en orden contrario.

⋆ Simetrías como movimientos de una pieza de puzle

Imagina que las simetrías de una figura son las distintas maneras en que puedes levantar
una pieza de puzle y volver a colocarla en su hueco de modo que encaje perfectamente.
“Componer” dos simetrías es hacer un movimiento tras otro. La identidad (dejarla
donde estaba) es el neutro, y cada movimiento tiene su movimiento “contrario” que lo
deshace.

1.3 Grupos abelianos (conmutativos)

Definición: Grupo abeliano

Un grupo (G, ∗) se dice abeliano (o conmutativo) si, además de los axiomas de

grupo, se verifica:
a∗b=b∗a para todos a, b ∈ G.
El nombre es en honor al matemático noruego Niels Henrik Abel (1802–1829).

Ejemplo 1.4

(Z, +) es abeliano.

El grupo GLn (R) de matrices invertibles n × n con la multiplicación de matrices

no es abeliano para n ≥ 2.

El siguiente resultado proporciona una caracterización muy útil de los grupos abelianos
que, además, es un clásico de examen.

8
 1.3. GRUPOS ABELIANOS (CONMUTATIVOS)

Proposición 1.3 — Caracterización de grupos abelianos

Sea (G, · ) un grupo. Las siguientes afirmaciones son equivalentes:

(i) G es abeliano.

(ii) (ab)2 = a2 b2 para todos a, b ∈ G.

(iii) b−1 a−1 b a = 1 para todos a, b ∈ G.

Demostración.

(i)⇒(ii) Supongamos que G es abeliano. Entonces:

(ab)2 = abab = a (ba) b = a(ab)b = a2 b2 .

|{z}
= ab

(ii)⇒(iii) Partimos de (ab)2 = a2 b2 , es decir:

abab = aabb.

Multiplicamos a la izquierda por a−1 :

bab = abb.

Y ahora a la derecha por b−1 :

ba = ab.
Por tanto, b−1 a−1 ba = b−1 a−1 (ab) = b−1 a−1 (ba). Pero como acabamos de demos-
trar que ba = ab, en realidad lo que hemos obtenido es que la conmutatividad se
cumple, y directamente:

b−1 a−1 ba = b−1 (a−1 b a).

Como ba = ab, multiplicamos ambos lados de ba = ab por a−1 a la izquierda y

a−1 implícitamente:
De abab = aabb obtenemos bab = abb y luego ba = ab. Entonces:

b−1 a−1 ba = b−1 a−1 ab = b−1 b = 1.

(iii)⇒(i) Partimos de b−1 a−1 ba = 1. Multiplicamos ambos lados a la izquierda por b:

a−1 ba = b.

Ahora multiplicamos a la izquierda por a:

ba = ab.

Luego G es abeliano.

9
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

△ Nota importante

El elemento b−1 a−1 ba se denomina conmutador de b y a y suele denotarse [b, a]. La

condición (iii) dice, por tanto, que G es abeliano si y solo si todos los conmutadores
son triviales.

1.4 Subgrupos
Una vez que disponemos de un grupo, es natural preguntarse si existen “trozos” del
grupo que, por sí solos, siguen siendo grupos.

Definición: Subgrupo

Sea (G, ∗) un grupo y sea H ⊆ G un subconjunto no vacío. Decimos que H es un

subgrupo de G, y escribimos H ≤ G, si (H, ∗) es a su vez un grupo con la misma
operación de G.

⋆ Subgrupo: un equipo dentro de una empresa

Si el grupo G es una empresa completa con su organización (operación), un subgrupo

H es un departamento que funciona autónomamente con las mismas reglas internas
de la empresa: tiene su propio “jefe neutro”, cada empleado tiene su “suplente inverso”
y las combinaciones de empleados no salen del departamento.

1.4.1 Criterio práctico de subgrupo

Comprobar los tres axiomas de grupo puede ser tedioso. El siguiente criterio simplifica
la tarea.

Proposición 1.4 — Criterio de subgrupo (en un paso)

Sea G un grupo y H ⊆ G no vacío. Entonces H ≤ G si y solo si

∀ a, b ∈ H : a ∗ b−1 ∈ H.

Demostración.

(⇒) Si H es subgrupo, para a, b ∈ H tenemos b−1 ∈ H (por existencia de inverso en H) y

a ∗ b−1 ∈ H (por clausura en H).

(⇐) Supongamos que la condición se cumple.

Neutro: Como H ̸= ∅, existe a ∈ H. Tomando b = a: a ∗ a−1 = e ∈ H.

Inversos: Para b ∈ H, tomamos a = e ∈ H: e ∗ b−1 = b−1 ∈ H.
Clausura: Para a, c ∈ H, como c−1 ∈ H, aplicamos la hipótesis con b = c−1 :
a ∗ (c−1 )−1 = a ∗ c ∈ H.
Asociatividad: Se hereda de G.

10
 1.5. SUBGRUPO GENERADO Y GRUPOS CÍCLICOS

1.4.2 Subgrupos triviales y propios

Definición: Subgrupos triviales y propios
Para todo grupo G:

{e} y G son siempre subgrupos de G. Se denominan subgrupos triviales.

Un subgrupo H con {e} ⊊ H ⊊ G se llama subgrupo propio.

Ejemplo 1.5

En (Z, +):

2Z = {. . . , −4, −2, 0, 2, 4, . . .} es un subgrupo propio (los múltiplos de 2).

En general, nZ = {nk : k ∈ Z} es subgrupo de Z para todo n ∈ N.

De hecho, todo subgrupo de Z es de esta forma (resultado que se demuestra

más adelante).

Proposición 1.5 — La intersección de subgrupos es subgrupo

Sea G un grupo y sea {Hi }i∈I una familia arbitraria (posiblemente infinita) de
subgrupos de G. Entonces \
H= Hi ≤ G.
i∈I

Demostración. H ̸= ∅ porque e ∈ Hi para todo i, luego e ∈ H.

Sean a, b ∈ H. Entonces a, b ∈ Hi para T todo i ∈ I. Como cada Hi es subgrupo,

−1 −1
ab ∈ Hi para todo i. Por tanto, ab ∈ Hi = H.
Por el criterio de subgrupo (Proposición 1.4), H ≤ G.

1.5 Subgrupo generado y grupos cíclicos

Definición: Subgrupo generado
Sea G un grupo y S ⊆ G un subconjunto no vacío. El subgrupo generado por S,
denotado ⟨S⟩, es el menor subgrupo de G que contiene a S. Equivalentemente:
\
⟨S⟩ = H.
H≤G
S⊆H

Se puede describir de forma explícita como el conjunto de todos los productos finitos
de elementos de S y sus inversos:

⟨S⟩ = sε11 sε22 · · · sεkk : k ∈ N, sj ∈ S, εj ∈ {1, −1} .



11
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

⋆ Generadores: las piezas básicas de Lego

El conjunto S es como una caja de piezas de Lego. El subgrupo generado ⟨S⟩ es todo lo
que puedes construir combinando esas piezas (y sus “piezas inversas” que desmontan).
Cuantas más piezas tengas en S, más grande será ⟨S⟩.

Definición: Grupo cíclico

Un grupo G se dice cíclico si está generado por un único elemento, es decir, si existe
a ∈ G tal que
G = ⟨a⟩ = {an : n ∈ Z}.
Al elemento a se le llama generador de G.

Ejemplo 1.6 — Grupos cíclicos

a) (Z, +) es cíclico, generado por 1 (o por −1): Z = ⟨1⟩.

b) (Zn , +) es cíclico de orden n, generado por 1̄.

c) ⟨2⟩ = {2n : n ∈ Z} = {1, 2, 4, 8, . . . , 1/2, 1/4, . . .} es un subgrupo cíclico de

(Q∗ , · ).

△ Nota importante

Todo grupo cíclico es abeliano (pues am · an = am+n = an · am ), pero no todo grupo

abeliano es cíclico.

1.6 Estructuras especiales asociadas a un grupo

En esta sección presentamos varias construcciones que surgen de forma natural al
estudiar cómo se comportan los elementos de un grupo entre sí.

1.6.1 Centralizador y centro

Definición: Centralizador de un subconjunto
Sea G un grupo y H ⊆ G. El centralizador de H en G es

CG (H) = {g ∈ G : gh = hg ∀ h ∈ H}.

Es decir, CG (H) es el conjunto de elementos de G que conmutan con todos los

elementos de H.

Definición: Centro de un grupo

El centro de G es el centralizador del propio G:

Z(G) = CG (G) = {g ∈ G : gx = xg ∀ x ∈ G}.

12
 1.6. ESTRUCTURAS ESPECIALES ASOCIADAS A UN GRUPO

Proposición 1.6
Para todo grupo G y todo subconjunto H ⊆ G:

(a) CG (H) ≤ G.

(b) Z(G) ≤ G.

(c) G es abeliano si y solo si Z(G) = G.

Demostración.

(a) Veamos que CG (H) cumple el criterio de subgrupo.

e ∈ CG (H) pues eh = he para todo h.

Sean a, b ∈ CG (H) y h ∈ H. Entonces ah = ha y bh = hb. Queremos ver que
ab−1 ∈ CG (H):
(ab−1 )h = a(b−1 h).
De bh = hb se deduce b−1 h = hb−1 (multiplicando por b−1 a ambos lados).
Luego:
a(b−1 h) = a(hb−1 ) = (ah)b−1 = (ha)b−1 = h(ab−1 ).

(b) Es caso particular de (a) con H = G.

(c) Inmediato: Z(G) = G significa que todo elemento conmuta con todos, que es la
definición de abeliano.

⋆ El centro como los “diplomáticos” del grupo

En una reunión (el grupo G), el centro Z(G) está formado por aquellas personas que
se entienden perfectamente con todas las demás: no importa en qué orden interactúen,
el resultado es el mismo. En un grupo abeliano, todos son diplomáticos.

1.6.2 Conjugación y normalizador

Definición: Conjugado de un elemento y de un conjunto
Sea G un grupo, a ∈ G y S ⊆ G.

El conjugado de un elemento s por a es a−1 sa.

El conjugado del conjunto S por a es

S a = a−1 Sa = {a−1 sa : s ∈ S}.

Definición: Normalizador
El normalizador de S en G es

NG (S) = {g ∈ G : g −1 Sg = S} = {g ∈ G : S g = S}.

13
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

Es decir, NG (S) recoge los elementos de G que dejan a S invariante bajo conjugación
(como conjunto, no necesariamente elemento a elemento).

Proposición 1.7
Para todo grupo G y todo subconjunto no vacío S ⊆ G:

(a) NG (S) ≤ G.

(b) CG (S) ≤ NG (S).

Demostración.

(a) Criterio de subgrupo: e ∈ NG (S) (pues e−1 Se = S). Si a, b ∈ NG (S), entonces

a−1 Sa = S y b−1 Sb = S. Veamos que ab−1 ∈ NG (S):

(ab−1 )−1 S(ab−1 ) = ba−1 S ab−1 = b (a−1 Sa) b−1 = bSb−1 .

| {z }
=S

Ahora bien, b−1 Sb = S ⇒ S = bSb−1 (conjugando por b−1 ). Luego (ab−1 )−1 S(ab−1 ) =
S.

(b) Si g ∈ CG (S), entonces gs = sg para todo s ∈ S, lo que implica g −1 sg = s para todo

s, es decir, g −1 Sg = S, luego g ∈ NG (S).

⋆ Analogía

Piensa en S como un club dentro de una ciudad (G). El normalizador NG (S) es el

conjunto de ciudadanos cuya “influencia” (conjugación) reorganiza internamente el
club pero no cambia sus miembros. El centralizador CG (S) es más restrictivo: sus
miembros ni siquiera reorganizan, dejan a cada socio exactamente donde estaba.

1.6.3 Subgrupos normales (introducción)

Definición: Subgrupo normal

Un subgrupo H ≤ G se dice normal en G, y se escribe H ⊴ G, si

g −1 Hg = H para todo g ∈ G,

o equivalentemente, si NG (H) = G.

Los subgrupos normales desempeñan un papel crucial: son exactamente los subgrupos
con los que se puede construir el grupo cociente G/H (tema de lecciones posteriores).

14
 1.7. PROBLEMAS DE EXAMEN RESUELTOS

1.6.4 Producto de subgrupos HK

Definición: Producto de subconjuntos
Dados H, K ⊆ G, se define el producto HK como

HK = {hk : h ∈ H, k ∈ K}.

△ Nota importante
HK no es, en general, un subgrupo de G, ni siquiera cuando H y K lo son.

Proposición 1.8 — Producto de subgrupos

Sean H, K ≤ G. Entonces

HK ≤ G ⇐⇒ HK = KH.

La demostración completa se incluye en la sección de problemas de examen (Proble-

ma 2).

1.7 Problemas de examen resueltos

A continuación se presentan enunciados y resoluciones detalladas de problemas que
han aparecido en exámenes y que corresponden a los conceptos de esta primera lección.

Problema 1 — Propiedades de grupos abelianos

Enunciado. Demostrar que para un grupo G, las siguientes afirmaciones son equiva-
lentes:

(i) G es abeliano.

(ii) (ab)2 = a2 b2 para todos a, b ∈ G.

(iii) b−1 a−1 ba = 1 para todos a, b ∈ G.

Resolución detallada.
(i) ⇒ (ii). Supongamos que G es abeliano, es decir, ab = ba para todos a, b ∈ G.
Entonces:
(ab)2 = (ab)(ab) = a |{z}
b a b = a (ab) b = (aa)(bb) = a2 b2 .
=ab

Se ha usado la conmutatividad en el paso ba = ab.

(ii) ⇒ (iii). Partimos de la hipótesis (ab)2 = a2 b2 , es decir:

abab = aabb.

Multiplicamos (⋆) a la izquierda por a−1 :

a−1 (abab) = a−1 (aabb) =⇒ bab = abb.

15
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

Multiplicamos ahora a la derecha por b−1 :

(bab)b−1 = (abb)b−1 =⇒ ba = ab.

Con esta igualdad:

b−1 a−1 ba = b−1 a−1 (ab) = b−1 (a−1 a)b = b−1 eb = b−1 b = 1.

(iii) ⇒ (i). Partimos de b−1 a−1 ba = 1. Multiplicamos a la izquierda por b:

b(b−1 a−1 ba) = b · 1 =⇒ a−1 ba = b.

Multiplicamos a la izquierda por a:

a(a−1 ba) = ab =⇒ ba = ab.

Luego G es abeliano. ■

Problema 2 — El producto de subgrupos HK

Enunciado. Dados dos subgrupos H y K de un grupo G, demostrar que HK es un
subgrupo de G si y solo si HK = KH.

Resolución detallada.
(⇒) Si HK ≤ G, entonces HK = KH.
KH ⊆ HK: Sea x ∈ KH. Entonces x = kh para ciertos k ∈ K y h ∈ H. Necesitamos
ver que x ∈ HK.
Como HK es subgrupo, contiene el inverso de cada uno de sus elementos. Observemos
que h−1 ∈ H y k −1 ∈ K, luego h−1 k −1 ∈ HK. Como HK es subgrupo, el inverso de
h−1 k −1 pertenece a HK:
(h−1 k −1 )−1 = kh ∈ HK.
Así, x = kh ∈ HK.
HK ⊆ KH: Sea y = hk ∈ HK. Como HK es subgrupo, y −1 = k −1 h−1 ∈ HK, lo
que ya nos dice que KH ⊆ HK (lo acabamos de probar). Ahora, y −1 ∈ HK significa
y −1 = h′ k ′ para ciertos h′ ∈ H, k ′ ∈ K. Entonces:

y = (y −1 )−1 = (h′ k ′ )−1 = (k ′ )−1 (h′ )−1 ∈ KH.

Luego HK ⊆ KH.
Combinando ambas inclusiones: HK = KH.

(⇐) Si HK = KH, entonces HK ≤ G.

Usamos el criterio de subgrupo: debemos verificar que para todos x, y ∈ HK se cumple
xy −1 ∈ HK.
Sean x = h1 k1 y y = h2 k2 con hi ∈ H, ki ∈ K. Entonces:

y −1 = k2−1 h−1
2 .

16
 1.7. PROBLEMAS DE EXAMEN RESUELTOS

Por tanto:
xy −1 = h1 k1 k2−1 h−1
2 .

Ahora, k1 k2−1 ∈ K (pues K es subgrupo) y h−12 ∈ H. Así que necesitamos ver que un
elemento de la forma “algo de H · algo de K · algo de H” está en HK.
Concretamente, (k1 k2−1 )h−1 −1 −1
2 ∈ KH. Pero por hipótesis KH = HK, luego (k1 k2 )h2 =
h3 k3 para ciertos h3 ∈ H, k3 ∈ K. Entonces:

xy −1 = h1 (h3 k3 ) = (h1 h3 ) k3 ∈ HK.

| {z } |{z}
∈H ∈K

Por el criterio de subgrupo (Proposición 1.4), HK ≤ G. ■

Problema 3 — Existencia de raíces en grupos de orden impar

Enunciado. Sea G un grupo finito de orden impar. Dado x ∈ G, demostrar que existe
y ∈ G tal que y 2 = x.

Resolución detallada.
Sea |G| = n, con n impar. Recordemos dos hechos clave:

1. Teorema de Lagrange (consecuencia): Para todo x ∈ G se verifica xn = e

(el elemento neutro).

2. Identidad de Bézout: Como n es impar, mcd(2, n) = 1. Por tanto, existen

enteros a, b ∈ Z tales que
2a + nb = 1.

Con estos ingredientes, calculamos:

2
b
x = x1 = x2a+nb = x2a · xnb = xa · xn .

b
Pero xn = e (por Lagrange), luego xn = eb = e. Sustituyendo:

2
2
x = xa · e = xa .

Definiendo y = xa ∈ G, obtenemos y 2 = x, que es lo que queríamos demostrar. ■

Comentario. La clave es que el orden del grupo es coprimo con 2. Este argumento se
generaliza: si mcd(m, |G|) = 1, entonces todo elemento de G tiene una “raíz m-ésima”,
es decir, para cada x ∈ G existe y con y m = x.

⋆ Bézout como “truco de magia” con exponentes

La identidad de Bézout nos permite «descomponer» el exponente 1 como combinación
lineal de 2 y n. El término que lleva n se «evapora» gracias a Lagrange (xn = e), y
nos queda exactamente un cuadrado. Es como disponer de dos engranajes (de 2 y n
dientes) que, al ser coprimos, pueden generar cualquier desplazamiento.

17
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

Problema 4 — Intersección de subgrupos normales

Enunciado. Probar que la intersección arbitraria de subgrupos normales de G es de
nuevo un subgrupo normal de G.

Resolución detallada.
Sea {Hi }i∈I una familia (posiblemente infinita) de subgrupos normales de G, es decir,
Hi ⊴ G para todo i ∈ I. Definimos:
\
H= Hi .
i∈I

Paso 1: H es subgrupo de G.
Esto ya lo hemos demostrado en la Proposición 1.5: la intersección arbitraria de
subgrupos es subgrupo.
Paso 2: H es normal en G.
Sea g ∈ G y h ∈TH arbitrarios. Debemos demostrar que ghg −1 ∈ H.
Como h ∈ H = Hi , se tiene que h ∈ Hi para todo i ∈ I.
Fijemos un índice i cualquiera. Como Hi ⊴ G (es normal) y h ∈ Hi , por definición de
normalidad:
ghg −1 ∈ Hi .
Esto vale para todo i ∈ I. Por tanto:
\
ghg −1 ∈ Hi = H.
i∈I

Hemos probado que gHg −1 ⊆ H para todo g ∈ G, lo que significa que H ⊴ G. ■

Observación. La unión de subgrupos normales no es, en general, ni siquiera un

subgrupo (mucho menos normal). Por ejemplo, en (Z, +), 2Z ∪ 3Z no es subgrupo
porque $2 + 3 = 5 ∈
/ 2Z ∪ 3Z.

1.8 Resumen del capítulo

Esquema–resumen del Capítulo 1
1. Operación binaria interna: aplicación G × G → G (clausura).

2. Grupo (G, ∗): asociatividad + elemento neutro (único) + inverso (único).

3. Grupo abeliano: grupo con conmutatividad. Caracterizado por (ab)2 = a2 b2 o

[b, a] = 1.

4. Subgrupo H ≤ G: subconjunto cerrado para la operación y la inversión.

Criterio rápido: ab−1 ∈ H.

5. Subgrupo generado ⟨S⟩: menor subgrupo que contiene a S. Si S = {a}, el

grupo es cíclico.

18
 1.8. RESUMEN DEL CAPÍTULO

6. Centralizador CG (H): elementos que conmutan con todo H. Centro Z(G) =

CG (G).

7. Conjugación: S a = a−1 Sa. Normalizador: NG (S) = {g : S g = S}.

8. Subgrupo normal: H ⊴ G ⇐⇒ gHg −1 = H ∀g. La intersección de normales

es normal.

9. Producto HK: es subgrupo ⇐⇒ HK = KH.

19
CAPÍTULO 1. GRUPOS Y SUBGRUPOS

20
Capítulo 2

Orden e Índice

Introducción
En el capítulo anterior definimos la noción de grupo y de subgrupo, y estudiamos
varias construcciones asociadas (centralizador, normalizador, producto de subgrupos, etc.).
Ahora damos un paso más y nos preguntamos por los aspectos cuantitativos: ¿cuántas
veces hay que operar un elemento consigo mismo para volver al neutro? ¿Cuántas «copias»
de un subgrupo caben dentro del grupo? Estas preguntas conducen a los conceptos de
orden de un elemento, clases laterales e índice de un subgrupo, y culminan en uno de
los resultados más importantes del álgebra: el Teorema de Lagrange.

⋆ Analogía inicial: las agujas de un reloj

Piensa en la aguja de los minutos de un reloj. Cada «tick» avanza la aguja una posición.
Tras exactamente 60 ticks, la aguja vuelve a la posición original: ha dado una vuelta
completa. En lenguaje algebraico diríamos que el elemento «avanzar un minuto» tiene
orden 60 en el grupo cíclico Z60 . Si la aguja nunca regresara al punto de partida
(imagina un reloj con infinitas posiciones), diríamos que su orden es infinito.
Además, podemos preguntarnos: si en lugar de avanzar de minuto en minuto avanzamos
de 5 en 5, ¿cuántos pasos necesitamos para completar la vuelta? La respuesta es 12, es
decir, 60/ mcd(60, 5) = 12. Este capítulo formaliza y generaliza esa intuición.

2.1 Orden de un elemento

Definición: Orden de un elemento
Sea (G, · ) un grupo y sea a ∈ G. El orden de a, denotado o(a) (también |a| u ord(a)),
es el menor entero positivo n tal que

an = e (elemento neutro).

Si no existe tal entero positivo, se dice que a tiene orden infinito y se escribe
o(a) = ∞.

Observaciones inmediatas:

21
CAPÍTULO 2. ORDEN E ÍNDICE

o(a) ≥ 1 siempre que sea finito.

El único elemento de orden 1 es el neutro e (pues e1 = e, y para cualquier a ̸= e se

tiene a1 = a ̸= e).

En notación aditiva, la condición an = e se escribe na = 0.

⋆ El orden como el «período de retorno»

Imagina que estás caminando en círculo por un sendero con n marcas equidistantes. Si
en cada paso avanzas una marca, necesitas exactamente n pasos para volver al punto
de partida. Ese n es el orden de tu paso. Si el sendero fuera una recta infinita, jamás
regresarías: tu paso tendría orden infinito.

Ejemplo 2.1 — Órdenes en Z12

En el grupo (Z12 , +), la operación es la suma módulo 12 y el neutro es 0̄. Calculemos

algunos órdenes:

k̄ 0̄ 1̄ 2̄ 3̄ 4̄ 5̄ 6̄ 7̄ ¯ 11
8̄ 9̄ 10 ¯
o(k̄) 1 12 6 4 3 12 2 12 3 4 6 12

Se puede verificar en cada caso que o(k̄) = 12/ mcd(12, k). Por ejemplo:

o(3̄) = 12/ mcd(12, 3) = 12/3 = 4. En efecto: 3̄, 2 · 3̄ = 6̄, 3 · 3̄ = 9̄, 4 · 3̄ = 12 = 0̄.

✓

o(4̄) = 12/ mcd(12, 4) = 12/4 = 3. En efecto: 4̄, 8̄, 12 = 0̄. ✓

Este patrón no es casualidad: es consecuencia de la Proposición 2.2 que veremos

enseguida.

Ejemplo 2.2 — Orden infinito en (Z, +)

En (Z, +), consideremos a = 1. Para cualquier n > 0, n · 1 = n = ̸ 0. Por tanto,

o(1) = ∞. De hecho, el único elemento de orden finito en (Z, +) es el 0, pues para
a ̸= 0 cualquier múltiplo na con n > 0 es no nulo.

Ejemplo 2.3 — Orden en un grupo de matrices

 
0 −1
Consideremos la matriz A = ∈ GL2 (R). Calculemos sus potencias:
1 0
       
1 0 −1 2 −1 0 3 0 1 4 1 0
A = , A = = −I, A = , A = = I.
1 0 0 −1 −1 0 0 1

Así, o(A) = 4. Geométricamente, A es una rotación de 90 y necesitamos cuatro

rotaciones para completar los 360.

22
 2.1. ORDEN DE UN ELEMENTO

2.1.1 Propiedades fundamentales del orden

Proposición 2.1 — Relación entre orden y potencias

Sea G un grupo y a ∈ G con o(a) = n < ∞. Entonces:

am = e ⇐⇒ n | m.

En particular, los exponentes que «anulan» a a son exactamente los múltiplos de su

orden.

Demostración. (⇐) Si m = nq para algún q ∈ Z, entonces am = anq = (an )q = eq = e.

(⇒) Realizamos la división euclídea de m entre n:

m = nq + r, 0 ≤ r < n.

Entonces:
e = am = anq+r = anq · ar = (an )q · ar = e · ar = ar .
Hemos obtenido ar = e con 0 ≤ r < n. Pero n es, por definición, el menor entero positivo
con an = e. La única posibilidad compatible con 0 ≤ r < n es r = 0. Por tanto, m = nq,
es decir, n | m.

△ Consecuencia fundamental

Si o(a) = n, las potencias e = a0 , a1 , a2 , . . . , an−1 son todas distintas (si ai = aj

con 0 ≤ i < j < n, entonces aj−i = e con 0 < j − i < n, contradiciendo la minimalidad
de n). Por tanto:

⟨a⟩ = {e, a, a2 , . . . , an−1 }, |⟨a⟩| = o(a) = n.

El orden de un elemento coincide con el orden (cardinal) del subgrupo

cíclico que genera.

Proposición 2.2 — Orden de una potencia

Sea a ∈ G con o(a) = n < ∞. Para cada k ∈ Z:

n
o(ak ) =
mcd(n, k)

Demostración. Sea d = mcd(n, k) y escribamos n = d n′ , k = d k ′ con mcd(n′ , k ′ ) = 1.

′ ′ ′ ′ ′ ′
Paso 1: (ak )n = akn = adk n = ak n = (an )k = e. Por tanto, o(ak ) divide a n′ = n/d.
Paso 2: Sea m = o(ak ). Entonces (ak )m = e, es decir, akm = e. Por la Proposición 2.1,
n | km, lo que equivale a n′ | k ′ m. Como mcd(n′ , k ′ ) = 1, se deduce que n′ | m.
De los Pasos 1 y 2: m = n′ = n/ mcd(n, k).

23
CAPÍTULO 2. ORDEN E ÍNDICE

Ejemplo 2.4 — Aplicación de la fórmula del orden

En Z20 , el elemento 1̄ tiene orden 20. ¿Cuál es el orden de 8̄?

20 20
o(8̄) = o(8 · 1̄) = = = 5.
mcd(20, 8) 4

Comprobación directa: 8̄, 16, 24 = 4̄, 32 = 12, 40 = 0̄. Efectivamente, 5 pasos. ✓

Corolario 2.1. Sea a ∈ G con o(a) = n. Entonces o(ak ) = n si y solo si mcd(n, k) = 1.

En particular, los generadores de ⟨a⟩ son exactamente las potencias ak con mcd(n, k) = 1.

2.2 Elementos de torsión

Definición: Elemento de torsión
Sea G un grupo. Un elemento a ∈ G se dice de torsión si su orden es finito, es decir,
si existe n ∈ N con n > 0 tal que an = e. Si todos los elementos de G son de torsión,
decimos que G es un grupo de torsión (o grupo periódico).

⋆ Torsión: volver siempre a casa

Un elemento de torsión es como un viajero que, por más lejos que vaya, siempre
termina regresando a su punto de origen tras un número finito de pasos. Un elemento
de orden infinito es un explorador que jamás vuelve.

Ejemplo 2.5 — Elementos de torsión y no torsión

En el grupo (Q∗ , · ):

−1 es de torsión: (−1)2 = 1, luego o(−1) = 2.

1 es de torsión: o(1) = 1.

2 no es de torsión: 2n = 1 no tiene solución en N.

Por tanto, Q∗ no es un grupo de torsión.

2.2.1 Torsión en grupos abelianos

Proposición 2.3 — Subgrupo de torsión en grupos abelianos
Sea G un grupo abeliano. Entonces el conjunto

Tor(G) = {a ∈ G : o(a) < ∞}

es un subgrupo de G, llamado subgrupo de torsión.

Demostración. Usamos el criterio de subgrupo en un paso: debemos verificar que para

a, b ∈ Tor(G) se tiene ab−1 ∈ Tor(G).

24
 2.3. RELACIONES DE EQUIVALENCIA Y CLASES LATERALES

No vacío: e ∈ Tor(G) pues o(e) = 1.

Sean o(a) = m y o(b) = n. Sea L = (m, n). Como G es abeliano:

(ab−1 )L = aL (b−1 )L = aL (bL )−1 .

Puesto que m | L y n | L, tenemos aL = e y bL = e. Luego:

(ab−1 )L = e · e−1 = e.

Así, o(ab−1 ) es finito (divide a L) y ab−1 ∈ Tor(G).

△ ¡Cuidado con grupos no abelianos!

La Proposición 2.3 usa de forma esencial la conmutatividad. En un grupo no abeliano,
el producto de dos elementos de torsión puede tener orden infinito, o simplemente no
cumplir que o(ab) divida a (o(a), o(b)). El paso clave (ab)L = aL bL solo es válido si
ab = ba.
Contraejemplo clásico. En el grupo libre F2 = ⟨x, y⟩ con dos generadores, los
elementos x e y pueden escogerse de orden finito en cocientes adecuados de modo
que xy tenga orden arbitrariamente grande o incluso infinito. La conmutatividad es
irrenunciable.

⋆ Torsión: engranajes acoplados

Imagina dos ruedas dentadas: una con m dientes y otra con n dientes. Si las acoplas
(grupo abeliano), el sistema completo vuelve a su posición inicial tras (m, n) pasos.
Si los dientes no encajan bien (grupo no abeliano), el comportamiento puede ser
impredecible: el sistema podría no regresar jamás a la posición de partida.

Ejemplo 2.4 — Torsión en Q/Z

En el grupo cociente (Q/Z, +), cada elemento p/q ¯ (con q > 0) tiene orden finito:
q · p/q = p = 0̄. De hecho, o(p/q) = q/ mcd(p, q). Así, todo elemento de Q/Z es de
torsión: Tor(Q/Z) = Q/Z.

2.3 Relaciones de equivalencia y clases laterales

Las clases laterales son la herramienta que nos permite «descomponer» un grupo en
piezas del mismo tamaño, lo que conduce directamente al Teorema de Lagrange. Antes de
definirlas, recordemos brevemente la noción de relación de equivalencia.

25
CAPÍTULO 2. ORDEN E ÍNDICE

2.3.1 Recordatorio: relaciones de equivalencia

Definición: Relación de equivalencia (recordatorio)

Una relación ∼ en un conjunto X es de equivalencia si es:

(i) Reflexiva: x ∼ x para todo x ∈ X.

(ii) Simétrica: x ∼ y ⇒ y ∼ x.

(iii) Transitiva: x ∼ y e y ∼ z ⇒ x ∼ z.

La clase de equivalencia de x es [x] = {y ∈ X : y ∼ x}. Las clases forman una

partición de X (subconjuntos disjuntos cuya unión es X).

2.3.2 Las dos relaciones inducidas por un subgrupo

Sea G un grupo y H ≤ G un subgrupo. Definimos dos relaciones en G:

Definición: Relaciones laterales

a) Relación por la derecha:
def
x RH y ⇐⇒ xy −1 ∈ H.

b) Relación por la izquierda:

def
x HR y ⇐⇒ x−1 y ∈ H.

Proposición 2.4
Ambas relaciones son relaciones de equivalencia en G.

Demostración. Demostramos que RH (relación por la derecha) es de equivalencia. La

prueba para H R es completamente análoga.

Reflexiva: xx−1 = e ∈ H (pues H es subgrupo), luego x RH x.

Simétrica: Si xy −1 ∈ H, entonces (xy −1 )−1 = yx−1 ∈ H (pues H es cerrado bajo

inversos). Luego y RH x.

Transitiva: Si xy −1 ∈ H y yz −1 ∈ H, entonces (xy −1 )(yz −1 ) = xz −1 ∈ H (pues H

es cerrado bajo el producto). Luego x RH z.

26
 2.3. RELACIONES DE EQUIVALENCIA Y CLASES LATERALES

2.3.3 Clases laterales

Definición: Clases laterales (coclases)

Sea H ≤ G.

a) La clase lateral derecha de x es:

Hx = {hx : h ∈ H}.

Es la clase de equivalencia de x respecto a RH .

b) La clase lateral izquierda de x es:

xH = {xh : h ∈ H}.

Es la clase de equivalencia de x respecto a H R.

⋆ Clases laterales: estantes de una biblioteca

Imagina que G es una biblioteca con todos sus libros y H es una estantería concreta.
Las clases laterales son las distintas estanterías que obtienes al «desplazar» H por cada
libro x: Hx es la estantería H «traducida» por x. Cada libro aparece en exactamente
una estantería, y todas las estanterías tienen el mismo número de libros. Esto es
precisamente lo que afirma el Teorema de Lagrange.

Proposición 2.5 — Propiedades de las clases laterales

Sea H ≤ G. Entonces:

(a) Dos clases laterales derechas Hx y Hy o bien coinciden (Hx = Hy) o bien son
disjuntas (Hx ∩ Hy = ∅).

(b) Toda clase lateral Hx tiene el mismo cardinal que H: |Hx| = |H|.

(c) G es la unión disjunta de todas las clases laterales derechas (y también de las
izquierdas).

Las mismas propiedades valen para las clases laterales izquierdas xH.

Demostración.

(a) Es una propiedad general de las clases de equivalencia de cualquier relación de

equivalencia.

(b) Definimos la aplicación φ : H → Hx dada por φ(h) = hx. Esta aplicación es:

Inyectiva: Si h1 x = h2 x, multiplicando a la derecha por x−1 obtenemos h1 = h2 .

Sobreyectiva: Todo elemento de Hx es de la forma hx con h ∈ H.

Luego φ es una biyección y |Hx| = |H|.

27
CAPÍTULO 2. ORDEN E ÍNDICE

(c) Todo g ∈ G pertenece a su propia clase Hg (pues g = eg ∈ Hg), y por (a) las clases
son disjuntas.
△ Nota importante
̸ xH. Las clases laterales derechas e izquierdas coinciden si y solo si
En general, Hx =
H es un subgrupo normal (H ⊴ G).

2.4 Índice de un subgrupo

Definición: Índice
Sea H ≤ G. El índice de H en G, denotado [G : H], es el número de clases laterales
derechas (o izquierdas) distintas de H en G:

[G : H] = |G/H| = |{Hg : g ∈ G}|.

Este cardinal puede ser finito o infinito.

Proposición 2.6 — El índice está bien definido

El número de clases laterales derechas coincide con el número de clases laterales
izquierdas. Es decir:

|{Hg : g ∈ G}| = |{gH : g ∈ G}|.

Demostración. Basta exhibir una biyección entre el conjunto de clases derechas y el de

clases izquierdas. Definimos:

Φ : {Hg : g ∈ G} −→ {gH : g ∈ G}, Hg 7−→ g −1 H.

Bien definida: Si Hg = Hg ′ , entonces g ′ g −1 ∈ H. Queremos ver que g −1 H =

(g ′ )−1 H. Sea h ∈ H; entonces (g ′ )−1 h = (g ′ )−1 (g · g −1 )h = ((g ′ )−1 g)(g −1 h). Como
g ′ g −1 ∈ H, su inverso (g ′ )−1 g ∈ H, luego (g ′ )−1 h ∈ H · g −1 h. Un razonamiento
cuidadoso muestra que g −1 H = (g ′ )−1 H.

Inyectiva y sobreyectiva: La aplicación inversa es gH 7→ Hg −1 , que es la misma

construcción.
Luego Φ es biyección y ambos conjuntos tienen el mismo cardinal.

Ejemplo 2.5 — Índice de 2Z en Z

Consideremos H = 2Z = {. . . , −4, −2, 0, 2, 4, . . .} ≤ (Z, +). Las clases laterales (aquí

usamos notación aditiva, así que son H + k):

H + 0 = {. . . , −4, −2, 0, 2, 4, . . .} (los pares),

H + 1 = {. . . , −3, −1, 1, 3, 5, . . .} (los impares).

No hay más clases (cualquier entero es par o impar). Luego [Z : 2Z] = 2.

28
 2.5. TEOREMA DE LAGRANGE

2.5 Teorema de Lagrange

Llegamos al resultado central de esta lección.

Teorema de Lagrange
Sea G un grupo finito y H ≤ G. Entonces el orden de H divide al orden de G:

|H| |G|.

Más precisamente:
|G| = |H| · [G : H].

Demostración. Por la Proposición 2.5, G es la unión disjunta de todas las clases laterales
derechas de H:
G = Hg1 ∪˙ Hg2 ∪˙ · · · ∪˙ Hgr ,
donde r = [G : H] es el número de clases distintas y g1 , . . . , gr son representantes, uno de
cada clase.
Puesto que cada clase tiene exactamente |H| elementos (Proposición 2.5 (b)) y las
clases son disjuntas:

|G| = |Hg1 | + |Hg2 | + · · · + |Hgr | = |H| + |H| + · · · + |H| = |H| · r = |H| · [G : H].
| {z }
r veces

⋆ Lagrange: repartir caramelos en bolsas iguales

Tienes |G| caramelos y los repartes en bolsas de |H| caramelos cada una (las clases
laterales). El Teorema de Lagrange dice que el reparto es exacto: no sobra ningún
caramelo. Por tanto, el tamaño de la bolsa (|H|) divide obligatoriamente al total (|G|).

2.5.1 Consecuencias del Teorema de Lagrange

Corolario 2.2 (El orden de un elemento divide al orden del grupo). Sea G un grupo finito
con |G| = n. Para todo a ∈ G:
o(a) n.
En particular:
an = e para todo a ∈ G.
Demostración. Sabemos que o(a) = |⟨a⟩| y ⟨a⟩ ≤ G. Por Lagrange, |⟨a⟩| divide a |G| = n.
Como o(a) | n, escribimos n = o(a) · q y entonces an = ao(a)·q = (ao(a) )q = eq = e.
Corolario 2.3 (Grupos de orden primo son cíclicos). Si |G| = p con p primo, entonces G
es cíclico. En particular, G es abeliano.
Demostración. Sea a ∈ G con a ≠ e. Entonces ⟨a⟩ es un subgrupo de G con |⟨a⟩| = o(a) > 1.
Por Lagrange, o(a) divide a p. Como p es primo y o(a) > 1, necesariamente o(a) = p.
Luego ⟨a⟩ = G y G es cíclico.
Todo grupo cíclico es abeliano (pues am · ak = am+k = ak · am ).

29
CAPÍTULO 2. ORDEN E ÍNDICE

△ Nota importante

El recíproco del Teorema de Lagrange es falso en general: si d | |G|, no tiene por qué
existir un subgrupo de orden d. El contraejemplo más pequeño es A4 (el grupo alterno
de grado 4), que tiene orden 12 pero no posee ningún subgrupo de orden 6.

Corolario 2.4 (Fórmula del índice multiplicativa). Si K ≤ H ≤ G con [G : K] finito,

entonces:
[G : K] = [G : H] · [H : K].
Demostración. Si G es finito, basta aplicar |G| = |K| · [G : K], |G| = |H| · [G : H] y
|H| = |K| · [H : K], y despejar. (El resultado vale también para grupos infinitos con una
prueba directa por biyecciones.)

2.6 Grupos cíclicos: estructura completa

Ya hemos mencionado los grupos cíclicos en el capítulo anterior. Aprovechamos ahora
el Teorema de Lagrange para completar su estudio.

Proposición 2.7 — Clasificación de grupos cíclicos

Sea G = ⟨a⟩ un grupo cíclico. Entonces:

(a) Si G es infinito, G ∼
= (Z, +).

(b) Si |G| = n, entonces G ∼

= (Zn , +).

Proposición 2.8 — Subgrupos de un grupo cíclico

(a) Todo subgrupo de un grupo cíclico es cíclico.

(b) Si G = ⟨a⟩ con |G| = n, para cada divisor d de n existe un único subgrupo de
orden d, que es ⟨an/d ⟩.

Ejemplo 2.6 — Subgrupos de Z12

Z12 = ⟨1̄⟩ tiene orden 12. Los divisores de 12 son 1, 2, 3, 4, 6, 12. Para cada divisor d, el
único subgrupo de orden d es:

d Subgrupo Elementos
1 ⟨0̄⟩ = {0̄} {0̄}
2 ⟨6̄⟩ {0̄, 6̄}
3 ⟨4̄⟩ {0̄, 4̄, 8̄}
4 ⟨3̄⟩ {0̄, 3̄, 6̄, 9̄}
6 ⟨2̄⟩ ¯
{0̄, 2̄, 4̄, 6̄, 8̄, 10}
12 ⟨1̄⟩ = Z12 Z12
Observemos que hay exactamente un subgrupo por cada divisor de 12: esto es una
propiedad exclusiva de los grupos cíclicos.

30
 2.7. PROBLEMAS DE EXAMEN RESUELTOS

⋆ Subgrupos cíclicos: divisores de una tarta

Si una tarta (el grupo cíclico Zn ) tiene n porciones iguales, los subgrupos corresponden
a las maneras de seleccionar porciones equiespaciadas: cada n/d porciones obtienes un
subgrupo de d porciones. Solo hay una forma de elegir porciones equiespaciadas para
cada divisor d de n.

2.7 Problemas de examen resueltos

A continuación se presentan enunciados y resoluciones detalladas de problemas de
examen correspondientes a los conceptos de esta lección.

Problema 1 — Orden de ab y orden de ba (Examen Febrero 2024)

Enunciado. Sean a, b elementos de un grupo G. Demostrar que o(ab) = o(ba).

Resolución detallada.
Paso 1. Demostramos una identidad auxiliar muy útil.

Lema. Para todo n ≥ 1: (ba)n = b (ab)n−1 a.

Demostración del lema. Por inducción sobre n.

Base (n = 1): (ba)1 = ba = b · e · a = b (ab)0 a. ✓
Paso inductivo: Supongamos (ba)n = b (ab)n−1 a. Entonces:

(ba)n+1 = (ba)n · (ba) = b (ab)n−1 a · ba = b (ab)n−1 (ab) a = b (ab)n a.

 
✓
|{z}
a·b

Paso 2. Sea o(ab) = n. Entonces (ab)n = e. Usando el lema:

(ba)n = b (ab)n−1 a.

Necesitamos evaluar (ab)n−1 . De (ab)n = e se obtiene (ab)n−1 = (ab)−1 = b−1 a−1 .

Sustituyendo:
(ba)n = b · b−1 a−1 · a = (bb−1 )(a−1 a) = e · e = e.
Luego o(ba) | n = o(ab).
Paso 3. Por simetría (intercambiando los papeles de a y b, o equivalentemente los de
ab y ba), el mismo argumento prueba que o(ab) | o(ba).
De o(ba) | o(ab) y o(ab) | o(ba) se concluye:

o(ab) = o(ba).

Comentario. Nótese que no hemos necesitado que G sea abeliano ni finito. El resultado
es completamente general. Intuitivamente, ab y ba son “conjugados” (ba = a−1 (ab)a),
y los elementos conjugados siempre tienen el mismo orden.

31
CAPÍTULO 2. ORDEN E ÍNDICE

Problema 2 — Intersección con órdenes coprimos (Examen Septiembre 2025)

Enunciado. Sean H y K subgrupos de un grupo G con |H| = 38 y |K| = 55.

Demostrar que H ∩ K = {e}.

Resolución detallada.
Paso 1: H ∩ K es subgrupo de H y de K.
La intersección de subgrupos es subgrupo (Proposición 1.5 del Capítulo 1). Por tanto,
H ∩ K ≤ H y H ∩ K ≤ K.
Paso 2: Aplicar Lagrange dos veces.
Por el Teorema de Lagrange aplicado a H ∩ K ≤ H:

|H ∩ K| |H| = 38.

Por el Teorema de Lagrange aplicado a H ∩ K ≤ K:

|H ∩ K| |K| = 55.

Paso 3: Usar que los órdenes son coprimos.

Factorizamos:
38 = 2 × 19, 55 = 5 × 11.
Así, mcd(38, 55) = 1 (no comparten ningún factor primo).
Como |H ∩ K| divide simultáneamente a 38 y a 55, debe dividir a su máximo común
divisor:
|H ∩ K| mcd(38, 55) = 1.
El único entero positivo que divide a 1 es 1 mismo, luego:

|H ∩ K| = 1 =⇒ H ∩ K = {e}.

Observación. Este argumento funciona siempre que mcd(|H|, |K|) = 1. Es una

aplicación directa y elegante de Lagrange.

Problema 3 — Existencia de raíces cuadradas en grupos de orden impar

(Examen Septiembre 2025)
Enunciado. Sea G un grupo finito de orden impar. Para cada x ∈ G, demostrar que
existe y ∈ G tal que y 2 = x.

Resolución detallada.
Método 1: Vía la identidad de Bézout (presentado en el Capítulo 1).
Sea |G| = n (impar). Como n es impar, mcd(2, n) = 1. Por la identidad de Bézout,
existen a, b ∈ Z tales que 2a + nb = 1.
Para cualquier x ∈ G:
x = x1 = x2a+nb = (xa )2 · (xn )b .

32
 2.7. PROBLEMAS DE EXAMEN RESUELTOS

Por el Corolario 2.2 (consecuencia de Lagrange), xn = e, luego (xn )b = e. Así:

x = (xa )2 .

Tomando y = xa , obtenemos y 2 = x. ■

Método 2: Directo con Lagrange (más elemental).

Como n es impar, escribimos n = 2k − 1 para cierto k ∈ N con k ≥ 1.
Por Lagrange, xn = e para todo x ∈ G, es decir, x2k−1 = e. Multiplicando ambos lados
por x:
x2k = x.
Definimos y = xk . Entonces:

y 2 = (xk )2 = x2k = x.

Comentario. El Método 2 es una versión explícita del Método 1: si n = 2k − 1, la

ecuación de Bézout da $2k + n(-1) = 2k - (2k-1) = 1, cona = kyb = -1.

Problema 4 — Cálculo de clases laterales (Ejercicio práctico)

Enunciado. Sea G = (Z32 , +) = Z2 × Z2 × Z2 y sea H = {(0, 0, 0), (1, 0, 0)}. Calcular

el conjunto cociente G/H, el índice [G : H] y describir explícitamente cada clase
lateral.

Resolución detallada.
Paso 1: Órdenes.
|G| = 23 = 8. |H| = 2.
Paso 2: Índice.
Por el Teorema de Lagrange:

|G| 8
[G : H] = = = 4.
|H| 2

Habrá, pues, exactamente 4 clases laterales.

Paso 3: Cálculo explícito de las clases.
Como G es abeliano, las clases laterales derechas e izquierdas coinciden. Para cada
x ∈ G, la clase es:

H + x = {h + x : h ∈ H} = {(0, 0, 0) + x, (1, 0, 0) + x} = {x, x + (1, 0, 0)}.

Enumeramos los 8 elementos de G y agrupamos:

33
CAPÍTULO 2. ORDEN E ÍNDICE

Representante x Clase H + x
(0, 0, 0) {(0, 0, 0), (1, 0, 0)}
(0, 1, 0) {(0, 1, 0), (1, 1, 0)}
(0, 0, 1) {(0, 0, 1), (1, 0, 1)}
(0, 1, 1) {(0, 1, 1), (1, 1, 1)}

Comprobemos que estas 4 clases son disjuntas y cubren los 8 elementos de G:

{(0, 0, 0), (1, 0, 0)} ∪˙ {(0, 1, 0), (1, 1, 0)}

∪˙ {(0, 0, 1), (1, 0, 1)} ∪˙ {(0, 1, 1), (1, 1, 1)} = G. ✓

Resultado:

G/H = (0, 0, 0), (0, 1, 0), (0, 0, 1), (0, 1, 1) , [G : H] = 4.

Observación adicional. El conjunto cociente G/H hereda estructura de grupo (pues

H ⊴ G, ya que G es abeliano). De hecho, G/H ∼= Z2 × Z2 , que es el grupo de Klein
de 4 elementos. ■

2.8 Resumen del capítulo

Esquema–resumen del Capítulo 2

1. Orden de un elemento o(a): menor n > 0 con an = e. am = e ⇐⇒ o(a) | m.
Fórmula: o(ak ) = o(a)/ mcd(o(a), k).

2. Elementos de torsión: o(a) < ∞. En grupos abelianos, Tor(G) ≤ G y

o(ab) | (o(a), o(b)).

3. Clases laterales: Hx = {hx : h ∈ H} (derecha), xH = {xh : h ∈ H}

(izquierda). Forman una partición de G en conjuntos del mismo tamaño |H|.

4. Índice [G : H]: número de clases laterales. Es el mismo a derecha que a

izquierda.

5. Teorema de Lagrange: |G| = |H| · [G : H]. Consecuencias:

o(a) | |G| y a|G| = e.

Si |G| es primo, G es cíclico (y abeliano).

6. Grupos cíclicos: G = ⟨a⟩, siempre abelianos. Todo subgrupo es cíclico. Si

|G| = n, hay un único subgrupo por cada divisor de n.

[12pt, a4paper]book
[utf8]inputenc [T1]fontenc [spanish]babel amsmath, amssymb, amsthm mathtools

34
 2.8. RESUMEN DEL CAPÍTULO

enumitem geometry xcolor tcolorbox fancyhdr titlesec hyperref bookmark microtype

graphicx setspace
margin=2.5cm
skins, breakable, theorems
Lema[chapter] Corolario[chapter]
Id Id

35
CAPÍTULO 2. ORDEN E ÍNDICE

36
Estructuras Algebraicas$1,5cm]Apuntesdeclase

Capítulo 1 — Grupos y Subgrupos

2 de julio de 2026
CAPÍTULO 2. ORDEN E ÍNDICE

2
Índice general