Académique Documents
Professionnel Documents
Culture Documents
H
1
=
1
,
2
,
5
1
H =
1
,
5
,
2
Ke = e,
1
eK = e,
1
K
2
=
2
,
4
2
K =
2
,
3
K
3
=
3
,
5
4
K =
4
,
5
Observe que as classes laterais de H s ao as mesmas, tanto `a direita como `a esquerda. Porem, as
classes laterais
3
K e K
3
s ao distintas. Este exemplo sugere a seguinte deni cao.
Deni cao 6.1.1 Seja G um grupo e H G. Dizemos que H e normal em G se para todo g G
tivermos gH = Hg.
Observa cao 6.1.2 O fato de que gH = Hg n ao signica que gx = xg para todo x H. A
igualdade entre as classes laterais signica que dado x H existe um y H tal que gx = yg.
Escrevemos H G para indicar que H e subgrupo normal em G.
67
Deni cao 6.1.3 Se H G e g G, o conjugado de H por g e o subgrupo dado por
H
g
= x
g
/x H (6.1)
Proposi cao 6.1.4 Seja H G. Entao H G H
g
H para todo g G.
Prova: ) Seja y H
g
com g G. Entao y = g
1
xg para algum x H gy = xg Hg = gH
gy = gy
para algum y
H. Logo, y = y
1
2
3
4
1
1
2
3
4
2
2
1
4
3
3
3
4
1
2
4
4
3
2
1
A correspondencia e (nH) = (n) =
n
para n 1, 2, 3, 4.
71
Devido `a correspondencia podemos dizer que os grupos G/Z(G) e Im s ao os mesmos.
Sejam (G, ) e (G
, ) dois grupos.
Deni cao 7.1.1 Um homomorsmo de G em G
que satisfaz
(x y) = (x) (y), para todo x, y G (7.1)
Deni cao 7.1.2 O n ucleo de um homomorsmo e o subconjunto
ker = x G/ (x) = e
(identidade de G
) (7.2)
Deni cao 7.1.3 Um homomorsmo bijetivo e chamado isomorsmo. Nesse caso, G e G
s ao
ditos isomorfos e denotamos G G
.
Quando dois grupos s ao isomorfos diz-se que G e G
) = : G G
/ e homomorsmo (7.3)
iso(G, G
) = : G G
/ e isomorsmo (7.4)
Aut(G) = iso(G, G) (7.5)
Exemplo 7.1.5 A fun cao det: GL(2, R) R
#
e um homomorsmo sobrejetivo de grupos cujo
n ucleo e kerdet = SL(2, R). Com efeito, para todos g, h GL(2, R) tem-se
det(g h) = det(g) det(h) e
det(g) = 1 g SL(2, R)
Exemplo 7.1.6 A fun cao : R
#
R
#
denida por (x) = [x[ e um homomorsmo de grupos
cujo n ucleo e ker = 1, 1 e cuja imagem e Im = R
#
+
.
Exemplo 7.1.7 Seja HG. A fun cao : G G/Hdenida por (g) = gH = g e um homomorsmo
sobrejetivo de grupos cujo n ucleo e ker = H. Com efeito, basta ver que
(g
1
g
2
) = g
1
g
2
= g
1
g
2
= (g
1
) (g
2
)
72
g ker (g) = e g = e g H.
Deni cao 7.1.8 O homomorsmo e chamado proje c ao can onica de G sobre o quociente G/H.
Exemplo 7.1.9 (U(10) U(5)) A fun cao : U(10) U(5) denida por
(1) = 1 (3) = 2 (7) = 3 (9) = 4
e um isomorsmo de grupos.
7.2 Propriedades
Seja : G G
.
H2. (g
1
) = (g)
1
.
H3. para todo n Z vale (g
n
) = (g)
n
.
H4. se O(g) = n entao O((g)) divide n.
H5. se (g) = g
entao
1
(g
) = x G/ (x) = g
= g ker
H6. e injetivo se, e somente se, ker = e.
H7. Im G
.
Prova: H1. Denote (e) = y. Por (7.1) temos
y = (e) = (e e) = (e) (e) = y y
Multiplicando ambos os lados por y
1
segue que e
= y.
H2. Basta ver que (g) (g
1
) = (g g
1
) = (e) = e
. Logo (g)
1
= (g
1
).
H3. Para n Z
+
temos que (g
n
) = (g
n1
g) = (g
n1
) (g). Por indu cao sobre n segue que
(g
n
) = (g)
n
, n Z
+
. Agora, se n < 0 entao n Z
+
. Assim,
(g
n
) =
(g
1
)
n
= (g
1
)
n
=
(g)
1
n
= (g)
n
H4. Seja n = O(g). Entao (g)
n
= (g
n
) = (e) = e
(x) = g
= (g
)
1
(x) = (g
1
) (x) = (g
1
x)
73
g
1
x = h para algum h ker x = gh para algum h ker
x g ker
H6. Se e injetiva entao
1
((g)) = g para todo g G. Em particular, ker =
1
(e
) = e.
Reciprocamente, suponha que ker = e. Se (h) = (g) entao (g)
1
(h) = e
donde
g
1
h
= e
g
1
h ker. Assim, g
1
h = e e h = g.
H7. Por (7.1) segue que Im e fechado em G
.
Seja agora : G G
um isomorsmo. Entao
I1. Z(G
) = (Z(G)) .
I2. G e abeliano se, e somente se, G
e abeliano
I3. O(g) = O((g)) para todo g G.
I4. G e cclico se, e somente se, G
e cclico.
I5. a fun cao inversa
1
e um isomorsmo de G
em G.
Prova: I1. Pela sobrejetividade de dado b Z(G
).
I2. G e abeliano Z(G) = G (Z(G)) = (G) Z(G
) = G
e abeliano
I3. Pela injetividade de tem-se que g
n
= e (g
n
) = (g)
n
= e
, y = (g
m
) para algum g
m
G y =
(g)
m
(g)). Portanto, G
quaisquer e a
1
, a
2
G tais que b
1
= (a
1
) e b
2
= (a
2
). Aplicando a inversa
de sobre o produto b
1
b
2
temos
1
(b
1
b
2
) =
1
((a
1
) (a
2
)) =
1
((a
1
a
2
)) = a
1
a
2
=
1
(b
1
)
1
(b
2
)
Proposi cao 7.2.1 Se G e um grupo entao Aut(G) e um grupo com a opera cao de composi cao de
fun coes.
Prova: Se
1
,
2
Aut(G) entao
1
2
: G G e bijetiva dados g, h G temos que
1
2
(g h) =
1
(
2
(g h)) =
1
(
2
(g)
2
(h))
=
1
(
2
(g))
1
(
2
(g)) = [
1
2
(g)] [
1
2
(h)]
mostrando assim que
1
2
Aut(G). Tambem temos a aplica cao identidade Id : G G em
Aut(G) e esta satisfaz
Id = Id = , Aut(G)
Pela propriedade I.5 de isomorsmos, segue que se Aut(G) entao
1
Aut(G). A associa-
tividade da composi cao de fun coes e clara.
7.3 Teoremas Fundamentais
Teorema 7.3.1 (do homomorsmo) Se : G G
= e
a b ker
a ker (a
1
) = (a)
1
= (e
)
1
= e
a
1
ker
Agora, seja g G e seja x ker
g
. Escrevendo x = g
1
a g para algum a ker temos que
(x) = (g
1
a g) = (g
1
) (a) (g) = (g)
1
e
(g) = e
(g
1
)
1
(g
2
) = e
(g
1
) = (g
2
)
Podemos entao denir uma aplica cao : G/ ker Im induzida por
( g) = (g)
Claramente e sobrejetiva. A prova de que e homomorsmo e feita tomando g
1
, g
2
G/ ker
e fazendo
(g
1
g
2
) = (g
1
g
2
) = (g
1
g
2
) = (g
1
) (g
2
) = (g
1
) (g
2
)
Alem disso, se g ker entao (g) = e
1, se e par
1, se e mpar
Claramente e um homomorsmo sobrejetivo cujo n ucleo e ker = A
n
. Pelo teorema do homo-
morsmo temos que
S
n
/A
n
G
Isso tambem mostra que o ndice (S
n
: A
n
) = O(S
n
/A
n
) = O(G) = 2.
Exemplo 7.3.5 (Os automorsmos internos) Vimos no exerccio 16 da primeira lista que
para cada g G as fun coes
g
: G G
x g
1
xg
s ao bije coes. Alem disso, tambem vale
g
(x y) = g
1
xyg = g
1
xgg
1
yg =
g
(x)
g
(y), para todo x, y G
76
donde
g
Aut(G). Uma tal fun cao
g
e chamada um automorsmo interno e o conjunto dos
automorsmos internos e denotado por
Inn(G) =
g
: g G (7.6)
J a pelo exerccio 17 temos que
g
h
=
gh
Inn(G) donde segue que Inn(G) Aut(G). Agora
e facil ver que a aplica cao
: G Inn(G)
g
g
e um homomorsmo de grupos sobrejetivo cujo n ucleo e Z(G). Com efeito, g ker sse (g) =
g
= Id em aut(G) donde para todo x G tem-se que
x =
g
(x) x = g
1
xg gx = xg
ou seja g Z(G). Pelo teorema do homomorsmo segue que
G/Z(G) Inn(G)
Teorema 7.3.6 (da representa cao) Se G e um grupo e H G de ndice (G : H) = n entao
existe N H tal que N G e G/N e isomorfo a um subgrupo de S
n
.
Prova: Seja G/H = Hx
1
, . . . , Hx
n
. Tome g G e dena a fun cao
g
: G/H G/H
Hx
i
H(x
i
g
1
)
Se
g
(Hx
i
) =
g
(Hx
j
), isto e, H(x
i
g
1
) = H(x
j
g
1
) entao Hx
i
= Hx
j
.
g
e portanto uma bije cao
e corresponde a uma permuta cao dos n elementos de G/H. Podemos entao assumir que
g
S
n
.
Considere a aplica cao
: G S
n
g
g
Arma cao: e um homomorsmo. Com efeito, dados g, h G temos que
gh
(Hx
i
) = H
x
i
(gh)
1
= H
x
i
h
1
g
1
=
h
(Hx
i
)g
1
=
g
(
h
(Hx
i
)) =
g
h
(Hx
i
)
donde (g h) =
gh
=
g
h
= (g) (h).
Tome N = ker G. Se g N entao
g
= Id para todo 1 i n, H(x
i
g
1
) = Hx
i
Em particular, H(e g
1
) = He donde g H. Assim, N H. Pelo teorema do homomorsmo, segue
que G/N Im S
n
77
Observa cao 7.3.7 O n ucleo de e o maior subgrupo normal de G contido em H. Com efeito,
seja K G tal que K H. Uma vez que x
i
K = Kx
i
temos para cada g K um g K tal que
x
i
g = g x
i
Assim, dado g K
g
(Hx
i
) = H(x
i
g
1
) = H( g
1
x
i
) = Hx
i
, para todo 1 i n
pois g
1
K H. Isso mostra que g K g ker, ou seja, K N.
Corolario 7.3.8 (Cayley) Se G e um grupo de ordem n entao G e isomorfo a um subgrupo de
S
n
.
Prova: Tomando H = e e aplicando o teorema da representa cao temos que N = e e G G/N
e isomorfo a um subgrupo de S
n
.
Corolario 7.3.9 Seja G um grupo nito e p o menor divisor primo de O(G). Se H G e
(G : H) = p entao H G.
Prova: Seja N o maior subgrupo normal de G contido em H. Pelo teorema da representa cao
O(G/N) divide p!. Isso obriga que os fatores primos de O(G/N) sejam p. Pelo teorema de
Lagrange temos ainda que
O(G) = pO(H) = O(G/N)O(N) p[ O(G/N)
pois O(N)[O(H). Sendo p o menor primo divisor de O(G) ele deve ser tambem o menor primo que
divide O(G/N). Logo, p e o unico primo que divide O(G/N). Sendo este divisor de p! s o nos resta
a possibilidade de que O(G/N) = p e portanto O(H) = O(N) donde H = N.
Corolario 7.3.10 Todo subgrupo H de ndice p em um p-grupo G e normal em G.
Exemplo 7.3.11 Seja U(12) = 1, 5, 7, 11. Vamos calcular o subgrupo de S
4
isomorfo a U(12).
Para isso, tomamos os automorsmos T
g
: U(12) U(12) da forma T
g
(x) = g x. Temos que
T
1
=
1 5 7 11
1 5 7 11
T
5
=
1 5 7 11
5 1 11 7
T
7
=
1 5 7 11
7 11 1 5
T
11
=
1 5 7 11
11 7 5 1
1
=
1 2 3 4
1 2 3 4
2
=
1 2 3 4
2 1 4 3
78
3
=
1 2 3 4
3 4 1 2
4
=
1 2 3 4
4 3 2 1
1
2
3
4
1
1
2
3
4
2
2
1
4
3
3
3
4
1
2
4
4
3
2
1
vemos que a aplica cao : U(12) H denida por (1) =
1
, (5) =
2
, (7) =
3
e (11) =
4
e
um isomorsmo de grupos.
7.4 Teoremas de contagem
Teorema 7.4.1 (Cauchy) Seja G um grupo nito. Se p e um divisor primo de O(G) entao existe
a G tal que O(a) = p.
Prova: Se G = x) e cclico de ordem n e n = pq entao a = x
q
tem ordem p.
Nos outros casos vamos provar o teorema usando o princpio da indu cao sobre a ordem de G. Se
O(G) = 2 entao o teorema e trivialmente valido. Suponha agora que o teorema e verdadeiro para
todo grupo com ordem menor que O(G).
Se G e beliano e n ao-cclico tome x G, x ,= e. Se p divide a O(x) entao existe a x) tal
que O(a) = p. Suponha entao que p n ao divide a ordem x. Seja H = x) e considere o grupo
quociente L = G/H. Uma vez que p divide O(G) e n ao divide O(H) devemos ter que p[O(L). Sendo
O(L) < O(G) pela hip otese de indu cao existe g L com O( g) = p, isto e g
p
H e g
i
, H para
todo 0 i < p. Denotando O(H) = n e a = g
n
temos
a ,= e e a
p
= (g
p
)
n
= e
e doutro lado se a
q
= e entao g
nq
= e donde p[nq e como p ,[n temos que p[q. Assim, O(a) = p.
Para G n ao abeliano, isto e, Z(G) ,= G temos que se p divide O(Z(G)) entao pelo que foi provado
acima, existe a Z(G) com O(a) = p. Admita entao que p ,[O(Z(G)). De acordo com a equa cao
das classes
O(G) = O(Z(G)) +
x
i
Z(G)
#C
x
i
79
como p[O(G) e p ,[O(Z(G)) devemos ter que p ,[#C
x
i
= (G : C(x
i
)) para algum elemento x
i
,
Z(G). Chamando C(x
i
) = H segue, por Lagrange, que p divide O(H) < O(G). Da hip otese de
indu cao, existe a H tal que O(a) = p.
A seguir vamos enunciar sem demnstra cao os teoremas de Sylow
Teorema 7.4.2 (Sylow) Seja G um grupo nito com O(G) = p
m onde 1 e mdcp, m = 1.
Entao
i) 1 r , existe H G tal que O(H) = p
r
;
ii) quaisquer subgrupos H
1
e H
2
de ordem p
e da forma n
p
= kp + 1 onde k N e n
p
[O(G).
Deni cao 7.4.3 Os subgrupos de ordem p
j
) = a
i
b
j
para todo 0 i 1 e 0 j < p
vemos que e um isomorsmo.
Teorema 7.5.2 Seja G um grupo de ordem pq onde p < q s ao primos e p n ao divide q 1. Entao
G e cclico.
Prova: Pelo teorema de Cauchy, existem a, b G de ordens p e q respectivamente. Sejam H = a)
e K = b). Dado que (G : K) = p pelo corol ario (7.3.9), K G. Por outro lado, de acordo o item
iii) do teorema de Sylow, o n umero n
p
de subgrupos p e da forma n
p
= kp + 1 e n
p
[pq. Da,
kp + 1 = 1, p, q ou pq.
kp + 1 = p ou pq p[1 (abs. pois p e primo.)
kp + 1 = q p[(q 1) ()
Logo kp+1 = 1 donde n
p
= 1. Sendo o unico subgrupo de ordem p temos que HG. Vamos mostrar
que a b = b a e assim, G = a b). Com efeito, a
1
ba K
a
= K e b
1
a
1
b H
b
= H donde
b
1
a
1
ba H K
Mas H K H, K. Por Lagrange O(H K) divide p e q. Portanto H K = e e b
1
a
1
ba = e o
que equivale a b a = a b.
81