1

Estructuras Algebraicas
Semana 2 (26 - 30 de agosto)
Subgrupos Normales y la nueva estructura que ellos producen

1. Observación: Consecuencia del hecho que la clase lateral izquierda de un subgrupo S pro-
ducida por un elemento g sea igual a la clase lateral derecha de S que produce el mismo
elemento g :
Sea s cualquier elemento del subgrupo. Entonces g ◦ s ∈ gS = Sg, esto es, hay s0 ∈ S tal que
g ◦ s = s0 ◦ g para algún elemento s0 ∈ S, y entonces podemos afirmar que g ◦ s ◦ g −1 = s0 ∈ S
y, por lo tanto, gSg −1 ⊆ S
Una pregunta natural, ¿se puede afirmar la igualdad de esos subconjuntos?

2. Consideremos un subgrupo S con la propiedad gSg −1 = S ∀g ∈ G

El conjunto cuyos elementos son las clases laterales izquierdas (o derechas) de S en G, lo
denotaremos por el sı́mbolo G/S.
Definamos una operación en este conjunto,

G/S × G/S −→ G/S (gS, hS) −→ (gh)S

que simplemente anotaremos por gS • hS) = (g ◦ h)S

Para asegurar que esta definición de • es una función, debemos demostrar que ¨si cambiamos
de representante¨ de las clases laterales el resultdo obtenido no depende de estos represen-
tantes. Para esto,
si gS = g1 S y hS = h1 entonces debemos verificar que g ◦ hS = g1 ◦ h1 S, equivalentemente,
(g1 ◦ h1 )−1 g ◦ h ∈ S esto es, = h1 )−1 ◦ g1−1 ◦ g ◦ h ∈ S.
Esta igualdad la obtenemos de la igualdad de las respectivas igualdades de clases laterales, en
efecto, se tiene que el elemento g1−1 ◦ g está en S, digamos es s0 y h−1 0
1 ◦ s ◦ h es un elemento
de S.
Usaremos la frase, la operación está bien definida para resumir la afirmación anterior,
esto de no depender de representantes elegidos para describir el ¨elemento¨ del conjunto.

3. Propiedades de la operación •
Claramente esta operación es asociativa, y tiene un elemento neutro, a saber, la clase S
definida por cualquier elemento de S. El inverso de un elemento gS es g −1 S
En resumen, podemos afirmar que la estructura recién deinida en G/S es una estructura de
grupo. Se dice que este grupo es el grupo cuociente del grupo G por el subgrupo S.

4. Recordemos que los subgrupos que permiten esta construcción deben cumplir la condición
gS = Sg ∀g inG; estos subgrupos son llamados subgrupos normales del grupo G. y
denotaremos con el sı́mbolo S / G cuando este es el caso.
2

5. Observación Cuando esté suficientemente claro la operación omitiremos el sı́mbolo del pro-
ducto y solo escribiremos los factores uno al lado del otro, por ejemplo, escribiremos gShS
en lugar de gS • hS y cuyo resultado es ghS

Ejercicios
1. Justificar: en un grupo abeliano todos los subgrupos son subgrupos normales.
2. Justificar SL(2, R) / GL(2, R). Si en lugar del cuerpo de los números reales considera otro
cuerpo, digamos F, y define de manera análoga a los elemento de SL(2, F ) y GL(2, F ) ¿es
verdad la afirmación anterior?
3. Demuestre que para todo subgrupo S de un grupo G el subconjunto gSg −1 cuando g ∈ G es
un subgrupo de G.
4. Demuestre que si α es un elemento del grupo G la función f : G ←→ G,2cmG : f (g) =
αgalpha−1 ∀g ∈ G es una función biyectiva y además f (gh) = f (g)f (h)∀g, h ∈ G
5. El conjunto de funciones biyectivas de R2 en si mismo.(Considere lo elementos de este conjunto
como los puntos de un plano, para dar un lenguaje geométrico a la situación)
Consideremos primero aquellas funciones que preservan distancias: esto es, la distancia entre
dos puntos A y B es igual a la distancia entre las imágenes de esos puntos bajo la función.
Una de tales funciones no tiene necesariamente que dejar puntos fijos, esto es, f (P ) = P .
Consideremos aquellas funciones que si tienen esta propiedad.
a) Sea f una de estas funciones y que deja fijos al menos dos elementos, digamos los puntos
P y Q Demuestre que la función deja fijos a todos los puntos de la recta que ellos deter-
minan. ¿ Qué puede afirmar de la función que deja fijos a los vértices de un triángulo?
y de aquella que deja fijos a todos los puntos de una recta.
b) Considerar ahora una función que solo deja fijo a uno de los puntos. Caracterı́cela
geométricamente.
La colección de las funciones del plano que preservan distancias, con respecto a la com-
posición de funciones, tiene una estructura de grupo. Se dice el grupo de las simetrı́as
del plano. Si una figura F del plano tiene la propiedad que la imagen de ella bajo una
simetrı́a del plano es ella misma se dice que es simétrica y el conjunto de tales funciones
es un subgrupo del grupo de simetrı́as del plano, que se dirá el grupo de simetrı́as de la
figura en consideración.
c) Describa al grupo de las simetrı́as de un triángulo. Idem de un cuadrilátero.
d ) Describa, geométricamente, simetrı́as de un polı́gono regular de n lados.
e) Considere dos polı́gonos regulares del mismo número de lados ¿que puede decir de sus
grupos de simetrı́as?
6. El conjunto de permutaciones(tambien llamadas funciones biyectivas) de un conjunto finito
en si mismo. Todo conjunto finito de elementos, digamos n, puede identificarse con el conjunto
de los n enteros siguiente: In = {1, 2, 3, ..., n}.
 3

La notación (i1 , i2 , i3 , ..., ik ) representará a la permutación π siguiente:

π(i1 ) = i2 , π(i2 ) = i3 , ...., π(ik ) = i1 π(j) = j ∀j ∈ In \{i1 , i2 , i3 , ..., ik }

y se dirá que es una permutaación cı́clica (o simplemente ciclo) de largo k. Si k = 2 también

se llamará una transposición de los elementos i1 , i2
Si f y g son dos permutaciones entonces denotaremos a la composición de f y g, en ese orden,
y anotaremos f g a la permutación que lleva a cada i al elemento g(f (i)).
1, 2, 3, ,n


La expresión i1 ,i2 ,i3 ,...,in representa a la permutación f tal que f (j) = ij

1,2,3,4,5,6,7,8


a) Escriba como producto de ciclos la permutación 6,3,5,4,2,8,7,1
b) Escriba la permutación de 8 sı́mbolos siguiente (1, 3, 2, 4, 8)(2, 6, 7, 3)(1, 4, 7, 5)
c) Escriba como producto de ciclos la permutación anterior. ¿Es única la¨factorización¨en
ciclos de una permutación¨
d ) ¿Qué condición deben cumplir los números a, b, c, d para que (a, b)(c, d) = (c, d)(a, b)?
Se supone que a 6= b y c 6= d.
e) ¿Cuál es el menor entero positivo h tal que (a, b)h es la permutación neutra? y cuál es
en el caso del ciclo (i1 , i2 , i3 , ..., ik )?
f ) Considere la permutación de 8 sı́mbolos siguiente (1, 2)(5, 4, 8) y el conjunto de todas
sus potencias posibles ¿cuál es la cantidad de elementos que este conjunto contiene? Jus-
tifique la afirmación que haga respecto de ser o no ser grupo. En caso lo fuera determine
sus subgrupos.