Clases laterales

Grupo cociente

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

CLASES LATERALES Y GRUPO COCIENTE

GABRIEL MUÑOZ MÁRQUEZ

ESTRUCTURAS ALGEBRAICAS I
Lima-Perú
Semestre 2020-2

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Indice

1 Clases laterales

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Indice

1 Clases laterales

2 Grupo cociente

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Clases laterales

Definición 1
Sea (A, ∗) un grupo, y sea S un subgrupo de (A, ∗). Dado a ∈ A,
definimos

a ∗ S = {a ∗ s / s ∈ S}

Este subconjunto de A es llamado una clase lateral izquierda de

S en A. Análogamente, dado a ∈ A, definimos

S ∗ a = {s ∗ a / s ∈ S}

Este subconjunto de A es llamado una clase lateral derecha de S

en A.
Observación 1: Sea (A, ∗) un grupo, y sea S un subgrupo de A.
Dado a ∈ A, las funciones f : S → a ∗ S y g : S → S ∗ a definidas
por f (s) = a ∗ s y g(s) = s ∗ a son biyectivas.
GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE
 Clases laterales
Grupo cociente

Proposición 1.1
Sea (A, ∗) un grupo, y sea S un subgrupo de (A, ∗). Sea ∼ la
relación de equivalencia en A dada por:

a ∼ b si y sólo si b−1 ∗ a ∈ S.

Entonces ā = a ∗ S, para todo a ∈ A.

Demostración: Sea a ∈ A. Tenemos b ∼ a si y sólo si a−1 ∗ b ∈ S,

es decir

a−1 ∗ b = s para algún s ∈ S,

lo que a su vez es equivalente a b = a ∗ s para algún s ∈ S. Por lo

tanto ā = a ∗ S.


GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Proposición 1.2
Sea (A, ∗) un grupo, y sea S un subgrupo de (A, ∗). Sea ∼ la
relación binaria en A dada por:

a ∼ b si y sólo si a ∗ b−1 ∈ S.

Entonces ∼ es una relación de equivalencia en A, y además

ā = S ∗ a, para todo a ∈ A.

Proposición 1.3
Sea (A, ∗) un grupo, y sea S un subgrupo de (A, ∗). Sean L y R
los conjuntos de clases laterales izquierda y derecha (de S en A),
respectivamente. Entonces la función f : L → R definida por
f (a ∗ S) = S ∗ a−1 está bien definida y es biyectiva.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Demostración: Tenemos

a ∗ S = b ∗ S si y sólo si b−1 ∗ a ∈ S,

es decir b−1 ∗ (a−1 )−1 ∈ S, lo que a su vez es equivalente a

S ∗ b−1 = S ∗ a−1 . Por lo tanto f está bien definida y es inyectiva.
Además, f es sobreyectiva, pues f (a−1 ∗ S) = S ∗ a. Por lo tanto
f es biyectiva.

Definición 2
Sea (A, ∗) un grupo, y sea S un subgrupo de (A, ∗). Definimos el
ı́ndice de S en A, denotado (A : S), como el número de clases
laterales izquierdas (o derechas) de S en A.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Teorema 1.1 (Lagrange)

Sea (A, ∗) un grupo finito, y sea S un subgrupo de A. Entonces

|A| = (A : S)|S|,

donde | | representa el número de elementos de un conjunto.

Demostración: Tenemos que A es la unión disjunta de todas las

clases laterales izquierdas de S en A. Luego, si a1 ∗ S, . . . , am ∗ S
son todas las distintas clases laterales izquierdas, entonces
|A| = |a1 ∗ S| + . . . + |am ∗ S|
Ahora, por la Observación 1, tenemos que |ai ∗ S| = |S| para todo
i. Por lo tanto, obtenemos que |A| = m|S|. Por otro lado, por
definición tenemos que (A : S) = m. Concluı́mos que
|A| = (A : S)|S|

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE
 Clases laterales
Grupo cociente

Ejemplo 1: Sea A un grupo finito tal que |A| es primo. Entonces

los únicos subgrupos de A son {eA } (donde eA es el elemento
identidad de A) y A. En efecto, sea S un subgrupo de A. Por el
Teorema de Lagrange, tenemos que |S| divide a |A|. Y como |A|
es primo, concluı́mos que |S| = 1 o |S| = |A|. Por lo tanto
S = {eA } o S = A.
Ejemplo 2: Sea (A, ∗) un grupo finito tal que |A| = mn, donde m
y n son relativamente primos. Supongamos que existen subgrupos
H y K tales que |H| = m y |K| = n. Entonces A = H ∗ K. En
efecto, por el ejercicio 9 de la Práctica Dirigida 4, sabemos que
|H||K|
|H ∗ K| =
|H ∩ K|

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Como H ∩ K es un subgrupo de H y de K, entonces por el

Teorema de Lagrange tenemos que |H ∩ K| divide a |H| = m y a
|K| = n. Y como m y n son relativamente primos, concluı́mos que
|H ∩ K| = 1. Por lo tanto

|H ∗ K| = |H||K| = mn = |A|.

Entonces A = H ∗ K.
Proposición 1.4
Sea (A, ∗) un grupo finito, y sean H, K subgrupos de A tales que
K ⊆ H. Entonces

(A : K) = (A : H)(H : K)

Demostración: Por el Teorema de Lagrange, tenemos:

|A| |H|
(A : H) = y (H : K) =
|H| |K|

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Multiplicando ambas expresiones, obtenemos:

|A| |H| |A|
(A : H)(H : K) = = ,
|H| |K| |K|
lo cual por el Teorema de Lagrange es igual a (A : K).


GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Grupo cociente

Definición 3
Sea (A, ∗) un grupo, y sea S un subgrupo normal de (A, ∗).
Definimos el grupo cociente de A por S, denotado A/S, como el
grupo A/ ∼, donde ∼ es la relación de equivalencia dada por

a ∼ b si y sólo si b−1 ∗ a ∈ S,

y la operación binaria ∗0 en A/ ∼ está dada por

ā ∗0 b̄ = a ∗ b
Observación 2: Sea (A, ∗) un grupo, y sea S un subgrupo normal
de (A, ∗). Por la Proposición 1.1, los elementos de A/S son de la
forma a ∗ S, donde a ∈ A, y además

(a ∗ S) ∗0 (b ∗ S) = (a ∗ b) ∗ S, para cualesquier a, b ∈ A.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Ejemplo 3: Sea n un entero positivo. Tenemos que el subgrupo

de (Z, +) generado por n es:

hni = {kn / k ∈ Z}

Por otro lado, sabemos que Zn = Z/ ∼, donde ∼ es la relación de

equivalencia en Z definida por:

a ∼ b si y sólo si n divide a a − b,

y la operación binaria + en Z/ ∼ está dada por

ā + b̄ = a + b

Como

a ∼ b si y sólo si −b + a ∈ hni,

concluı́mos que Zn es igual al grupo cociente Z/ hni.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Definición 4
Sea (A, ∗) un grupo. Definimos el centro de A, denotado Z(A),
como:

Z(A) = {x ∈ A / x ∗ a = a ∗ x, para todo a ∈ A}

Observación 3: Sea (A, ∗) un grupo. No es difı́cil demostrar que

Z(A) es un subgrupo de A. Además, para cualesquier a ∈ A y
x ∈ Z(A), tenemos que:
a−1 ∗ x ∗ a = a−1 ∗ a ∗ x = x ∈ Z(A).
Ası́ que Z(A) es un subgrupo normal de A.
Ejemplo 4: Sea (A, ∗) un grupo. Supongamos que existe a ∈ A
tal que A/Z(A) = ha ∗ Z(A)i. Entonces (A, ∗) es un grupo
abeliano. En efecto, como (a ∗ Z(A))n = an ∗ Z(A) para todo
entero n, entonces
A/Z(A) = {an ∗ Z(A) / n ∈ Z}
GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE
 Clases laterales
Grupo cociente

Ahora, sean x, y ∈ A. Como A es la unión de todas las clases

laterales izquierdas de Z(A) en A, entonces existen enteros m, n
tales que x ∈ am ∗ Z(A) y y ∈ an ∗ Z(A). Entonces existen
h1 , h2 ∈ Z(A) tales que x = am ∗ h1 y y = an ∗ h2 . Ası́, tenemos:

x ∗ y = am ∗ h1 ∗ an ∗ h2 = am ∗ an ∗ h1 ∗ h2 = am+n ∗ h1 ∗ h2 ,

pues como h1 ∈ Z(A) entonces h1 ∗ an = an ∗ h1 . Análogamente,

tenemos:

y ∗ x = an ∗ h2 ∗ am ∗ h1 = an ∗ am ∗ h2 ∗ h1 = am+n ∗ h1 ∗ h2 ,

pues como h2 ∈ Z(A) entonces h2 ∗ am = am ∗ h2 y

h2 ∗ h1 = h1 ∗ h2 . Concluı́mos que x ∗ y = y ∗ x para cualesquier
x, y ∈ A.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Ejemplo 5: El grupo cociente (Z × Z)/ h(1, 1)i es infinito. En

efecto, para todo (m, n) ∈ Z × Z tenemos que

(m, n) + h(1, 1)i = (m − n, 0) + h(1, 1)i,

pues −(m − n, 0) + (m, n) = (n, n) ∈ h(1, 1)i. Ahora, veamos que

las clases (a, 0) + h(1, 1)i, donde a ∈ Z, son distintas.
Supongamos que

(a, 0) + h(1, 1)i = (b, 0) + h(1, 1)i

Entonces (a − b, 0) ∈ h(1, 1)i. Luego, existe un entero k tal que

(a − b, 0) = (k, k). Entonces a − b = k = 0, y por lo tanto a = b.
Concluı́mos que (Z × Z)/ h(1, 1)i es infinito.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE

 Clases laterales
Grupo cociente

Ejemplo 6: Sea (A, ∗) un grupo, y sea S un subgrupo normal de

(A, ∗). Supongamos que (A : S) = 2. Sea a ∈ A tal que

am = eA , para algún m ∈ N impar,

donde eA es el elemento identidad de A. Entonces a ∈ S.

En efecto, tenemos que |A/S| = (A : S) = 2, ası́ que A/S es un
grupo de 2 elementos. Por lo tanto, en dicho grupo, todo elemento
al cuadrado es igual al elemento identidad. Entonces

(a ∗ S)2 = eA ∗ S, es decir a2 ∗ S = eA ∗ S,

lo que implica que a2 ∈ S. Por otro lado, sea m = 2k − 1, donde

k ∈ N. Entonces a2k−1 = eA , y por lo tanto a = a2k . Finalmente,
como a2 ∈ S, entonces (a2 )k ∈ S, es decir a = a2k ∈ S.

GABRIEL MUÑOZ MÁRQUEZ CLASES LATERALES Y GRUPO COCIENTE