Universidade de Braslia

Instituto de Cincias Exatas

Departamento de Matemtica

Caracterizao dos Grupos Finitos com

Reticulados Metadistributivos

por

Jander Amorim Silva

Braslia
2006

Agradecimentos
Agradeo,
Antes de tudo, a Deus por ter me proporcionado esse momento muito marcante em
minha vida, no s pelo prazer te ter conseguido vencer mais essa etapa, mas pelos aprendizados obtidos (tanto os matemticos quanto os de vida) no decorrer dessa caminhada.
Ao meu orientador Prof. Rudolf Richard Maier pela orientao, incentivo e toda ajuda
e sugestes durante a elaborao desse trabalho.
Aos meus irmos Jnior e Jansley, acima de tudo, o Jansley por ter, da forma dele,
me incentivado e me abrigado quando aqui cheguei.
minha namorada Larissa pela pacincia que ela teve, vrias vezes, quando eu tinha
que deix-la para estudar (em especial para o exame); pela compreenso sempre que, s
vezes eu no estava de bom humor; pelo carinho que ela nunca deixou faltar nas horas
mais difceis que passei.
A todos os funcionrios do departamento, em especial Tnia.
A todos os amigos e colegas (principalmente os companheiros de exame) e me desculpem por no citar nomes, pois eu no quero cometer o erro de esquecer algum.
E, finalmente, aos meus pais Paulo e Nanci, pelo apoio e incentivo durante a realizao
desse trabalho e todo o carinho que me dispensaram em toda a minha vida. Obrigado
por vocs existirem.

Resumo
Neste trabalho, classificamos todos os grupos finitos G cujo reticulado de subgrupos metadistributivo, ou seja, para todo subgrupo H de G um dos intervalos [G/H] ou
[H/1] distributivo.

ii

Abstract
In this work, we classify the finite groups G whose subgroup lattice is metadistributive, that is, for every subgroup H of G one of the intervals [G/H] or [H/1] is
distributive.

iii

Sumrio

Introduo

1 Preliminares

1.1

O Subgrupo de Frattini . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

Os -subgrupos de Hall . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3

Os Subgrupos Normalizadores, Centralizadores e os Comutadores . . . . .

1.4

Grupos Caracteristicamente Simples . . . . . . . . . . . . . . . . . . . . . .

1.5

Reticulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2 Os Grupos Lineares
2.1

14

Grupo Linear Geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

3 Grupos Finitos com Reticulados Metadistributivos

23

3.1

MD-grupos Solveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

3.2

MD-grupos no Solveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

3.3

Prova do Teorema 3.2 (MD-grupos Solveis) . . . . . . . . . . . . . . . . . 27

3.4

Prova do Teorema 3.3 (MD-grupos no Solveis) . . . . . . . . . . . . . . . 33

Referncias Bibliogrficas

40

Introduo
Dizemos que um reticulado L (com o menor elemento 0 e o maior I) metadistributivo
se para todo a L um dos intervalos [a/0] ou [I/a] distributivo. Um grupo G chamado de MD-grupo se seu reticulado de subgrupos L(G) metadistributivo. A finalidade
central do nosso trabalho caracterizar a estrutura dos MD-grupos finitos que dada nos
Teoremas 3.1 e 3.2.
No captulo 1, fazemos uma preliminar da teoria de grupos, buscando resultados que
so aplicados nas demontraes do dois Teoremas principais dessa dissertao. feita
tambm um retrospectiva da teoria de reticulados e alguns resultados relevantes, como
por exemplo, o Teorema de Ore, que caracteriza os grupos com reticulado de subgrupos
distributivo. Vemos tambm a definio de metadistributividade e mencionamos como
ilustrao, a classificao de todos os MD-grupos finitos abelianos.
No captulo 2, fazemos um breve estudo dos Grupos Lineares, definindo-os, encontrando suas ordens e classificando os que so simples.
Por fim, no captulo 3, caracterizamos todos os MD-grupos finitos, baseado no artigo
de Roland Schmidt (ver referncia [11]), separando em dois casos: o primeiro, quando G
um MD-grupo solvel e no segundo caso, quando G um MD-grupo no solvel.

Captulo 1
Preliminares
1.1

O Subgrupo de Frattini

Definio 1.1. Se G um grupo, chamaremos de subgrupo de Frattini (G) a interseo

de todos os subgrupos maximais de G. Quando o grupo G no tiver subgrupos maximais,
definiremos (G) = G.
Definio 1.2. Um elemento x G chamado de no gerador (ou suprflo) se ele
pode ser omitido de qualquer conjunto gerador, ou seja: se G = hx, Y i, ento G = hY i,
Y G
Teorema 1.3. O subgrupo de Frattini de um grupo qualquer G o conjunto de todos os
elementos no geradores de G.
Demonstrao. Seja x um elemento no gerador de G e seja M um subgrupo maximal
de G que no contm z (Lema de Zorn). Se x
/ M , ento G = hx, M i = hM i, uma
contradio. Portanto x M , para todo M e ento x (G). Reciprocamente, se
z (G), assuma que G = hz, Y i. Se hY i =
6 G ento existe (Lema de Zorn) um subgrupo
maximal M com hY i M . Mas z M e ento G = hz, Y i M , uma contradio.
Portanto, z um elemento no gerador.

Teorema 1.4 (Argumento de Frattini). Seja G um grupo, com K E G finito. Se P
um p-subgrupo de Sylow de K (para algum primo p), ento
G = KNG (P )
2

Captulo 1. Preliminares
Demonstrao. Se g G, ento P g K g = K, pois K E G. Como P g p-subgrupo de
Sylow de K, ento existe um k K com kP k 1 = gP g 1 , ou seja, P = k 1 gP (k 1 g)1 .
Temos ento que k 1 g NG (P ). Como g = k.(k 1 g), conclumos que G = KNG (P ). 

1.2

Os -subgrupos de Hall

Definio 1.5. Seja G um grupo finito e um conjunto de nmeros primos. Um

-subgrupo de Hall de G um subgrupo o qual tem a ordem e o ndice em G relativamente primos, ou seja, (|H|, [G : H]) = 1.
Algumas vezes conveniente mostrar os divisores primos da ordem de um grupo. Se
um conjunto de primos, chamaremos de -nmero um inteiro n o qual todos os fatores
0
primos pertencem a ; o complementar de denotado por e de maneira anloga
0
definiremos um -nmero. Por exemplo, se = {2, 5, 7, 11}, teremos que os nmeros
10 = 2.5; 275 = 52 .11; 70 = 2.5.7 so exemplos de -nmero enquanto 39 = 3.13; 9 = 32 ;
0
323 = 17.19 so exemplos de -nmero. Note que 6 = 2.3; 38 = 2.19; 45 = 32 .5 no so
0
-nmero e nem -nmero.
Definio 1.6. Seja G um grupo e um conjunto de nmeros primos. Dizemos que G
um -grupo se a ordem de cada um de seus elementos for um -nmero. Analogamente
0
0
definimos um -grupo, ou seja, se a ordem de cada elemento um -nmero.
Definio 1.7. Seja G um grupo e H G. Um subgrupo K de G chamado de um
complemento de H em G se
G = HK e H K = 1
Teorema 1.8 (Schur, Zassenhaus). Seja G um grupo. Ento um subgrupo de Hall
normal K em G tem um complemento (e ento G um produto semi-direto de K por
G/K).
Demonstrao. A demonstrao desse Teorema pode ser encontrada em [[8], p. 253]
0

Teorema 1.9. Seja G um -grupo e A um -grupo de automorfismos de G e suponha

que G ou A solvel. Ento para cada primo p em , temos:
(i) A deixa invariante algum p-subgrupo de Sylow de G.
3

Captulo 1. Preliminares

(ii) Quaisquer dois p-subgrupo de Sylow invariante por A em G so conjugados por um

elemento do CG (A).
(iii) Qualquer p-subgrupo invariante por A em G est contido em um p-subgrupo de Sylow
invariante por A em G.
(iv) Se H um subgrupo normal invariante por A arbitrario em G, ento CG/H (A) a
imagem do CG (A) em G/H.
Demonstrao. Seja G o produto semi-direto de G por A, ento G um -subgrupo
0
normal de G , A um -subgrupo de G e A isomorfo a G /G. Ento G ou G /G
0
solvel. Portanto, pelo Teorema de Schur-Zassenhaus, qualquer outro -subgrupo de G
um conjugado de A. Como G = GA, podemos assumir que esses elementos conjugadores
esto em G.
Agora seja P um p-subgrupo de Sylow de G e seja N = NG (P ). Ento pelo Argumento de Frattini, G = GN . Logo temos que G /G = GN/G ' N/N G, logo esse
quociente tambm isomorfo a A. Como G N um -subgrupo normal de N , usando o
0
item (i) do Teorema de Schur-Zassenhaus teremos que N possui um -subgrupo B. Mas
0
ento B um -subgrupo de G e ento B x = A, para algum x em G. Portanto B deixa
P invariante com B N = NG (P ) e consequentemente A deixa o p-subgrupo de Sylow
P x de G invariante, verificando o item (i).
Suponhamos agora que A deixa dois p-subgrupos de Sylow P e Q de G invariantes
por A. Ento P = Qx , para algum x em G e consequentemente Ax deixa Qx = P
invariante. Como A tambm deixa P invariante, temos que A e Ax ambos esto em
0
N = NG (P ) e cada um um -subgrupo de N . Como ou G N ou N/G N
solvel segue que (Ax )y = A, para algum elemento y em G N (por uma aplicao do
Teorema de Schur-Zassenhaus). Seja z = xy, ento z G. Agora y normaliza P e
consequentemente Qz = Qxy = P y = P . Ento P e Q so conjugados por z. Por outro
lado, [A, z] G A = 1. Conclumos ento que z CG (A), provando o item (ii).
Agora seja Q um p-subgrupo invariante por A em G e seja P um p-subgrupo invariante
por A em G maximal contendo Q. Ento N = NG (P ) invariante por A e por (i) existem
p-subgrupo de Sylow invariante por A, como por exemplo R de N . Mas P R, portanto
R = P , pois P maximal. Como P < G e NG (P ) P segue que P um p-subgrupo de
Sylow de G. Ento vale o item (iii).
= G/H, C = CG (A) e C = CG (A). Claramente C contm
Finalmente, seja G
4

Captulo 1. Preliminares
Portanto suficiente mostrar que cada primo p em (C)
um
a imagem de C em G.
Seja P um
p-subgrupo de Sylow de C aplica dentro de um p-subgrupo de Sylow de C.
K a imagem inversa de P em G e seja P um p-subgrupo de
p-subgrupo de Sylow de C,
Sylow invariante por A em K. Ento A centraliza P H/H = P . Como P H/H isomorfo
P/P H


1.3

Os Subgrupos Normalizadores, Centralizadores e

os Comutadores

Definio 1.10. Seja X um subconjunto no vazio de G, o fecho normal de X em G

a interseo de todos os subgrupos normais de G que contm X e denotado por X G .
Verifica-se que, X G o menor subgrupo normal de G contendo X e podemos mostrar que
X G = hg 1 Xg | g Gi. Definimos XG , o corao de X em G, como sendo o grupo gerado
pela unio de todos os subgrupos normais de G que esto contidos em X, e convencioT
namos XG = 1 se no existir tais subgrupos. Podemos mostrar que HG = gG H g e
DS
E
g
HG =
H
quando H for um subgrupo de G.
gG
Lema 1.11. Seja G um grupo tal que G = N H, onde N E G e H G e N H = 1.
(a) Se H1 , H2 H e x N tal que H1x H2 , ento H1 H2 e x CN (H1 ).
(b) Para x N, H H x = CH (x) e H H x = [x, H]H.
(c) HG = CH (N ), H G = [N, H]H, H G N = [N, H].
Demonstrao.
(a) Seja a H1 . Ento ax H2 e portanto [a, x] = a1 ax H N = 1 pois N E G.
Segue que x CN (H1 ) e H1 = H1x H2 .
1
(b) Temos que CH (x) = CH (x)x H H x (i). Inversamente, (H H x )x H e
usando o item (a) (sendo H1 = H H x e H2 = H) teremos que x CN (H H x ),
isto , H H x CH (x) (ii). Usando (i) e (ii), temos que CH (x) = H H x . Como
[X, S]X = [X, S] teremos que H normaliza [x, H] ento segue que [x, H]H um subgrupo
de G contendo H. As seguintes identidades [x, a1 ]a = ax e [x, a] = (a1 )x a, mostram
que [x, H]H tambm contm H x e que [x, H] H H x . Ento [x, H]H = H H x
\
\
(c) Agora usando o item (b) e o fato que G = HN temos que HG =
Hx =
Hx =
xG
xN
\
\
\
G
x
CH (x) = CH (N ). Logo HG = CH (N ). H =
H =
[x, H]H = [N, H]H. Por
xN

xG

xN

Captulo 1. Preliminares
Dedeking, H G N = [N, H](H N ) = [N, H].

Para construir o reticulado de subgrupos de um grupo G, necessitamos de algumas

propriedades de grupos com um subgrupo de Hall normal.
Proposio 1.12. Seja G um grupo e N um subgrupo de Hall normal e H um complemento de N em G.
(a) Para todo U G satisfazendo (|U |, |N |) = 1, existe x N tal que U x H.
(b) N = [N, H]CN (H) e [N, H, H] = [N, H].
(c) Se N abeliano, ento N = [N, H] CN (H).
(d) Para todo primo p, existe um p-subgrupo de Sylow invariante por H em N .
Demonstrao.
(a) Como N U = N (N U H), tem-se U e N U H so complementos de N em N U . Pelo
Teorema de Schur-Zassenhaus, existe x N tal que U x = N U H H.
(b) Pelo Lema 1.11, [N, H] um subgrupo de Hall normal em H G = [N, H]H. Para
x N , H e H x so complementos de [N, H] em H G e portanto existe y [N, H] tal que
H x = H y . Ento x1 Hx = y 1 Hy H = xy 1 H(xy 1 )1 , ou seja, xy 1 NN (H).
Logo x = (xy 1 )y NN (H)[N, H] e como x um elemento qualquer de N , temos ento
que N = [N, H]NN (H) = [N, H]CN (H). Alm disso, pelo lema anterior, temos que
[N, H, H]H =

Hx =

H x = [N, H]H

xN

x[N,H]

e portanto [N, H, H] = [N, H].

(c) Usando o item (b), devemos mostrar apenas que [N, H]CN (H) = 1. Para isso estudaY
xh para x N . Se a H e x N ,
remos um endomorfismo de N definido por x =
hH

ento (xa ) =

Y
hH

xah =

xb = x , ou seja, [x, a] = (x1 ) (xa ) = (x )1 x = 1. Como

bH

[N, H] gerado por esses comutadores [x, a] e um homomorfismo, y = 1 para todo

y [N, H]. Ento se x [N, H] CN (H), ento 1 = x = x|H| , mas como (o(x), |H|) = 1,
temos que x = 1. Portanto [N, H] CN (H) = 1.
(d) Seja P Sylp (N ) (o conjunto de todos os p-subgrupos de Sylow de N ). Pelo argumento de Frattini, G = NG (P )N e portanto N NG (P ) um subgrupo de Hall normal em
NG (P ) tendo um complemento K isomorfo H. Pelo item (a), temos que existe x N
tal que K x H e segue que H = K x NG (P )x = NG (P x ). Ento P x um p-subgrupo
de Sylow invariante por H em N .

6

Captulo 1. Preliminares

Teorema 1.13. Seja G um grupo tal que G = H K, onde H, K G.

(a) Para U G e x U KH, defina x = {y K | xy U }. Ento um epimorfismo
de U K H em U H K/U K com ncleo U H.
(b) Reciprocamente, se U1 H e W E U2 K e um epimorfismo de U1 em U2 /W ,
ento
U = D(U1 , ) = {xy | x U1 , y x }
um subgrupo de G com U1 = U K H, U2 = U H K, W = U K e Ker = U H.
(c) Sejam U1 , V1 H e os epimorfismos , como em (b), temos que D(U1 , ) D(V1 , )
se, e somente se U1 V1 e x x para todo x U1 .

G
jj////
j
j
j
////
jjjj
////
jjjj
j
j
j
////
jj
j
j
j
jj
Uj/jH
////
j
j
/
j &&//
j
////
j
j
&&////
jj
j
j
////
j
&& ////
H j///
jojojojo////U K
j
/
j
/
j
o
&& //
//
////
jjj oo
jjjojoooo
&& /////
//
////
j
j
j
//
////
&& ///// jjjjjj oooo
//
////
&j&jjj/j///jj ooooo
// ooo
// jjjj &
////
/
j
&& o/o//o
j
j
U K H /j//j
o
/
j
/
j
o //
jj K
j
j
Uo
//
j
////
jjj
//  
////
jjjj
j

j

j
//  
//// jjjj
 
x ///  jjjjjjjj
UH K
/  jjj
jj j
1 U K

Demonstrao.
(a) Sejam U1 = {x H | xy U, para algum y K} o conjunto das H-componentes de
U. Se x U1 e y K tal que xy U , ento x = (xy)y 1 U K H; reciprocamente,
se x U K H ento x = uk com u U e k K, ou seja, y K, y = k 1 tal
que u = xk 1 U . Logo x U1 . Ento U1 = U K H. Analogamente, provamos
que U H K = U2 : Seja U2 = {y K | xy U , para algum x H} o conjunto das
K-componentes de U. Se y U2 e x H tal que xy U , ento y = (yx)x1 U H K;
reciprocamente, se y U H K ento y = uh com u U e h H, ou seja, x H ,
x = h1 tal que u = yh1 U . Logo y U2 . Portanto, U2 = U H K.
Para x U K H, x = {y K | xy U } um subconjunto no vazio de
U H K = U2 . Alm disso, se y, z x , ento xy e xz so elementos de U e ento
7

Captulo 1. Preliminares
y 1 z = y 1 x1 xz = (xy)1 xz U K. Logo y e z esto em uma mesma classe de U K
e se w um outro elemento da classe y(U K), ento w = yu com u U K, isso
implica que xw = xyu U , isto , w x . Ento mostramos que x U2 /U K. Para
x1 , x2 U1 e yi xi temos x1 x2 y1 y2 = x1 y1 x2 y2 U e portanto y1 y2 (x1 x2 ) . Alm
disso (x1 x2 ) = y1 y2 (U K) = x1 x2 e um epimorfismo. Finalmente, x Ker se, e
somente se, x = U K, isto , 1 x . Segue que x U H.

1
=
(b) Se x1 x2 U1 e yi xi , ento y1 y21 x1 (x2 )1 = (x1 x1
2 ) e portanto (x1 y1 )(x2 y2 )
1
1
x1 x2 y1 y2 U . Portanto U um subgrupo de G e U1 o conjunto das H-componentes.
Ento U1 = U K H e o epimorfismo definido no item (a) e as outras afirmaes de
(b) seguem do item (a).
(c) Se U = D(U1 , ) D(V2 , ) = V , ento U1 = U K H V K H = V1 e x x
para todo x U1 .


1.4

Grupos Caracteristicamente Simples

Definio 1.14. Dizemos que um grupo G caracteristicamente simples se os nicos

subgrupos caractersticos de G so o prprio G e o subgrupo trivial {1}.
Podemos concluir que todo grupo simples caracteristicamente simples, mas nem todo
grupo caracteristicamente simples um grupo simples, como por exemplo, um p-grupo
abeliano elementar de ordem p2 . Veremos que todos os p-grupos abelianos elementares
so, de fato, exemplos de grupos caracteristicamente simples.
Definio 1.15. Seja G um grupo. Um subgrupo H 6= 1 normal em G dito ser um
subgrupo normal minimal se o nico subgrupo normal em G que est contido em H for o
subgrupo trivial {1} ou o prprio H.
Na demonstrao da condio necessria do Teorema 3.2, usaremos subgrupos normais
minimais. Mostraremos mais adiante que tais subgrupos ou so simples ou um produto
direto de grupos simples isomorfos.
Teorema 1.16. Seja G um grupo e N E G minimal. Se N finito e solvel, ento N
um p-grupo abeliano elementar.
Demonstrao.
Seja V um subgrupo normal minimal de G. Temos que se H char
0
V , ento H E G; Como V minimal, H = 1 ou H = V . Em particular, V = 1 ou
8

Captulo 1. Preliminares
0

V = V . Como G solvel, ento V tambm solvel. Logo V = V no pode ocorrer,

0
ou seja, V = 1 e V abeliano. Como V abeliano, um p-subgrupo de Sylow P de
V caracterstico em V , para qualquer primo p. Logo V um p-grupo abeliano. Mas
{x V : xp = 1} char V , ou seja, V abeliano elementar, como queramos demonstrar.


Temos ento que todo subgrupo normal minimal de um grupo solvel finito um
produto direto de grupos simples isomorfos.
Teorema 1.17. Um grupo finito G caracteristicamente simples um grupo simples ou
um produto direto de grupos simples isomorfos.
Demonstrao. Escolha um subgrupo normal minimal H de G de menor ordem possvel entre todos os subgrupos normais no triviais. Escreva H = H1 e considere todos os subgrupos de G na forma H1 H2 ... Hn , onde n 1, Hi / G e Hi ' H.
Seja M um produto direto de um nmero finito de subgrupos isomorfos H1 de maior
ordem possvel. O nosso objetivo verificar que M = G mostrando que M char G,
tendo em vista que G caracteristicamente simples; para garantir isso, suficiente mostrar que (Hi ) M para todo i e para todo automorfismo de G. Sabemos que
(Hi ) ' H = H1 . Mostramos que (Hi ) / G. Se a G ento a = (b) para algum
b G, e a(Hi )a1 = (b)(Hi )(b)1 = (bHi b1 ) (Hi ), pois Hi / G. Se (Hi )  M
ento (Hi ) M  (Hi ) e |(Hi ) M | < |(Hi )| = |H|. Mas (Hi ) M / G e ento a
minimalidade de H garante que (Hi ) M = 1. O subgrupo hM, (Hi )i = M (Hi )
um subgrupo do mesmo tipo de M , mas como M o de maior ordem, temos ento uma
contradio. Conclumos que M char G e ento M = G. Finalmente, mostraremos que
H = H1 simples: Se N um subgrupo normal no trivial de H = H1 , ento N um
subgrupo normal de M = H1 H2 ... Hn = G, e isso contradiz a escolha minimal de
H.

Corolrio 1.18. Seja G um grupo simples. Um subgrupo normal minimal H de G
simples ou um produto direto de grupos simples isomorfos.
Demonstrao. Se N char H, como H / G por hiptese, temos que N / G, ento N = 1
ou N = H (pois H um subgrupo normal minimal de G). Ento H no tem subgrupos
caractersticos prprios. Pelo Teorema acima, H simples ou H um produto direto de
grupos simples isomorfos.


Captulo 1. Preliminares

1.5

Reticulados

Definio 1.19. Um conjunto P chamado parcialmente ordenado com a relao binria

se as seguintes condies so satisfeitas para todo x, y, z P :
(1) x x.
(2) Se x y e y x, ento, x = y.
(3) Se x y e y z, ento x z.
Um elemento x de um conjunto parcialmente ordenado P dito cota inferior de um
subconjunto S de P se x s para todo s S. O elemento x o nfimo de S se x uma
cota inferior de S e x y para qualquer cota inferior y de S. Por (2), tal nfimo de S, se
existir, nico e denotaremos S. Analogamente as definies e observaes aplicam-se
para cotas superiores e supremo e denotaremos o supremo por S.
Definio 1.20. Um reticulado L um conjunto parcialmente ordenado no qual todo
par de elementos tem um supremo e um nfimo.
Se G um grupo, o conjunto L(G) de todos os subgrupos de G um conjunto parcialmente ordenado com respeito incluso. Alm disso qualquer subconjunto de L(G) tem
um nfimo e um supremo em L(G), definidos pela interseo dos dois subgrupos e pelo
subgrupo gerado pela unio, respectivamente.
Definio 1.21. Um subconjunto X de um reticulado chamado de subreticulado se o
nfimo e o supremo que quaisquer elementos de X pertencer a X.
Exemplos:
Para x, y L, os conjuntos S = {x, y, x y, x y} ou,
se x y, o intervalo [y/x] = {z L | x z y}
Definio 1.22. Um reticulado L chamado de modular se para todo x, y, z L vale a
seguinte lei (chamada lei modular):
Se x z, ento x (y z) = (x y) z.
Definio 1.23. Um reticulado L chamado de distributivo se para todo x, y, z L
tivermos as seguintes propriedades:
(1) x (y z) = (x y) (x z),
(2) x (y z) = (x y) (x z)
10

Captulo 1. Preliminares

Quando L = L(G) o reticulado dos subgrupos de um grupo G, estas leis distributivas

so claramente (A, B, C L(G)):
hA, B Ci = hA, Bi hA, Ci
A hB, Ci = hA B, A Ci.
Quando G abeliano, temos:
A(B C) = AB AC e
A BC = (A B)(A C).
Dois exemplos clssicos de reticulados no distributivos so M3 e R5 , chamados de
diamante e pentgono, respectivamente. Esses reticulados so dados no diagrama abaixo:
i
tE
tt EEEE
t
t
EE
tt
EE
tt
t
EE
t
a
EE
EE
EE
EE
yyc
yy
y
y
yy
yy
b JJJJ
y
y
JJ
yy
JJ
JJ yyyy
Jy

iE
yy EEE
y
EE
yy
EE
yy
EE
y
y
EE
y
y
EE
y
y
EE
y
y
EE
y
y
E
y
ayEEE
b
yy c
EE
y
EE
yy
EE
yy
y
EE
y
EE
yy
EE
yy
y
EE
y
EE yyy
y

R5

M3

Teorema 1.24. Um reticulado L distributivo se, e somente se L no contm um subreticulado na forma de diamante ou de um pentgono.
O Teorema acima um corolrio do Teorema a seguir:
Teorema 1.25.
(i) Um reticulado L modular se, e somente se no contm um pentgono.
(ii) Um reticulado L modular distributivo se, e somente se no contm um diamante.
Demonstrao. A demonstrao desse Teorema pode ser encontrada em [[3], p. 59].
O Teorema a seguir caracteriza todos os grupos cujo reticulado de subgrupos distributivo.
Teorema 1.26 (Ore [1938]). Seja G um grupo. Ento o reticulado de subgrupos de G
distributivo se, e somente se, G localmente cclico.
11

Captulo 1. Preliminares

Demonstrao. Suponha primeiro que L(G) distributivo e seja a, b G. Devemos

mostrar que ha, bi cclico. Como hai hbi centralizado por a e b, hai hbi Z(ha, bi).
Tambm, hhabi , haii = ha, bi = hhabi , hbii e sabemos que
habi (hai hbi) = hhabi , hai hbii = hab, ai hab, bi = ha, bi
Ento ha, bi / hai hbi ' habi / habi (hai hbi) cclico e portanto ha, bi abeliano, uma
extenso cclica do subgrupo central. Pela estrutura dos grupos abelianos finitamente
gerados (ver [8], pg.100) existem c, d G tal que ha, bi = hci hdi. Mas mostramos que
hc, di / hci hdi cclico. Como hci hdi = 1, ha, bi = hc, di cclico.
Agora suponha que G localmente cclico e sejam A, B, C L(G). Devemos mostrar que A(B C) = AB AC. Claramente, A(B C) AB AC. Seja x
0
0
AB AC, portanto, x = ab = a c com a, a A, b B e c C. Como G

0

0
localmente cclico, existe g G tal que a, a , b, c = hgi. Ento ab = a c implica que
hgi = (A hgi) (B hgi) = (A hgi) (C hgi). Se um dos trs subgrupos
A hgi , B hgi , C hgi for trivial, ento x = b = c B C ou x A. Em ambos os
casos, x A(B C). Ento suponha que todos esses subgrupos no so triviais e sejam
n, r, s os respectivos ndices de A hgi , B hgi , C hgi em hgi. Ento (n, r) = 1 = (n, s),
portanto, (n, rs) = 1 e alm disso
hgi = hg n i hg rs i = (A hgi) (B C hgi) A(B C)
Temos ento que x A(B C). Portanto AB AC A(A C), como queramos provar.


Definio 1.27. Seja G um grupo. O reticulado de subgrupos L(G) de G chamado

metadistributivo se para todo subgrupo H de G um dos intervalos [G/H] ou [H/1]
distributivo. Chamaremos de MD-grupo, um grupo cujo reticulado metadistributivo.
Lema 1.28. Um grupo finito G um MD-grupo se, e somente se [G/H] distributivo
para todo subgrupo H de G no cclico. Em particular, se G um MD-grupo e N E G,
ento N ou G/N cclico.
fcil ver que subgrupos e quocientes de MD-grupos so MD-grupos.
De posse do Lema 1.28, fcil (e deixaremos para o leitor) classificar todos os
MD-grupos abelianos.
12

Captulo 1. Preliminares

Exemplos:
Um grupo abeliano um MD-grupo, no cclico G = P K, onde K um grupo
cclico e P um p-grupo, para algum primo p, onde |P | p3 ou P tem um subgrupo
cclico de ndice p.
imediato verificar que o grupo alternado A4 um MD-grupo embora o S4 no ,
pois o grupo de Klein um subgrupo normal no cclico de S4 com quociente no cclico.
O Teorema 1.26 nos mostra como deve ser um grupo para que o seu reticulado de
subgrupos seja distributivo. No Captulo 3, caracterizaremos todos os grupos finitos cujo
reticulado de subgrupos metadistributivo. Para isso, usaremos tambm os resultados a
seguir:
Teorema 1.29. Seja G um grupo tal que G = Dr G , onde , tal que os grupos G
tem ordem co-primas, ento L(G) = Dr L(G ); De fato, a aplicao : L(G) Dr L(G)
definida por H () = H G para e H G um isomorfismo.
Demonstrao.
37.

A demonstrao dessa Proposio pode ser encontrada em [5], pgina

Proposio 1.30. Seja G = N K onde N um subgrupo de Hall normal de G com

complemento K; seja H K e L = [[N, H]/1]H o reticulado dos subgrupos H-invariantes
de [N, H]. Suponha que N e K so abelianos e que todo X L normal em G. Ento
[G/H] w L [CG (H)/H].

13

Captulo 2
Os Grupos Lineares
Lembramos que todos os corpos finitos de cardinalidade iguais so isomorfos e que sua
ordem q uma potncia prima, ou seja, q = pn .

2.1

Grupo Linear Geral

Definio 2.1. Para qualquer inteiro positivo k e qualquer primo p, seja F o corpo finito
de ordem q = pk . Para qualquer inteiro positivo n, o Grupo Linear Geral, GL(n,q) o
conjunto de todas as matrizes n n inversveis sobre F .
Proposio 2.2. A ordem do grupo GL(n, q)
(q n 1)(q n q)...(q n q n1 ).
Definio 2.3. O Grupo Linear Especial SL(n, q) o subgrupo de GL(n, q) consistindo
de todas as matrizes cujo determinante igual a 1.
Observao: O grupo multiplicativo dos elementos no nulos ser denotado por
GF (q) . Temos tambm que SL(n, q) o ncleo do homomorfismo GL(n, q) GF (q)
definido por A 7 det(A). Como existem q 1 possveis determinantes no nulos, o
Teorema do Homomorfismo garante que o ndice de SL(n, q) em GL(n, q) q 1 e que
SL(n, q) um subgrupo normal com o quociente GL(n, q)/SL(n, q) isomorfo ao grupo
multiplicativo GF (q) .
14

Captulo 2. Os Grupos Lineares

Definio 2.4. Para qualquer inteiro positivo n, as matrizes escalares n n sobre GF(q)
so aquelas matrizes em GL(n, q) as quais so da forma In para algum GF (q) ,
onde In a matriz identidade de ordem n n. Teremos In SL(n, q) n = 1
Observao: As matrizes escalares so o centro de GL(n, q). Logo, o subgrupo consistindo de todas essas matrizes um subgrupo normal de qualquer subgrupo de GL(n, q).
Definio 2.5. O Grupo Linear Especial Projetivo P SL(n, q) o grupo quociente
SL(n, q)/Z, onde Z o subgrupo das matrizes escalares de SL(n, q).
Observao: Se In tem determinante igual a 1, ento n = 1, ou seja, o nmero de
elementos em Z o mximo divisor comum entre n e q 1, que chamaremos de d. Logo
a ordem do P SL(n, q) :
(q n 1)(q n q)(q n q 2 )...(q n q n1 )/(q 1)d
Proposio 2.6. O grupo P SL(2, 5) um grupo simples no abeliano .
Demonstrao. fcil ver que P SL(2, 5) um grupo no abeliano:
1 1
0 1

!
Z

0 1
4 4

4 0
4 4

Z=

!
Z 6=

0 1
4 4

!
Z

1 1
0 1

!
Z=

0 1
4 3

!
Z

Mostraremos que os nicos subgrupos normais de G = SL(2, 5) so: Ele mesmo, {I, I}
e {I}. Segue ento pelo Teorema da Correspondncia que o grupo quociente P SL(2, 5)
um subgrupo simples no abeliano.
O primeiro passo determinar as classes de conjugao de G. Os elementos I e I
so ambos centrais, e ento cada uma forma sua prpria classe de conjugao.
!
0 4
Agora calcularemos as classes de conjugao do elemento T =
de ordem 4,
1 0
determinando o centralizador de T . Isso consiste determinar aquelas matrizes
a b
c d

em G tal que
0 4
1 0

a b
c d

!
=
15

a b
c d

0 4
1 0

Captulo 2. Os Grupos Lineares

Isso implica as seguintes equaes

4c = b; a = d; 4d = 4a e b = 4c.
!
a 4c
Ento o centralizador de T consiste das matrizes na forma
com a2 + c2 = 1.
c a
Como 0, 1 e 4 so os nicos quadrados em Z5 , podemos facilmente ver que existem 4
elementos no centralizador de T (sendo eles: I, T, T 2 e T 3 ). Ento T possui 120/4 = 30
conjugados.
!
0 1
Analogamente, podemos mostrar que o centralizador em G de S =
de ordem
4 4
3 consiste de 6 matrizes {I, S, S 2 , I, S, S 2 }. Segue que S tem 20 conjugados em G.
Podemos ver que o centralizador de S idntico ao centralizador de S. Como S no
est na classe de conjugao de S (as matrizes S e S tm ordens diferentes), S tambm
tm 20 conjugados.
!
1 1
Consideraremos em seguida as classe de conjugao de R =
de ordem 5.
0 1
!
a b
Um elemento no centralizador de R da forma
, onde
c d
1 1
0 1

a b
c d

!
=

a b
c d

1 1
0 1

!
.

As equaes so as seguintes:
a + c = a; c = c; b + d = a + b e d = c + d.
!
a b
Ento as matrizes que comutaro com R so da forma
. Se essa matriz tiver
0 a
determinante 1, veremos que a 1 ou 4. Como b pode ser qualquer elemento de Z5 , o
centralizador de R tm 10 elementos, e ento R tm 12 conjugados. Podemos verificar
que R2 no um conjugado de R, mas que R2 tem o mesmo centralizador do R. Ento
R2 tambm tem 12 conjugados. Analogamente, a matriz R, de ordem 10, tem o mesmo
centralizador, e R2 ter o mesmo centralizador, logo tm tambm 12 conjugados.
Portanto encontramos as seguintes classes de conjugao em G:
C1 = {I};
16

Captulo 2. Os Grupos Lineares

C2 = {I};
0 4
1 0

C3 = {30 conjugados do elemento T =

de ordem 4};
!
0 1
C4 = {20 conjugados de S =
de ordem 3};
4 4
C5 = {20 conjugados de S de ordem
! 6};
1 1
C6 = {12 conjugados de R =
de ordem 4};
0 1
C7 = {12 quadrados dos elementos em C6 };
C8 = {12 elementos de ordem 10 da forma R2 para R C6 } ;
C9 = {12 elementos de ordem 10, da forma R2 para R C6 }.

Como essas classes contm 120 matrizes, ento elas devem completar a lista de classes
de conjugao de G.
Provaremos a seguir que G simples: Seja N um subgrupo normal de G o qual contm
{I, I}, e suponha que N 6= {I, I}. Suponha que N contm um elemento de ordem
5. Como N uma unio de classes de conjugao e contm I e N fechado para
a multiplicao, esse subgrupo contm C6 , C7 , C8 e C9 . Ento N contm no mnimo
2 + 4(12) = 50 elementos. Como no existe classes de conjugados com 10 elementos, e
o nmero de elementos no subgrupo de G divide 120, a nica possibilidade para N ser
igual a G.
Podemos portanto supor que N nesse caso no tem elementos de ordem 5 e ento |N |
divide 24. Como N contm I e I e a unio classe de conjugao, vemos que a nica
possibilidade N ser igual {I, I}. Mostramos que o nico subgrupo normal de G
contendo Z = {I, I} so Z e G, ento o grupo quociente G/Z simples.

Proposio 2.7. Seja G um grupo simples de ordem 60. Ento G isomorfo ao grupo
alternado A5
Demonstrao.
Afirmao: Existe um subgrupo de ndice 5, que o normalizador de um 2-subgrupo de
Sylow.
De fato, suponha que no existe tal subgrupo. Sabemos que no existe um subgrupo de
ndice 3. Logo, se no existe um subgurpo de ndice 5, um 2-subgrupo de Sylow maximal
e auto-normalizante. Sendo assim, a interseo de cada dois dos 2-subgrupos de Sylow
17

Captulo 2. Os Grupos Lineares

trivial e teremos 15 2-subgrupos de Sylow. Logo, teremos 15 3 = 45 elementos de ordem

2 ou 4, mas temos exatamente 6 5-subgrupos de Sylow, ou seja, 6 4 = 24 elementos
de ordem 5 no grupo, totalizando, a principio, 45 + 24 = 69 elementos em um grupo de
ordem 60, uma contradio. Logo, existe um subgrupo de ndice 5 em G.
Provaremos agora que G ' A5 .
Seja H um 2-subgrupo de Sylow e seja
C = {conjugados de H}; logo |C| = 5 = [G : NG (H)]. Considere a representao por
conjugao dada por:
I : G P(C)
g 7 Ig
:

C
1
gi Hgi
7 ggi Hgi1 g 1

O subgrupo kerI um subgrupo normal diferente de G, pois kerI NG (H) $ G;

portanto, como G um grupo simples, segue que kerI = {e}. Assim I(G) um subgrupo
de S5 de ordem 60, logo I(G) = A5 , pois o nico subgrupo de S5 de ordem 60 o A5 .
Logo G ' A5

Corolrio 2.8. Os grupos P SL(2, 4) e P SL(2, 5) so isomorfos ao grupo alternado A5 .
Definio 2.9. Um elemento de GL(n, q) uma Transveco se da forma
Bi,j () = In + Ei,j (), onde Ei,j uma matriz elementar (uma matriz com uma entrada
no nula igual a na posio (i,j), com 16= j). Quaisquer transveces tm determinante
1 e ento est em SL(n, q).
Um fato muito importante nesse tipo especial de matriz que, para qualquer matriz
A, o produto Bi,j ()A a matriz obtida de A somando vezes a j-sima linha de A com
a sua i-sima linha. Veja o exemplo:

1 2 3
1 0 0
1 2 3
1 2 3

SeA = 1 0 1 ento B2,3 (2)A = 0 1 2 1 0 1 = 5 2 1

2 1 0
0 0 1
2 1 0
2 1 0
Proposio 2.10. Todo elemento A de GL(2, q) pode ser escrito como o produto T D
onde T um produto de transveces e D a matriz
1
0
0 det(A)
18

Captulo 2. Os Grupos Lineares

Em particular, cada elemento de SL(2, q) um produto de transveces.

Teorema 2.11. O grupo P SL(2, q) simples se q > 3.
Demonstrao. suficiente mostrar que o nico subgrupo normal de SL(2, q) o qual
contm uma matriz que no escalar a prpria SL(2, q). Portanto, seja N um subgrupo
normal de SL(2, q) o qual contm um elemento A que no uma matriz escalar. O
primeiro objetivo mostrar que impossvel Av ser um mltiplo de v. Sendo assim, seja
A=

a b
c d

1
0

e e1 =

0
1

, e2 =

!
e e3 =

1
1

!
.

Ento se Ae2 = e1 , veremos que c = 0, se Ae2 = e2 ento b = 0 e finalmente se

Ae3 = ve3 , segue que a = d, ou seja, A uma matriz escalar, contrariando a hiptese.
Isso implica que existe um vetor coluna v tal que Av = w no um mltiplo de v. Mas
o fato citado antes nessa demonstrao, escrevendo T a matriz cujas colunas so v e w,
devemos verificar que T tem determinante no nulo. Isso implica que podemos encontrar
solues a, b para a equao matricial:
T

a
b

r
s

r
s

, onde Aw =

Logo
a
b
Como
T

0
1

!
= T 1 Aw,

!
= w = Av e T

a
b

!
= Aw

Mostramos que
AT = T B, onde B =

0 a
1 b

!
.

Segue que B = T 1 AT . Alm disso, como A tem determinante 1 ento B tambm tem
determinante 1, portanto a = 1. Se det(T ) 6= 1, podemos representar N por T 1 N T e
SL(2, q) por T 1 SL(2, Q)T = SL(2, q) obtendo um subgrupo normal de SL(2, q) o qual
contm a matriz B, onde
!
0 1
B = T 1 AT =
.
1 b
19

Captulo 2. Os Grupos Lineares

Ento obtemos outro elemento de N como o produto (C 1 B 1 C)B, onde C uma
matriz diagonal com entradas c e c1 e c um elemento no nulo de GF(q). De fato:
c 0
0 c1

!1

0 1
1 b

!1

c 0
0 c1

0 1
1 b

!
=

c2
0 c2

onde = b(c2 1). Obtemos um novo elemento de N para cada escolha de do produto
1
0 1

!1

c2
0 c2

!1

1
0 1

c2
0 c2

!
=

1 (1 c4 )
0
1

!
.

Segue que se existe um elemento c !

de GF(q) com c4 6= 1, ento podemos garantir que
1
toda transveco na forma
est no subgrupo N , para uma escolha adequada
0 1
de c e . Uma vez que sabemos disso, observe que
0 1
1 0

!1

1
0 1

0 1
1 0

!
=

1 0
1

e ento toda transveco est em N , isto , N = SL(2, q) pela proposio 2.10

Temos que, o nico q maior que 3 tal que todo elemento no corpo com q elementos
que satisfaz c4 = 1 q = 5. Nesse caso o grupo tambm simples pela proposio 2.6.
Isso completa a demonstrao.

Observao: O grupo linear P SL(2, 3) ' A4 no simples, pois tem um subgrupo
normal no trivial, que o grupo de Klein.
O Teorema a seguir caracteriza todos os subgrupos dos grupos lineares P SL(2, pf ).
Teorema 2.12 (Dickson). Os subgrupos de P SL(2, pf ) so da seguinte forma:
(1) p-grupos abelianos elementares.
f
(2) Grupos cclicos de ordem z com z | p k1 onde k = mdc(pf 1, 2).
(3) Grupos dihedrais de ordem 2z, onde z o mesmo do item (2).
(4) Grupo alternado A4 se p > 2 ou p = 2 e f 0 (mod 2).
(5) Grupo simtrico S4 se p2f 1 0 (mod 16).
(6) Grupo alternado A5 se p = 5 ou p2f 1 0 (mod 5).
(7) Produto semi-direto dos p-grupos abelianos elementares de ordem pm com os grupos
de ordem t, onde t | pm 1 e t | pf 1.
20

Captulo 2. Os Grupos Lineares

(8) Grupos P SL(2, pm ) onde m | f e P GL(2, pm ) onde 2m | f .
Podemos ento, com o Teorema acima, ver quais so todos os subgrupos do P SL(2, 4)
e do P SL(2, 8).
Vejamos ento quais so os subgrupos do P SL(2, 8), o qual tem ordem 504 = 23 32 7:
(1) Os 2-subgrupos de Sylow so abelianos elementares.
(2) Temos que: k = mdc(8 1, 2) = 1, logo z | 8 1,
z | 7 z = 7 ou
z|9z=3ez=9
Logo, os 3-subgrupos de Sylow so cclicos.
(3) Grupos dihedrais de ordem 6, 14 e 18.
(4) No se enquadra em nosso caso, pois f 1 (mod 2).
(5) No se enquadra em nosso caso, pois
(pf )2 = (23 )2 = 64 e 64 1 = 63 15 (mod 16).
(6) No se enquadra em nosso caso, pois
p2f 1 = 64 1 = 63 3 (mod 5).
(7) Teremos apenas o caso em que m = f = 3, pois
m = 1, ento t = 1
m = 2, ento t | 4 1 e t | 8 1 t = 1.
Logo, teremos o produto semi-direto dos 2-grupos abelianos elementares de ordem 23 com
os grupos de ordem 28 1 = 7. (8)No se enquadra em nosso caso, pois f = 3.
Portanto, os subgrupos do P SL(2, 8) so: Os 2-subgrupos de Sylow (que so abelianos
elementares) e os seus subgrupos de ordem 4 e 2; os 3-subgrupos de Sylow (que so cclicos)
e os seus subgrupos de ordem 3; os 7-subgrupos de Sylow; grupos dihedrais de ordem 6,
14 e 18; o produto direto dos 2-subgrupos de Sylow com os 7-subgrupos de Sylow.
Vejamos ento quais so os subgrupos do P SL(2, 4), o qual tem ordem 60 = 22 3 5 :
(1) Os 2-subgrupos de Sylow so abelianos elementares.
21

Captulo 2. Os Grupos Lineares

(2) Temos que: k = mdc(4 1, 2) = 1, logo z | 4 1,

z | 5 z = 5 ou
z|3z=3
Logo, os 3-subgrupos de Sylow e os 5-subgrupos de Sylow so cclicos (como j era esperado, pois os mesmos tem ordem prima).
(3) Grupos dihedrais de ordem 6, e 10.
(4) O grupo alternado A4 , pois f = 2 0 (mod 2).
(5) No se enquadra em nosso caso, pois
(pf )2 = (22 )2 = 16 e 16 1 = 15 15 (mod 16).
(6) O grupo A5 ' P SL(2, 4).
(7) Teremos apenas o caso em que m = f = 2, pois
m = 1, ento t = 1.
Logo, teremos o produto semi-direto dos 2-grupos abelianos elementares de ordem 22 com
os grupos de ordem 22 1 = 3.
(8) No se enquadra em nosso caso, pois f = 2.
Portanto, os subgrupos do P SL(2, 4) so: Os 2-subgrupos de Sylow (que so abelianos
elementares) e os seus subgrupos de ordem 2; os 3-subgrupos de Sylow (que so cclicos);
os 5-subgrupos de Sylow; grupos dihedrais de ordem 6 e 10 e o grupo alternado A4 .

22

Captulo 3
Grupos Finitos com Reticulados
Metadistributivos
3.1

MD-grupos Solveis

O resultado principal desse trabalho baseado num artigo de R. Schmidt (ver [11]), o
qual caracteriza todos os grupos finitos cujo reticulado de subgrupos metadistributivo.
Faremos tal caracterizao nos dois Teoremas a seguir. No primeiro analisaremos os casos
onde G um MD-grupo solvel e no segundo, os casos onde G no solvel.
Dizemos que um grupo H opera elemento a elemento irredutivelmente sobre um grupo
N se H opera no trivialmente sobre N e N irredutvel sob hxi, para todo x H\CH (N ).
Teorema 3.1. Seja G um grupo finito. Ento G um MD-grupo solvel se, e somente
se:
(1) G tem um subgrupo normal cclico N de ndice primo, ou
(2) G tem um subgrupo normal N de ordem prima com grupo quociente cclico, ou
(3) G = N K, onde N E G, (|N |, |K|) = 1, N e K so cclicos e K/CK (N ) opera livre
de pontos fixos sobre N , ou
0
G = P K onde P um p-subgrupo de Sylow normal, no cclico de G e K um p -grupo
cclico para algum primo p e uma das seguintes propriedades (4)-(9) satisfeita:
(4) G = P K, |P | = p3 , exp P = p,
(5) |P | = p2 e K/CK (P ) opera livre de ponto fixo sobre P ,
(6) |P | = p3 e K opera elemento a elemento irredutivelmente sobre P ,
23

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

(7) P = N CP (K) onde |N | = p2 , |CP (K)| = p e K opera elemento a elemento irredutivelmente sobre N ,
(8) P no abeliano de ordem p3 e expoente p e K opera elemento a elemento irredutivelmente sobre P/(P ).
(9) P o grupo dos quatrnios de ordem 8 e [P, K] 6= 1.
O segundo Teorema determina os MD-grupos finitos no solveis e mostra, em particular, que h exatamente dois grupos simples tendo desta propriedade (veja no item (10)
e (12), quando K = 1).

3.2

MD-grupos no Solveis

Teorema 3.2. Seja G um grupo finito. Ento G um MD-grupo no solvel se, e somente
se, tem uma das seguintes propriedades:
0
(10) G ' P SL(2, 4) K onde K um {2, 3} -grupo cclico,
0
(11) G ' SL(2, 5) K onde K um {2, 3} -grupo cclico,
0
(12) G ' P SL(2, 8) K onde K um {2, 3, 7} -grupo cclico
Comearemos a prova do Teorema 3.1 com duas observaes gerais. Pelo Teorema de
Ore (Teorema 1.26), um grupo finito tem seu reticulado de subgrupos distributivo se, e
somente se, cclico (pois estamos considerando apenas grupos finitos). Ento obtemos
os seguintes fatos:
Lema 3.3. Seja G um grupo finito tal que G = H K, onde H um MD-grupo e K
um grupo cclico tal que (|H|, |K|) = 1. Ento G um MD-grupo.
Demonstrao. Por Lema 1.29, L(G) ' L(H) L(K) e X = (X H) (X K) para
todo X G. Se X H cclico, ento X tambm cclico, pois X = (X H) (X K).
Se X H no cclico, ento [H/X H] distributivo (pelo Lema 1.28) e segue tambm
que [G/X] ' [H/H X] [K/K X] distributivo.

Antes do prximo Lema, vamos definir o que um tomo:
Definio 3.4. Seja G um grupo. Um subgrupo H de G chamado de tomo se 1 < H
e no existir um subgrupo X de G tal que 1 < X < H

24

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

Lema 3.5. Seja G um grupo tal que G = P K onde P um p-subgrupo de Sylow normal
0
de G e K um p -grupo cclico, p um primo. Seja P1 um subgrupo maximal de P e
H = P1 K1 com K1 NK (P1 ).
(a) [G/H] distributivo se e somente se [NG (P1 )/H] distributivo.
(b) Se K1 no centraliza P/P1 , ento [G/H] distributivo.
Demonstrao.
(a) Se H X G temos ento que X NG (P1 ) ou P X. De fato, se
X 6 NG (P1 ) ento x X\NG (P1 ) tal que P1x 6= P1 , da P1 P1x = P . Como P1 X
e x X temos P1 P1x X, ou seja, P X. Ento [G/H] a unio dos dois intervalos
L1 := [NG (P1 )/H] e L2 := [G/P K1 ]. Como [G/P ] cclico (pois G/P ' K) segue que
L2 distributivo. Devemos mostrar que, se L1 distributivo, ento [G/H] tambm
distributivo. Para isso suficiente mostrar que [G/H] no contm um subreticulado na
forma de diamante ou pentgono (ver Teorema 1.12). Se [G/H] contiver um subreticulado
na forma de diamante, dois dos seus 3 tomos estaro no mesmo intervalo Li e ento o
diamante inteiro um subreticulado do Li , uma contradio, pois L1 e L2 so reticulados distributivos. Analogamente, se [G/H] contiver um pentgono como subreticulado,
os dois tomos devero estar em Li0 s diferentes. Ento, um deles est contido em L2 ,
portanto normal em G. Portanto G distributivo.
(b) Seja NG (P1 ) = P K0 com K0 K. Ento, por 1.30 aplicado em NG (P1 )/P1 implica
que [NG (P1 )/H] ' L [K0 /K1 ] onde L a cadeia de comprimento 1. Por (a), [G/H]
distributivo.

Lema 3.6. Seja G um p-grupo finito. Ento G um MD-grupo se, e somente se |G| p3
ou G tem um subgrupo cclico (normal) de ndice p.
Demonstrao. Suponha primeiro que |G| p3 . Seja H G. Se |H| = p, nada temos a
fazer. Se |H| = p2 , temos que H E G e |G/H| = p, ou seja, o quociente cclico. Agora
suponhamos que N um subgrupo cclico de ndice p em G. Ento para todo subgrupo
H G, como N maximal em G, e como N N H G, logo H N , ou seja, cclico
ou G = HN , e [G/H] ' [N/N H]. Ento H cclico ou [G/H] distributivo e G um
MD-grupo. Logo, verificamos a condio suficiente do Lema.
Mostraremos agora a condio necessria do nosso Lema. Seja G um contra exemplo
de ordem mnima. Segue que G no cclico e como |G| p4 temos que G no abeliano
elementar. Portanto (G) 6= 1 e G/(G) no cclico. Pelo Lema 1.28, (G) cclico.
Seja N o subgrupo de ordem p de (G).
25

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

Suponhamos primeiro que G/N no tem um subgrupo cclico de ndice p. Ento a minimalidade de G garante que |G/N | p3 . Ento |G| = p4 e G/N tem expoente p, pois ele
no possui subgrupo cclico de ordem p2 . Se G/N abeliano, ento G no pode ser o grupo
dos quatrnios generalizado e da existe um subgrupo H 6= N de G tal que |H| = p. Segue
que N H e G/N H so abelianos elementares de ordem p2 , uma contradio. Temos que
N (G), mas sabemos que G/(G) abeliano elementar, ou seja, |G/(G)| < |G/N |.
Sendo assim, N < (G) e p > 2. Ento (G) cclico de ordem p2 e todo subgrupo
maximal M de G satisfaz N < (M ) E G. Como exp G/N = p, temos que (M ) e
G/(M ) ambos so abelianos elementares de ordem p2 , a mesma contradio de antes.
Segue que G/N tem um subgrupo cclico M/N de ndice p. Como G um contra exemplo
mnimo, M no cclico; portanto |M/(M )| = p2 . Como M/N cclico, N  (M );
Como M E G, podemos usar [[4], p. 269] e ver que (M ) (G) e como N o nico
subgrupo minimal de (G), e segue que (M ) = 1. Portanto, |G| = p3 , uma contradio
novamente.

Com esse Lema, conseguimos classificar os grupos nilpotentes no abelianos que so
MD-grupos:
Um MD-grupo G nilpotente no abeliano G = P K, onde K um grupo cclico
e P um p-grupo, para algum primo p, onde |P | p3 ou P tem um subgrupo normal
cclico de ndice p.
A classificao desses p-grupos pode ser encontrada em [4], na pgina 90 e 91.
Lema 3.7. Seja G um MD-grupo solvel finito e Q um q-subgrupo de Sylow no cclico
de G, onde q um primo. Ento ou Q E G ou G tem um q-complemento normal.
Demonstrao. Seja G um contra exemplo de ordem mnima e F o subgrupo de Fitting
de G. Vamos fazer a demonstrao em partes: A primeira verificar que o subgrupo de
Fitting F cclico; a segunda verificar que F no um q-subgrupo de G; e a terceira
e ltima finalizar a demonstrao, verificando que no existe esse contra exemplo de
ordem mnima.
Parte I: Suponha que F no cclico. Sendo assim, G contem um p-subgrupo normal
no cclico P . Pelo Lema 1.28, G/P cclico. Suponha por absurdo que p 6= q, logo
teremos que G/P ' H G e segue que Q H, uma contradio, pois Q no cclico.
Portanto p = q e P Q. Teremos ento que Q E G (pois G/P cclico) uma contradio.
Ento F cclico.
26

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

Parte II: Como G solvel, CG (F ) F (mais precisamente, CG (F ) = Z(F ) = F , pois

F cclico) [[8], pg. 149] e portanto G/F abeliano. Ento, se F for um q-subgrupo,
teremos que F Q e Q E G, uma contradio. Portanto existe um N E G tal que |N |
um nmero primo p 6= q.
Parte III: Como G um contra exemplo de ordem mnima, G/N no tem um
q-complemento normal e portanto Q ' QN/N E G/N pela minimalidade de G. Seja
T /N = (QN/N ) e C = CQN (N ). Como G/T no cclico, T cclico e ento T C.
Como Q no normal em G, Q no centraliza N e portanto |QN : C| = q. Mas pelo
Teorema de Maschke (ver [[4], p. 123]) existe D E G tal que QN/T = C/T D/T .
0
Ento, D  CG (N ) e portanto G/D cclico. Ento G CG (N ) D = T . Segue que um
q 0 -subgrupo de Hall K/N de G/N centraliza Q/T e portanto Q/N , que
G/N = Q/N K/N . Mas ento K um q-complemento normal de G, uma contradio. Portanto, Q E G ou G tem um q-complemento normal.

Agora mostraremos a condio necessria do Teorema 3.1, ou seja, que todos os grupos
(1)-(9) so, de fato, MD-grupos.

3.3

Prova do Teorema 3.2 (MD-grupos Solveis)

Se G satisfaz (1) (G tem um subgrupo normal cclico N de ndice primo), ento

para todo subgrupo H G, como N maximal em G, teremos que N N H G, logo
H N , ou seja, cclico ou G = HN , e [G/H] ' [N/N H]. Ento H cclico ou [G/H]
distributivo e G um MD-grupo.
Se G satisfaz (2) (G tem um subgrupo normal N de ordem prima com grupo quociente cclico), seja H G, ento H N = 1 ou N H. De fato, se N H 6= 1, como
N H N = N H = N , pois N tem ordem prima. No primeiro caso, H ' HN/N
cclico. No outro caso, H E G e G/H cclico. Segue que G um MD-grupo.
Se G satisfaz (3) (G = N K, onde N E G, (|N |, |K|) = 1, N e K so cclicos e
K/CK (N ) opera livre de pontos fixos sobre N ), seja H G, H no cclico. Temos que
H um conjugado de um subgrupo na forma N1 K1 , onde N1 N e K1 K. Como H
no cclico, [N1 , K1 ] 6= 1. Por hiptese temos que K/CK (N ) opera livre de ponto fixo
sobre N , logo CN (K1 ) = 1. Ento, pelo lema 1.30, (onde substitumos H = K1 ; vemos
que L = [[N, K1 ]/1] = L(N ), pois [N, K1 ] = N , pelo fato de CN (K1 ) = 1; CG (K1 ) = K)
27

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

temos que [G/K1 ] ' L(N ) [K/K1 ] distributivo. Como K1 H, temos que [G/H]
distributivo (pois [G/H] [G/K1 ]). Portanto G um MD-grupo.
Se G satisfaz (4) (G = P K, |P | = p3 , exp P = p), temos que P um MD-grupo
(Lema 3.6) e pelo Lema 3.3, G tambm um MD-grupo.
Agora suponha que G = P K satisfaz um dos itens (5)-(9). Seja H um subgrupo
qualquer de G. Se H K, temos que H cclico, e nada temos a fazer. Se P H,
teremos que H subgrupo normal de G, pois G/P abeliano (cclico) e G/H cclico e
nada temos a fazer.
Se H um subgrupo no cclico de G tal que P  H. Podemos assumir H = P1 K1
onde P1 = P H P e K1 K, com P1 6= 1.
G
jj77777
j
j
j
777
j
jjjj
7777
j
j
j
jjj
7777
j
j
j
7
K 7
7777
77
7777
77
7777
77
7777
77
7777
77
H
7777
7
7
77
j

7777
jjj 77777
j
j
7
j
j
777
7777
K1777
7
777
7777
77
7
777
7777
77
7777
77
77
7777
jjj P
77
7777 jjjjjj
77
jjj
7jjjjjjjP
1

Observe que P1 E H, logo temos H/P1 = H/P H ' HP/P , ou seja H/P1 ' HP/P
que cclico.
Podemos supor, a partir de agora que, 1 < P1 < P .
Se G satisfaz (5) (|P | = p2 e K/CK (P ) opera livre de ponto fixo sobre P ), seja
H = P1 K1 um subgrupo como acima, segue que |P1 | = p e K1 no centraliza P1 . Como
K/CK (P ) livre de pontos fixos em P temos que CP (K1 ) = 1. Vamos mostrar com isso
que [P, K1 ] = P . De fato, como P E G temos que p1 k1 1 pk1 P , logo [P, K1 ] P .
Pela Proposio 1.12, como P abeliano, temos que P = [P, K1 ] CP (K1 ) e como o
CP (K1 ) = 1, temos que [P, K1 ] = P . Pelo item (b) do Lema 3.5, [G/H] distributivo.
Se G satisfaz (6) (|P | = p3 e K opera elemento a elemento irredutivelmente sobre
P , seja H G.
Caso 1: Se H P , devemos analisar apenas o caso em que |H| = p2 . Verificaremos que
28

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

[G/H] distributivo. Temos que [G/P ] distributivo e como H um subgrupo maximal

de P , temos que [G/H] = [G/P ] H. Verificaremos que [G/H] distributivo: Sejam
X, Y [G/P ]. Temos que
hX, Y i H = H e h(X H), (Y H)i = H
h(X Y ), Hi = X Y e hX, Hi hY, Hi = X Y
h(X H), Y i = hH, Y i = Y e hX, Y i hH, Y i = hX, Y i Y = Y
hX, Hi Y = X Y e h(X Y ), (H Y )i = h(X Y ), Hi = X Y
Portanto, [G/H] distributivo.
Caso 2: Seja H = P1 K1 , com K1 K, K1 6= 1. 2.1: Suponha que |P1 | = p, teremos
que P1 comuta com K1 pois K opera elemento a elemento irredutivelmente sobre P e
como tem ordens co-primas, temos que H cclico. 2.2: Suponha |P1 | = p2 . Temos que
NG (P1 ) = P Ko , para algum K0 K, o qual no irredutvel sobre P . Por hiptese, temos
que K0 centraliza P , sendo assim temos que NG (P1 ) = P CK (P ). Portanto NG (P1 )/P1
cclico e pelo Lema 3.5, [G/P1 ] distributivo. Segue que [G/H] distributivo.
Se G satisfaz (7), (P = N CP (K) onde |N | = p2 , |CP (K)| = p e K opera elemento
a elemento irredutivelmente sobre N ), seja H G.
Caso 1: Seja H = P1 K1 , com K1 K, K1 6= 1.
1.1: Suponha |P1 | = p. Se P1 N , temos que P1 comuta com K1 , logo H cclico. Se
P1 = CP (K), temos que P1 comuta com K1 , logo H cclico.
G

gggg???
ggggg
??
g
g
g
g
??
ggg
g
g
g
g
??
PgO?ggg
??
?O?OO
??
??OOO
??
?? OOO
??
O
??
O
O
gK
g
N = [P, K] OOOOO ??? CP (K)
g
g
g
ggg
g
OOO ??
g
g
g
OOO??
gggg
OO?gggggggg

Se no tivermos nenhum dos dois casos, temos que P1 CP (K) N tem ordem p e no
invariante por K1 , o que deveria ocorrer, pois P1 CP (K) invariante por K1 .
1.2: Suponha |P1 | = p2 . Se P1 = N , temos que G/N cclico. Se CP (K) P1 , ento P1
no invariante por K1 , pois K opera elemento a elemento irredutivelmente sobre N , o
que no poderia ocorrer.
Caso 2: Se H P , devemos apenas considerar o caso em que |P1 | = p2 . Segue anlogo
29

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

ao caso anterior.
Se G satisfaz (8) (P no abeliano de ordem p3 e expoente p e K opera elemento
a elemento irredutivelmente sobre P/(P )), seja H G (no cclico) tal que H = P1 K1 ,
onde K1 K e P1 P . Caso 1: Suponha que |P1 | = p2 , temos que P1 abeliano
elementar. Seja NG (P1 ) = P K0 para algum K0 K o qual no irredutvel em P/(G).
Por hiptese temos que K0 centraliza P , isto , NG (P ) = P CK (P ). Logo, NG (P1 )/P1
cclico e pelo Lema 3.5, item (a), temos que [G/P1 ] distributivo. Segue que [G/H]
distributivo. Suponha |P1 | = p, segue que P1 (G) normalizado mas no centralizado
por K1 e como K elemento a elemento irredutvel sobre P/(P ), segue que P1 = (P ).
Seja q um primo dividindo |K1 /CK1 (P1 )|. Ento q | p1 e como CK1 (P ) CK1 (P1 ), existe
um x K1 dentro de um q-subgrupo de Sylow induzindo um automorfismo de ordem q
em P . Temos p + 1 subgrupos de ordem p em P/P1 , logo teremos o automorfismo agindo
nesses p + 1 subgrupos, ou seja, p + 1 = ql. Logo, q divide p + 1. Sendo assim, lembrando
que q | p 1, devemos ter ento que q = 2. Mas x no centraliza P/(P ) e P/(P ) no
irredutvel sob hxi, uma contradio.
Se G satisfaz (9) (P o grupo dos quatrnios de ordem 8 e [P, K] 6= 1), tome H G
(no cclico) tal que H = P1 K1 , onde K1 K e P1 P . Caso 1: Suponha |P1 | = 2,
teramos que P1 comutaria com K1 e portanto H seria cclico. Caso 2: Suponha |P1 | = p2 .
Logo P1 cclico de ordem 4 e da mesma forma, H tambm cclico.
Sendo assim, a demonstrao da condio suficiente do Teorema 3.1 est concluda,
ou seja, todos os grupos que se enquadram em (1)-(9) so, de fato, MD-grupo.
Comearemos a demonstrao da condio necessria do Teorema 3.1, ou seja, que
todo MD-grupo solvel finito G satisfaz uma das propriedades (1)-(9).
Para isso, devemos pensar em todas as formas possveis que um grupo finito qualquer
assume. A priori, consideraremos duas situaes: A primeira, quando G for um p-grupo
e a segunda situao, quando G no for um p-grupo. Particionaremos o segundo caso da
seguinte maneira:
1o - Supor que todo subgrupo de Sylow de G cclico.
2o - Supor que G possui um p-subgrupo de Sylow no cclico para algum p.
Dessa forma varreremos todos os tipos de grupos finitos possveis.
Se G for um p-grupo para algum primo p, pelo Lema 3.6 temos que ou G tem um
subgrupo normal cclico de ndice p, logo satisfazendo (1) ou G tem ordem p3 e expoente
30

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

p, logo satisfazendo (4).

Suponha ento que G no um p-grupo e consideraremos o caso em que todo subgrupo
0
0
de Sylow de G cclico. Ento, por [[4], p. 420], temos que G = G K onde G (que o
0
grupo derivado de G) e K so cclicos e (|G |, |K|) = 1. Vamos mostrar (por contradio)
0
0
que vale (3). Suponha que existe 1 6= x G e a K r CK (G ) tal que xa = x. Assuma
0
que o(x) = p, para algum primo p e seja y G tal que y a 6= y. Podemos supor, sem
perda de generalidade, que y tem ordem potncia de um primo, pois caso isso no ocorra,
teramos que hyi = hy1 ihy2 i... hyn i, onde os yi so os subgrupos de Sylow do grupo hyi
para i = 1, 2, ..., n. Como y a 6= y, devemos ter que para algum yi , yi a 6= yi . Basta ento
0
escolher este yi com ordem potncia de um primo. Como (|G |, |K|) = 1, segue que x
/ hyi.
Como hy, ai E hyi K e hyi E hx, yi, temos que hy, ai um subgrupo normal no abeliano
0
0
de hx, yi K := H, e pelo Lema 1.28, H/ hy, ai cclico. Ento H G hy, ai = hyi e
0
portanto [x, K] hxi H hxi hyi = 1. Isso impossvel, pois CG0 (K) = 1. Ento
0
0
K/CK (G ) opera livre de ponto fixo sob G e vale (3).
Devemos considerar o caso em que G possui um p-subgrupo de Sylow P no cclico
para algum primo p. O Lema 3.7 nos garante que P E G ou G tem p-complemento normal
N.
Suponhamos primeiro que P no normal em G, ou seja, G tem um p-complemento
normal N . Queremos mostrar que G possui um subgrupo normal cclico de ndice p,
logo satisfazendo (1). Temos que G/(G) abeliano elementar, sendo assim o Lema 1.28
garante que N (G) cclico. Alm disso CP (N ) E P N = G e G/CP (N ) no cclico
pois P no normal em G. Portanto CP (N ) cclico e ento N CP (N ) um subgrupo
normal cclico de G com quociente abeliano elementar. Segue que [G : CG (S)] p
para todo subgrupo de Sylow S de N . Ento se N CP (N ) no tiver ndice p sobre
G, ento existiro subgrupos de Sylow S e T de N tal que CP (S) e CP (T ) sero dois
subgrupos maximais diferentes em P . Ento SCP (T ) e T CP (S) sero subgrupos normais
0
no abelianos de H := ST P ; Pelo Lema 1.28, H SCP (T ) T CP (S) = CP (S) CP (T ).
Em particular, CP (S) E H e portanto CP (S) centraliza T , uma contradio. Ento
N CP (N ) um subgrupo normal cclico de ndice p em G e vale (1).
Consideraremos agora o caso em que G tem um p-subgrupo de Sylow normal no
cclico P . Claramente, G/P cclico e portanto P tem um complemento cclico K em G.
Se G = P K, como P um subgrupo de G, temos que P um MD-grupo, ento pelo
Lema 3.6 segue que P possui um subgrupo H cclico normal de ndice p, o qual tambm

31

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

normal em G, ou seja, satisfazendo (1) ou P tem ordem menor ou igual a p3 , satisfazendo
assim (4); Assumiremos ento que K no centraliza P .
Suponhamos primeiro que |P | = p2 e suponha que (5) no seja assumido. Ento
existe 1 6= x P e a K\CK (P ) tal que xa = x, ou seja, existe um elemento em P que
deixado fixo por um elemento de K/CK (P ). Ento hxi = CP (a) e como P abeliano, pela
Proposio 1.12 segue que P = CP (a) [P, hai] e teremos que [P, hai] hai um subgrupo
0
normal no abeliano de G. Pelo Lema 1.28, G [P, hai] hai P = [P, hai] e portanto,
0
0
|G | = p e G/G cclico. Ento vale (2).
Agora suponha que P tem um subgrupo cclico de ndice p e que |P | > p2 . Como
0
um p -automorfismo de um grupo P opera no trivialmente sob P/(P ), todo subgrupo
maximal de P cclico se p = 2; por [[4], Satz 8.4, p. 311], P o grupo dos quatrnios
de ordem 8 e portanto vale (9). Se p > 2, ento (P ) um subgrupo normal no c0
clico de G e portanto G (P ). Pelo Teorema de Maschke, P/(P ) redutvel sob K
e portanto existe um subgrupo cclico invariante por K T de ndice p em P . Segue que
[T, K]

T (T ) e portanto T centralizado por K.

Ento
[P, K] = [P, K, K] [(P ), K] um subgrupo prprio de (P ); portanto [P, K] um
subgrupo normal de ordem p em G e G/[P, K] ' T K cclico. Ento vale (2).
Consideraremos agora o caso que P tem ordem p3 e expoente p. Suponha primeiro que
P no abeliano. Queremos mostrar que vale (8). Seja K0 um subgrupo de K o qual no
irredutvel sob P/(P ), ento pelo Teorema de Maschke, P/(P ) = P1 /(P ) P2 /(P )
0
com subgrupos normais Pi de ordem p2 de P K0 . Pelo Lema 1.28, (P K0 ) P1 P2 = (P )
e portanto K0 centraliza P , mas [P, K] 6= 1, uma contradio. Isso mostra que K
irredutvel e ento opera elemento a elemento irredutivelmente sob P/(P ). Ento vale
(8).
Finalmente, suponha que P abeliano elementar de ordem p3 e considere um subgrupo K0 de K o qual no irredutvel sob P . Ento P = P1 P2 onde Pi E P Ko e
|P1 | = p, |P2 | = p2 . Pelo Lema 1.28, P1 K0 ' P K0 /P2 cclico, isto P1 CP (K0 ).
Claramente, CP (K0 ) invariante sob K. Ento se K irredutvel sob P , segue que
CP (K0 ) = P ; Portanto K elemento a elemento irredutvel sob P e, sendo assim, vale
(6). Se K no irredutvel sob P , aplicamos o argumento acima para K0 = K, temos
que P1 CP (K); Como K no irredutvel sob P , temos que K no irredutvel sob
P2 , consequentemente, K elemento a elemento irredutvel sob P2 . Ento vale (7) e isso
completa a prova do Teorema 3.1.

32

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

3.4

Prova do Teorema 3.3 (MD-grupos no Solveis)

Vamos agora iniciar a demonstrao do Teorema 3.2, mostrando que todos os grupos
citados nos itens (10), (11) e (12) so, de fato, MD-grupos.
Lema 3.8. Os grupos PSL(2, 4), SL(2, 5) e PSL(2, 8) so MD-grupos.
Demonstrao.
Sabemos que os subgrupos no cclicos minimais do grupo simples
G = P SL(2, 4) de ordem 60 so os 2-subgrupos de Sylow de ordem 4 e os grupos dihedrais
de ordem 6 e 10. Os grupos dihedrais so subgrupos maximais de G e o nico subgrupo
prprio entre G e um 2-subgrupo de Sylow S NG (S). Ento [G/X] uma cadeia para
todo subgrupo X no cclico de G e G um MD-grupo.
O grupo G = SL(2, 5) tem um nico subgrupo Z de ordem 2. De fato, seja A uma
matriz de ordem 2 de SL(2, 5) da seguinte forma:
A=

A.A =

a b
c d
a b
c d

. Como A de ordem 2, temos o seguinte:

a b
c d

!
=

a2 + bc ab + bd
ac + cd bc + d2

!
=

1 0
0 1

Teremos as seguintes equaes:

a2 + bc = 1 (I)
ab + bd = 0 = b(a + d) = 0 (II)
ac + cd = 0 = c(a + d) = 0 (III)
bc + d2 = 1 (IV)
ad bc = 1 = bc = ad 1 (V)
Substituindo (V) em (I) temos:
a2 + ad 1 = 1 = a(a + d) = 2 = a + d 6= 0 (VI)
Das equaes (II) e (III) segue que b = c = 0. Temos ento, usando as equaes (I), (IV)
e (V) respectivamente
a2 = 1, d2 = 1 e ad = 1
Logo, como A 6= I, temos que a = d = 1, ou seja,
A=

1 0
0 1

33

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

Portanto, hAi = Z = SZ(2, 5). Segue que G/Z = P SL(2, 5) ' P SL(2, 4). Como todo
subgrupo de ordem mpar de G/Z cclico, todo subgrupo H no cclico de G contm Z.
Se H/Z for cclico, ento |H/Z| = 2, 3 ou 5, e H cclico pois Z o nico subgrupo de
ordem 2 em G, uma contradio, logo H/Z no cclico e portanto [G/H] distributivo
pois G/Z um MD-grupo.
Sabemos tambm que os nicos subgrupos maximais de G = P SL(2, 8) so os normalizadores dos subgrupos de Sylow e tm ordens 87, 14 e 18 (ver Teorema 2.12). Como os
subgrupos de Sylow formam uma partio [[4], p.193], claro que a interseo de quaisquer dois subgrupos maximais diferentes cclico. Portanto todo subgrupo H prprio no
cclico de G est precisamente em um subgrupo maximal e como os subgrupos de ordem 7
operam irredutivelmente sobre um 2-subgrupo de Sylow, segue que [G/H] uma cadeia.


Lema 3.9. Seja G um grupo tal que G = H K, onde H isomorfo ao P SL(2, 4) ou

0
SL(2, 5) e K um {2, 3} -grupo cclico. Ento G um MD-grupo.
Demonstrao. Vamos considerar apenas a hiptese que H ' SL(2, 5). Podemos dizer
0
que K = K1 K2 , onde K1 um 5-grupo e K2 um {2, 3, 5} -grupo. O Lema 3.3 garante
que se H K1 um MD-grupo, ento G = (H K1 ) K2 tambm um MD-grupo.
Podemos ento considerar o grupo K da nossa hiptese como sendo um 5-grupo, ou seja,
|K| = 5n
Pelo Teorema 1.13, todo subgrupo U de G = H K tem a forma
U = D(U1 , ) = {xy | x U1 , y x }
onde U1 = U K H e um epimorfismo de U1 sobre U2 /U K com U2 = U H K
e ker = U H. Agora suponha que U = D(U1 , ) um subgrupo no cclico de
G. Como U/U H ' U H/H um 5-grupo, U H 6= 1 e U H 6= Z(H). Como
U U1 U2 no cclico, U1 contm um subgrupo T com ordem 5 de H. Mas
[H/T ] = {T, CH (T ) = Z(H)T, NG (T ), H} e portanto H no tem uma seo X/Y de ordem 5 com 1 6= Y 6= Z(H). Segue que U1 = U H, isto , trivial e
U = (U H)(U K). Todo subgrupo V contendo U tambm no cclico, consequentemente satisfaz V = (V H)(V K) e ento teremos que [G/U ] ' [H/U H][K/U K].
Como [H/T ] uma cadeia e T U H, segue que [H/U H] e [G/U ] so ambos distributivos.

34

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

Podemos observar que o grupo P SL(2, 7), de ordem 168 = 23 3 7, possui o subgrupo
S4 (ver o tem (5) do Teorema 2.12 (Teorema de Dickson)) no seu reticulado de subgrupos,
logo o grupo P SL(2, 7) no poder ser um MD-grupo.
Pelos Lemas 3.8, 3.9 e 3.3 temos que todos os grupos em (10) - (12) so, de fato,
MD-grupos. Devemos mostrar que todos os MD-grupos no solveis enquadram-se em
um dos itens (10)-(12). Comearemos determinando os casos simples.
Lema 3.10. Se G um MD-grupo finito simples no abeliano, ento G isomorfo ao
P SL(2, 4) ou P SL(2, 8).
Demonstrao.
Pelo Teorema de Feit-Thompson, G tem ordem par. Seja S um
2-subgrupo de Sylow de G e suponha, por contradio que S no abeliano elementar.
Ento pelo Lema 3.6, S tem um subgrupo cclico de ndice 2. Pelo Teorema de Frobenius
existe um subgrupo T de S tal que NG (T )/CG (T ) no um 2-grupo. Um elemento x de
ordem mpar em NG (T )/CG (T ) opera no trivialmente sobre T /(T ), portanto todos os
subgrupos maximais de T so cclicos e |T | = 4 ou T o grupo quatrnios de ordem 8.
Como G um MD-grupo, NG (T )/T cclico. Ento se S 6= T teremos que x normaliza
NS (T ) > T e como NS (T ) tem um subgrupo maximal no cclico, x centraliza NS (T ),
uma contradio. Ento, S = T um grupo quatrnio, mas isso contradiz o Teorema de
Brauer-Suzuki [[2], Theorem 4.88].
Ento S abeliano elementar e pelo Teorema de Walter [[2], Theorem 4.126] implica
que G isomorfo ao P SL(2, q), onde q uma potncia de 2 ou satisfaz q 3 ou 5(mod8),
ou G o primeiro grupo de Janko ou um grupo do tipo Ree. O ltimo grupo possui
3-subgrupo de Sylow os quais no so MD-grupos e no grupo de Janko NG (S)/S no
abeliano para um 2-subgrupo de Sylow S de G (ver [[2], pp. 81 e 84]). Ento devemos
considerar os outros grupos P SL(2, q).
Os 2-subgrupos de Sylow de P SL(2, 2n ) so abelianos elementares de ordem 2n ; segue
que n 3, isto , G ' P SL(2, 4) ou P SL(2, 8) como queramos demonstrar. Se q 3 ou
5(mod8), ento por [Teorema 2.12 - Dickson], um 2-subgrupo de Sylow S de G abeliano
elementar de ordem 4, H = NG (S) tem ordem 12 e G contm subgrupos dihedrais de
ordem q 1. Um desses nmeros divisvel por 4 e ,alm disso, se q > 5, ento [G/S]
contm um grupo dihedral D de ordem 4r onde r um primo de ordem mpar. Ento
Z(D) um subgrupo de ordem 2 em S, portanto Z(D)x 6= Z(D) para x H\S e portanto
D 6= Dx e D Dx = S. Portanto [G/S] distributivo e x H, segue que
35

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

H = hH (D Dx )i = hH Di hH Dx i = hH Di
Essa contradio mostra que q = 5, isto , G ' P SL(2, 5) ' P SL(2, 4).

Provaremos agora a condio necessria do Teorema 3.1, ou seja, devemos mostrar que
todo MD-grupo no solvel enquadrar-se- em uma das propriedades (10)-(12). Para isso,
tome M/N um fator principal no solvel de G com N minimal. Pela definio de fator
principal temos que M/N um subgrupo normal minimal de G/N e o Corolrio 1.18 nos
garante que M/N simples ou um produto direto de grupos simples. Temos que M/N
isomorfo a um subgrupo de G, ou seja, M/N um MD-grupo e M/N um grupo simples
ou um produto direto de grupos simples, mas o produto direto de grupos simples no
abelianos no um MD-grupo, logo devemos ter que M/N um grupo simples. Segue
que M/N um MD-grupo simples e o Lema 3.10 nos garante que M/N ' P SL(2, 4) ou
M/N ' P SL(2, 8).
Faremos a seguir, duas anlises: uma onde N = 1 e outra onde N 6= 1.

PRIMEIRO CASO: N = 1.
Sendo assim, M ' P SL(2, 4) ou M ' P SL(2, 8). Logo M CG (M ) = 1 e G/CG (M )
isomorfo a um subgrupo de AutM contendo InnM .
Se M ' P SL(2, 4) ' A5 , ento AutM ' S5 o qual no um MD-grupo pois S4
tem um subgrupo normal no cclico com quociente no abeliano (o grupo de Klein). Se
M ' P SL(2, 8), ento AutM ' P L(2, 8) tem um 3-subgrupo de Sylow P de ordem 27
o qual (P ) abeliano elementar de ordem 9 e NAutM (P )/(P ) um dihedral de ordem
6, ou seja, no cclico. Portanto, esses grupos (AutM ) tambm no so MD-grupos e
como em ambos os casos |AutM : InnM | primo, segue que G/CG (M ) ' M e como
M CG (M ) = 1 segue que G = M CG (M ). Pelo Lema 1.28, como G/CG (M ) ' M
no cclico, devemos ter ento que CG (M ) =: K cclico. Portanto G = M K. Logo,
quando M ' P SL(2, 4) , devemos mostrar que a ordem de K co-prima com 2 e 3; e
quando M ' P SL(2, 8) , devemos mostrar que a ordem de K co-prima com 2, 3 e 7,
ou seja, (|M |, |K|) = 1.
Comearemos supondo que M ' P SL(2, 8). Suponha que 2 | |K|. Sabemos que
|P SL(2, 8)| = 504 = 23 32 7, logo M K contem um subgrupo abeliano elementar
36

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

de ordem 24 , (tendo em vista que o 2-subgrupo de Sylow de M ' P SL(2, 8) abeliano
elementar), mas isso contraria o fato de ser um MD-grupo. Se 3 | |K|, um 3-subgrupo de
Sylow P de G tm o (P ) abeliano elementar de ordem 9 e o NG (P )/(P ) contem um
grupo dihedral de ordem 6, ou seja, contraria o fato de G ser um MD-grupo, pois (P )
no cclico e NG (P )/(P ) tambm no cclico. Para finalizar, suponha que 7 | |K|,
ento o normalizador do 2-subgrupo de Sylow de G contem um grupo abeliano elementar
de ordem 49, chegando novamente a uma contradio anloga ao caso anterior. Com isso,
podemos concluir que (|M |, |K|) = 1.
Consideraremos agora M ' P SL(2, 4) ' A5 (e lembrando que a ordem do P SL(2, 4)
igual a 60 = 22 3 5) Se por ventura 3 | |K|, ento se S um 2-subgrupo de Sylow de M , o NG (S) contem um subgrupo abeliano elementar de ordem 9 e teremos a
mesma contradio obtida nos casos anteriores. E para concluir o primeiro caso, suponha
que 2 | |K| e sejam H, K0 subgrupos de ordem 2 de M e K, respectivamente, ento
[M K0 /H K0 ] ' [M/H] no distributivo pois H normaliza subgrupos de ordem 3
de M .
G
j/
jjjj /
//
j
jjjj
j
//
j
j
j
//
jjjj
j
j
j
M K
//
0jjj
j
/
j
jj/
//
j
j
j
/
//
//
jjjj
j
/
j
M //
//
//
//
//
//
//
//
//
//
//
//
//
//
//
//
//
//
//
/
j
j

j
j
H

K
0
// jjjjjj ///
jjjj K
j
j
j
j
j
//
jjj
H j///j
jjjj
//
j
j
//
j
/ jjj
jjjj
j
2 ///
j
j
K0
/jjjjjjj

Portanto, K um {2, 3} -grupo como queramos demonstrar.

Caso 2: N 6= 1
Para esse caso, faremos algumas consideraes nas 3 proposies a seguir para obtermos o resultado desejado.
0

Proposio 3.11. Seja G um grupo e P um p-subgrupo de Sylow de G e G (p) o menor

subgrupo normal de G com p-quociente abeliano.
0
0
0
0
(a) G P = G (p) P e G/G (p) ' P/G P
37

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

0

(b) P = G P = h[x, g] | x P, g G; xg P i
Demonstrao. A demonstrao dessa proposio pode ser encontrada em [9]
Observao: O Grupo P chama-se o subgrupo focal de P em G.
Proposio 3.12. Seja G um grupo finito e P um p-subgrupo de Sylow abeliano de G,
NG (P ) = [P ]K.
(a) Se x P , g G com xg P , ento k K com xg = xk .
0
(b) G P [P, K].
(c) Se CP (K) > 1, ento G possui um p-quociente.
Demonstrao.
E
D
1
1
. Da l CG (x)
(a) Temos x, xg P , isto , x P P g . Logo CG (x) P, P g
1

com pg = pl , com p P . Da lg NG (P ). Escreva lg = tk com t P , k K. Segue

que xg = xlg = xtk = xk .
0
(b) Sabemos que G P = P = h[x, g] | x P, g G; xg P i. Seja x P , g G com
xg P . Por (a) existe k K com xg = xk e segue [x, g] = x1 xg = x1 xk [P, K].
(c) Se CP (K) > 1, ento, como P abeliano, sabemos que P = [P, K] CP (K) e da
0
0
[P, K] < P . Logo G P < P por (b) e portanto G (p) < G pela proposio 3.11 (a). 
0

Proposio 3.13. Seja M um MD-grupo (finito) com M = M , M/Z(M ) ' A5 ou

P SL(2, 8) e Z(M ) cclico. Ento ou Z(M ) = 1 ou M ' SL(2, 5).
Demonstrao. Seja M um contra-exemplo de ordem mnima. Ento Z(M ) > 1. Seja
R Z(M ) de ordem |R| = p, com p primo. Claro que R E M e as hipteses da proposio
valem para M/R. Ento Z(M )/R ' Z(M/R) = 1 ou M/R ' SL(2, 5). Consideraremos
dois casos:
CASO I: Se M/R ' SL(2, 5), ento |Z(M )| = 2p. Se p > 2, considere L Z(M ) com
|L| = 2. Temos que M/L ou simples ou SL(2, 5). Mas, |Z(M )/L| = p. Isso impossvel.
Se p = 2, ento |Z(M )| = 4. Seja Q um p-subgrupo de Sylow de M . Ento Q/R um
quatrnio de ordem 8. Como Q um MD-grupo, um dos subgrupos de ndice p em Q
cclico (Lema 3.6), digamos hxi <
Q. Como Q tem classe 2, a nica possibilidade
2
Q = [hxi] hyi com |y| = 2 e xy = x5 ou x, que no tem quociente quatrnio. Mas isto
impossvel, pois Q tem quociente quatrnio.
CASO II: M/R simples, isto e, R = Z(M ). Seja p > 2. Se p no divide |M/R|, ento
0
M = R K e M/K abeliano, contrrio ao fato de M = M . Se p | |M/R|, seja P um
38

Captulo 3. Grupos Finitos com Reticulados Metadistributivos

p-subgrupo de Sylow de M . (p = 3 ou 5 ou 7). Segue que P abeliano (no caso em que

p = 3 e M/R ' P SL(2, 8), P uma extenso cclica do R). Seja NM (P ) = [P ]K. Ento
0
1 < R CP (K) e segue da Proposio 3.12 que M < M . Se p = 2 e M/R ' P SL(2, 8)
tome Q um 2-subgrupo de Sylow de M . Como Q/R abeliano elementar e Q tem um
subgrupo cclico de ndice 2 (Lema 3.6), temos uma contradio.
0
Logo, |M | = 120 e segue que M ' SL(2, 5), pois M = M .

Voltando para o caso onde N 6= 1, veremos que o grupo M/N satisfar todas as
hipteses da Proposio 3.13 e assim concluiremos o Teorema 3.2.
Temos que, M/N isomorfo ao P SL(2, 5) ou P SL(2, 8) e N 6= 1. Ento, como
M/N no abeliano (cclico), pelo Lema 1.28, N cclico, portanto G/CG (N ) abeliano
0
e ento N Z(M ). Como M /M 0 N ' M/N , a minimalidade de N garante que
0
0
N M . Temos ento que M = M e Z(M ) = N . A Proposio 3.13 nos garante que
M ' SL(2, 5) e, como N = Z(M ), temos que M/N ' P SL(2, 5). Pelo caso 1, temos
0
que G/N = M/N K/N , onde K/N um {2, 3} -grupo. Como |N | = 2, segue que
0
K = N K0 , onde K0 um {2, 3} -grupo cclico,e ento G = M K0 , satisfazendo o
item (11) do Teorema 3.2.
Concluimos assim a demonstrao do Teorema 3.1 e finalizando aqui o trabalho.

39

Referncias Bibliogrficas
[1] M. de Falco - F de Giovanni - C. Mussela - R. Schmidt: "Groups with metamodular
subgroup lattice", Colloquium Math. 95 (2003), 231-240.
[2] D. Gorenstein: "Finite Simple Groups: An Introduction to Their Classification",
Plennum, New York and London (1982).
[3] G. Grtzer: "General Lattice Theory", Birkhuser, Basel and Stuttgart (1978).
[4] B. Huppert: "Endliche Gruppen I", Springer, Berlin Heidelberg New York (1967).
[5] R. Schmidt: "Subgroup lattice of groups", de Gruyter, Berlin (1994).
[6] R. Schmidt: "Smooth groups", Geometriae Dedicata 84(2001), 183-206.
[7] J.J. Rotman: "An Introdutction to the Theory of Groups", 4th edn., Speinger-Verlag,
New York (1995).
[8] J.S. Robinson: "A course in the Theory of Groups", 2th edn., Springer (1995).
[9] D. Gorenstein: "Finite Groups", New York, Evanston, and London (1968).
[10] John F. Humphreys: "A course in Group Theory", Oxford University Press (1996).
[11] Roland Schmidt: "Finite groups with metadistributive subgroup lattice", Advances
in Group Theory 2002, 153 - 162.
[12] Suzuki, Michio: "Group Theory I and II", Springer-Verlag, 1982 and 1986.

40

Livros Grtis
( http://www.livrosgratis.com.br )
Milhares de Livros para Download:
Baixar livros de Administrao
Baixar livros de Agronomia
Baixar livros de Arquitetura
Baixar livros de Artes
Baixar livros de Astronomia
Baixar livros de Biologia Geral
Baixar livros de Cincia da Computao
Baixar livros de Cincia da Informao
Baixar livros de Cincia Poltica
Baixar livros de Cincias da Sade
Baixar livros de Comunicao
Baixar livros do Conselho Nacional de Educao - CNE
Baixar livros de Defesa civil
Baixar livros de Direito
Baixar livros de Direitos humanos
Baixar livros de Economia
Baixar livros de Economia Domstica
Baixar livros de Educao
Baixar livros de Educao - Trnsito
Baixar livros de Educao Fsica
Baixar livros de Engenharia Aeroespacial
Baixar livros de Farmcia
Baixar livros de Filosofia
Baixar livros de Fsica
Baixar livros de Geocincias
Baixar livros de Geografia
Baixar livros de Histria
Baixar livros de Lnguas

Baixar livros de Literatura

Baixar livros de Literatura de Cordel
Baixar livros de Literatura Infantil
Baixar livros de Matemtica
Baixar livros de Medicina
Baixar livros de Medicina Veterinria
Baixar livros de Meio Ambiente
Baixar livros de Meteorologia
Baixar Monografias e TCC
Baixar livros Multidisciplinar
Baixar livros de Msica
Baixar livros de Psicologia
Baixar livros de Qumica
Baixar livros de Sade Coletiva
Baixar livros de Servio Social
Baixar livros de Sociologia
Baixar livros de Teologia
Baixar livros de Trabalho
Baixar livros de Turismo