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
Be 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).

* + Consideramos a S0 la celda Be que contiene al elemento

identidad que es el cero.

* + Consideramos a S1 la celda Ba
 * +

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 S 0 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 , por consiguiente
entonces por definición .

2) , por definici , como H es un

subgrupo de G, sus elementos tiene elemento simétricos en H, por con siguiente
( ) , sabemos que ( ) , luego y por definición
.

3) Tomando como hipótesis y . Por definición y hipótesis

tenemos y ; como H es un subgrupo de G, por la ley de cerradura,
( )( ) . Pero ( )( ) ( ) , luego
, por consiguiente

4.- Lema N° 02
Para todo ,

* +

Prueba

Sea , - * +.
 i) , -

Sabemos Ha = * | + entonces para que este incluido en , -, debe darse ha , - por

ello a de cumplirse la condición a(ha)-1 H. ( ) ( ) . , como
H es un subgrupo de G, su elemento simétrico también pertenece a H, es decir .
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

. El elemento simétrico está también en H, es decir ( ) , por lo
tanto , 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 :

( ) ( )

Sean

Hipótesis: ( ) ( )

Por definición ( ) y ( )

Entonces por hipótesis y definición:

Por ley cancelativa:

Multiplicamos por la derecha por a

 ( ) ( ) 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

* + * + * +
* + * + * + * +
* + * + * + * +
* + * + * + * +
* + * + * +

* * ++ es un subgrupo de G

El grupo G tiene dos clases a derecha:

 * + ** + +

* + * + ** + * ++

Si establecemos la correspondencia R entre estas dos clases mediante pares ordenados tal que:

*(* + * +) ( * +)+

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 * +, es decir, * + y * +,

existen elementos que en el dominio a los que ellos corresponden mediante R (A * + le
corresponde * + y a le corresponde * +).

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:

*(* + * +) ( * +)+

*(* + * +) (* + )+

*(* + * +) (* + )+

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)

( )
( )
( ) ( )

Í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 , entonces no implica que

 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)

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 yr
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
-1
Be.Bk=Be, pero Be.Bk=Bk por lo tanto Bk=Be y a 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” J on Fraleig - Addison Wesley Iberoamericana 1988.
3) “Teoría de Grupos” Camilo Quintos- Eulalio Altamirano- 1998