Sei sulla pagina 1di 3

lgebra Moderna II

Unidad 2 Actividad 2

PROBLEMAS DE ACCIONES DE GRUPO


14 de febrero de 2016
Autor: Laura Pontn

lgebra Moderna II
Unidad 2 Actividad 2
1. Sea un conjunto. Demuestre que la accin de en induce un homomorfismo
: . Sugerencias: la funcin est definida como sigue: si , () es la
funcin (): dada por ()() . Demuestre que () es biyectiva (y as
() como se quiere). Demuestre que es un homomorfismo.

Sea la funcin toma un elemento y devuelve un elemento del grupo de permutaciones de |() es
una permutacin de los elementos de , sea la funcin ()() , | es permutado mediante la
accin | si = es el neutro en , ()() = () sera el neutro en |
()() = .
Ahora, sea de la identidad en G, como (): , y como () se aplica ,
elemento es la imagen de algn , () es sobreyectiva.
Siendo que () es inyectiva |para cada elemento la imagen es un elemento .
As para () a cada la funcin devolver el mismo elemento, | para un () es 1 a 1 es
biyectiva ya que para = {1 , 2 , } obtendremos uno y slo un elemento correspondiente 1 ,
2 , .
Entonces, como por definicin una permutacin es una biyeccin de un conjunto en s mismo, resulta que si
(): es una biyeccin, () .
Ahora, siendo que el grupo y el grupo de permutaciones de los elementos de . : que toma un
elemento en y devuelve una permutacin de los elementos de | ()() . , si ,

()() =

lgebra Moderna II | 14/02/2016

Ahora
como . () () = ()(()()) = ( ) = es un
homomorfismo | por la composicin de funciones la funcin nos devuelve una permutacin que finalmente es una
funcin

2. Recprocamente. Si : es un homomorfismo, demuestre que induce una accin


de sobre mediante dada por ()().
(Nota: Cambie por y x por y para que tuviese congruencia, creo que fue un error de LaTex)
Sea el homomorfismo : y siendo una aplicacin que al tomar un elemento en G devuelva una
permutacin de los elementos del conjunto | ()(). , esto deber ser una accin de sobre
.
1.

Si , ()() = = as la aplicacin cumple la 1a. propiedad de la definicin


de accin.

2.

Sean , , con lo que se tiene ()() = , y como () es una permutacin, por


composicin de funciones tenemos que () = () () = ()(()()) = ( )
con lo que se cumple la 2a propiedad y el homomorfismo induce una accin de sobre mediante
dada por ()
3. Si es un conjunto con la accin trivial, vea el ejemplo 1 de la pgina 4, calcule el
ncleo del homomorfismo : correspondiente:

Sea la accin trivial definida | = con y si es un grupo y es un conjunto. donde


para el homomorfismo : donde su ncleo es: ker = { |() = }
Siendo el neutro en -as la permutacin deja los elementos de invariantes-.
As la accin que induce el homomorfismo es | ()() , el elemento en donde la
correspondiente permutacin es la identidad del propio | donde ()() = = as
= () () es la identidad de ker = { |() = } = | es el neutro en y el
ncleo contiene un nico elemento el cual es el subgrupo trivial de .
4. Si es un conjunto y si : es el homomorfismo correspondiente, demuestre
que:
=

Tenemos primero que es el subconjunto de elementos de que dejan fijo a : { | =


} . Este es un subgrupo conocido como de isotropa o estabilizador de .

As, los elementos de que dejan fijo a son solamente el neutro | elemento del conjunto
()() = = .
Pero, dado que es un subgrupo de todos los elementos que dejan fijo a , por ser subgrupos de
as, el elemento identidad se localiza en todos los grupos de isotropa de .
Por lo que la interseccin de todos estos subgrupos es: = y como por el ejercicio 3 podemos ver que
ker = | para : = = ker

lgebra Moderna II | 14/02/2016

Sea el homomorfismo : , toma un elemento del grupo y devuelve una permutacin de los elementos
de mediante la accin inducida por tal homomorfismo |()() .