Está en la página 1de 2

ALGEBRA MODERNA 1

TERCER TAREA
1. Los unicos subgrupos normales de S
4
son {(1)}, V, A
4
y S
4
.
2. Para n 5, los unicos subgrupos normales de S
n
son {(1)}, A
n
, S
n
.
3. Prueba que para n 3, A
n
es el unico subgrupo de S
n
de orden
1
2
n!.
4. Prueba que S
5
no contiene subgrupos de orden 40 ni de orden 30.
5. Si G S
n
contiene al menos una permutacion impar, entonces |G| es
par y exactamente la mitad de los elementos de G son permutaciones
impares.
6. Sea G un subgrupo de S
n
.
a) Si G A
n
= {1}, entonces |G| 2.
b) Si G es un grupo simple con m as de dos elementos, demuestra que
G A
n
.
7. Sea G un grupo nito y H G tal que [G : H] es el menor primo que
divide a |G|. Prueba que H es normal en G.
8. Sea G un grupo innito.
a) Para todo x G, x = 1, x tiene una cantidad innita de conjuga-
dos.
b) Para todo subgrupo propio H = 1 tiene una cantidad innita de
conjugados.
9. Prueba que si G es un grupo nito de orden impar, entonces ning un
otro elemento x G adem as de x = e es conjugado a su inverso.
10. Demuestra que si H es un subgrupo propio de un grupo nito G, en-
tonces G =

xG
xHx
1
.
11. Prueba que C
G
(gxg
1
) = gC
G
(x)g
1
para todo x, g G.
12. a) Si H es un subgrupo de G y x H, prueba que
C
H
(x) = H C
G
(x).
b) Si H es un subgrupo de ndice 2 de un grupo nito G y x H.
Demuestra que |x
H
| = |x
G
| o |x
H
| =
1
2
|x
G
|, donde x
H
es la clase
de conjugacion de x en H.
13. Sea G un grupo que actua sobre un conjunto X. Sean x, y X y y = gx
para alg un g G. Prueba que G
y
= gG
x
g
1
. Concluye que |G
y
| = |G
x
|.
14. Sea G un grupo, X un conjunto y : G X X una accion. Sea
1
: G S
X
que manda a cada g G en la permutacion x gx.
a) Si K = ker , entonces : G/KX X dada por (gK, x) = gx
dene una acci on de G/K sobre X.
b) Si es una acci on transitiva, entonces tambien lo es .
a) Si es transitiva, entonces |ker | |G|/|X|. Hint: Si x X,
entonces |O(x)| = [G : G
x
] [G : ker, ].
15. Sea p un primo. G un grupo tal que para cada g G existe m Z
tal que (g) = p
m
. Si G actua sobre un conjunto nito X, entonces
|X| = |X
G
| (mod p), donde X
G
= {x X | gx = x para todo g G}.
2