CAPITULO II

LA ESTRUCTURA
DE GRUPOS
Rodrigo Vargas
4. LA ACCION DE UN GRUPO SOBRE UN CONJUNTO
1. Sea G un grupo y A subgrupo normal abeliano. Demuestre que G/A
actua sobre A por conjugaci on y obtenga un homomorsmo G/A
Aut A.
Soluci on: Notemos que
G/A = gA[ g G = ga [ g G, a A
Esto nos lleva a considerar : G/AA A denida por
(ga, x) = (ga) x := (ga)x(ga)
1
.
Esta aplicaci on est a bien denida, ya que A es abeliano. En efecto,
dados ga
1
, ga
2
gA entonces
(ga
1
, x) = (ga
1
)x(ga
1
)
1
= g(a
1
xa
1
1
)g
1
= g(a
1
a
1
1
x)g
1
= gxg
1
= g(a
2
a
1
2
x)g
1
= (ga
2
)x(ga
2
)
1
= (ga
2
, x)
Veamos que es acci on. Como A es abeliano tenemos que a x :=
axa
1
= aa
1
x = x y adem as
((ga)(g

)) x = (gag

)x(gag

)
1
= (ga)[(g

)x(g

)
1
](ga)
1
= (ga) [(g

) x]
2. Si H, K son subgrupos de G tal que HK, demuestre que K N
G
(H).
Soluci on: Recordemos que
N
G
(H) = g G[ gHg
1
= H .
1
Como K G entonces K es cerrado por producto y elemento inverso,
entonces basta probar que K N
G
(H). En efecto, sea k K entonces
kHk
1
= H ya que HK lo que implica k N
G
(H), como queriamos
probar.
3. Si un grupo G contiene un elemento a teniendo exactamente dos con-
jugados, entonces G tiene un subgrupo normal propio N ,= e).
Soluci on: Consideremos G
a
= gag
1
[ g G la orbita de a de la
acci on por conjugaci on, por hip otesis [Ga[ = 2. Sea G
a
el estabilizador
de a, que es un subgrupo de G, entonces
2 = [Ga[ = (G : G
a
) G
a
G
Basta considerar N = G
a
como (G : N) = 2 entonces N es subgrupo
normal propio. Ahora bien, si N = e entonces [G[ = 2, es decir,
G = e, a y las clases de conjugaci on de a tendria cardinalida 1, esto
es, [Ga[ = 1, lo que es una contradicci on.
4. Sea H un subgrupo de G. El centralizaador de H es el conjunto
C
G
(H) = g G [ hg = gh, h H. Demuestre que C
G
(H)
es un subgrupo de N
g
(H).
Soluci on: Sean g, g

C
G
(H) y h H entonces
(gg

)h = g(g

h) = g(hg

) = (gh)g

= h(gg

)
lo que implica que gg

C
G
(H). Si g C
G
(H) entonces
gh = hg h = g
1
hg hg
1
= g
1
h g
1
C
G
(H) .
Por ultimo, debemos probar que C
G
(H) N
G
(H). Sea g C
G
(H)
entonces
hg = gh, h H ghg
1
= h, h H gHg
1
= H
entonces g N
G
(H), como queriamos probar.
5. Si H es un subgrupo de G, el grupo cuociente N
G
(H)/C
G
(H) es iso-
morfo a un subgrupo de Aut(H).
2
Soluci on: Consideremos la aplicaci on : N
G
(H) Aut (H) dada
por (g) =
g
donde
g
: H H es dada por
g
(h) = ghg
1
, no es
dicil vericar que es un homomorsmo. Notemos que
Ker = g N
G
(H) [ (g) = Id
= g N
G
(H) [
g
= Id
= g N
G
(H) [ ghg
1
= h, h H
= C
G
(H)
Por el primer Teorema de Isomora tenemos que
N
G
(H)/Ker = N
G
(H)/C
G
(H)

= Im Aut (H) .
6. Sea G un grupo actuando sobre un conjunto S conteniendo al menos
dos elementos. Asuma que G es transitivo; esto es, dados cualquier
x, y S, existe g G tal que gx = y.
Pruebe
(a) Para x S, la orbita x de x es S;
(b) todos los estabilizadores G
x
(para x S) son conjugados.
(c) Si G tiene la propiedad: g G[ gx = x x S = e) (el cual
es el caso si G S
n
para alg un n y S = 1, 2, . . . , n) y si N G
y N G
x
para alg un x S, entonces N = e);
(d) para x S, [S[ = [G : G
x
]; luego [S[ divide a [G[.
Soluci on:
(a) Recordemos que, dado x S
x = Gx = gx [ g G .
Sea y S como G es transitivo, existe g G tal que gx = y y
Gx luego S Gx. Ahora bien, sea y Gx entonces existe g G
tal que gx = y y S. Por lo tatno Gx = S.
3
(b) Recordemos que, dado x S
G
x
= g G[ gx = x .
Como G es transitivo, dados x, y S existe g G tal que gx = y.
Consideremos la conjugaci on del estabilizador G
x
:
gG
x
g
1
= gag
1
[ a G
x
= gag
1
[ ax = x .
Armamos que gag
1
G
y
. En efecto, se tiene que
gag
1
y = gag
1
gx = gax = gx = y gag
1
G
y
.
Luego, gG
x
g
1
G
y
. De manera similar, se prueba que g
1
G
y
g
G
x
y por lo tanto, gG
x
g
1
= G
y
.
(c) Sea N el subgrupo de G tal que NG y N G
x
para alg un x S.
Sea a N, como N G entonces gNg
1
= N para todo g G.
Sea y S, como G es transitivo existe g G tal que gy = x.
(d) Sabemos que, para cada x G se tiene que G
x
= S, luego [S[ =
[Gx[ = (G : G
x
). En particular, si G es nito entonces
(G : G
x
) =
[G[
[G
x
[
[G[ = (G : G
x
)[S[ [S[ [ [G[ .
7. Sea G un grupo y sea InG el conjunto de todos los automorsmos in-
ternos de G. Demuestre que InG es un subgrupo normal de AutG.
Soluci on: Sean a G,
a
: G G dada por
a
(x) = axa
1
un
automorsmo interno de G y : G G un automorsmo, entonces

1
(x) = (
a
(
1
(x)))
= (a
1
(x)a
1
)
= (a)(
1
(x))(a
1
)
= (a)x
1
(a) =
(a)
(x)
Luego,
o
tau
a

1
In G. Por lo tanto, In G Aut G. Adem as, In
G es subgrupo de G pues si
a
y
b
In G
a

b
=
ab
In G y

1
a
=
a
1 In G.
4
8. Muestre un automorsmo de Z
6
que no es un automormo interno.
Soluci on: Considere : Z
6
Z
6
dada por (x) = x
1
. Entonces
(xy) = (xy)
1
= y
1
x
1
= x
1
y
1
= (x)(y) .
Luego, es homomorsmo. Ahora si, (x) = (y) x
1
= y
1

x = y y es inyectiva. Dado y Z
6
existe y
1
Z
6
tal que (y
1
) =
(y
1
)
1
= y. Por lo tanto, Aut (Z
6
). Supongamos que es un
automorsmo interno entonces existe a Z
6
tal que =
a
entonces
x
1
= axa
1
para todo x Z
6
, es decir, ax = x
1
a para todo x Z
6
.
En particular, para x = a se tiene que a
2
= e. Ahora sea r Z
6
tal
que r
d
= e entonces d = 2, 3, 6 y tenemos que
r, a [ r
d
= a
2
= e, ar = r
1
a) = D
2d
Z
6
Si d = 3 obtenemos D
6

= S
3
y S
3
no es abeliano.
Si d = 2 obtenemos D
4

= Z
2
Z
2
el cual no es ciclico.
Si d = 6 obtenemos D
12
el cual no es abeliano. .
Por lo tanto, / InZ
6
.
9. Si G/C(G) es cclico, entonces G es abeliano.
Soluci on: Observemos que, existe a G tal que
G/C(G) = aC/G(G)) = a
r
C(G) .
Luego, G = a
r
z [ z C(G), r N. Dados x, y G entonces
x = a
r
z
0
y y = a
s
z
1
y tenemos que
xy = (a
r
z
0
)(a
s
z
1
) = a
r
a
s
z
0
z
1
= a
r+s
z
1
z
0
= a
s+r
z
1
z
0
= a
s
a
r
z
1
z
0
= (a
s
z
1
)(a
r
z
0
) = yx
Por lo tanto G es abeliano.
10. Demuestre que el centro de S
4
es e); concluya que S
4
es isomorfo al
grupo de todos los automorsmo internos de S
4
.
Soluci on: Recordemos que
Z(S
4
) = S
4
[ = S
4
.
5
Supongamos que Z(S
4
) ,= e entonces existe
0
Z(S
4
) con
0
,= Id
tal que
0
=
0
para todo S 4. Como
0
,= Id existe k
1, 2, 3, 4 tal que
k ,=
0
(k) = m, para alg un m 1, 2, 3, 4 .
Consideremos

0
:

k k
m l con l ,= m
ja los demas elemento
entonces
0
S
4
y
0

0
=
0
(k) = m,
0
(
0
(k)) = (m) = l ,= m lo
que es una contradicci on. Luego, Z(S
4
) = e. La segunda armaci on
es una consecuencia del problema 5.
11. Sea G un grupo conteniendo un elemento a de orden distinto de 1 o 2.
Demuestre que G tiene un automorsmo distinto de la identidad.
Soluci on: Si G es abeliano, entonces
: G G
x x
1
es automorsmo. Si = id entonces x
2
= e para todo x G pero
existe a G tal que a
2
,= e y a ,= e, lo que es una contradicci on, luego
,= Id.
Si G no es abeliano entonces Z(G) ,= G entonces existe g G tal que
gx ,= xg para todo x G, es decir
gxg
1
,= x, x G (1)
entonces basta considerar

g
: G G
x gxg
1

g
es automorsmo interno distinto de la identidad por (1).
12. Cualquier grupo nito es isomorfo a un subgrupo de A
n
para alg un n.
6
Soluci on: Sea G un grupo tal que [G[ = m. Consideremos A
n
con
n = 2m. Sea S
m
, se puede escribir como producto de transposi-
ciones de longitud d. Consideremos la apliaci on h : S
m
A
n
dada
por
h()(k) = (k) si k 1, . . . , m
h()(m+ k) = m+(k) si k 1, . . . , m
h est a bien denida, h() A
n
para cada S
m
. En efecto, como es
d-ciclo entonces h() es un 2d-ciclo lo que implica h() A
n
. Adem as,
h es homorsmo inyectivo. Por el primer Teorema de Isomora
S
m
/Ker h = S
m

= Im h A
n
.
Por el Teorema de Caley
G

= H S
m
,
entonces G

= H S
m
A
n
.
13. Si un grupo G contiene un subgrupo (,= G) de indice nito, este con-
tiene un subgrupo normal (,= G) de indice nito.
Soluci on: Sea H G tal que (G : H) = n . Consideremos
GG/H G/H
(g, aH) (ga)H
la acci on, esto induce un homomorsmo
h : G S
n
g
g
: G/H G/H
aH (ga)H
Sea N = Ker h N G y por el primer Teorema de isomora
G/N

= Im h S
n
.
Luego, [G : N] [S
n
[ = n! < . Adem as, N H. En efecto, dado
a Ker h entonces

a
= id
a
(xH) = xH (ax)H = xH x
1
ax H x G.
En particular, si x = e entonces a H.
7
14. Si [G[ = pn, con p > n, p primo, y H es un subgrupo de orden p,
entonces H es normal en G.
Soluci on: Sea H subgrupo con [H[ = p. Consideremos la acci on
GG/H G/H
(g, aH) (ga)H
esta acci on induce un homomorsmo
h : G S
n
g
g
: G/H G/H
aH (ga)H
Sabemos por problema anterior que N = Ker h G, N H y G/N

=
Im h S
n
entonces
n = [G : H] [G : N] [ [S
n
[ = n!
entonces [G : N] = n H = N.
15. Si un subgrupo normal N de orden p (p primo) esta contenido en un
grupo G de orden p
n
, entonces N esta en el centro de G.
8