lgebra Moderna II

Unidad 2 Evidencia de Aprendizaje

ACCIONES DE GRUPO Y UN TEOREMA DE FROBENIUS

17 de febrero de 2016
Autor: Laura Pontn

lgebra Moderna II
Unidad 2 Evidencia de Aprendizaje
1) Use el Teorema de Frobenius para dar otra demostracin del teorema de Lagrange

(Zaldivar, 2006)

(Zaldivar, 2006)
Sea entonces por la demostracin del teorema de Frobenius en (Zaldivar,2006) tenemos:|| = | | =
= | | | es un nmero natural que representa el nmero de rbitas
Siendo un subgrupo de , todas las clases laterales tienen el mismo cardinal que y el nmero de
estas clases es finito sea porque es finito.

Si fuera el caso de que el nmero de clases es , || = =1| | || = =1| |

Y siendo que: = || = | |, || = =1 = divide a ||

||
|

Ahora sea que: || = | | Siendo que por el teorema de rbita-estabilizador | ()| = |

| | es el subgrupo de isotropa y al tener estructura de grupo y siendo un subgrupo de | el orden de un

subgrupo de divide el orden del grupo se demuestra el teorema de Lagrange

lgebra Moderna II | 17/02/2016

2) Si es un grupo y , el centralizador de en es el conjunto: () { | =

}, es decir, es el subconjunto de elementos de que conmutan con el elemento dado.
Demuestre que () es un subgrupo de G sin usar el grupo de isotropa { | =
}

Como , , es trivial el hecho de que = (), | el elemento identidad. si ,

= () = () = () = () = () es cerrado bajo la operacin binaria de .
Ahora, | , 1 , 1 = 1 = () siendo que de: = y operando a cada miembro
por 1 tanto a la izquierda como a la derecha, para el primer miembro: 1 1 = 1 y para el
segundo miembro: 1 1 = 1 1 = 1 el inverso existe
Y como () posee el elemento identidad, |es cerrado bajo la operacin de y cerrado bajo inversos
()

3) Si G es un grupo y g G, demuestre que el nmero de conjugados de g G es [ ()]:

Sugerencia: defina la funcin ( ) = () entre el conjunto de conjugados de g y las
clases laterales izquierdas de (): Muestre que es biyectiva.
Como una funcin es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; tal que, si todos los
elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del
conjunto de llegada le corresponde un elemento del conjunto de salida.
Entonces si una una funcin : es sobreyectiva, tal que sea -epiyectiva, suprayectiva, suryectiva,
exhaustiva o subyectiva- porque est aplicada sobre todo el codominio, tal que cada elemento de Y es la
imagen de como mnimo un elemento de X.
Entonces si tenemos que: (1 11 ) = (2 21 ) 1 () = 2 ()|1 11 = 2 21 Siendo
que si 1 () = 2 () 1 = 2 , ()|si se multiplica por la derecha por 1 =
2 1 = 2 por que conmutan
Como 1 = 2 el inverso del lado izquierdo es 11 y por el derecho 1 21 11 = 1 21
Multiplicando la ecuacin 1 = 2 por la derecha por los trminos de la ltima ecuacin1 11 =
2 1 21 1 11 = 2 21 en este punto ya sabemos que es inyectiva y como cada clase lateral
izquierda () al tener el conjugado 1 que vendra a ser su preimagen es sobreyectiva es biyectiva
| la cantidad de conjugados de = a la de clases laterales izquierdas y derechas de ()y como stas son el
orden del grupo que divide el orden de las clases laterales |: ()| clases laterales, |: ()|
conjugados de
4. Si es un grupo finito, y es el nmero de clases de equivalencia de la relacin de
conjugacin en , demuestre que:
=

| ()|
||

Por lo que para aplicar el teorema de Frobenius, nada ms tenemos que sustituir con las clases de equivalencia que
bsicamente son las rbitas, |tengamos la siguiente igualdad | | = | ()|| | siendo los
conjuntos invariantes bajo y| () los elementos que conmutan con , | = 1 =
mantenindose invariantes bajo la accin de conjugacin, son los mimos conjuntos, | | =
1

| ()| = | ()|
||

lgebra Moderna II | 17/02/2016

(Zaldivar, 2006)