Grupo Simples

O objetivo deste semin ario e apresentar alguns teoremas e exemplos de

grupos simples.
Denicao 1 Um grupo G e dito simples se seus unicos subgrupos normais
sao o trivial e ele proprio.
Exemplo: O grupo Z
3
e simples, como veremos. Sua ordem e 3, se
possusse um subgrupo H teramos pelo teorema de Lagrange que [H[[[Z
3
[,
logo [H[ = 1 ou [H[ = 3. Portanto, os unicos subgrupos normais de Z
3
s ao
a identidade e ele pr oprio. Desse modo, Z
3
e um grupo simples.
Faremos uma breve classicac ao de todos os grupos simples de ordem
menor ou igual que 60. Na busca desse objetivo temos a seguinte denicao.
Denicao 2 Um grupo G diz-se sol uvel se contem uma cadeia de subgrupos:
1 = G
0
G
1
. . . G
n
= G,
tal que cada G
i1
e normal em G
i
e o grupo quociente
G
i
G
i1
e abeliano para
1 i n.
Exemplo: Todo grupo G abeliano e sol uvel, pois a seguinte cadeia 1
G e tal que 1 G e
G
{1}
= G e abeliano.
Teorema 1 (Burnside-1904) Sejam G um grupo nito e p e q n umeros pri-
mos. Se [G[ = p
a
q
b
, entao G e sol uvel.
Para demonstrac ao veja [1]
1
Teorema 2 Seja G um grupo nito e q, r e p n umeros primos distintos. Se
[G[ = qrp, entao G e sol uvel.
Da denic ao temos que se G e sol uvel e nao abeliano G possui um sub-
grupo normal. Logo, G n ao e simples. Se [G[ < 60 e G e abeliano temos
apenas as seguintes possibilidades para a ordem de G, [G[ = p
a
q
b
, [G[ = pqr,
onde p, q e r s ao n umeros primos distintos. Caso, [G[ = pqr, G n ao e sim-
ples, pois o teorema de Cauchy garante que existe g G tal que [g[ = p se
tomarmos o subgrupo < g > teremos um subgrupo normal em G, mostrando
que ele n ao e simples. Se [G[ = p
a
q
b
e a > 1 ou b > 1 entao G tambem n ao e
simples, pelo mesmo motivo do caso anterior. O caso a = 1 e b = 1 e an alogo
aos anteriores. Se a = 1 e b = 0 ou b = 1 e a = 0 s ao iguais e discutiremos
apenas o primeiro. Assim, [G[ = p e o grupo e simples. Pois, se G possusse
um subgrupo H o teorema de Lagrange arma que [H[[[G[ sendo [H[ = 1 ou
[H[ = p. Isso demonstra o teorema abaixo.
Teorema 3 Se [G[ < 60, G e simples se, e somente se, [G[ = p.
Teorema 4 Seja n = 3 ou n 5, entao A
n
e um grupo simples.
Para demonstrac ao veja [2].
O teorema acima garante que A
5
e um grupo simples que possui ordem
60. Alem disso, ele e unico a menos de isomorsmo, como garante o proximo
teorema.
Teorema 5 Se G e um grupo simples de ordem 60. Entao, G e isomorfo ao
grupo A
5
.
Essa demonstrac ao se tornar a f acil se provarmos o seguinte lema.
Lema 1 Se G e um grupo simples de ordem 60, entao existe um subgrupo
H de G que possui exatamente 5 conjugados.
2
Demonstracao: Seja n
2
o n umero de 2-subgrupos de Sylow de G. Sabemos
do terceiro teorema de Sylow que n
2
1 mod 2 e que n
2
[15, logo n
2
=
1, 3, 5 ou 15. Como G e simples n
2
,= 1, pois se n
2
= 1 teramos um unico
2-subgrupo de Sylow, a unicidade desse subgrupo implica que ele e normal
em G, contrariando a simplicidade de G.
Se n
2
fosse 3 teramos um absurdo, como veremos. Denote

C para ser o
conjunto dos 2-subgrupos de Sylow, os quais sao conjugados entre si. Temos,
o seguinte homomorsmo

I : G P(

C
3
) S
3
g

I
g
:

C
3


C
3
H
i
gH
i
g
1
,
onde P(

C
3
) e o grupo de permuta cao dos elementos de

C
3
. Pelo teorema dos
homomorsmos conclumos que
G
ker
e
I


I(G) S
3
. Como [S
3
[ = 6 e [G[ = 60
isso s o poder a ocorrer se ker

I ,= e, o que e impossvel, pois ker

I G, o
qual e simples.
Caso n
2
= 5 podemos escolher qualquer um dos 2-subgrupos de Sylow
para ser H.
Se n
2
= 15, teremos um pouco de trabalho para encontrar H. Come camos
observando que devem existir 2-subgrupos de Sylow distintos k
1
e k
2
tais que
k
1
k
2
,= e. Caso contr ario, G possuiria 15 3 = 45 elementos de ordem
2 ou 4; do fato de G ser simples segue que ele deve possuir pelo menos
seis 5-subgrupos de Sylow, logo ter a pelo menos 6 4 = 24 elementos de
ordem 5. Desse modo, G teria pelo menos 45 + 24 = 69 elementos, absurdo
pois [G[ = 60. Conclumos que existem dois subgrupos k
1
e k
2
tais que
[k
1
[ = 4 = [k
2
[ e [k
1
k
2
[ = 2. Pelo fato de [k
1
k
2
[ = 2 temos que k
1
k
2
k
1
e k
1
k
2
k
2
, pois subgrupos de ndice 2 sempre s ao normais. Seja k
1
, k
2
) o
subgrupo gerado por k
1
e k
2
, do fato de k
1
k
2
k
1
e k
1
k
2
k
2
segue que
k
1
, k
2
) N
G
(k
1
k
2
), em que N
G
e o normalizador de k
1
k
2
em G. Denote
3
H = k
1
, k
2
) e considere o seguinte diagrama:
G tem ordem 4 3 5

N
G
(k
1
k
2
)
[
k
1
, k
2
) = H
/
k
1
k
2
tem ordem 4

k
1
k
2
tem ordem 2.
Como G e simples, N
G
(k
1
k
2
) ,= G, pois caso contr ario, k
1
k
2
G. Desse
modo, as possibilidades para a ordem de H s ao 20 ou 12. Mas, pelo teorema
6, [H[ ,= 20, pois senao, H G e [G : H] = 3, como 60 n ao divide 3!
teramos que G n ao e simples, absurdo. Assim, [H[ = 12. Como H n ao pode
ser normal em G, temos que N
G
(H) = H. Com isto, H possui exatamente 5
conjugados, ja que [G : N
G
(H)] = [G : H] = 5.
Agora ja estamos em condi coes de demonstrar o teorema 5.
Demonstracao: Seja H o subgrupo do lema e C = conjugados de H,
temos que a quantidade de elementos de C e 5. Considere o seguinte homo-
morsmo,
I : G P(C) S
5
g I
g
: C C
H
i
gH
i
g
1
,
lembrando que P(C) e o grupo das permutac oes de C, que e isomorfo a S
5
.
O subgrupo ker I e um subgrupo normal diferente de G, pois ker I
N
G
(H) G. Como G e um grupo simples temos ker I = e. Assim,
I(G) e um subgrupo de S
5
de ordem 60. Logo, I(G) = A
5
, pois A
5
e o
unico subgrupo de S
5
de ndice 2. Como I e injetivo G I(G) A
5
, logo,
conclumos que G A
5
.
4
Teorema 6 Seja H G com [G : H] = n < . Se [G[ nao divide n!, entao
G nao e simples.
Para demonstrac ao veja [3].
O problema de classicar os grupos simples j a foi solucionado. Ao longo
de um perodo de 25 anos que terminou em 1981, varios matem aticos ao
redor do mundo trabalharam nesse problema e obtiveram uma lista de grupos
simples tal que todo grupo de ordem nita e simples e isomorfo a exatamente
um desses grupos da lista. Existem 5 classes de grupos simples nao-abelianos
de ordem menor que 1000, eles tem ordem 60, 168, 360, 504 e 660. A prova
completa deste resultado possui por volta de umas 10000 p aginas.
0.1 A simplicidade dos grupos lineares espe-
ciais projetivos
Nessa se cao trabalharemos no intuito de apresentar grupos simples dife-
rentes dos que j a estamos acostumados A
n
para n = 3 e n 5 e os grupos
de ordem prima.
Seja R um corpo, o conjunto GL(n, R) e formado pelas matrizes A nxn
sobre R tais que detA ,= 0. Este conjunto forma um grupo com a operac ao
de multiplica cao, pois se detA ,= 0 a matriz A possui inversa e os outros
requisitos para ser grupo segue direto da denic ao de multiplicacao entre
matrizes e do fato que detAB =detAdetB. O elemento neutro e a matriz
identidade denotada em todo esse trabalho por I. O conjunto de todas as
matrizes nxn tais que detA = 1, denotado por SL(n, R) forma um subgrupo
de GL(n, R).
Teorema 7 O centralizador de SL(n, R) em GL(n, R) e o grupo das matri-
zes escalares nao-nulas, isto e, A = aI
n
, a R

.
DEMONSTRAC

AO:

E f acil ver que uma matriz escalar comuta com qual-
quer matriz em GL(n, R). S o falta mostrar que se A pertence ao centralizador
5
de SL(n, R) em GL(n, R), ent ao A e m ultipla escalar da identidade. Escre-
vemos E
ij
com i ,= j para ser a matriz elementar nxn com 1 na posic ao (i, j)
e 0 em todas as outras posic oes. Temos que I + E
ij
SL(n, R), se i ,= j,
onde I denota a matriz identidade. A matriz A comuta com I + E
ij
, desse
modo AE
ij
= E
ij
A. Os elementos da posic ao (k, j) de AE
ij
e a
ki
enquanto
que de E
ij
A e igual a 0 se k ,= i e a
jj
, caso contr ario. Assim, a
ki
= 0 se k ,= i
e a
ii
= a
jj
, mostrando que A e escalar.
Teorema 8 O centro de GL(n, R), denotado por Z(GL(n, R)) e o grupo
das matrizes escalares aI nao-nulas. O centro de SL(n, R), denotado por
Z(SL(n, R)) e o grupo das matrizes escalares aI, onde a
n
= 1.
DEMONSTRAC

AO: Se A pertence ao centro de GL(n, R), A comuta com
todas as matrizes de GL(n, R), em particular, comuta com as matrizes de
SL(n, R), pelo teorema 7 A s o pode ser uma matriz escalar. Para uma matriz
B pertencer ao centro de SL(n, R) precisamos que ela alem de comutar com
todas as matrizes de SL(n, R) ela tenha determinante 1. Desse modo, B = aI
e a
n
= 1.
Denicao 3 O grupo linear geral projetivo de grau n sobre o corpo R
e denido para ser
PGL(n, R) =
GL(n, R)
Z(GL(n, R))
,
e o grupo especial linear projetivo e
PSL(n, R) =
SL(n, R)
Z(SL(n, R))
.
Se Re um corpo nito denotaremos por F, e usaremos a seguinte notac ao:
GL(n, F), PGL(n, F), SL(n, F), PSL(n, F).
Se a ordem de F estiver denida, digamos que seja igual a q, trocaremos
F por q nas express oes acima, como acontecera no teorema abaixo. Nossa
pr oxima tarefa e determinar a ordem desses grupos.
Teorema 9 Suponha que F seja um corpo nito tal que [F[ = q, entao:
6
1. [GL(n, q)[ = (q
n
1)(q
n
q) . . . (q
n
q
n1
).
2. [SL(n, q)[ =
|GL(n,q)|
q1
= [PGL(n, q)[.
3. [PSL(n, q)[ =
|GL(n,q)|
d(q1)
, onde d =mdc(n, q 1).
DEMONSTRAC

AO: a) Se A GL(n, q) e porque detA ,= 0. Seja A
i
a i-esima linha de A. Temos que detA ,= 0 se, e somente se, A
i
n ao pode
ser escrita como combinac ao linear de outras linhas ou A
i
n ao e m ultipla de
outra linha. Desse modo, para formar A podemos escolher a primeira linha
de q
n
1 maneiras, a linha com todas as entradas nulas n ao e permitido, a
segunda linha de q
n
q maneiras, nenhum m ultiplo da primeira linha e per-
mitido, a terceira linha de q
n
q
2
maneiras, nenhuma combina cao linear das
duas primeiras linhas e permitida. Seguindo este raciocnio temos q
n
q
n1
maneiras para a n-esima linha, pois nao e permitida nenhuma combinac ao
linear das (n 1) primeiras linhas. Multiplicando esses n umeros temos que
[GL(n, q)[ = (q
n
1) (q
n
q) (q
n
q
n1
).
b) Seja
: GL(n, q) F

A detA, onde F

= F0.
Note que F

est a sendo considerado como grupo com a operac ao produto

que existe no corpo F. Como det(A B) = det(A)det(B) temos que e
homomorsmo de grupo. O ker = SL(n, q), como e sobrejetor, pelo
teorema do homomorsmo temos,
GL(n, q)
SL(n, q)
F

[SL(n, q)[ =
[GL(n, q)[
[F

[
=
[GL(n, q)[
(q 1)
.
Sabemos que, PGL(n, q) =
GL(n,q)
Z(GL(n,q))
, do teorema 8 temos que [Z(GL(n, q))[ =
q 1 [PGL(n, q)[ =
|GL(n,q)|
q1
.
c) Para determinar [PSL(n, q)[ precisamos saber a [Z(SL(n, q))[, pelo
teorema 8 esse n umero e a quantidade de a

s F

tal que a
n
= 1. Mos-
traremos que essa quantidade e d = mdc(n, q 1). Sabemos que F

e um
7
grupo cclico, seja g seu gerador, isto e, F

=< g >. Seja N tal que

q 1 = d. Existem d elementos da forma g
k
para 1 k d todos per-
tencentes a F

. Podemos escrever n = d , fazendo

_
g
k
_
n
=
_
g
k
_
d
=
_
g
d
_
k
= (g
q1
)
k
= 1. Logo existem pelo menos d elementos g
t
em F

tal
que (g
t
)
n
= 1. Temos que provar que s ao apenas estes. Seja g
s
< g > tal
que (g
s
)
n
= 1. Denote por r a ordem de g
s
em F

. Temos que r[n e r[q 1,

pois q 1 e a ordem de F

, logo r[d. Do fato de r ser a ordem de g

s
temos
s r = q 1 s r = d s =
d
r
s e um m ultiplo de . Portanto,
[Z(SL(n, q))[ = d. Desse modo, [PSL(n, q)[ =
|SL(n,q)|
|Z(SL(n,q))|
=
|GL(n,q)|
(q1)d
, onde
d = mdc(n, q 1).
Teorema 10 Seja F um corpo nito e N um subgrupo normal de SL(n, F)
o qual nao esta contido no centro. Se n > 2 ou n = 2 e [F[ > 3, entao
N = SL(n, F).
Com isto temos o teorema de Jordan-Dickson, que segue como corolario
do teorema acima.
Corolario 1 (Jordan Dickson) Se n > 2 ou n = 2 e [F[ > 3, entao
PSL(n, F) e simples.
Antes de provarmos o teorema 10 iremos utilizar o teorema de Jordan
Dickson para encontrar novos grupos simples diferentes dos que j a conhece-
mos. Nessa busca o calculo da ordem sera de grande import ancia.
Exemplo: Analisaremos primeiro os casos que o teorema de Jordan Dick-
son n ao aborda, isto e, PSL(2, 2) e PSL(2, 3), veremos que esses grupos n ao
s ao simples. Pelo teorema 9, [PSL(2, 2)[ = 6, portanto ele n ao e um grupo
simples, pois sua ordem e menor que 60 e nao e um n umero primo. O centro
de PSL(2, 2) nao e trivial, logo ele nao e um grupo comutativo. Desse modo,
PSL(2, 2) e isomorfo a S
3
, isto e, o grupo de permutac ao de 3 elementos.
A ordem de PSL(2, 3) e 12, logo n ao e simples. Alem disso, PSL(2, 3) e
isomorfo a A
4
.
Exemplo: Os grupos PSL(2, 4) e PSL(2, 5) s ao isomorfos, pois [PSL(2, 4)[ =
[PSL(2, 5)[ = 60, portanto pelo teorema 5 eles s ao isomorfos a A
5
.
8
Ate o momento os exemplos dados n ao produziram grupos simples novos.
As novidades virao no proximo exemplo.
Exemplo: O grupo PSL(2, 7) e tal que [PSL(2, 7)[ = 168 que n ao e
primo e A
5
< 168 < A
6
. Um outro exemplo e PSL(3, 3) que possui ordem
5616.
O proximo exemplo e curioso e sera apresentado como proposic ao. Ele
mostrar a que existem grupos simples com mesma ordem que nao s ao isomor-
fos.
Proposicao 1 Os grupos PSL(3, 4) e A
8
possuem a mesma ordem mas, nao
sao isomorfos.
Esse fato ser a demonstrado posteriormente.
Nosso proximo objetivo e desenvolver um pouco da teoria de matrizes para
demonstrarmos o teorema 10. Se a ,= 0 e a F, uma matriz da forma I +
aE
ij
, onde i ,= j e chamada transvecc ao, ela e diferente da matriz identidade
unicamente porque existe a na posic ao (i, j). As transvec coes pertencem a
SL(n, F), sua import ancia se d a devido ao fato que a multiplicacao de uma
matriz A a esquerda por I +aE
ij
tem o efeito de adicionar a vezes a j-esima
linha sobre a i-esima linha.
Teorema 11 As transveccoes geram SL(n, F) se n > 1.
DEMONSTRAC

AO: Se mostrarmos que A SL(n, q) podemos es-
calon a-la ate obtermos a identidade usando apenas transvecc oes nosso pro-
blema estara resolvido, pois
T
k
T
2
T
1
A = I A = T
1
k
T
1
2
T
1
1
.
A inversa de I + aE
ij
e I aE
ij
, a qual e uma transvecc ao. Logo, A e o
produto de transvecc oes, demonstrando que as transveccoes geram SL(n, F).
Mostraremos que se A SL(2, F), podemos utilizar apenas transveccoes
para escalonar A. Seja,
A =
_
a b
c d
_
,
9
tal que ad bc = 1 e c ,= 0. Tome T
1
= I +
_
1a
c
_
E
12
e faca
T
1
A =
_
1 b + d
_
1a
c
_
c d
_
.
Como ad bc = 1 temos,
T
1
A =
_
1
d1
c
c d
_
.
Considere T
2
= I
d
cE
21
.
T
2
T
1
A =
_
1
d1
c
0 1
_
.
Multiplicando o resultado acima por T
3
= I
_
d1
c
_
E
12
obtemos a identidade:
T
3
T
2
T
1
A = I. Desse modo, A = T
1
1
T
1
2
T
1
3
sendo gerada por transvec coes.
Se c = 0 e a ,= 1, ent ao A =
_
a b
0 d
_
tal que a d = 1, note que a ,= 0.
Facamos a multiplicacao de T
1
= I +
_
1
a
1
_
E
21
por A,
T
1
A =
_
a b
1 a
1ab+b
a
_
.
Do fato que detT
1
A = 1 e 1 a ,= 0 podemos repetir os c alculos do caso
anterior e escalonaremos A utilizando apenas transveccoes. Se A =
_
a b
0 d
_
e a = 1 d = 1, ent ao A =
_
1 b
0 1
_
, tomando T
1
= I bE
12
obtemos,
T
1
A = I.
Portanto, se A SL(2, F) utilizando apenas multiplicacao a esquerda por
transvec coes e possvel escalonar a matriz A.
Suponhamos que para B SL(n 1, F) seja possvel escalonar B utili-
zando apenas multiplicac ao a esquerda por transvec coes. Iremos mostrar que
10
isso implica que e possvel escalonar A SL(n, F) utilizando apenas trans-
vecc oes. Algum a
jn
,= 0, pois detA ,= 1, basta fazer T = I +
_
1a
nn
a
jn
_
E
nj
e
TA =
_

_
a
1n
A a
2n
.
.
.
a
n1
1
_

_
.
Se a
in
,= 0 faca T
i
= I a
in
E
in
para i = 1, . . . , n 1 e multiplique por
T
i1
T
i2
. . . T
1
TA, observe que se a
jn
= 0, o fator T
j
n ao aparece na sequencia
de multiplicac oes. Apos todas as multiplica coes obtemos,
T
n1
. . . T
2
T
1
TA =
_

_
0
A 0
.
.
.
a

n1
1
_

_
.
Usando a hipotese de induc ao podemos escalonar A

para que esse bloco se

torne a I
n1
, ou seja, T
n1
T
1
TA torna-se
_

_
0
I 0
.
.
.
a

n1
1
_

_
.
Agora basta fazer T
j
= I a

nj
E
nj
, se a

nj
,= 0 para j = 1, . . . , n 1 e
fazer a seguinte sequencia de multiplicac oes que obteremos a identidade,
T
n1
. . . T
1
TA = I.
Portanto, sempre e possvel escalonar A SL(n, F) ate obtermos a iden-
tidade usando apenas transvec coes. Conclumos que as transvec coes geram
SL(n, F) para n > 1.
11
Teorema 12 Se n > 2, quaisquer duas transveccoes sao conjugados em
SL(n, F).
DEMONSTRAC

AO: Comecaremos mostrando que I +aE
ij
e I +bE
ij
s ao conjugadas. Considere c = a
1
b. Seja D uma matriz diagonal n n
com 1 na posic ao (i, i), c na posi cao (j, j), c
1
em alguma outra posi cao da
diagonal e 1 em todos os lugares restantes da diagonal. Assim, D SL(n, F)
e D
1
(I + aE
ij
) D = I +bE
ij
. Agora consideremos as transvecc oes I +aE
ij
e I +aE
rj
, i ,= r. Seja P uma matriz nn a qual difere de I somente porque
existe 1 na posic ao (i, r), 1 na posi cao (r, i) e 0s na posic ao (i, i) e (r, r).
Temos que P SL(n, F). De maneira an aloga montamos Q, que difere de
I somente porque existe 1 na posic ao (j, s), 1 na posic ao (s, j) e 0s na
posic ao (j, j) e (s, s), logo Q
1
(I + aE
rj
) Q = I + aE
rs
. Desse modo, todas
as transvecc oes s ao conjugadas em SL(n, F).
Lema 2 Seja F um corpo nito tal que para todo l F

temos que l
4
= 1.
Entao, [F[ = 5, [F[ = 3 ou [F[ = 2.
DEMONSTRAC

AO: Sabemos que F

e um grupo ciclco nito, seja g

F

um gerador, temos que g

4
= 1. Logo, [g[ = 4, [g[ = 2 ou [g[ = 1. Dessas,
tres possibilidades segue que [F[ = 5, [F[ = 3 ou [F[ = 2.
Teorema 13 Se um subgrupo normal N de SL(2, F) contem uma trans-
veccao, entao N = SL(2, F).
DEMONSTRAC

AO: O subgrupo N contem uma transvecc ao, supo-
nhamos sem perda de generalidade que ela seja do seguinte tipo,
_
1 a
0 1
_
, a ,= 0.
Provaremos que
_
1 x
0 1
_
N, x F

, pois se isso ocorre, conjugando

_
1 x
0 1
_
por
_
0 1
1 0
_
temos que:
12
_
0 1
1 0
__
1 x
0 1
__
0 1
1 0
_
=
_
0 1
1 x
__
0 1
1 0
_
=
_
1 0
x 1
_
N x F,
desse modo todas as transvecc oes pertencem a N e o teorema 11 assegura
que N = SL(2, q).
Conjugaremos
_
1 a
0 1
_
por
_
x
1
0
0 x
_
_
x 0
0 x
1
__
1 a
0 1
__
x
1
0
0 x
_
=
_
x ax
0 x
1
__
x
1
0
0 x
_
=
_
1 ax
2
0 1
_
.
Assim, N contem a matriz
_
1 ax
2
0 1
__
1 ay
2
0 1
_
1
=
_
1 ax
2
0 1
__
1 ay
2
0 1
_
=
_
1 a (x
2
y
2
)
0 1
_
, x, y F

.
Denotaremos caracterstica de F por car(F) e dividiremos em dois casos:
1) F tem caracterstica diferente de 2. Se isto ocorre, dado b F reescreva
b como
b =
(b + 1)
2
4

(b 1)
2
4
.
Assim,
_
1 ab
0 1
_
N b, como a ,= 0 temos que todas as transveccoes da
forma
_
1 b
0 1
_
Npara b F

.
2) F tem caracterstica 2, lembrando que N contem
_
1 a
0 1
_
e
_
1 r
0 1
_
onde r = ax
2
. Conjugando estas matrizes por
_
0 1
1 0
_
obtemos
_
0 1
1 0
__
1 a
0 1
__
0 1
1 0
_
=
_
0 1
1 a
__
0 1
1 0
_
=
_
1 0
a 1
_
e
_
0 1
1 0
__
1 r
0 1
__
0 1
1 0
_
=
_
0 1
1 r
__
0 1
1 0
_
=
_
1 0
r 1
_
.
13
Assim, N contem
_
1 0
a 1
__
1 m
0 1
__
1 0
r 1
_
=
_
1 m
a am + 1
__
1 0
r 1
_
=
_
1 mr m
a r(am + 1) am + 1
_
, (1)
onde a
1
m e um quadrado. Sabemos que se l
4
= 1, l F

[F[ = 5
ou [F[ = 3, como neste caso a car(F) = 2 ent ao l tal que l
4
,= 1. Dena
m = a
1
(1 + l
2
) e r = al
2
, os quais satisfazem
amr = aa
1
_
1 + l
2
_
al
2
=
_
1 + l
2
_
al
2
= al
2
+ l
2
al
2
= a + al
2
= a + r
e
a
1
m =
_
a
1
_
1 + l
1
__
2
pois,
(a
1
(1 + l
1
))
2
=
_
a
1
_
2
_
1 + 2l
1
+
_
l
1
_
2
_
= a
2
_
_
1 + 2l
1
..
0, porque car(F)=2
+
_
l
1
_
2
_
_
= a
2
_
1 +
_
l
1
_
2
_
= a
1
m.
Com os valores de m e r denidos acima temos que amr = a +r. Ent ao, (1)
torna-se
_
1 mr m
0 1 am
_
e N contem para y arbitr ario
__
1 mr m
0 1 am
_
,
_
1 y
0 1
__
=
_
1
1mr
m
(1mr)(1am)
0
1
1am
__
1 y
0 1
__
1 mr m
0 1 am
__
1 y
0 1
_
=
_
1 my(r a)(1 mr)
1
0 1
_
. (2)
14
Sabendo que mr = a
1
(1+l
2
)(al
2
) = (1 + l
2
) e que am = a[a
1
(1+l
2
)]
temos:
my(r a)(1 mr)
1
= (amy + myr)(1 1 l
2
)
1
=
_
amy + y(1 + l
2
)
_ _
l
2
_
=
_
y(l
2
+ 1) + y(1 + l
2
)
_ _
l
2
_
= y
_
l
4
1
_
E, assim, (2) torna-se
_
1 y (l
4
1)
0 1
_
, como l
4
,= 1 temos que y (l
4
1)
varia sobre todos x F.
Dado um polin omio m onico f(t) = t
k
+ a
k1
t
k1
+ . . . + a
0
, denimos a
matriz companheira desse polin omio por
_
_
_
_
_
_
_
_
_
0 1 0 . . . 0 0
0 0 1 . . . 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 . . . 0 1
a
0
a
1
a
2
. . . a
k2
a
k1
_
_
_
_
_
_
_
_
_
. (3)
O teorema da forma can onica racional assegura que qualquer matriz A
SL(n, F) e conjugada em GL(n, F) a uma matriz em blocos
B =
_
_
_
_
_
_
_
M
1
0 . . . 0
0 M
2
0
.
.
.
.
.
.
.
.
.
0 0 . . . M
r
_
_
_
_
_
_
_
,
onde cada M
i
e uma matriz companheira como na equacao (3) de algum
polinomio monico. Seja P a matriz que faz a conjugacao, denotemos por b
seu determinante. A matriz P

=
1
n

b
IP e tal que detP

= 1 e A = P

1
BP

,
logo toda matriz e conjugada a uma matriz da forma B e podemos considerar
que a matriz que faz a conjugac ao est a em SL(n, F). O leitor deve estar se
perguntando porque estamos usando a forma can onica racional e n ao a de
Jordan. O motivo e que a forma de Jordan s o vale em corpos algebricamente
fechados, o que nao e nosso caso. Enquanto, que a primeira vale para espacos
vetoriais sobre qualquer corpo.
15
Agora ja estamos em condi coes de demonstrarmos a proposic ao 1.
DEMONSTRAC

AO: O grupo A
8
possui ordem igual a
1
2
8! e pelo teorema
9 temos que a ordem de PSL(3, 4) tambem e igual a
1
2
8!. O grupo A
8
possui
o elemento (12345)(678), o qual possui ordem 15. Se A
8
fosse isomorfo a
PSL(3, 4), entao existiria A PSL(3, 4) tal que [A[ = 15, mostraremos que
isso n ao ocorre. Seja A

na forma can onica racional tal que A

= P
1
AP,
ent ao [A[ = [A

[. Desse modo podemos supor que A est a na forma racional.

Temos duas possibilidades para A:
_

_
a
1
0 0
0 a
2
0
0 0 a
3
_

_
e
_

_
a 0
0
_
0 b
c d
_
_

_
onde a, a
1
, a
2
, a
3
F

e b, c, d F.
Se
_

_
a
1
0 0
0 a
2
0
0 0 a
3
_

_
, temos que A
3
=
_

_
a
3
1
0 0
0 a
3
2
0
0 0 a
3
3
_

_
= I, pois como F
possui 4 elementos [F

[ = 3.
Caso A =
_

_
a 0
0
_
0 b
c d
_
_

_
teremos
A
3
=
_

_
a
3
0
0
_
0 b
c d
_
3
_

_
=
_

_
1 0
0
_
0 b
c d
_
_

_
,
portanto, B =
_
0 b
c d
_
PSL(2, 4) e tal que [B[ = 15. Mas, PSL(2, 4)
A
5
, porem, A
5
n ao tem subgrupo de ordem 15. Portanto, nao existe elemento
em PSL(3, F) com [F[ = 4 tal que [A[ = 15.
Teorema 14 Seja N um subgrupo de SL(2, F) o qual nao esta contido no
centro e seja [F[ > 3. Entao, N = SL(2, F).
DEMONSTRAC

AO: Como N n ao est a contido no centro, podemos supor
que existe A

N tal que A

/ Z(SL(2, F)). Seja P SL(2, F) tal que

16
P
1
A

P = A onde A est a na forma can onica racional, como o subgrupo

N e normal, A N. Pelo teorema anterior podemos assumir que N n ao
contem nenhuma transveccao. Primeiro suponhamos que A =
_
a 0
0 a
1
_
onde a ,= a
1
. Seja B =
_
1 1
0 1
_
, ent ao N contem o comutador
[A, B] = A
1
B
1
AB =
_
a
1
0
0 a
__
1 1
0 1
__
a 0
0 a
1
__
1 1
0 1
_
=
_
a
1
a
1
0 a
__
a a
0 a
1
_
=
_
1 1 a
2
0 1
_
.
Este ultimo e uma transvecc ao j a que a ,= a
1
a
2
,= 1. A outra possi-
bilidade para A e A =
_
0 1
b a
_
, como detA = 1 A =
_
0 1
1 a
_
e
A
1
=
_
a 1
1 0
_
.
Calculemos
_
A
1
,
_
1 x
2
0 1
__
=
_
0 1
1 a
__
1 x
2
0 1
__
a 1
1 0
__
1 x
2
0 1
_
=
_
0 1
1 x
2
+ a
__
a ax
2
1
1 x
2
_
=
_
1 x
2
x
2
1 + x
4
_
,
o qual pertence a N x F. Conjugando esse resultado pela matriz
_
x
1
x
1
0 x
_
temos,
_
x x
1
0 x
1
__
1 x
2
x
2
1 + x
4
__
x
1
x
1
0 x
_
=
_
0 1
1 2 + x
4
_
.
Assim, N contem para todo x e y n ao-nulos a matriz
_
0 1
1 2 + x
4
_
1
_
0 1
1 2 + y
4
_
=
_
1 x
4
y
4
0 1
_
.
17
Como N n ao contem nenhuma transveccao temos que x
4
y
4
= 0, isto e,
x
4
= 1 para todo x F

, pelo lema 2 temos que [F[ e 5, 3 ou 2, nosso caso

s o e possvel [F[ = 5. Para este caso temos que trabalhar mais um pouco na
tentativa de encontrar uma transvecc ao em N, se isso ocorrer o teorema 13
garante que N = SL(2, F).
Sabemos que
_
0 1
1 a
_
N, calculando o seguinte comutador,
_
_
_
0 1
1 a
_
1
,
_
1 2
0 1
_
_
_
=
_
1 2
2 5
_
que e igual a
_
1 2
2 0
_
, pois, q = 5. A matriz
_
2 1
2 1
_
SL(2, 5),
utilizando-a para conjugar a matriz
_
1 2
2 0
_
temos
_
0 1
1 1
_
que
pertence a N.
Do fato que
_
0 1
1 a
_
N, segue que
_
0 1
1 3
_
N. Assim,
_
0 1
1 3
_
1
_
0 1
1 1
_
=
_
1 2
0 1
_
N
e e uma transvecc ao.
Teorema 15 Seja F um corpo nito e N um subgrupo normal de SL(n, F)
o qual nao esta contido no centro. Se n > 2 entao N = SL(n, F).
DEMONSTRAC

AO: Como N Z(SL(n, F)) existe A

N tal que
A

/ Z(SL(n, F)). Sabemos que existe P SL(n, F) tal que A

= PAP
1
onde
A =
_

_
M
1
0 0
0 M
2
0
.
.
.
.
.
.
.
.
.
0 0 M
s
_

_
18
e os M
i
s ao as matrizes companheiras dadas pela expressao (3).Temos que,
A = P
1
A

P, como N e normal A N. Mostraremos que o fato de A N

implicar a que teremos uma transveccao em N, pelo teorema 12 para n > 2
todas as transvecc oes s ao conjugadas. Mas, N e normal, logo N conter a
todas as transvecc oes de SL(n, F). O teorema 11 diz que se n > 1 as
transvec coes geram SL(n, F). Conclumos que se N possui uma transvecc ao
N = SL(n, F). Assim, nosso trabalho se resume em encontrar uma trans-
vecc ao em N. Primeiro, iremos supor que cada bloco M
i
de A e 1 1, ou
seja, A e diagonal
A =
_

_
a
1
a
2
0
.
.
.
0 a
n
_

_
,
A / Z(SL(n, F)). Logo, pelo menos dois dos a
i
s sao distintos. Podemos
supor que a
1
,= a
2
, pois se isso nao ocorresse poderamos fazer uma mudanca
de base e a nova matriz e conjugada a A, logo pertence a N. Calculemos
[A, I + E
12
] = I + (1 a
1
1
a
2
)E
12
, que e uma transveccao.
O pr oximo passo e supor que alguma matriz companheira M
i
de A tem
tamanho r maior que 1. Iremos supor que i = 1, pois caso n ao seja basta
fazermos uma mudanca de base e obteremos tal congurac ao. Ent ao,
A =
_
A 0
0
_
, onde A =
_

_
0 1 0 0
0 0 1 0
.
.
.
.
.
.
a
0
a
2
a
3
a
r1
_

_
rr
, detA = 1, logo
a
0
,= 0. Dividiremos em dois casos, r = 2 ou r > 2. Analisando o caso
r > 2, N contem [A, I E
r1
] = I + a
1
1
E
12
E
r1
. Assim, N contem
_
I + a
1
1
E
12
E
r1
, I E
r1

= I + a
1
1
E
r2
, que e uma transveccao.
Agora s o nos resta o caso r = 2, no qual A =
_
0 1
a b
_
e a ,= 0 pois
detA = 1. Em SL(2, F) as unicas matrizes que est ao no centro sao da
forma d
_
1 0
0 1
_
, isto e, m ultiplo escalar da identidade. Desse modo, existe
19
C SL(2, F) tal que C n ao comuta com A. Computaremos o seguinte
comutador
__
A 0
0
_
,
_
C 0
0 I
(n2)x(n2)
__
=
_
B 0
0 I
(n2)x(n2)
_
= B N, B ,=
I
2
, pois AC ,= CA. Podemos considerar que B est a na forma racional, pois
caso contr ario, e so fazermos uma mudanca de base. Como detB = 1, as
possibilidades para B s ao
_
1 0
0 1
_
,
_
0 1
1 c
_
e
_
a 0
0 a
1
_
.
Se B =
_
1 0
0 1
_
, temos que F n ao tem caracterstica 2 porque
B ,= B, senao B = I o que n ao ocorre, j a que AC ,= CA. Calculando
__
1I
22
I
(n2)(n2)
_
, I + E
23
_
= I + 2E
23
,
obtemos I+2E
23
que e uma transveccao, pois a caracterstica de F e diferente
de 2.
Caso B =
_
a 0
0 a
1
_
basta efetuar
__
B 0
0 I
_
, I + E
12
_
= I + (1 (a
1
)
2
) E
12
N e e uma transvecc ao.
Por outro lado, se B tem a forma
_
0 1
1 c
_
. Ent ao, N contem o co-
mutador de I E
13
e
_
B 0
0 I
(n2)x(n2)
_
que e igual a
I + (1 c)E
13
E
23
. (4)
Finalmente, calculando o comutador de (4) e I +E
12
, obtemos a transvecc ao
I + E
13
que pertence a N.
Dentre os motivos pelos quais grupos simples s ao interessantes destacamos
dois:
1-

As vezes, descobrir as propriedades de um grupo G torna-se mais facil
se ele nao e simples. Pois, podemos estudar G atraves dos quocientes de G
pelos seus grupos normais.
20
2- Em algum sentido os grupos simples sao os blocos a partir dos quais
os grupos nitos sao construdos. Para tornar isso preciso, seja G um grupo
nito. Assumimos que G > 1. Seja N um subgrupo normal maximal de
G, isto e, N G e um subgrupo pr oprio e nao existe nenhum M G com
N < M < G. Temos que
G
N
e simples, pois se existe N

G
N
tal que N

G
N
e N

,=
G
N
, ao considerarmos o homomorsmo
P : G
G
N
g g
e olharmos para P
1
(N

) teramos N

G tal que N

G, N

G e N N

,
absurdo pois N e maximal com esta propriedade. Se N > 1 e N n ao e simples,
repetimos esse processo escolhendo algum subgrupo S normal maximal de N,
note que S n ao e necessariamente normal em G. Prosseguindo desta forma,
obtemos uma serie de subgrupos
1 = G
0
G
1
G
n1
G
n
= G,
onde cada grupo e normal no proximo e os quocientes
G
i
G
i1
para 1 i n
s ao todos simples. Essa serie e conhecida como serie de composic ao de G.
O grupo G pode ser visto como sendo uma construc ao desses grupos
21
quocientes simples
G = G
n

G
n1

.
.
.

G
2

G
1

1
[G[ =

G
G
n1

G
n1
G
n2

[G
1
[.
Um mesmo grupo pode ter mais de uma serie de composicao. Mas, o
teorema de Jordan-H older (veja [2]) assegura que existe uma bijec ao entre os
grupos quocientes de series distintas tal que os grupos quocientes correspon-
dentes sao isomorfos.
Como todos os grupos simples s ao conhecidos, seria interessante se con-
segussemos obter G apenas a partir dos quocientes da serie de composi cao.
Mas,
Z
p
2
Z
p) 0 e
Z
pZ

Z
pZ

Z
pZ
0 0 0,
onde p e primo.
Os grupos quocientes das duas series sao isomorfos, embora os grupos
Z
p
2
Z
e
Z
pZ

Z
pZ
n ao sejam.
22
Referencias Bibliogracas
[1] Dummit, D. S. e Foote, R. M., Abstract Algebra, John Wiley Sons, 2004.
[2] Garcia, A. e Lequain, Y. Elementos de

Algebra. IMPA, 4
a
ed., 2006.
[3] Isaacs, I. M., Algebra, a Graduate Course, Cole Publishing Company.
[4] Robinson, D. J. S., A Course in the Theory of Groups, Springer, 2
a
ed.,
1996.
23