Índice general

1. Nociones preliminares 3

2. Grupos, subgrupos y grupos cı́clicos 5

2.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2. Grupos finitos y tablas . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.4. Grupos y subgrupos cı́clicos . . . . . . . . . . . . . . . . . . . . . . . . 12

3. Clases laterales y grupo cociente 15

3.1. Partición de un conjunto y la operación inducida . . . . . . . . . . . . 15
3.2. Clases laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

4. Producto directo 19
4.1. Producto cartesiano de grupos . . . . . . . . . . . . . . . . . . . . . . . 19

1
2 ÍNDICE GENERAL
Capı́tulo 1

Nociones preliminares

Este primer capı́tulo consta de los elementos previos requeridos para el estudio de
la Teorı́a de Grupos. Se utilizará el sı́mbolo ∗ para denotar una operación cualquiera,
ası́ como los sı́mbolos + y · para la suma y producto usuales, respectivamente.
Definición 1.1. Una operación binaria ∗ sobre un conjunto G es una función ∗ :
G × G → G . Si a, b son elementos de G , entonces usamos ∗(a, b) = c ∈ G para denotar
la operación de a y b.
También se utiliza la notación a ∗ b, ası́ como ab. En estas notas utilizaremos ab.
Definición 1.2. Se dice que una operación binaria ∗ es asociativa en un conjunto G si

∀ a, b, c ∈ G , (a ∗ b) ∗ c = a ∗ (b ∗ c).

Definición 1.3. Una operación binaria ∗ es conmutativa en un conjunto G si

∀ a, b ∈ G , a ∗ b = b ∗ a.

Ejemplos 1.1. 1. Sea G el conjunto de los números reales y ∗ la resta usual. En-
tonces ∗ es una operación binaria pero no es asociativa ni conmutativa sobre G .

2. Sea G el conjunto de los números naturales y ∗ la resta usual. Entonces ∗ no

es una operación binaria, dicho esto no tiene sentido hablar de asociatividad ó
conmutatividad.

3. Sea G el conjunto de matrices cuadradas con coeficientes sobre R y ∗ el producto

usual de matrices. Entonces ∗ es una operación binaria sobre G y es asociativa
por propiedades de matrices pero no es conmutativa.

4. En el espacio vectorial R3 , la suma de vectores usual es una operación binaria,

asociativa y conmutativa.
Definición 1.4. Sea ∗ una operación binaria sobre un conjunto G . Se dice que un
elemento x ∈ G es idempotente para ∗ si x ∗ x = x.

3
4 CAPÍTULO 1. NOCIONES PRELIMINARES

Definición 1.5. Sea Z el conjunto de los números enteros. Se definen los conjuntos

1. Zn = {0, 1, 3, · · · , n − 1}

2. nZ = {nk : k ∈ Z}

Se define también la suma en Z denotada por +n como sigue: si k, m ∈ Zn entonces la

suma 
k + m si k + m < n
k +n m = 
k + m( mód n) si k + m ≥ n

Teorema 1.1 (Algoritmo de la división). Sean m, n enteros, existen únicos enteros q, r

tales que n = mq + r con 0 ≤ r < m.

Definición 1.6. Si G es un conjunto y {Hi } es una colección de subconjuntos de G ,

entonces {Hi } es una partición de G si

Hi = G
[
y Hi ∩ Hj = ∅ ∀ i, j ∈ I, i 6= j
i∈I

Definición 1.7. Sean a, b, d ∈ Z, se dice que d es el mmáximo común divisor de a y b

si

1. d > 0, a ÷ a y d ÷ b,

2. si existe d0 ∈ Z tal que d0 ÷ a y d0 ÷ b, entonces d0 ÷ d.

Definición 1.8. Dos números a y b son primos relativos si su máximo común divisor
es 1.

Teorema 1.2. El mı́nimo común multiplo de a y b es ab ⇐⇒ a y b son coprimos.

Capı́tulo 2

Grupos, subgrupos y grupos cı́clicos

2.1. Grupos
Definición 2.1. Sea G un conjunto no vacı́o y sea ∗ una operación binaria en G .
Entonces se dice que el par (G , ∗) es un
a) Semigrupo: si la operación ∗ es asociativa en G ;

b) Monoide: si ∗ es un semigrupo y existe un elemento neutro en G , es decir, si

∃ e ∈ G tal que eg = ge = g, para toda g ∈ G ;

c) Grupo: si (G , ∗) es un monoide y posee la existencia de inversos, es decir, si ∀

g ∈ G , ∃ g −1 ∈ G tal que gg −1 = g −1 g = e;

d) Grupo conmutativo ó abeliano1 : si (G , ∗) es un grupo y la operación ∗ es conmu-

tativa.
Cuando existe un elemento e como en el inciso b) de la definición, también se
dice que es un elemento neutro (identidad) bilateral. Del mismo modo cuando existen
elementos inversos en un conjunto como en el inciso c) se dice que son elementos inversos
bilaterales.
Podemos expresar esta definición mediante el siguiente diagrama:

Grupo G

(
Semigrupo / Monoide / Grupo / Grupo abeliano
6 N I C
B
A
Operación ∗
1
Llamado ası́ en honor al matemático noruego Niels Henrik Abel (1802-1829), quien estuvo intere-
sado en la solución de ecuaciones polinomiales.

5
6 CAPÍTULO 2. GRUPOS, SUBGRUPOS Y GRUPOS CÍCLICOS

Las letras A, B, N, I y C del diagrama denotan “operación asociativa”, “binaria”,

“elemento neutro”, “elementos inversos” y “operación conmutativa”, respectivamente.
Cuando los resultados de una operación entre dos elementos de un conjunto también
pertenecen al conjunto, suele decirse que el conjunto es estable respecto a la operación.
De la definición es inmediata la afirmación que no existen grupos de cero elementos.

Observación 1. La propiedad asociativa puede aplicarse sucesivas veces, de modo que

es posible asociar libremente elementos en una operación compleja. Sean a, b, c, d ∈
G por la propiedad asociativa podemos operarlos de la siguiente manera: ((ab)c)d =
(ab)(cd) = a(b(cd)). Ejemplo: si se desea efectuar la operación 2+3+5+9 mentalmente,
inconcientemente agrupamos los números haciendo primero 2 + 3 y posteriormente
sumarle 5 y por último 9 ó tambien sumamos 2 + 3 con 5 + 9, según el que la efectue.

Proposición 1. Sea G un semigrupo. Entonces G es un grupo si y solo si:

1. ∃ e ∈ G tal que ea = a para toda a ∈ G (elemento identidad izquierdo) y

2. Para toda a ∈ G , existe a−1 ∈ G tal que a−1 a = e (elemento inverso izquierdo).

Demostración. (=⇒) Se sigue de la definición de grupo.

(⇐=) Como existe a−1 ∈ G , sea z ∈ G tal que za−1 = e entonces e = za−1 =
zea−1 = z(a−1 a)a−1 = (za−1 )aa−1 = eaa−1 = aa−1 . Entonces el elemento a−1 es
inverso derecho. Luego, por (1) (y considerando que G es un semigrupo y, por tanto,
asociativo) a = ea = (aa−1 )a = a(a−1 a) = ae. Ası́, el inverso también es derecho. Por
lo tanto G es un grupo.

Teorema 2.1. El elemento neutro de un monoide es único.

Demostración. Procederemos por contradicción. Sea G un monoide y supóngase que

existen dos elementos neutros en G , a saber, e1 y e2 . Luego, como e1 es un elemento
neutro, entonces e1 g = ge1 = g para toda g ∈ G , en particular e2 ∈ G entonces
e1 e2 = e2 e1 = e2 . Por otro lado, como e2 es elemento neutro, entonces e2 g = ge2 = g
para toda g ∈ G , entonces e2 e1 = e1 e2 = e1 . Por lo tanto e1 = e2 e1 = e1 e2 = e2 .

Teorema 2.2. En un grupo se cumplen las propiedades cancelativas por la izquierda

y por la derecha, es decir, si gx = gy, entonces x = y y si zg = wg, entonces z = w.

Demostración. Se probará únicamente la propiedad cancelativa por la izquierda, el caso

derecho es análogo. Sean x, y, g elementos del grupo G tales que gx = gy, entonces existe
el inverso de g, a saber, g −1 , operando por la izquierda se tiene g −1 gx = g −1 gy, de aquı́
ex = ey y finalmente x = y.

Teorema 2.3. Sea (G , ∗) un grupo, si a, b ∈ G , entonces las ecuaciones lineales ax = b

y ya = b tienen soluciones únicas en G .
2.1. GRUPOS 7

Demostración. Se probará únicamente que ax = b tiene solución única, el caso ya = b

es análogo. Como a, b ∈ G entonces a−1 ∈ G y, en particular, a−1 b ∈ G . Sea x = a−1 b,
entonces ax = a(a−1 b) = (aa−1 )b = eb = b. Por lo tanto x = a−1 b es solución del sistema
lineal ax = b. Probada la existencia de la solución, falta ver que es única. Supóngase
que x1 y x2 son soluciones del sistema ax = b, ası́ ax1 = b y ax2 = b de aquı́ ax1 = ax2
aplicando el Teorema 2.2 se sigue que x1 = x2 .
Teorema 2.4. Si (G , ∗) es un grupo, entonces los inversos de sus elementos son únicos.
Demostración. Sea g ∈ G , supóngase que existen dos elementos inversos de g en G
entonces gg1−1 = g1−1 g = e y gg2−1 = g2−1 g = e. Entonces se tienen las igualdades
gg1−1 = e = gg2−1 y g1−1 g = e = g2−1 g. Aplicando el Teorema 2.2 en ambos casos se sigue
que g1−1 = g2−1 .
Teorema 2.5. Sea G un grupo y sean g, h elementos de G , entonces
a) (g −1 )−1 = g,

b) (gh)−1 = h−1 g −1 .
Demostración. a) Por definición un elemento de G es inverso de otro (también de G )
si al operarlos por ambos lados su resultado es la identidad. Como gg −1 = e y g −1 g = e
y ya que los inversos son únicos (Teorema 2.4) entonces el inverso de g −1 es g, es decir,
(g −1 )−1 = g.
b) Desea probarse que el inverso de gh es h−1 g −1 , entonces su operación por ambos lados
debe resultar la identidad. Veamos, gh(h−1 g −1 ) = g(hh−1 )g −1 = geg −1 = gg −1 = e. Por
otro lado (h−1 g −1 )gh = h−1 (g −1 g)h = h−1 eh = h−1 h = e. Y por el Teorema 2.4 se sigue
que (gh)−1 = h−1 g −1 .
Ejemplos 2.1. 1. El par (Z+ , +) no es un grupo porque los elementos de Z+ no
poseen inversos aditivos y no existe un elemento neutro en el conjunto.

2. El par (Z+ ∪{0}, +) no es un grupo porque los elementos de Z+ no poseen inversos

aditivos.

3. El par (Z, +) es un grupo abeliano por que Z es cerrado bajo la suma usual, esta
es asociativa, existe elemento neutro e = 0, los elementos de Z poseen inversos
aditivos y todos sus elementos conmutan.

4. El par (Z+ , ·) no es un grupo porque los elementos de Z+ no poseen inverso.

5. El par (Q+ , ·) es un grupo porque Q+ es cerrado bajo el producto, la operación ·

es asociativa, existe elemento neutro e = 1 y los elementos de Q+ poseen inversos.
Además (Q+ , ·) es un grupo abeliano ya que el producto es conmutativo.

6. El par (Q, +) es un grupo abeliano.

7. El par (Q − {0}, ·) es un grupo abeliano.

8 CAPÍTULO 2. GRUPOS, SUBGRUPOS Y GRUPOS CÍCLICOS

8. El par (R+ , ·) es un grupo abeliano.

9. El par (Z, ·) no es un grupo.
10. Si G es un conjunto no vacı́o, defı́nase el conjunto
A(G ) = {σ : G → G | σ es biyectiva}.
El par (G , ◦), donde ◦ es la multiplicación (composición) de funciones, es un grupo
no abeliano. El conjunto A(G ) se llama grupo de permutaciones del conjunto G .
Si G = {1, · · · , n} entonces A(G ) se llama grupo simétrico de grado n (ó n letras)
y se denota por Sn , |Sn | = n! y Sn es un grupo no abeliano para n ≥ 3.
11. Considere el siguiente conjunto de 8 elementos Q8 = {±1, ±i, ±j, ±k} con un
producto basado en las siguientes reglas: x1 = 1x = x para toda x ∈ Q8 , i2 =
j 2 = k 2 = −1, ij = k, jk = i, ki = j, ji = −k, kj = −i, ik = −j. Entonces Q8 es
un grupo no abeliano llamado grupo de los cuaterniones de 8 elementos.

2.2. Grupos finitos y tablas

Definición 2.2. Sea G un grupo, llamaremos orden de un grupo al cardinal de G y lo
denotaremos por |G |. un grupo es finito (infinito) si su cardinal |G | lo es.
Cuando los grupos son finitos, suele usarse una tabla para representar la operación
binaria para cada par de elementos del grupo. Esta tabla se llama, por obvias razones,
la tabla de grupo. A continuación se muestra como debe llenarse una tabla de grupo.
Antes se hizo mención que no existen grupos de cero elementos, ahora la pregunta es
¿existen grupos de 1 elemento? La respuesta, como se espera, es sı́. En efecto, el único
grupo (salvo isomorfismos) de 1 elemento es el grupo identidad esto es, el conjunto
G = {e} con la operación ∗ donde e es la identidad. Ya que e ∗ e = e, G es cerrado bajo
∗, es asociativo, existe el neutro e inverso. La tabla de grupo de G es
∗ e
e e
¿Existen grupos de 2 elementos? Sı́, efecto si G = {e, a} donde e es la identidad y
a es distinto de la identidad, el par (G , ∗) es un grupo. La tabla correspondiente es
∗ e a
e e a
a a ?
La tabla debe leerse de columna a fila, esto es, primero se toma un elemento de la
primera columna y se opera con un elemento de la primera fila. Ahora la pregunta es
¿Qué debe ir en la posición de ?? Tenemos dos opciones e ó a, si suponemos que va a
entonces a ∗ a = a de aquı́ a = e lo cual es una contradicción ya que la identidad es
única, por lo tanto aquel lugar le corresponde a e, es decir, a ∗ a = e, esto significa que
a es su propio inverso. Ası́, obtenemos la siguiente tabla
2.3. SUBGRUPOS 9

∗ e a
e e a
a a e

Ahora bien, ¿Existen grupos de tres elementos? Si, G = {e, a, b} con la operación ∗
es un grupo. Para llenar la tabla correspondiente utilizamos el Teorema 2.3 que también
nos dice que los elementos de una fila ó columna son distintos, entonces ¿A qué elemento
de G le corresponde la posición de ? en la siguiente tabla?
∗ e a b
e e a b
a a ?
b b
Los posibles candidatos son e ó b si suponemos que va e entonces en los lugares de a ∗ b
y b ∗ a tendrı́a que ir b entonces a ∗ b = b = b ∗ a de aquı́ a = e por lo tanto el lugar de
? le corresponde a b. Con el mismo análisis se llena toda la tabla, resultando
∗ e a b
e e a b
a a b e
b b e a

Definición 2.3. Sea G un semigrupo, a ∈ G , n ∈ Z+ , entonces se define an = aa . . . a

n veces, a−n = (a−1 )n y a0 = e.

Nótese que se cumplen las reglas usuales de los exponentes, es decir, (am )n = amn y
a a = am+n .
m n

Lema 1. Sea G un grupo y g ∈ G , entonces (g p )−1 = (g −1 )p .

Demostración. Por demostrar que (g p )(g −1 )p = (g −1 )p (g p ) = e. Por un lado

(g p )(g −1 )p = g · · · g g −1 · · · g −1 = g · · · g (gg −1 ) g −1 · · · g −1 = g · · · g e g −1 · · · g −1
| {z } | {z } | {z } | {z } | {z } | {z }
n veces n veces n−1 veces n−1 veces n−1 veces n−1 veces

Reduciendo esta expresión finalmente se obtiene (g p )(g −1 )p = e. Análogamente se llega

a que (g −1 )p (g p ) = e.

2.3. Subgrupos
En esta seccion usaremos A ⊂ B para denotar que A es subconjunto de B y podrı́a
ocurrir A = B, por otro lado se usará A B cuando A sea subconjunto de B y A no
pueda ser igual a B.

Definición 2.4. A es subconjunto propio de B si A B.

10 CAPÍTULO 2. GRUPOS, SUBGRUPOS Y GRUPOS CÍCLICOS

Definición 2.5. Si H 6= ∅ es subconjunto de un grupo G y la operación ∗ de G es

cerrada en H y si H es un grupo en sı́ mismo con la operación de G , entonces se dice
que H es subgrupo de G . Se denota H < G .
Definición 2.6. Si G es un grupo, se dice que G y {e} son subgrupos triviales de G .
Nos interesa estudiar los subgrupos no triviales. Los siguientes teoremas son criterios
para saber si un subconjunto de un grupo es un subgrupo.
Teorema 2.6. Un subconjunto H de un grupo G es un subgrupo de G si y solo si:
1. H es cerrado bajo la operación de G ,
2. la identidad de G está en H y
3. para toda h ∈ H se cumple que h−1 ∈ H.
Demostración. Supóngase que H ⊂ G es subgrupo de G , por definición se satisface (1).
Como H es grupo tiene su identidad eH , del mismo modo por ser grupo G posee su
identidad eG , como el elemento identidad de G es único entonces eH = eG ∈ H, por
lo tanto se cumple (2). Por último, si h ∈ H existe su inverso, a saber, h−1H en H; por
otro lado h ∈ G ya que H ⊂ G y existe el inverso de h en G , a saber, h−1 G luego, por la
−1 −1
unicidad del elemento inverso se tiene que hG = hH ∈ H esto prueba (3).
Recı́procamente, la cerradura se cumple por (1). Como G es grupo entonces la operación
es asociativa en todo el conjunto, en particular lo es en los elementos de H, por lo tanto
se cumple la asociatividad. (2) y (3) prueban la existencia del elemento neutro e inversos,
respectivamente.
Teorema 2.7. Sea G un grupo y ∅ =
6 H ⊂ G . H es un subgrupo de G si y solo si para
−1
toda g, h ∈ H, gh ∈ H.
Demostración. Supóngase que H es subgrupo de G . Como H no es vacı́o, sean h, g ∈ H
existe el inverso de h en H ya que es grupo y por ser cerrado entonces gh−1 ∈ H.
Recı́procamente, supóngase que para toda g, h ∈ H, gh−1 ∈ H, desea probarse que H
es un subgrupo de G . Sean h1 , h2 ∈ H, entonces h−1 −1
1 , h2 ∈ H entonces por hipótesis
−1 −1
h1 (h2 ) = h1 h2 ∈ H, ası́ H satisface la cerradura. Supongase ahora que existe k ∈ H,
entonces e = kk −1 ∈ H. Como e ∈ H entonces eh−1 = h−1 ∈ H para toda h ∈ H. Ası́,
hemos probado las condiciones (1), (2) y (3) del Teorema 2.6. ∴ H < G .
Teorema 2.8. Sea G un grupo y ∅ =
6 H ⊂ G , entonces H < G si y solo si:
1. Para toda a, b ∈ H, ab ∈ H y
2. para toda a ∈ H, a−1 ∈ H.
Demostración. (=⇒) Consecuencia de la definición de subgrupo.
(⇐=) La asociatividad de H la hereda de la de G . Si a ∈ H entonces por (2), existe
a−1 ∈ H y por (1) aa−1 = e ∈ H.
∴ H < G.
2.3. SUBGRUPOS 11

Teorema 2.9. Sea G un grupo y H ⊂ G finito no vacı́o. Si ∀ a, b ∈ H se cumple que

ab ∈ H entonces H < G .

Demostración. En virtud del Teorema 2.8 H necesita cumplir solo dos condiciones, pero
por hipótesis satisface la primera, entonces solo queda probar la segunda, es decir, que
para toda a ∈ H su inverso también está en H. Sea a ∈ H y supóngase que |H| = n.
Consideremos los elementos a, a2 , · · · , an , an+1 , como todos ellos están en H y este es
finito y cerrado (hipótesis), existen i < j tales que ai = aj entonces aj−i = e. Como
aj−i ∈ H ya que j − i > 0 entonces e ∈ H. Luego, j − i − 1 ≥ 0, ası́ aj−i−1 ∈ H entonces
aaj−i−1 = aj−i−1 a = aj−i = e. Por lo tanto aj−i = a−1 ∈ H. Por lo tanto, H < G .

Definición 2.7. Sea G un grupo y sean H, K < G , definimos

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

Teorema 2.10. Sea G un grupo y sean H, K < G . Entonces HK < G si y solo si

HK = KH.

Demostración. (=⇒) x = h1 k1 ∈ HK si y solo si x−1 = h2 k2 ∈ HK si y solo si

x = (x−1 )−1 = (h2 k2 )−1 = k2−1 h−1 2 ∈ KH. Por lo tanto HK = KH.
(⇐=) Supongase que HK = KH, se desea probar que HK < G . Sean h0 k0 , h1 , k1 ∈
HK, como HK = KH existe k2 h2 tal que h1 k1 = k2 h2 entonces (h0 k0 )(h1 k1 ) =
(h0 k0 )(k2 h2 ) = h0 (k0 k2 h2 ). Luego h3 k3 = k0 k2 h2 para cierto h3 k3 ∈ HK entonces
(h0 k0 )(h1 k1 ) = h0 h3 k3 . Como h0 h3 ∈ H y k3 ∈ K entonces (h0 k0 )(h1 k1 ) ∈ HK. Por
tanto HK es cerrado. Por otro lado, sea hk ∈ HK, como k −1 h−1 ∈ KH = HK entonces
k −1 h−1 = h0 k0 para algún h0 k0 ∈ HK. Entonces (hk)(h0 k0 ) = (h0 k0 )(hk) = e. Por lo
tanto los elementos de HK tienen inverso en HK. Por lo tanto HK < G .

Ejemplos 2.2. 1. (Z, +) es un subgrupo de (R, +).

2. (Q+ , ·) no es un subgrupo de (R, +). Aunque Q+ ⊂ R, sus operaciones son dife-

rentes.

3. Para cada n ∈ Z, sea nZ = {nk : k ∈ Z} entonces nZ < Z con la suma usual.

4. Considere el grupo Cx = C − {0} con el producto usual en C. El conjunto U =

{a ∈ Cx : a = cos x + i sen x, x ∈ R} es subgrupo de Cx .

5. Sean GL(n, R) = {A ∈ Rn×n : det A 6= 0} y SL(n, R) = {A ∈ Rn×n : det A = 1}.

Entonces SL(n, R) < GL(n, R) con la multiplicación usual de matrices.

6. Sea G 6= ∅ y considere A(G ) (Ejemplos 2.1 inciso 10). Para cada a ∈ G , el conjunto
H(a) = {τ ∈ A(G ) : τ (a) = a} es un subgrupo de A(G ).

7. Sea G un grupo, para cada a ∈ G , el conjunto C(a) = {g ∈ G : ga = ag} es un

subgrupo de G llamado el centralizador de a en G .
12 CAPÍTULO 2. GRUPOS, SUBGRUPOS Y GRUPOS CÍCLICOS

8. Sea G un grupo, el conjunto Z(G ) = {g ∈ G : gz = zg, ∀ z ∈ G } es un subgrupo

de G llamado el centro de G .

9. Si G es un grupo y H < G , entonces para toda a ∈ G el conjunto a−1 Ha =

{a−1 ha : h ∈ H} es un subgrupo de G .

10. Sea G un grupo abeliano y sean H, K < G , el conjunto HK es un subgrupo de G .

11. Si G es un grupo y {Hi } es una familia de subgrupos de G , entonces Hi < G .

T

2.4. Grupos y subgrupos cı́clicos

Definición 2.8. Sea G un grupo y g ∈ G , el subgrupo cı́clico generado por g es

hgi = {g n : n ∈ Z}.

Se dice que G es cı́clico si G = hgi para algún g ∈ G , entoces que g es un generador de

G.

Aunque hgi tenga por nombre subgrupo cı́clico de G no necesariamente es un sub-

grupo de G , a continuación se probará que, en efecto, lo es.

Teorema 2.11. Sea G un grupo y g ∈ G , entonces H = hgi = {g n : n ∈ Z} es un

subgrupo de G y es el menor subgrupo que contiene a g, es decir, cada subgrupo que
contiene a g, contiene a H.

Demostración. Probaremos que H es subgrupo de G . De la Definición 2.3 se sigue que

g 0 = e ∈ H, por lo tanto H 6= ∅. Luego, sean x, y, por demostrar que xy −1 ∈ H. Como
x, y ∈ H entonces x = g m y y = g p para algunos enteros m, p. En virtud del Lema 1
y −1 = (g −1 )p luego, xy −1 = g m (g −1 )p = g m−p ∈ H. Por lo tanto H = hgi es un subgrupo
de G . Además, si g ∈ H0 entonces cualquier potencia de g está en H0 , por lo tanto H0
contiene a H.
Antes de continuar recordemos el algoritmo de la división. Dados dos enteros m, n,
existen dos únicos enteros q, r tales que n = mq + r con 0 ≤ r < m.

Teorema 2.12. Los subgrupos de grupos cı́clicos son cı́clicos.

Demostración. Sea G un grupo cı́clico generado por g y sea H < G . Si H = {e},

como hei = {e} entonces H es cı́clico. Supóngase que H 6= {e} y sea x ∈ H, como
H < G = hgi, existe p ∈ Z tal que x = g p . Sea n el mı́nimo entero positivo tal que
g n ∈ H. Probaremos, por contención doble, que H = hg n i.
hg n i ⊂ H: Sea y ∈ hg n i, como H < G , en particular es cerrado, entonces y = g nk para
algún entero k. Por lo tanto hg n i ⊂ H.
H ⊂ hg n i: Sea y ∈ H < G = hgi ⊂ H, entonces y = g m para algún m ∈ Z. Por el
algorı́tmo de la división (Teorema 1.1) m = nq +r con 0 ≤ r < n entonces g m = g nq+r =
2.4. GRUPOS Y SUBGRUPOS CÍCLICOS 13

g nq g r entonces g r = g m (g −n )q ∈ H como 0 ≤ r < n y n es el menor entero positivo tal

que g n ∈ H entonces r solo puede ser cero, luego m = nq y y = g m = (g n )q entonces
y ∈ hg n i. Por lo tanto H ⊂ hg n i.
Por lo tanto H es cı́clico.

Lema 2. Sea G un grupo cı́clico con generador a. Si se tienen dos exponentes distintos
k 6= l tales que ak = al entonces G = {e, a, · · · , am−1 } donde m es el menor entero
positivo tal que am = e. Además |G | = m.

Ejemplos 2.3. 1. El conjunto Z4 con la suma +4 es cı́clico. En general, el conjunto

Zn es cı́clico con la suma +n .

2. El conjunto de los números reales con la suma usual no es cı́clico.

3. El conjunto nZ es cı́clico.

4. El par (Q, +) no es cı́clico.

5. El par (Q+ , ·) no es cı́clico.

14 CAPÍTULO 2. GRUPOS, SUBGRUPOS Y GRUPOS CÍCLICOS
Capı́tulo 3

Clases laterales y grupo cociente

3.1. Partición de un conjunto y la operación indu-

cida
Recordemos el conjunto S3 = {ρ0 , ρ1 , ρ2 , µ1 , µ2 , µ3 } (ası́ denotamos a los elementos
de S3 , haciendo referencia a D3 ), y su tabla de multiplicar:
ρ0 ρ1 ρ2 µ1 µ2 µ3
ρ0 ρ0 ρ1 ρ2 µ1 µ2 µ3
ρ1 ρ1 ρ2 ρ0 µ2 µ3 µ1
ρ2 ρ2 ρ0 ρ1 µ3 µ1 µ2
µ1 µ1 µ3 µ2 ρ0 ρ2 ρ1
µ2 µ2 µ1 µ3 ρ1 ρ0 ρ2
µ3 µ3 µ2 µ1 ρ2 ρ1 ρ0
Se ha dividido la tabla en las celdas Bρ (amarillo) y Bµ (azul) donde Bρ = {ρ0 , ρ1 , ρ2 }
y Bµ = {µ1 , µ2 , µ3 }, respectivamente. El conjunto de dos elementos {Bρ , Bµ } adquirirá
una estructura de grupos con la siguiente operación descrita para multiplicar celdas:
“ Tomamos un elemento representante de cada una y los multiplicamos usando la
operación de S3 y la celda resultante será la celda donde se encuentre el producto de
ambos representantes ”.
Unos ejemplos de esta operación son Bρ Bµ = ρ1 ρ2 = Bρ , Bρ Bµ = ρ1 µ3 = µ2 = Bµ ,
Bµ Bρ = Bµ y Bµ Bµ = Bρ .
Nótese que para este ejemplo en particular, la operación descrita anteriormente está
bien definida, esto es, al elegir cualesquiera representantes de dos celdas (no necesaria-
mente distintas) el resultado cae siempre en la misma celda, esto muestra que dicha
operación es binaria. Además, el conjunto {Bρ , Bµ } es un grupo con esta operación y
su tabla es
Bρ Bµ
Bρ Bρ Bµ
Bµ Bµ Bρ

15
16 CAPÍTULO 3. CLASES LATERALES Y GRUPO COCIENTE

Afortunadamente, en S3 la operación de celdas está bien definida, esto no necesa-

riamente ocurrirá cada vez que se particione un grupo en celdas. La operación binaria
de celdas definida con anterioridad se llama operación inducida en {Bi } por la opera-
ción de G . Solamente si esta operación está bien definida tiene sentido preguntarnos si
el conjunto {Bi } es un grupo con esa operación. Dejaremos pendiente de momento el
saber dos cosas:
1. ¿Qué se debe conplir para que la operación inducida en {Bi } esté bien definida?

2. El conjunto {Bi } con esta operación ¿Es grupo?

Teorema 3.1. Si un grupo G puede particionarse en celdas {Bi } donde la operación
inducida en ellas está bien definida. Y si las celdas forman un grupo con esta operación,
entonces la celda que contiene a la identidad de G es un subgrupo de G .
Demostración. Suponga que G se particiona en celdas y estas forman un grupo con la
operación inducida. Sea Be la celda que contiene a la identidad e ∈ G . Demostraremos
que Be es un subgrupo de G . Sea Bg cualquier otra celda con g ∈ G . Como {Bi } es
un grupo y la operación inducida está bien definida, entonces Be Bg = eg = g = Bg y
Bg Be = ge = g = Bg , esto se cumple para cualquier celda Bg del conjunto de celdas.
Por lo tanto Be es el elemento neutro del conjunto de celdas. Note que Be Be = Be
ası́, la operación inducida es cerrada en el conjunto Be ⊂ G . Por otro lado, si a ∈ Be ,
supongamos que su inverso a−1 está en alguna celda Bk . Como Be es la celda neutra,
entonces Be Bk = Bk , pero ya que e, a ∈ Be , a−1 ∈ Bk , entonces Be Bk = aa−1 = e = Be .
Por lo tanto Bk = Be pues la operación inducida está bien definida. Por lo tanto
a−1 ∈ Be . Por lo tanto Be es subgrupo de G .

3.2. Clases laterales

Definición 3.1. Sea H < G y sea a ∈ G . La clase lateral izquierda de H, denotada L,
es el conjunto aH = {ah | h ∈ H} y la clase lateral derecha de H, denotada R, es el
conjunto Ha = {ha | h ∈ H}.
Note que

b ∈ aH ⇐⇒ b = ah para algúna h ∈ H
⇐⇒ h = a−1 b
⇐⇒ a−1 b ∈ H

Esto sugiere la relación de equivalencia a ∼ b ⇐⇒ a−1 b ∈ H

Teorema 3.2. Sea H < G . Las relaciones

a ≡L b (mód H) ⇐⇒ a−1 b ∈ H y
a ≡R b (mód H) ⇐⇒ ab−1 ∈ H
3.2. CLASES LATERALES 17

son relaciones de equivalencia en G , llamadas congruencia izquierda módulo H y con-

gruencia derecha módulo H, respectivamente. Las clases de equivalencia para la con-
gruencia izquierda (derecha) módulo H son las clases laterales izquierdas (derechas) de
H. Ademas, todas las clases laterales de H tienen el mismo número de elementos.

Demostración. Sabemos que a ∼ b ⇐⇒ a−1 b ∈ H es una relación de equivalencia para

la congruencia derecha e izquierda módulo H. Luego ∼ particiona al conjunto G en
clases de equivalencia. Sea a ∈ G , su clase de equivalencia es

[a] = {a ∈ G |a ∼ x} = {x ∈ G | ≡L x (mód H)}

= {x ∈ G |a−1 x ∈ H} = {x ∈ G |a−1 x = h para alguna h ∈ H}
= {x ∈ G |x = ah para alguna h ∈ H} = aH

Esto muestra que las clases de equivalencia de ≡L coinciden con las clases laterales
izquierdas. Análogamente para las derechas. Ahora, mostraremos que todas las clases
laterales izquierdas tienen el mismo número de elementos. Consideremos la función
λa : H → aH dada por λa (h) = ah para a ∈ G . Desea probarse que es λa es biyectiva.
Supóngase que λa (h1 ) = λa (h2 ) para toda a ∈ G entonces ah1 = ah2 , luego h1 = h2
para toda a ∈ G . En consecuencia, λa es inyectiva. Por otro lado, sea y ∈ aH, entonces
y = ah para alguna h ∈ H, entonces λa (h) = ah = y. Por lo tanto λa es suprayectiva.
Por lo tanto λa es biyectiva. Análogamente para las clases laterales derechas.
Se ha demostrado que las clases laterales derechas (izquierdas) coinciden con las cla-
ses laterales izquierdas (derechas), además todas poseen el mismo número de elementos
que H. Supónga una colección de clases laterales, nos interesa una colección que forme
un grupo con la operación inducida, para esto es necesario que dicha operación esté
bien definida. Ahora veremos que el número de elementos de cada clase lateral también
esta relacionado con el número de elementos del subgrupo.

Definición 3.2. Sea H < G . El número de clases laterales izquierdas (derechas) de H

en G se llama ı́ndice de H en G y se denota por (G : H).

Teorema 3.3 (Lagrange). Sea G un grupo de orden finito n y sea H < G con |H| = m.
Entonces |H| | |G |.

Demostración. Consideremos las clases laterales izquierdas de H en G . Por el teorema

anterior, estas clases son particiones de G (son ejenos a pares y su unión resulta ser G ),
además todas tienen el mismo número de elementos, que es el número de elementos de
H. Entonces n = m · (G : H). Por lo tanto el orden de H divide al orden de G .
18 CAPÍTULO 3. CLASES LATERALES Y GRUPO COCIENTE
Capı́tulo 4

Producto directo

4.1. Producto cartesiano de grupos

Definición 4.1. Sean (G1 , ∗), (G2 , ·) dos grupos cualesquiera. Como conjuntos, se define
el producto cartesiano de G1 y G2 como el conjunto
G1 × G2 = {(g1 , g2 ) | g1 ∈ G1 , g2 ∈ G2 }.
Este conjunto tiene estructura de grupo con la operación
(g1 , g2 )(h1 , h2 ) = (g1 ∗ h1 , g2 · h2 )
donde g1 , h1 ∈ G1 y g2 , h2 ∈ G2 . Será ejercicio del lector demostrarlo. A partir del
método inductivo se sigue el siguiente Teorema.
Teorema 4.1. Sean G1 , · · · , Gn grupos. En el conjunto
n
Gi = G1 × · · · × Gn
Y

i=1

defı́nase la operación dada por

(a1 , · · · , an )(b1 , · · · , bn ) = (a1 b1 , · · · , an bn )
Gi adquiere estructura de grupo con esta operación.
Q
entonces i

Demostración. Ejercicio
Definición 4.2. El grupo descrito en el Teorema anterior se conoce como el producto
directo externo de los grupos Gi .
Observación 2. 1. Cuando la operación el cada Gi es conmutativa suele usarse
notación aditiva en ni=1 Gi y referirse a este como la suma directa externa de los
Q

grupos Gi . En este caso se escribe ni=1 Gi en vez de ni=1 Gi especialmente con

L Q

grupos abelianos en operación “+”, ası́

n
Gi = G1 ⊕ · · · ⊕ Gn .
M

i=1

19
20 CAPÍTULO 4. PRODUCTO DIRECTO

2. El producto directo de grupos abelianos es abeliano.

3. Si cada Gi tiene ri elementos, entonces Gi tendrá (r1 )(r2 ) · · · (rn ) elementos.

Qn
i=1

Ejemplo. Consideremos Z2 ×Z3 . Como Z2 = {0, 1} tiene dos elementos y Z3 = {0, 1, 2}

tiene tres elementos, entonces Z2 × Z3 = {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)} tiene
seis elementos. Además Z2 × Z3 es cı́clico ya que el elemento (1, 1) es generador, veamos

h(1, 1)i = {(1, 1)n | n ∈ Z} = {(1n , 1n ) | n ∈ Z}

= {(0, 0), (0, 1), (0, 2), (1, 0), (1, 1), (1, 2)} = Z2 × Z3

Recuerde que los grupos cı́clicos con el mismo número de elementos son isomorfos.
Ya que Z6 es cı́clico y tiene seis elementos entonces Z2 ×Z3 ∼
= Z6 . En general no siempre
ocurre esto, es decir, el producto de dos grupos, no siempre es isomorfo a un grupo con
su mismo número de elementos.

Ejemplo. El grupo Z3 × Z3 tiene 9 elementos pero no es isomorfo a Z9 ya que este es

cı́clico y Z3 × Z3 no lo es porque cualquiera de sus elementos genera solo tres elementos.
Por lo tanto tenemos dos grupos diferentes de 9 elementos.

Recuerde que ocurre lo mismo con los grupos Z4 y V (4-grupo de Klein), ambos
tienen 4 elementos pero son distintos (Z4 es cı́clico pero V no lo es).

Ejemplo. El grupo Z2 × Z2 posee 4 elementos pero no es cı́clico (puede probarse que

cualquiera de sus elementos es de orden dos y por tanto solo genera dos elementos).
Luego Z2 × Z2 no es isomorfo a Z4 , por lo tanto solo puede ser isomorfo a V (4-grupo
de Klein). Esto se debe a que anteriormente se mostró que solo existen dos grupos
diferentes de 4 elementos y cualquier otro tiene que ser isomorfo a alguno de ellos.

Teorema 4.2. Zm × Zn ∼
= Zmn ⇐⇒ m y n son primos relativos.

Demostración. (=⇒) Procederemos por contradicción, suponga que m, n no son primos

relativos, es decir, mcd(m, n) = d > 1, entonces d | m y d | n, entonces m = dz1 y
n = dz2 para algunos z1 , z2 ∈ Z. Luego mn = d2 z1 z2 , entonces mn d
= dz1 z2 . Esta
mn mn
igualdad sugiere que m y n dividen al entero d , es decir, d es múltiplo común de m
mn mn mn
y n. Sea (a, b) ∈ Zm × Zn , entonces (a, b) d = (a b , b b ) = (0, 0). Por lo tanto h(a, b)i
tendrá mn d
elementos pero mn
d
< mn. En consecuencia, ningún elemento de Zm × Zn
genera todo el conjunto, por lo tanto no es cı́clico, por lo tanto no es isomorfo a Zmn .
Lo cual contradice la hipótesis.
(⇐=) Supongamos que m y n son coprimos, es decir, mcd(m, n) = 1. Consideremos el
subgrupo cı́clico generado por (1, 1) ∈ Zm × Zn . h(1, 1)i debe tener orden r para algún
r ∈ N y es el menor que satisface (1, 1)r = (1r , 1r ) = (0, 0) ∈ Zm × Zn . Por lo tanto
r es múltiplo de m y n. Por el Teorema 1.2 el mcm(m, n) = mn. Consecuentemente
r = mn. Por lo tanto h(1, 1)i es de orden r y es igual a Zm × Zn el cual es, por tanto,
cı́clico e isomorfo a Zmn .
4.1. PRODUCTO CARTESIANO DE GRUPOS 21

Observación 3. 1. Si n = p1 p2 · · · pm donde los pi son números primos diferentes,

entonces Zn ∼
= Zp1 × Zp2 × · · · × Zpm .
2. Si n = pr11 pr22 · · · prmm donde los pi son primos, entonces Zn ∼
= Zpr11 ×Zpr22 ×· · ·×Zprmm .
Ejemplos 4.1. 1. Z14 ∼
= Z2 × Z7
2. Z30 ∼
= Z6 × Z5 ∼
= Z2 × Z3 × Z5
3. Z72 ∼
= Z8 × Z9

Recordemos que las siguientes afirmaciones son equivalentes:

1. El orden de a ∈ G es m ∈ N.

2. El subgrupo hai tiene orden m.

3. m es el menor entero tal que am = e.

Teorema 4.3. Sea (a1 , · · · , an ) ∈ Gi , si ai ∈ Gi es de orden mi , entonces el orden de

Q

(a1 , · · · , an ) es el mı́nimo común múltiplo de los mi .

Demostración. Si (a1 , · · · , an )c = (ac1 , · · · , acn ) = (0, · · · , 0), entonces c debe ser múlti-
plo común de todos los mi . Para que c sea el orden del elemento (a1 , · · · , an ), debe ser
el más pequeño tal que (a1 , · · · , an )c = (0, · · · , 0). Por lo tanto c es el mı́nimo común
múltiplo de todos los mi .