Alg Moderna Tarea 2

Tarea 2 de Álgebra Moderna 1, semestre 2021-1
1. Recordemos que Z(G) denota al centro de G.
(a) Demuestra que Z(Sn ) = {1} para n ≥ 3.

(b) Demuestra que Z(A4 ) = {1}.
2. Sea α ∈ Sn un n-ciclo. Demuestra que CSn (α) = hαi.
3. Prueba que si G no es abeliano, entonces G/Z(G) no es cı́clico.
4. (a) Sea G un grupo finito tal que |{aGa−1 | a ∈ G}| = 2. Prueba que |G| = 2.
(b) Sea G un grupo que tiene un elemento de orden finito n ≥ 1 y que tiene exactamente
dos clases de conjugación (es decir, |{aGa−1 | a ∈ G}| = 2). Demuestra que |G| = 2.
Sugerencia: Existe un primo p con ap = 1 para todo a ∈ G. Si p es impar y a ∈ G,
k
entonces a2 = xax−1 para algún x ∈ G y por lo tanto a2 = xk ax−k .
5. Sea f : G −→ H un morfismo de grupos suprayectivo. Demuestra que si A ≤ Z(G), entonces

f (A) ≤ Z(H).
6. Sea H ≤ G. Demuestra que NG (H) ≤ {a ∈ G | aHa−1 ≤ H} y que se da la igualdad en el

caso en que H sea finito.
7. (a) Sea G un grupo y x ∈ G. Si la clase de congugación de x es {a1 , . . . , ak }, demuestra que

la clase de conjugación de x−1 es {a−1 −1
1 , . . . , ak }.
(b) Sea α ∈ Sn . Demuestra que α es conjugado a α−1 .
8. Sea n un enteroP positivo. Una partición de n es una sucesión de enteros 1 ≤ i1 ≤ i2 ≤ . . . ≤

ir ≤ n tal que rj=1 ij = n. Demuestra que el número de clases de conjugación en Sn es el
número de particiones de n. Es decir, la cardinalidad del conjunto {αG | α ∈ Sn } es el número
de particiones de n.
9. Demuestra que A5 no tiene subgrupos de orden 30.
10. Sea n 6= 4. Demuestra que An es el único subgrupo normal no trivial de Sn .
11. Sea G un subgrupo de Sn que contiene una permutación impar. Prueba que |G| es par y que
exactamente la mitad de los elementos de G son permutaciones impares.
12. Sea X = {1, 2, . . .} el conjunto de todos los enteros positivos. Definimos el grupo alternante
infinito A∞ como el subgrupo de SX generado por todos los 3-ciclos. Prueba que A∞ es un
grupo simple infinito. Sugerencia: Adapta la prueba de que An es simple si n ≥ 5.
13. Sea G un grupo finito y a ∈ G. Demuestra que si an tiene m conjugados y a tiene k conjugados
entonces m | k. Sugerencia: CG (a) ≤ CG (an ).
14. Demuestra que Sn no tiene subgrupos de ı́ndice t con 2 < t < n.
1 Álgebra Moderna 1
Prof: Valente Santiago Vargas
Ayudantes: Daniel Guerra
Miguel Ignacio Romero
Tarea 2 de Álgebra Moderna 1, semestre 2021-1
15. Sean p un número primo y τ, α ∈ Sp una transposición y un p-ciclo respectivamente. Demues-

tra que Sp = hτ, αi.
16. (a) Sea G un grupo de orden 2m k donde k es impar. Prueba que si G contiene un elemento
de orden 2m , entonces el conjunto de todos los elementos de orden impar en G es un
subgrupo normal de G. Sugerencia: Considera G como un grupo de permutaciones via
el teorema de Cayley y demuestra que contiene una permutación impar.
(b) Sea G un grupo finito simple de orden par. Demuestra que 4 divide a |G|.
17. (a) (Poincaré). Sean H y K subgrupos de G de ı́ndice finito. Demuestra que H ∩ K tiene
ı́ndice finito en G. Sugerencia: Demuestra que [G : H ∩ K] ≤ [G : H][G : K].
(b) Sea H ≤ G de ı́ndice finito. Demuestra que la intersección de todos los conjugados de
H es un subgrupo normal de G que tiene ı́ndice finito en G.
(c) Sean H y K subgrupos de G de ı́ndice finito tal que m.c.d([G : H], [G : K]) = 1.
Demuestra que [G : H ∩ K] = [G : H][G : K].
18. Demuestra que A6 no tiene subgrupos de ı́ndice primo.
19. Sea G un grupo finito que tiene un subgrupo H de ı́ndice p, donde p es el primo más chico
que divide a |G|. Prueba que H es un subgrupo normal de G.
20. Sea G un grupo infinito simple.
(a) Demuestra que todo x ∈ G \ {1} tiene un número infinito de conjugados.
(b) Demuestra que todo subgrupo H 6= {1} de G tiene un número infinito de conjugados.
21. Sea X un G-conjunto y x, y ∈ G tal que y = gx para algún g ∈ G. Demuestra que Gy =
gGx g −1 y concluye que |Gx | = |Gy |.
22. Sea G ≤ Sn .
(a) Demuestra que G actua en X = {1, 2, . . . , n}. En particular hαi actua en X para todo
α ∈ Sn .
(b) Sea α = β1 . . . βt la factorización completa de α en ciclos disjuntos y sea i un sı́mbolo
que aparece en el ciclo βj . Demuestra que O(i) = {αk (i) | k ∈ Z} (la acción es la del
inciso (a)) consiste de todos los sı́mbolos que aparecen en βj .
23. Sea X un G-conjunto. Se dice que X es transitivo (o que G actua transitivamente) si sólo
tiene una órbita. Es decir, para todo x, y ∈ G existe un g ∈ G tal que y = gx. Sea X un
G-conjunto, demuestra que para cada x ∈ X la órbita O(x) es un G-conjunto transitivo.
24. Sea H un subgrupo de G.
(a) Demuestra que G actua transitivamente en el conjunto de clases laterales a izquierdas
de H.
(b) Demuestra que G actua transitivamente en el conjunto de todos los conjugados de H.
25. Sea X = {x1 , . . . , xn } un conjunto G-transitivo y sea H := Gx1 el estabilizador de x1 .
Demuestra que existen elementos g1 , . . . , gn ∈ G con gi x1 = xi tal que g1 H, . . . gn H son todas
las clases laterales de H en G distintas entre si.
2 Álgebra Moderna 1
Prof: Valente Santiago Vargas
Ayudantes: Daniel Guerra
Miguel Ignacio Romero

Alg Moderna Tarea 2

Cargado por

Copyright:

Formatos disponibles

Alg Moderna Tarea 2

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Alg Moderna Tarea 2

Cargado por

Copyright:

Formatos disponibles

Tarea 2 de Álgebra Moderna 1, semestre 2021-1

1. Recordemos que Z(G) denota al centro de G.

(a) Demuestra que Z(Sn ) = {1} para n ≥ 3.

2. Sea α ∈ Sn un n-ciclo. Demuestra que CSn (α) = hαi.

3. Prueba que si G no es abeliano, entonces G/Z(G) no es cı́clico.

5. Sea f : G −→ H un morfismo de grupos suprayectivo. Demuestra que si A ≤ Z(G), entonces

6. Sea H ≤ G. Demuestra que NG (H) ≤ {a ∈ G | aHa−1 ≤ H} y que se da la igualdad en el

7. (a) Sea G un grupo y x ∈ G. Si la clase de congugación de x es {a1 , . . . , ak }, demuestra que

8. Sea n un enteroP positivo. Una partición de n es una sucesión de enteros 1 ≤ i1 ≤ i2 ≤ . . . ≤

9. Demuestra que A5 no tiene subgrupos de orden 30.

10. Sea n 6= 4. Demuestra que An es el único subgrupo normal no trivial de Sn .

14. Demuestra que Sn no tiene subgrupos de ı́ndice t con 2 < t < n.

15. Sean p un número primo y τ, α ∈ Sp una transposición y un p-ciclo respectivamente. Demues-

También podría gustarte