Clases laterales

1.-Conceptos previos
Si un grupo G se puede particionar en celdas de modo que la operación
inducida este bien definida en cada una de las celdasy el conjunto formado
por las celdas tenga una estructura de grupo, entonces sea Be la celda, que
contiene la identidad, se sabe por el teorema siguiente que B e es subgrupo
de G.

Teorema 1 Si un grupo G se puede partir en celdas donde la operación

inducida está bien definida y si las celdas forman un grupo bajo esta
operación inducida, entonces, la celda que contiene la identidad e de G debe
ser un subgrupo de G.

Sea Ba otra celda que contiene un “a”𝜖 G. Si escogemos un representante a ∈

Ba y todos los elementos de Be, mostrado en la siguiente ecuación BaBe=Ba, el
conjunto aBe= {𝑎𝑥|𝑥𝜖𝐵𝑒 } debe estar contenido en Ba.

Lo anteriormente descrito hace referencia que aBe son las clases laterales de
un subgrupo Be.

2.- Definición 1-
a) Clase Lateral derecha
Sea H un subgrupo del grupo G y sea a 𝜖 G, la clase lateral derecha Ha de
H en G es el conjunto {ℎ𝑎|ℎ 𝜖 𝐻} es decir:

Ha = { ℎ𝑎 | ℎ 𝜖 𝐻 }

b) Clase Lateral izquierda

Sea H un subgrupo del grupo de G y sea a 𝜖 G. La clase lateral izquierda aH
de H en G es el conjunto {𝑎ℎ|ℎ 𝜖 𝐻} es decir:

aH = { 𝑎ℎ | ℎ 𝜖 𝐻 }

Ejemplo:

Consideremos el conjunto de los números enteros Z, que como sabemos

tiene estructura de grupo con operación suma. Vamos a descomponer este
 conjunto en tres subconjuntos de forma que cada elemento de Z esté en uno
solo de los subconjuntos (lo cual se denomina partición).

𝑆0 = {… … 0,3,6,9,12, … … } Consideramos a S0 la celda Be que contiene al

elemento identidad que es el cero.

𝑆1 = {… … 1,4,7,10,13, … … } Consideramos a S1 la celda Ba

𝑆2 = {… … 2,5,8,11,14 … … }

En los dos primeros subconjuntos está bien definida la operación suma (si
sumamos cualesquiera números del subconjunto el resultado está en el
subconjunto) pero sólo uno de los subconjuntos tiene estructura de grupo, el
que tiene el cero, que es el elemento neutro para la suma.

Vemos también que si sumamos un elemento del primer subconjunto con un

elemento del segundo subconjunto el resultado es un elemento del segundo
subconjunto

El subconjunto S0 es el más importante porque tiene estructura de grupo y

porque nos permite generar los otros. En efecto, si escogemos un elemento
cualquiera y lo 'sumamos' a S0 obtenemos S1 .O sea, tomando cualquier
elemento siempre se genera uno de los dos subconjuntos.

El efecto de aplicar el subconjunto S0 (que es subgrupo) a cualquiera de los

elementos del conjunto es la obtención de otro subconjunto determinado. A
esos subconjuntos obtenidos se les llama clases laterales del subgrupo S0.

Ejemplos:

1) Sea G=P(A), A= {a,b}; ∗= ∆ (diferencia simétrica)

(G,*) es un grupo

∆ {𝑎} {𝑏} {𝑎, 𝑏} 𝜙

{𝑎} 𝜙 {𝑎, 𝑏} {𝑏} {𝑎}
{𝑏} {𝑎, 𝑏} 𝜙 {𝑎} {𝑏}
{𝑎, 𝑏} {𝑏} {𝑎} 𝜙 {𝑎, 𝑏}
𝜙 {𝑎} {𝑏} {𝑎, 𝑏} 𝜙

𝐻 = {𝜙, {𝑎}} es un subgrupo de G

Entonces

{𝑎}Δ𝐻 = {{𝑎}, 𝜙} 𝐻Δ{𝑎} = {{𝑎}, 𝜙}

{𝑏}Δ𝐻 = {{𝑏}, {𝑎, 𝑏}} 𝐻Δ{𝑏} = {{𝑏}, {𝑎, 𝑏}}
{𝑎, 𝑏}Δ𝐻 = {{𝑎, 𝑏}, {𝑏}} 𝐻Δ{𝑎, 𝑏} = {{𝑎, 𝑏}, {𝑏}}
𝜙Δ𝐻 = {𝜙, {𝑎}} 𝐻Δ𝜙 = {𝜙, {𝑎}}

El grupo G tiene:

Dos clases laterales izquierdas:

{𝑎}Δ𝐻 = 𝜙Δ𝐻 = {{𝑎}, 𝜙}

{𝑏}Δ𝐻 = {𝑎, 𝑏}Δ𝐻 = {{𝑏}, {𝑎, 𝑏}}

Dos clases laterales derechas:

𝐻Δ{𝑎} = 𝐻Δ𝜙 = {{𝑎}, 𝜙}

𝐻Δ{𝑏} = 𝐻Δ{𝑎, 𝑏} = {{𝑏}, {𝑎, 𝑏}}

3.-Definición 2-
Sea G un grupo, H un subgrupo de G, para ab 𝜖 G decimos que a es
congruente con b mód H, lo que escribimos a ≡ b mód H, si ab-1 𝜖 H.

Lema 01.- La relación 𝑎 ≡ 𝑏 𝑚ó𝑑 𝐻 es una relación de equivalencia.

Para que 𝑎 ≡ 𝑏 𝑚ó𝑑 𝐻 sea una relación de equivalencia debe cumplirse, la ley
de reflexividad, ley de simetría y la ley de reflexividad para todo a,b,c 𝜖 G.

1) 𝑎 ≡ 𝑎 𝑚ó𝑑 𝐻;
2) 𝑎 ≡ 𝑏 𝑚ó𝑑 𝐻 implica 𝑏 ≡ 𝑎 𝑚ó𝑑 𝐻;
3) 𝑎 ≡ 𝑏 𝑚ó𝑑 𝐻, 𝑏 ≡ 𝑐 𝑚ó𝑑 𝐻 implica 𝑎 ≡ 𝑐 𝑚ó𝑑 𝐻

Demostración:

1) H es un subgrupo de G, por definición de subgrupo, sabemos que el

elemento neutro pertenece a H es decir e ϵ H. También sabemos aa−1 =
e, por consiguiente aa−1 ∈ H entonces por definición 𝑎 ≡ 𝑎 𝑚ó𝑑 𝐻.

2) Tomando como hipótesis a ≡ b mód H, por definició𝑛 ab−1 ∈ H, como H es

un subgrupo de G, sus elementos tiene elemento simétricos en H, por
con siguiente (ab−1 )−1 ∈ H, sabemos que (ab−1 )−1 = ba−1, luego ba−1 ∈
H y por definición b ≡ a mód H.
 3) Tomando como hipótesis a ≡ b mód H y b ≡ c mód H . Por definición y
hipótesis tenemos ab−1 ∈ H y bc −1 ∈ H; como H es un subgrupo de G,
por la ley de cerradura, (ab−1 )(bc −1 ) ∈ H. Pero (ab−1 )(bc −1 ) =
a(b−1 b)c −1 = aec −1 = ac −1, luego ac −1 ∈ H, por consiguiente a ≡ c mód H

4.- Lema N° 02
Para todo 𝑎 ∈ 𝐺,

𝐻𝑎 = {𝑥 ∈ 𝐺/𝑎 ≡ 𝑥 𝑚ó𝑑 𝐻}

Prueba

Sea [𝑎] = {𝑥 ∈ 𝐺/𝑎 ≡ 𝑥 𝑚ó𝑑 𝐻}.

i) 𝐇𝐚 ⊂ [𝐚]

Sabemos Ha = { ha | h ϵ H } entonces para que este incluido en [a], debe

darse ha ϵ [a] por ello a de cumplirse la condición a(ha)-1 𝜖 H. 𝑎(ℎ𝑎)−1 =
𝑎(𝑎−1 ℎ−1 ) = ℎ−1 . ℎ ∈ 𝐻, como H es un subgrupo de G, su elemento simétrico
también pertenece a H, es decir ℎ−1 ∈ 𝐻. Según la definición de
congruencia mód H esto implica que ℎ𝑎 ∈ [𝑎] para todo ℎ ∈ 𝐻, luego 𝐻𝑎 ⊂
[𝑎]

ii) [𝐚] ⊂ 𝐇𝐚

Supongamos, que 𝑥 ∈ [𝑎], debemos probar que 𝑥 ∈ 𝐻𝑎. Por la definición

de congruencia 𝑎𝑥 −1 ∈ 𝐻. El elemento simétrico está también en H, es decir
(𝑎𝑥 −1 )−1 = 𝑥𝑎−1 , por lo tanto , 𝑥𝑎−1 = ℎ para algún ℎ ∈ 𝐻. Multiplicando
ambos lados por 𝑎 a la derecha obtenemos 𝑥 = ℎ𝑎, luego 𝑥 ∈ 𝐻𝑎. Por tanto,
[𝑎] ⊂ 𝐻𝑎.

Probado las dos inclusiones [𝑎] ⊂ 𝐻𝑎 y 𝐻𝑎 ⊂ [𝑎] podemos concluir que [𝑎] =
𝐻𝑎, que es lo que afirma el lema.

5.-Lema N° 03:
Hay una correspondencia biyectiva entre dos clases laterales derechas
cualquiera de H en G

Definimos

𝜑: 𝐻𝑎 → 𝐻𝑏
 ℎ𝑎 → 𝜑 (ℎ𝑎) = ℎ𝑏 ∀ℎ𝑎 ∈ 𝐻𝑎

Para demostrar que 𝜑 es biyectiva debemos demostrar que es inyectiva y

sobreyectiva.

i) Inyectiva:

Sabemos que para que 𝜑 sea inyectiva debe cumplir que :

𝜑 (ℎ1 𝑎) = 𝜑 (ℎ2 𝑎) → ℎ1 𝑎 = ℎ2 𝑎

Sean ℎ1 𝑎 𝑦 ℎ2 𝑎 𝜖 𝐻𝑎

Hipótesis: 𝜑 (ℎ1 𝑎) = 𝜑 (ℎ2 𝑎)

Por definición 𝜑 (ℎ1 𝑎) = ℎ1 𝑏 y 𝜑 (ℎ2 𝑎) = ℎ2 𝑏

Entonces por hipótesis y definición: ℎ1 𝑏 = ℎ2 𝑏

Por ley cancelativa: ℎ1 = ℎ2

Multiplicamos por la derecha por a ℎ1 𝑎 = ℎ2 𝑎

∴ 𝑆𝑖 𝜑 (ℎ1 𝑎) = 𝜑 (ℎ2 𝑎) → ℎ1 𝑎 = ℎ2 𝑎 por lo tanto

𝜑 es inyectiva

ii) Sobreyectiva

Sabemos que para que 𝜑 sea sobreyectiva debe cumplir que:

∀ 𝑦 𝜖 𝐻𝑏, ∃ 𝑥 𝜖 𝐻𝑎 = 𝐷𝑜𝑚(𝜑), 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑦 = 𝑓(𝑥)

Sea 𝑦 𝜖 𝐻𝑏 → 𝑦 = ℎ𝑏 𝑝𝑎𝑟𝑎 ℎ 𝜖 𝐻

Por hipotesis tenemos 𝑥 𝜖 𝐻𝑎 → 𝑥 = ℎ𝑎

Si 𝑥 = ℎ𝑎 → 𝜑(𝑥) = 𝜑(ℎ𝑎)

Por definicion 𝜑 (ℎ𝑎) = ℎ𝑏 𝑦 𝑦 = ℎ𝑏 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝜑 (ℎ𝑎) = 𝑦

𝜑(𝑥) = 𝜑(ℎ𝑎) = 𝑦

Por lo tanto 𝜑(𝑥) = 𝑦

∴ 𝜑 𝑒𝑠 𝑆𝑜𝑏𝑟𝑒𝑦𝑒𝑐𝑡𝑖𝑣𝑎

De i y ii 𝜑 𝑒𝑠 𝑏𝑖𝑦𝑒𝑐𝑡𝑖𝑣𝑎.
 Ejemplo.-

El Lema 03 nos garantiza la existencia de una correspondencia biyectiva entre

dos clases laterales a derecha cualesquiera. El lema sólo garantiza la
existencia de esta correspondencia pero no dicta la forma que esta tendrá (Es
decir, queda a nuestro criterio el encontrarla o definirla). Sabemos que una
relación se puede expresar tanto con una regla de correspondencia como con
un conjunto de pares ordenados. Tomemos el siguiente ejemplo y usemos la
segunda forma:

1) Sea G=P(A), A={a,b}; ∗= ∆ (diferencia simétrica)

(G,*) es un grupo

∆ {a} {b} {a, b} ϕ

{a} ϕ {a, b} {b} {a}
{b} {a, b} ϕ {a} {b}
{a, b} {b} {a} ϕ {a, b}
ϕ {a} {b} {a, b} ϕ

H = {ϕ, {a}} es un subgrupo de G

El grupo G tiene dos clases a derecha:

HΔ{a} = HΔϕ = {{a}, ϕ}

HΔ{b} = HΔ{a, b} = {{b}, {a, b}}

Si establecemos la correspondencia R entre estas dos clases mediante pares

ordenados tal que:

R = {({a}, {b}), (ϕ, {a, b})}

Esta correspondencia es inyectiva pues a pre imágenes diferentes le

corresponde imágenes diferentes (o en otras palabras no se repiten las
segundas componentes)

Esta relación también es sobreyectiva, pues para todo elemento de HΔ{b}, es

decir, {b} y {a, b}, existen elementos que en el dominio a los que ellos
corresponden mediante R (A {a} le corresponde {b} y a ϕ le corresponde
{a, b}).

Por tanto, R es biyectiva.

Además, notamos que el teorema garantiza la existencia de una
correspondencia biyectiva pero en ningún momento garantiza que esta sea
única. Existe al menos una relación biyectiva pero pueden existir más, por
ejemplo:

R 2 = {({a}, {a, b}), (ϕ, {b})}

R 3 = {({b}, {a}), ({a, b}, ϕ)}

R 4 = {({a, b}, {a}), ({b}, ϕ)}

Son también correspondencias biyectivas entre dos clases laterales a derecha

de G

Como se ha dicho antes, dos clases laterales tiene el mismo número de

elementos, entonces intuitivamente es correcto pensar que a cada elemento
de una clase lateral se le puede hacer corresponder uno a uno, un elemento
de otra clase lateral hasta relacionar todos los elementos de esta segunda
clase; por lo que se tendría una correspondencia inyectiva y sobreyectiva (y
por ende biyectiva)

Por el lema N°03, se puede afirmar, si H es un subgrupo finito, dos clases

laterales derechas de H tienen el mimo número de elementos. Como H= H.e
es una clase lateral derecha de H, entonces cualquier clase lateral derecha
de H en G tiene o (H).

6.-Aplicaciones
Teorema de Lagrange.-
Si G es un grupo finito y H un subgrupo de G, entonces o (H) es un divisor de
o (G).

Demostración:

Sea K el número de clases laterales derecha de H en G, entonces por el

lema N°02 y el lema N°03 se tiene que dos clases laterales derechas no
tienen elementos en común, luego el número de elementos de las clases
laterales derechas será: o(H)
Para cualquiera a 𝜖 G se tiene una única clase lateral derecha Ha.Por lo
tanto todas las clases laterales derechas Ha, llenan totalmente a G.
 Si K es el número distinto de clases laterales derechas de H en G,
entonces, Se tiene que: K o(H) = o(G)

𝑜(𝐺)
→𝑘=
𝑜(𝐻)
∴ o(H)es un divisor de o(G)

Índice de un subgrupo
Si H es un subgrupo de G, el índice de H en G, es el número de distintas
clases laterales derechas de H en G. Denotamos el índice de H en G por:

ig(H) (Índice de H en G)

Observación.- Si G es finito, entonces por el teorema de Lagrange se tiene

que:
𝑜(𝐺)
ig(H) = 𝑜(𝐻)

7.-Anexos
Observaciones
Observación 1. Toda clase lateral es diferente del vacío

Observación 2. El número de clases laterales a derecha es igual al número

de clases a izquierda

Observación 3. El número de elementos de cada clase lateral es igual al

número de elementos del subgrupo

Observación 4. En las clases laterales no siempre se cumple la propiedad

conmutativa

Observación 5. La intersección de dos clases diferentes es el vacío

Observación 6. La unión de las clases laterales derechas (izquierdas) es

igual al grupo

Observación 7. Si H ∗ a = H ∗ b, entonces no implica que a = b

 Teorema1.- Si un grupo G se puede partir en celdas donde la operación
inducida está bien definida y si las celdas forman un grupo bajo esta
operación inducida, entonces, la celda que contiene la identidad e de G
debe ser un subgrupo de G.

Demostración

Si Be es un subgrupo de G debe cumplir:

i) ∀𝑎, 𝑏 ∈ 𝐵𝑒 , 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒 𝑞𝑢𝑒 𝑎. 𝑏 ∈ 𝐺

ii) 𝑎 ∈ 𝐵𝑒 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑎−1 ∈ 𝐵𝑒

Tomamos como hipótesis que G está partido en celdas con la operación

inducida descrita anteriormente bien definida y formando un grupo, y sea
Be la celda que contiene la identidad.

i) Al operar Be.Br, tomamos un elemento de cada una de las celdas.

Sean e ∈ 𝐵𝑒 y r ∈ 𝐵𝑒
Be.Br = e.r = r por lo tanto Be. Br = Br
Br.Be = r.e = r por lo tanto Br. Be = Br
Be es la identidad de las celdas.
Por tanto
Be.Be=Be
Be es cerrado bajo la operación inducida en G.
ii) Por definición, Be contiene a e
Sean a ∈ 𝐵𝑒 y a-1 ∈ 𝐵𝑘 .
Sabemos que Be es la celda identidad entonces Be.Bk=Bk.
Si operamos los elementos a ∈ 𝐵𝑒 y a-1 ∈ 𝐵𝑘 , observamos que
Be.Bk=Be, pero Be.Bk=Bk por lo tanto Bk=Be y a-1 ∈ Be.
Por lo tanto por i y ii, Be es un subgrupo de G.

Bibliografía y Linkografía
1) “Algebra Moderna”- I.N.Herstein – Editorial Trillas, México
2) “Algebra Abstracta” Jhon Fraleigh- Addison Wesley Iberoamericana
1988.
3) “Teoría de Grupos” Camilo Quintos- Eulalio Altamirano- 1998