Академический Документы
Профессиональный Документы
Культура Документы
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
1.
Introduo
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
| G |= pm , com p
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.
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.
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.
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
8 = 23 9 = 32 16 = 24 25 = 52 27 = 33 32 = 25 49 = 7
2
3.4
m-
64 = 26 81 = 92
3.3 Ordens que so o produto de dois primos distintos
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)
222
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
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. 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.
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.
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.
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 )).
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.
)...(as , ...ass ) r 1
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.
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.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.
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 }.
4.
Ento,
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 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.
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.
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,
ria de Galois,
W.H.Freeman and
227