Você está na página 1de 7

Classicao de grupos simples nitos de ordem inferior a 100

Claudia Correa de Andrade Oliveira1 Paulo Agozzini Martin(Orientador)2


1 Universidade de So Paulo (USP), Brasil

3. Se K subgrupo de G com | K |= pi (i n), ento existe H Sylp (G) tal que K subgrupo de H. 4. Se np =| Sylp (G) |, ento np | m e np 1 (mod p).

claudia@linux.ime.usp.br agozzini@ime.usp.br

2 Universidade de So Paulo (USP), Brasil

Proposio 2.4. Seja G um grupo tal que | G |= p,


com p primo. Ento G cclico e simples.

1.

Introduo

Proposio 2.5. Sejam G um grupo e H subgrupo


de G tal que [G : H] = 2, ento H normal em G. com p primo. Ento G abeliano.

O presente trabalho tem como objetivo o estudo de grupos simples nitos. Enfocamos assuntos concernentes classicao desses grupos, isto , resultados e tcnicas que nos permitam, a partir da ordem de um grupo abstrato, classic-lo ou no como simples. Trabalhamos com grupos de ordens inferiores a 100. Para o estudo dessas ordens, construmos tcnicas baseadas em resultados como os Teorema de Sylow e Teorema de Cauchy. Como exemplo de grupo simples, estudamos a famlia An , em particular, mostramos que todo grupo simples de ordem 60 isomorfo ao A5 .
2. Resultados fundamentais

Proposio 2.6. Seja G um grupo tal que | G |= p2 ,


primo e n 2. Ento G no simples.

Proposio 2.7. Suponha que

| G |= pm , com p

Proposio 2.8. Seja G um grupo nito. Seja K

subgrupo de G tal que [G : H] = m. Suponha que | G | m!, ento existe H = {e} (onde e a identidade do grupo) tal que H subgrupo de K e H normal em G.

Proposio 2.9. Seja G um grupo. Suponha que


simples.

| G |= 2.n, onde n mpar, n 3. Ento G no

Proposio 2.10. Seja G um grupo tal que | G |=


pq , p e q primos distintos, ento G no simples.

Nessa seo, enunciaremos os resultados principais utilizados na construo das tcnicas que desenvolvemos ao longo do trabalho. No apresentaremos as demonstraes, pois so facilmente encontradas em livros bsicos de lgebra.

Proposio 2.11. Seja G um grupo tal que | G |=


no simples.
3.

pqr, com p,q e r primos distintos entre si. Ento G

Eliminao de ordens de 1 a 100

grupo e H um subgrupo de G. Ento, | H | divide | G |. grupo nito e p um primo tais que p divide | G |. Ento, existe um elemento g G com o(g) = p.

Teorema 2.1. (Teorema de Lagrange) Sejam G um

Teorema 2.2. (Teorema de Cauchy) Sejam G um

Teorema 2.3. (Teorema de Sylow)


pn .m com mdc(p,m)=1.

Sejam G um grupo e p um primo tais que | G |=

Nessa seo, vamos utilizar os resultados da seo anterior e derivar deles tcnicas que nos permitam classicar os grupos com ordens inferiores a 100. Nesse intervalo, existem grupos no simples, que vamos eliminar, os simples e cclicos, em cujo estudo no nos deteremos, devido ao fato de no serem muito interessantes. Alm disso, temos o nmero 60 que a ordem do A5 , cujo estudo ser realizado na prxima seo.
3.1 Grupos simples e cclicos

Valem as seguintes armaes: 1. Sylp (G) = , isto , o conjunto dos subgrupos de G com ordem pn no vazio. 2. Para todos H, K Sylp (G), existe g G tal que K = gHg 1 . Isto , todos os subgrupos de G com ordem pn so conjugados em G.

Da proposio 2.4 segue que os grupos com as seguintes ordens so simples e cclicos:
2, 3, 5, 7, 11, 13, 17, 19, 21, 23, 29, 31, 37, 41 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97.

221

3.2

p-grupos
n

69 = 3 23 74 = 2 37 77 = 7 11 82 = 2 41 85 = 5 17 86 = 2 43 87 = 3 29 91 = 7 13 93 = 3 31 94 = 2 47 95 = 5 19

Denio 3.1. Seja G um grupo, dizemos que G


um p-grupo se, e somente se, | G |= p , com p um primo. Dessa forma, temos que a proposio2.7 nos diz que todo p-grupo no simples. Portanto, temos que grupos com as seguintes ordens no so simples:
4=2
2

8 = 23 9 = 32 16 = 24 25 = 52 27 = 33 32 = 25 49 = 7
2

3.4

Ordens que so da forma 2 par

m-

Da proposio 2.9 segue que grupos com as seguintes ordens no so simples:


18 = 2 9 30 = 2 15 42 = 2 21 50 = 2 25 54 = 2 27 66 = 2 33 70 = 2 35 78 = 2 39 90 = 2 45 98 = 2 49

64 = 26 81 = 92
3.3 Ordens que so o produto de dois primos distintos

Da proposio 2.10 segue que os grupos com as seguintes ordens no so simples:


6=23 10 = 2 5 14 = 2 7 15 = 3 5 21 = 3 7 22 = 2 11 26 = 2 13 33 = 3 11 34 = 2 17 35 = 5 7 38 = 2 19 39 = 3 13 46 = 2 23 51 = 3 17 55 = 5 11 57 = 3 19 58 = 2 29 62 = 2 31 65 = 5 13
3.5

Uma aplicao do teorema de Sylow

Proposio 3.2. Seja G um grupo tal que


simples.

| G |= pn q m , com p e q primos e q > pn . Ento G no

normal. Logo, G no simples.

nq | pn e nq 1(mod q). Como q > pn e nq | pn , vale que nq < q . Como nq 1(modq), vemos que nq = 1. Do tem 2 do teorema de Sylow, segue que H Sylp (G)

Demonstrao. Pelo Teorema de Sylow, temos que

Da proposio 3.2 segue que os grupos com as se-

222

guintes ordens no so simples:


20 = 22 5, 5 > 22 28 = 22 7, 7 > 22 44 = 22 11, 11 > 22 52 = 22 13, 13 > 22 68 = 22 17, 17 > 22 76 = 22 19, 19 > 22 88 = 23 11, 11 > 23 92 = 22 23, 23 > 22 99 = 32 11, 11 > 32 100 = 22 52 , 5 > 22
3.6 Ordens eliminadas com a utilizao direta do

Eliminao do nmero 84
Seja G um grupo tal que | G |= 84 = 22 3 7.

Demonstrao. Pelo Teorema de Sylow, temos que n7 1(mod 7) e n7 | 12. Logo, n7 {1, 2, 3, 4, 6, 12} e n7 {1, 8, 15, ...}. Assim, n7 = 1. Portanto, G no simples.
3.7 Ordens eliminadas com argumentos de contagem

Eliminao do nmero 56
Seja G um grupo tal que | G |= 56 = 23 7.

Teorema de Sylow
3

Demonstrao. Do teorema de Sylow segue que:


n2 1(2) e n2 | 7 n2 = 1 ou n2 = 7 n7 1(7) e n7 | 8 n7 = 1 ou n7 = 8

Eliminao do nmero 40
Seja G um grupo tal que | G |= 40 = 2 5.

Demonstrao. Pelo Teorema de Sylow, temos que n5 1(mod 5) e n5 | 8. Logo, n5 {1, 2, 4, 8} e n5 {1, 6, 11, ...}. Assim, n5 = 1. Portanto, G no simples.

Eliminao do nmero 45
Seja G um grupo tal que | G |= 45 = 32 5.

Demonstrao. Pelo Teorema de Sylow, temos que n5 1(mod 5) e n5 | 9. Logo, n5 {1, 3, 9} e n5 {1, 6, 11, ...}. Assim, n5 = 1. Portanto, G no simples.

Se n7 = 1, temos que G no simples. Suponhamos que n7 = 1, isto , n7 = 8. Pelo Teorema de Lagrange, temos que dois subgrupos distintos de ordem 7 s podem ter como interseco a identidade. Dessa forma, teremos 48 elementos de ordem 7. Restam apenas 8 elementos (com a identidade). Como grupos de ordem 7 s podem ter como subgrupo a identidade, temos que existe apenas um subgrupo de ordem 8 em G. Logo, n2 = 1. Assim, G no simples.

Eliminao do nmero 80
Seja G um grupo tal que | G |= 80 = 24 5.

Eliminao do nmero 63
Seja G um grupo tal que | G |= 63 = 32 7.

Demonstrao. Do teorema de Sylow segue que:


n2 1(2) e n2 | 5 n2 = 1 ou n2 = 5 n5 1(5) e n5 | 16 n5 = 1 ou n5 = 16

Demonstrao. Pelo Teorema de Sylow, temos que n7 1(mod 7) e n7 | 9. Logo, n7 {1, 3, 9} e n7 {1, 8, 15, ...}. Assim, n7 = 1. Portanto, G no simples.

Eliminao do nmero 75
Seja G um grupo tal que | G |= 75 = 52 3.

Demonstrao. Pelo Teorema de Sylow, temos que n5 1(mod 5) e n5 | 3. Logo, n5 {1, 3} e n5 {1, 6, 11, ...}. Assim, n5 = 1. Portanto, G no simples.

Se n5 = 1, temos que G no simples. Suponhamos que n5 = 1, isto , n5 = 16. Pelo Teorema de Lagrange, temos que dois subgrupos distintos de ordem 5 s podem ter como interseco a identidade. Dessa forma, teremos 64 elementos de ordem 5. Restam apenas 16 elementos (com a identidade). Como grupos de ordem 16 e de ordem 5 s possuem a identidade como interseco, temos que existe apenas um subgrupo de ordem 16 em G. Logo, n2 = 1. Assim, G no simples.

223

3.8

Ordens

eliminadas

usando-se

Eliminao do nmero 96
Seja G um grupo tal que | G |= 96 = 25 3.

proposio 2.8

Eliminao do nmero 12
Seja G um grupo tal que | G |= 12 = 2 3.
2

Demonstrao. Pelo Teorema de Sylow, existe K subgrupo de G tal que | K |= 22 . Logo, [G : K] = 3. Note que 12 6 = [G : K]!. Assim, pela proposio 2.8 , G no simples.

Demonstrao. Pelo Teorema de Sylow, existe K subgrupo de G tal que | K |= 25 . Logo, [G : K] = 3. Note que 96 6 = [G : K]!. Assim, pela proposio 2.8 , G no simples.
At agora, classicamos todos os grupos de ordem menor ou igual a 100 em simples ou no simples, com exceo do nmero 60, que ser analisado na prxima seo.
4. A famlia das pemutaes pares

Eliminao do nmero 24
Seja G um grupo tal que | G |= 24 = 23 3.

Demonstrao. Pelo Teorema de Sylow, existe K subgrupo de G tal que | K |= 23 . Logo, [G : K] = 3. Note que 24 6 = [G : K]!. Assim, pela proposio 2.8 , G no simples.

Denio 4.1. Seja n N, denimos:

Sn := { : X X | bijetora e | X |= n}

O conjunto Sn munido da operao de composio de funes forma um grupo multiplicativo. Notemos que | Sn |= n!.

Eliminao do nmero 36
Seja G um grupo tal que | G |= 36 = 22 32 .

Denio 4.2. Denimos An como sendo o subconjunto de Sn formado por todas as permutaes pares.
Notemos que | An |= n! 2. Tambm fcil ver que An subgrupo de Sn .

Demonstrao. Pelo Teorema de Sylow, existe K subgrupo de G tal que | K |= 32 . Logo, [G : K] = 4. Note que 36 24 = [G : K]!. Assim, pela proposio 2.8 , G no simples.

Denio 4.3. Sejam a1 , a2 , ..., ar inteiros distintos


em X = {1, 2, ..., n}. Um elemento Sn tal que:
(a1 ) = a2 , (a2 ) = a3 , ..., (ar1 ) = ar , (ar ) = a1

Eliminao do nmero 48
Seja G um grupo tal que | G |= 48 = 2 3.
4

e tal que (j) = j , para todo j {a1 , ..., ar }. cha/ mado um r-ciclo ou um ciclo de comprimento r . Um 2-ciclo chamado de uma transposio.
1 = (a1 , a2 , ...ar ) e 2 = (b1 , b2 , ...bs ) ciclos em Sn , dizemos que 1 e 2 so ciclos disjuntos se ai = bj , para 1 i r e 1 j s.

Demonstrao. Pelo Teorema de Sylow, existe K subgrupo de G tal que | K |= 24 . Logo, [G : K] = 3. Note que 48 6 = [G : K]!. Assim, pela proposio 2.8 , G no simples.

Denio 4.4. Sejam

Eliminao do nmero 72
Seja G um grupo tal que | G |= 72 = 23 32 .

Proposio 4.5. Seja Sn . Ento, se escreve como produto de ciclos disjuntos, de modo nico a menos da ordem dos ciclos. Proposio 4.6. Toda permutao Sn se decompe num produto de transposies. Proposio 4.7. Sejam = (a1 , a2 , ...ar ) em Sn e
Sn . Ento: 1 = ( (a1 ), ... (ar )).

Demonstrao. Do teorema de Sylow, temos que:


n3 1(3) e n3 | 8 n3 = 1 ou n3 = 4

Se n3 = 1, temos que G no simples. Suponhamos que n3 = 1, isto , n3 = 4. Da demonstrao do Teorema de Sylow, segue que n3 = [G : NG (S)], onde S Syl3 (G) e NG (S) o normalizador de S em G. Note que 72 24 = [G : NG (S)]!. Assim, pela proposio 2.8, G no simples.

Proposio 4.8. Seja = (a1 , ...a1 r 1

Sn . ( escrita como produto de ciclos disjuntos) Seja Sn .Ento:

)...(as , ...ass ) r 1

1 = ( (a1 ), ... (a11 ))...( (as ), ... (ass )). 1 r 1 r

224

os 1-ciclos, poderemos reordenar os ciclos de modo que = (a1 , ...a1 1 )...(as , ...as r ), com n1 n2 n n 1 1 ... nr e n = n1 + n2 + ... + nr . Podemos assim, associar permutao, a partio de n,(n1 , ..., nr ), que chamaremos de tipo da permutao.

Sn em produto de ciclos disjuntos, incluindo

Denio 4.9. Se decompusermos uma permutao

2. (Caso 2) a, b, c 2 Note que (1 2 c)(a b c)(1 2 c)1 =(a b 1)=(1 a b). Logo, (a b c)=(1 2 c)1 (1 a b) (1 2 c). Assim, voltamos ao caso 1.

Proposio 4.10. Duas permutaes so conjugadas em Sn se, e somente se, elas possuem o mesmo tipo.

Proposio 4.14. Suponha que n 3. Seja G um

Proposio 4.11. Seja Sn .Suponha que existam k permutaes conjugadas a em Sn . Ento, h duas possibilidades:
1. Existem k permutaes conjugadas a em An . No caso de | CSn () |= 2 | CAn () | 2. Existem k 2 permutaes conjugadas a em An . No caso de | CSn () |=| CAn () | 3 ciclos.

subgrupo normal de An , com G = {e}. Suponha ainda, que exista um 3-ciclo em G. Ento G = An . Demonstrao. Seja (a b c) 3-ciclo em G Mostremos que o conjunto {(1 2 3),...(1 2 n)} G. Feito isso, pela proposio 4.13, teremos nosso resultado. Seja 3 k n, mostremos que (1 2 k) G. Vamos analisar trs casos:
1. (a=1 e b=2 ) Por hiptese, temos que (1 2 c) G. Como G normal em An , temos que todo conjugado de (1 2 c) em An pertence a G. Logo [(e f)(e k)](1 2 c)[(e f )(e k)]1 = (1 2 k) G. 2. (a=1 e b, c >2 ) Note que (1 2 c)(1 b c)(1 2 c)1 =(2 b 1)=(1 2 b) G. Usamos o caso 1. 3. (a, b, c 2) Note que (1 2 c)(a b c)(1 2 c)1 =(a b 1)=(1 a b) G. Usamos o caso 2.

Proposio 4.12. Se n 3, ento An gerado por

Demonstrao. Como An o conjunto das permutaes pares e pela proposio 4.6, toda permutao se escreve como o produto de transposies que so mpares, se An , de possuir um nmero par de transposies. Portanto, basta mostrarmos que o produto de duas transposies gerado por 3-ciclos. Temos dois casos a analisar, quando as transposies so disjuntas ou no:
1. (Caso no disjunto ) (i j)(j k)=(j k i) 2. (Caso disjunto ) (i j)(k l)=(i j)(j k)(j k)(k l)=(j k i)(k l j)

Z(An )={e }.

Proposio 4.15. Suponha

4.

Ento,

Proposio 4.16. Proposio 4.13. Temos que An = [(1 2 3 ),...,(1


2 n)] Demonstrao. Basta mostrarmos que todo 3-ciclo se escreve como produto de permutaes pertencentes ao conjunto {(1 2 3),..., (1 2 n)}. Consideremos o 3-ciclo (a b c).
1. (Caso 1) a=1, e b, c>2 Note que (1 2 c)(1 b c)(1 2 c)1 =(2 b 1)=(1 2 b). Logo, (1 b c)=(1 2 c)1 (1 2 b) (1 2 c).

A5 simples.

Demonstrao. Note que os possveis tipos de permutaes em S5 e os respectivos nmeros de elementos em cada classe so:
(11111) 1 (1112) 10 (113) 20 (122) 15 (23) 20 (14) 30 (5) 24

225

Os possveis tipos de classes de permutao em A5 so:


(11111) (113) (122) (5)

os n-6 elementos que xa. Notemos que A isomorfo ao A6 , pela proposio 4.17 temos que A simples, alm disso vale que H A. Essa interseco normal em A, pois o em An . Ento, A = H A. Donde conclumos que A H . Portanto, existe um 3-ciclo em H. Pelo proposio 4.14, temos que H = An . Portanto, An simples.

Analisemos o tamanho das classes associadas a esses tipos. 1. (Tipo (1 1 3) ) Como o nmero de elementos nessa classe de conjugao em S5 20, temos que | CS5 () |= 6, do tipo (1 1 3). Note que CA5 ()={e, (1 2 3), (1 3 2)}. Pela proposio 4.11, a classes de conjugao do tipo(1 1 3) em A5 possuem 20 elementos. 2. (Tipo (1 2 2) ) Como 15 mpar, temos que classes desse tipo restritas a A5 possuem 15 elementos. 3. (Tipo (5) ) Analogamente ao visto no caso1, utilizando a proposio 4.11,temos que classes desse tipo restritas a A5 possuem 12 elementos. Seja H um subgrupo normal em A5 , com H diferente do unitrio da identidade.Da normalidade de H, segue que sua ordem escrita da seguinte forma:
| H |= 1 + 20n + 15m + 12p, com n, m, p 0.

Teorema 4.19. A5 o nico grupo simples de ordem 60, a menos de isomorsmos.


Demonstrao. Seja G um grupo simples de ordem 60.
| G |= 60 = 22 3 5

Temos que: 1. n5 = 6 2. n3 = 10 3. n2 = 15 ou n2 = 5 Analisemos as duas possibilidades para n2 . Caso 1. n2 = 15

Levando-se em conta o tamanho de A5 , chegamos s seguintes possibilidades para ordem de H:


1, 13, 21, 25, 28, 33, 36, 40, 45, 48, 60

Caso 1i Para todos H e K distintos e pertencentes a Syl2 (G), temos que H K = {e}. Teramos 45 elementos de ordem 2 ou 4. Mas, temos 24 elementos de ordem 5 e 20 elementos de ordem 3. Isso no possvel, pois | G |= 60. Caso 1ii Existem H e K distintos e pertencentes a Syl2 (G) tais que H K = {e, a}, com o(a)=2. Consideremos NG (< a >) = {x G | xa = ax}. Como a H K e H, K so abelianos, temos que H, K NG (< a >). Pelo teorema de Lagrange, temos que 4 \ | NG (< a >) |. Alm disso, vale que:
| NG (< a >) | 6 e | NG (< a >) | \ 60

Note que apenas 1 e 60 so divisores de 60, ento pelo teorema de Lagrange, as nicas ordens possveis para H so 1 e 60. Portanto A5 simples.

Proposio 4.17.

A6 simples.

Teorema 4.18. Se n 5, ento An simples.


Demonstrao. Tendo em vista as proposies 4.16 e 4.17, podemos supor que n 7. Seja H subgrupo normal em An , com H diferente da identidade. Seja H , com = e. Das proposies 4.12 e 4.15 segue que existe um 3-ciclo que no comuta com . Consideremos o elemento := ( 1 1 ), H pois H normal. Alm disso, = e. Escrevendo = 1 (1 ), vemos que o produto de dois 3-ciclos.Note que dois 3-ciclos movem no mximo 6 elementos. Seja A o conjunto das permutaes de An que xam

Portanto, as possibilidades para | NG (< a >) | so 12, 20 e 60. Suponhamos que | NG (< a >) |= 60. Ento NG (< a >)=G. Logo, < a > normal em G. O que impossvel. Suponhamos que | NG (< a >) |= 20. Ento [G:NG (< a >)]=3. Note que 120 3!. Da proposio 2.8, concluiramos que G no simples, o que absurdo. Portanto, conclumos que | NG (< a >) |= 12. Assim [G:NG (< a >)]=5. Caso 2. n2 = 5 Nesse caso, [G:H]=5, para todo H Syl2 (G).

226

Logo, nos dois casos encontramos subgrupo E de G tal que [G:E]=5 O morsmo associado : G S5 injetor, pois G simples. Falta mostrarmos que (G) = A5 . Suponhamos, por absurdo, que (G) = A5 . Como A5 normal em S5 , temos que: 1. (G) A5 normal em (G) 2. (G) quocientado por (G) A5 isomorfo a (G).A5 quocientado por A5 Notemos que | (G) A5 | 30. Disso e de 2, conclumos que | (G).A5 | 120. Logo (G).A5 = S5 . Ainda de 2 e do visto acima, conclumos que | (G) A5 |= 30. Assim (G) A5 normal em A5 . Absurdo, pois pela proposio 4.16, A5 simples. Dessa forma, temos que (G) = A5 . Logo G isomorfo a A5 .
Referncias
[1] Agozzini Martin,

Introduo teoria dos grupos e teo-

ria de Galois,

Publicaes do Instituto de Matemtica e

Estatstica daUniversidade de So paulo, 1998. [2] Nathan Jacobson, Company, 1980.

Basic Algebra II,

W.H.Freeman and

227