ALGEBRA MODERNA II

Unidad 2. Acciones de grupo y un teorema de Fobrenius

ACTIVIDAD 2. UNIDAD 2. Problemas de acciones de grupos

ALUMNO: HERNANDEZ ORTEGA PEDRO MATRICULA: ES1410900455

Sea la funcion  que toma un elemento de   G y devuelve un elemento del grupo de

permutaciones 𝑌 |𝜙(𝜎) resulta una permutacion de los de Y lo cual implica que la funcion
𝜙(𝜎)(𝑦) = 𝜎 ∗ 𝑦 | 𝑦 ∈ 𝑌 es permutado mediante la accion 𝜎 ∗ 𝑦 | 𝑠𝑖 𝜎 = 𝑒 es el neutro en G,
entonces 𝜙(𝑒)(𝑦) = 𝑒 ∗ 𝑦 = 𝑦 por tanto 𝜙(𝑒) ∈ 𝑆𝑦 sera el neutro en 𝑆𝑦 ∀ 𝑦 ∈ 𝑌, 𝜙(𝑒)(𝑦) = 𝑦.

Ahora, consideremos   G es diferente al elemento identidad en G, como 𝜙 (𝜎): 𝑌 → 𝑌 ⇒ 𝜎 ∗ 𝑦 ∈ 𝑌

por tanto para todo elemento 𝜎 ∗ 𝑦 es la imagen de algun 𝑦 ∈ 𝑌 ⟹ 𝜙(𝜎) 𝑒𝑠 𝑠𝑜𝑏𝑟𝑒𝑦𝑒𝑐𝑡𝑖𝑣𝑎.

Dado que 𝜙(𝜎) es inyectiva para cada elemento diferente, entonces para 𝑦 ∈ 𝑌 la imagen sera
tambien un elemento diferente 𝜎 ∗ 𝑦 ∈ 𝑌.

Asi para 𝜙 (𝑒) a cada 𝑦 ∈ 𝑌 la funcion devolvera el mismo elemento talque para algun 𝜎 ∈ 𝐺 𝜙 (𝜎)
es 1 a 1 por lo tanto es biyectiva ya que para 𝑌 = {𝑦1 , 𝑦2 , … } obtendremos un unico elemento
correspondiente 𝜎 ∗ 𝑦1 ∗ 𝜎 ∗ 𝑦2 ∗ … . ∈ 𝑌.

Entonces por definicion una permutacion es una biyeccion de un conjunto en si mismo, resulta que
si
𝜙(𝜎) ∶ 𝑌 → 𝑌 𝑒𝑠 𝑢𝑛𝑎 𝑏𝑖𝑦𝑒𝑐𝑐𝑖𝑜𝑛 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝜙(𝜎) ∈ 𝑆𝑦

Ahora, considerando que G y Sy el grupo de permutaciones de los elementos Y entonces

𝜙: 𝐺 ⟶ 𝑆𝑦 que tomoa un elemento de G y devuelve una permutacion de los elementos de Y tal que

𝜙 (𝜎)(𝑦) = 𝜎 ∗ 𝑦 𝑠𝑖 𝑔, ℎ ∈ 𝐺 ∴ 𝜙(𝑔ℎ)(𝑦) = 𝑔ℎ ∗ 𝑦

Finalmente, como 𝑔ℎ ∈ 𝐺 ⟹ 𝜙(𝑔) ∘ 𝜙 (ℎ) = 𝜙(𝑔)(𝜙(ℎ)(𝑦)) = 𝑔 ∗ (ℎ ∗ 𝑦) = 𝑔ℎ ∗ 𝑦 por tanto  es un

homomorfismo, tal que por la composicion de funciones nos devuelve una permutacion que
finalmente es una funcion: QED
Sea el homomorfismo 𝜓 ∶ 𝐺 ⟶ 𝑆𝑌 que es una aplicación que al tomar un elemento en G esta funcio
devuelve una permutacion de elementos del conjunto Y tal que 𝜎 ∗ 𝑦 = 𝜙(𝜎)(𝑦) debera ser una
accion de G en Y.

a) Si 𝑒 ∈ 𝐺 ⟹ 𝜙(𝑒)(𝑦) = 𝑒 ∗ 𝑦 = 𝑦, ∀ 𝑦 ∈ 𝑌 de esta forma la aplicación cumple con la primera

propiedad de la definicion de accion.

b) Sean 𝑔, ℎ ∈ 𝐺, entonces 𝜙(𝑔ℎ)(𝑦) = 𝑔ℎ ∗ 𝑦 y dado que 𝜙 (𝜎) es una permutacion, por

composicion de funciones se tiene que 𝜙(𝑔ℎ) = 𝜙(𝑔) ∘ 𝜙(ℎ) = 𝜙(𝑔)(𝜙(ℎ)(𝑦)) = 𝑔 ∗ (ℎ ∗ 𝑦)
por lo que se cumple la segunda propiedad de accion de grupo por tanto el homomorfismo
𝜓 induce una accion de G sobre Y mediante 𝐺 × 𝑌 ⟶ 𝑌 𝑑𝑎𝑑𝑎 𝑝𝑜𝑟 𝜎 ∗ 𝑦 = 𝜙(𝜎). QED

Sea la accion definida por 𝑔 ∗ 𝑦 = 𝑦 𝑐𝑜𝑛 𝑔 ∈ 𝐺, 𝑦 ∈ 𝑌, si G es un grupo y Y es un G – conjunto ,

donde para el homomorfismo 𝜙 ∶ 𝐺 ⟶ 𝑆𝑌 su nucleo esta definido como ker 𝜙 = {𝑔 ∈ 𝐺 | 𝜙(𝑔) = 𝑒 ′ }.
donde e’ es el elemento neutro en SY asi la permutacion deja los elementos de Y invariantes.

Asi la accion que induce el homomorfismo es 𝜙(𝜎)(𝑦) = 𝜎 ∗ 𝑦, entonces el elemento en G donde

la correspondiente permutacion es el elemento identidad del propio G con 𝑒 ∈ 𝐺 donde
𝜙(𝑒)(𝑦) = 𝑒 ∗ 𝑦 = 𝑦, ∀ 𝑦 ∈ 𝑌 asi 𝑒 ′ = 𝜙(𝑒) ⟹ 𝜙(𝑒) es elemento identidad de SY por tanto
ker 𝜙 = {𝑔 ∈ 𝐺 | 𝜙(𝑔) = 𝑒 ′ } 𝑒𝑠 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑛𝑒𝑢𝑡𝑟𝑜 𝑒𝑛 𝐺 y el nucleo contiene un unico elemento el
cual es el subgrupo trivial de G. QED
Sabemos que G y es un subconjunto de elementos de G que dejan fijo a 𝑥 ∈ 𝑌 ∶
𝐺𝑋 = {𝜎 ∈ 𝐺 | 𝜎 ∗ 𝑥 = 𝑥 } ⊆ 𝐺. Este grupo es conocido como isotropía o estabilizador de y.
Sea el homomorfismo 𝜙: 𝐺 ⟶ 𝑆𝑌 que toma un elemento de G y nos devuelve una permutación
de los elementos de Y mediante la acción inducida por tal homomorfismo 𝜙(𝜎)(𝑥 ) = 𝜎 ∗ 𝑥.

Asi, los elementos de G que dejan fijo a “x” son solamente el neutro 𝑒 ∈ 𝐺 tal que para todo
elemento del conjunto Y 𝜙 (𝑒)(𝑥 ) = 𝑒 ∗ 𝑥 = 𝑥

Pero, dado que Gy es un subgrupo de todos los elementos que dejan fijo a “x”, por ser subgrupos
de G, entonces 𝑒 ∈ 𝐺𝑥 así el elemento identidad “e” se localiza en todos los grupos de isotropía
de G.

Por lo anterior, la intersección de todos estos grupos es ⋂𝑥∈𝑌 𝐺𝑌 = 𝑒 y por el ejercicio 3 notamos
que ker 𝜙 = 𝑒 tal que 𝜙: 𝐺 ⟶ 𝑆𝑌 ⟹ es ⋂𝑥∈𝑌 𝐺𝑌 = 𝑒 = ker 𝜙 . 𝑄𝐸𝐷

REFERENCIAS

1) PDF. Recuperado de

http://www.dim.uchile.cl/~mcortez/grupos.pdf

2) PDF. Recuperado de

http://simposioestadistica.unal.edu.co/fileadmin/content/seminarios/sac2/cuadernos/grupos.pdf