Elementos de Teoria Dos Grupos (Thiago Dourado)

Thiago Dourado
Elementos de Teoria dos Grupos
Universidade Federal de Mato Grosso do Sul

Campus de Trs Lagoas Departamento de Cincias Exatas
Thiago Augusto S. Dourado
Trs
Lagoas
Estado de Mato Grosso do Sul - Brasil Dezembro - 2009
Universidade Federal de Mato Grosso do Sul

Campus de Trs Lagoas Departamento de Cincias Exatas
Thiago Augusto S. Dourado Graduando em Matemtica
Orientador: Prof. Dr. Antonio Carlos Tamarozzi
Monograa apresentada ao Departamento de Cincias Exatas da Universidade Federal de Mato Grosso do Sul, Campus de Trs Lagoas - DEX / UFMS / CPTL, como condio parcial para a obteno do ttulo de Bacharel em Matemtica com Habilitao em Matemtica Aplicada e Computao Cientca.
Trs
Lagoas
Estado de Mato Grosso do Sul - Brasil Dezembro - 2009
Thiago Augusto S. Dourado
Monograa apresentada ao Departamento de Cincias Exatas da Universidade Federal de Mato Grosso do Sul, Campus de Trs Lagoas - DEX / UFMS / CPTL, como condio parcial para a obteno do ttulo de Bacharel em Matemtica com Habilitao em Matemtica Aplicada e Computao Cientca, obtendo o conceito de ............................... atribudo pelos professores examinadores.
Trs Lagoas, 18 de dezembro de 2009.
Prof. Dr. Antonio Carlos Tamarozzi Orientador DEX/UFMS
Profa . Dra . Eugenia Brunilda Opazo Uribe Examinadora DEX/UFMS
Prof. Dr. Renato Csar da Silva Examinador DEX/UFMS
Talvez possa descrever melhor a minha maneira de fazer matemtica comparandoa com a entrada numa manso escura. Entra-se na primeira diviso e est escuro, completamente escuro, tropea-se e bate-se na moblia. Gradualmente, vai-se aprendendo onde est cada pea da moblia, e passados uns seis meses encontra-se o interruptor, liga-se a luz, e de repente est tudo iluminado, pode ver-se ento exatamente onde se estava. Andrew Wiles
[Autor da demonstrao do ltimo Teorema de Fermat]
Dedicatria
Considero que esta seja uma parte indispensvel, pois julgo ser meu dever homenagear aqueles que inuenciaram nesta etapa de minha vida que culmina de uma forma resumida neste trabalho, por isso devo me ater por no pecar em esquecer a fora de amigos e amigas que me motivaram na realizao desta monograa, demonstrando crena em minha caminhada, pacincia, inspirao, estando em meu lado quando mais precisei e me ensinando que da vida tenho a muito a aprender. Por estes motivos dedico este trabalho minha me, Elda Maria Silva, que embora distante minimizou o mximo desta distncia demonstrando sempre crena em meu sucesso, sempre motivando; dedico, como era de se esperar, tambm a meu pai, por me manter e no medir esforos na busca de minha formao, contrariando muitas vezes a sua prpria cultura; ao Prof. Dr. Antonio Carlos Tamarozzi, por sua invejvel pacincia que por vezes, por muitas vezes, contornou o meu temperamento forte e incisivo tornando este convvio agradvel e promissor, sem mencionar a profunda admirao e respeito que tenho por ele; Tauane Rocci de Moraes e Drielie Katiuska Botacio, pessoas que, embora no mais presentes, no poderia ser injusto em no inclu-las nesta lista, pois estas foram companhias extremamente inspiradoras e na maioria do tempo de uma agradabilidade incontestvel neste ultimo ano, tornando a vida mais vivida; a Thaynara Padilha por procastinadas, porm valorosas e enriquecedoras conversas; aos amigos Leandro Ferreira de Aguiar e Liliane Camargos por suas lutas constantes e incessantes na busca de uma Universidade mais justa, igualitria e fraterna, sem privilgios ou sortilgios a quem quer que seja; por m, ao casal Claudia Ricci e Edivaldo Moraes que de uma maneira singela e sostica, rpida e eterna, me mostraram e me zeram entender conceitos e caminhos da vida que jamais sero esquecidos. Estas foram pessoas prximas que, como j coloquei, inuenciaram direvii
DEDICATRIA
tamente nesta minha caminhada, porm devo ser um pouco mais subjetivo agora e dedicar este meu trabalho e toda a minha possvel carreira a pessoas que talvez no estejam to prximas assim, mas que so ligadas a mim por seus pensamentos e aes. Dedico tudo o j mencionado a pessoas que prezam e lutam pela liberdade. A liberdade do mundo que est em causa primeira na liberdade interior de cada um, no mago de nossas almas, pois se desejas tanto a liberdade e a felicidade, veja que ambas esto dentro de ti; pensas que a tens e a ters; age como se fossem tuas e sero. Nunca deveremos ter medo de ser s, pois a liberdade, segundo Fernando Pessoa, a possibilidade do isolamento; se te impossvel viver s, nasceste escravo. O que mais torna os homens escravos de si mesmos o medo, este a que devemos combater e as armas que devemos usar a vergonha, a coragem, a dignidade e o amor prprio, de forma que s assim poderemos dizer a outros: Posso at no concordar com o voc diga, mas lutarei at a morte para que tenhas o direito de dizer. [Como uma vez disse o libertrio Voltaire.] Enm fao essa dedicatria aos heris do mundo, os quais zeram o que deveria ser feito, sem termer as conseqncias por isso. Thiago Dourado Andradina, 21 de dezembro de 2009.
viii
Resumo
Desde sua criao a Teoria dos grupos tem sido fonte de diversas aplicaes dentro e fora da Matemtica, em particular destacamos a Teoria dos Grupos Finitos. A proposta deste trabalho ilustrar uma pequena parte desta teoria, com o objetivo nal de enunciar e demonstrar os Teoremas de Sylow e o Teorema Fundamental dos Grupos Abelianos Finitos. Inicialmente introduzimos a denio de grupo e suas propriedades fundamentais, fornecendo base para a construo de toda a teoria posterior. Na seqncia foram explorados o Teorema de Cayley e os Grupos de Permutaes. Finalmente desenvolvemos o conceito de -Grupo e -Grupo de Sylow para a apresentao dos Teoremas de Sylow; encerrando com a Teoria dos grupos abelianos nitos, com a qual foi possvel classicar algumas classes de grupos. Palavras chave: Grupos, Aes de Grupos, Teoremas de Sylow, Grupos
Abelianos Finitos, Classicao de Grupos.
ix
RESUMO
Sumrio
Dedicatria Resumo Introduo 1 Fundamentos da Teoria dos Grupos 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 Relaes de Equivalncia . . . . . . . . . . . . . . . . . . . . . . Denio de Grupo e Exemplos . . . . . . . . . . . . . . . . . . Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Subgrupos gerados por um subconjunto . . . . . . . . . . . . . Homomorsmo e Isomorsmo . . . . . . . . . . . . . . . . . . . O Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . Funo e Teorema de Euler. . . . . . . . . . . . . . . . . . . . . Subgrupos Normais e Grupos Quocientes . . . . . . . . . . . . Grupos Cclicos . . . . . . . . . . . . . . . . . . . . . . . . . . . vii ix 1 5 5 11 18 24 27 30 37 38 42 46 52 61 61 61 64 67 72 81 83
1.10 Teoremas do Isomorsmo e o Teorema da Correspondncia . . 1.11 Produto Direto de Grupos . . . . . . . . . . . . . . . . . . . . . 2 Grupos de Permutaes e Aes de Grupos 2.1 2.2 2.3 2.4 2.5 2.6 2.7 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Grupos Simples e Subgrupos Maximais . . . . . . . . . . . . . . Teorema de Cayley . . . . . . . . . . . . . . . . . . . . . . . . . Classicao dos Grupos de ordem e , com primo . . . . Grupos de Permutaes . . . . . . . . . . . . . . . . . . . . . . Grupos Alternados . . . . . . . . . . . . . . . . . . . . . . . . . Aes de um Grupo sobre um Conjunto . . . . . . . . . . . . . xi
SUMRIO
3 Teoremas de Sylow e os Grupos Abelianos Finitos 3.1 3.3 3.4 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 -Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Teoremas de Sylow . . . . . . . . . . . . . . . . . . . . . . . . . Grupos Abelianos Finitos . . . . . . . . . . . . . . . . . . . . .
87 87 87 89 92 101 101 107 110
Consluso Referncia Bibliogrcas Notaes ndice Remissivo
xii
Lista de Tabelas
1.1 1.2 2.1 Tbua da operao do grupo de Klein . . . . . . . . . . . . . Tbua do grupo . . . . . . . . . . . . . . . . . . . . . . . . . Tbua grupos de ordem menores ou iguais a 10, no incluindo os de ordem 8. . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 14 17
xiii
LISTA DE TABELAS
xiv
Introduo
A Artur Cayley (1821-1895) deve-se o clebre dito: Um grupo denido por meio de leis que combinam seus elementos. E esta provavelmente uma das melhores e mais rpidas explicaes. O conceito de grupo seguramente uma das idias centrais da Matemtica Moderna. Certamente existem poucos ramos matemticos nos quais os grupos no sejam empregados implicitamente ou explicitamente. Teoria quntica, estrutura atmica e molecular, e cristalograa so apenas algumas reas das cincias nas quais a idia de grupo como uma molcula de simetria tem sido utilizada com grande importncia. A teoria dos grupos tem sua origem no trabalho de Evariste Galois [6] sobre a solubilidade por radicais da equao polinomial de grau . No entanto, alguns resultados sobre teoria dos grupos j haviam surgido em trabalhos de outros matemticos, entre eles se encontra Cauchy [25]; mas, o termo grupo foi introduzido e usado sistematicamente por Galois em seus trabalho Memoir on the Conditions for Solvability of Equations by Radicals [17], no trabalho original [6]. Alm de Galois (Frana / 1811-1832) os matemticos Joseph Luis Lagrange (Frana / 1736-1813), Paolo Runi (Itlia / 1765-1822) e Niels Henrik Abel (Noruega / 1802-1829) tiveram trabalhos sobre equaes algbricas. Nestes trabalhos, os grupos consistiam de permutaes de variveis ou de razes de um polinmio e, de fato, em muito do sculo XIX todos os grupos eram grupos de permutaes nitos. Muitas idias fundamentais foram introduzidas por estes matemticos. O conceito de grupo claramente reconhecvel no trabalho de Cayley (Gen-Betanha / 1821-1895), mas esta idia no ganhou real aceitao at Walther Franz Anton von Dyck (Alemanha / 1856-1934) introduzir as apresentaes de grupos em seu trabalho intitulado Gruppentheoretische Studien in Mathematische Annalen . O estmulo para estudar grupos innitos 1
INTRODUO
veio da geometria e topologia por inuncia de Felix Klein (Alemanha / 18401925), tutor von Dyck, e tambm de Marius Sophus Lie (Noruega / 1842-1899), Henri Poincar (Frana / 1854-1912), Max Dehn (Alemanha / 1878-1952) e Peter Ludwig Mejdell Sylow (Noruega / 1832-1918). Depois disto, a teoria dos grupos innitos foi estudada quase que unicamente por O. Yu. Schmidt (Rssia / 1891-1956), at o estabelecimento da Escola Russa comandada por Aleksander Gennadievich Kurosh (Rssia / 1908-1971). A primeira grande fase da teoria dos grupos nitos atingiu o seu pice no perodo imediatamente antes da Primeira Guerra Mundial com os trabalhos Ferdinand Georg Frobenius (Alemanha / 1849-1917), William Burnside (Inglaterra / 1852-1927) e Issai Schur (Bielorussia / 1875-1936). Depois de 1928, novas e decisivas contribuies foram feitas por Philip Hall (Inglaterra / 1904-1982), Helmut Wielandt (Alemanha / 1910-2001) e, no campo de representaes de grupos, por Richard Dagobert Brauer (Alemanha / 1901-1977). O intenso interesse subseqente na classicao dos grupos simples nitos conseqncia dos trabalhos destes estudiosos. A classicao foi completada em 1982 com a participao de centenas de matemticos, liderados por Daniel Gorenstein (Estados Unidos / 1923-1992). Atualmente, a teoria dos grupos est dividida em diversas subreas e os interesses so muitos. Vrios problemas tem sido atacados e solucionados, destacando o nome de muitos outros matemticos brilhantes. Esta monograa teve por objetivo introduzir a Teoria dos Grupos, apresentando uma introduo dos conceitos e resultados elementares, mas de fundamental importncia no desenvolvimento desta teoria; para que possivelmente venha a servir de material didtico a outros que queiram se introduzir a este belo, rico e grandioso estudo que a Teoria dos Grupos. No Captulo 1 buscamos dar os fundamentos da teoria. De uma forma bem completa e omitindo o mnimo de demonstraes possveis a m de tornar o texto bastante independente e completo. Nos fundamentos tratamos desde de a denio de grupo at os produtos diretos externo e interno. O destaque deste primeiro captulo foi a extenso do conceito de combinao linear a qualquer operao, mostrando assim a beleza e a sutileza da abstrao. O resultados mais importante apresentados neste captulo foram O Teorema de Lagrange [Teorema 1.14], o Teorema do Homomorsmo [Teoremas 1.21] e os dois Teoremas do Isomorsmo [Teoremas 1.23 e 1.24]. 2
INTRODUO
No segundo Captulo o objetivo principal o Teorema de Cayley [Teorema 2.5] e a Equao das Classes [Equao 2-1, pgina 86]. Como conseqncia do Teorema de Cayley apresentado um estudo sobre grupos de permutaes e o conceito de ciclo. No incio deste captulo introduzido o conceito de grupo simples e subgrupos maximais e minimais. Talvez seja nesta parte que aparea a primeira novidade signicativa que transcende os cursos tradicionais de lgebra, apresentado a classicao dos grupos de ordem e , com desta teoria. Por m apresentamos o conceito de grupos alternados e aes de grupos, obtendo ao nal a j mencionada equao das classes. O terceiro e ltimo capitulo onde so apresentados os resultados mais sosticados desta monograa, uma introduo ao estudo de grupos nitos e suas representaes. Neste captulo esto inclusos os famosos Teoremas de Sylow [Teorema 3.2 e 3.3] e o Teorema Fundamental dos Grupos Abelianos Finitos [Teorema 3.12]. Incialmente pensei em fazer experimentos computacionais para ilustrar alguns conceitos, visto que o curso que estou a me formar tem o nome de Matemtica Bacharelado Habilitao: Matemtica Aplicada e Computao Cientca ; no entanto, estes experimentos no foram possveis, pois computadores que em outrora foram prometidos pela administrao da UFMS h quatro anos so aguardados sem que este estado fosse alterado, no foi enviado um nico computador sequer que pudesse servir a alunos que quisessem usar de programao matemtica. Para se estudar na UFMS nos dias de hoje os alunos devem vencer dois obstculos: as diculdades naturais de um curso universitrio e o descaso de seus administradores, que com intransigncia e uma dose considervel de imoralidade governam para um nica classe (a de professores amigos) deixando as outras trs (discentes, tcnicos e docentes no-amigos) a margem do desenvolvimento universitrio. Enquanto a manuteno do poder for o objetivo dos governantes da UFMS, e no a Cincia, como gostaramos, jamais teremos uma Universidade que sempre sonhamos em ter. uma triste e cruel realidade. [Este ltimo pargrafo foi censurado pela banca desta monograa.]
primo; o problema de classicar os grupos um dos principais problemas
INTRODUO
Captulo 1
Fundamentos da Teoria dos Grupos

1.1 Relaes de Equivalncia
Devido a importncia deste tema e o quanto ser usado no decorrer do texto resolvemos incluir esta seo com o intuito de introduo e com a nalidade de tornar o texto auto-suciente, no deixando a cargo de bibliograas conceitos deveras importante no caminhar do texto, salvaguardando conceitos bem elementares. Suponhamos que em um conjunto esteja denida uma relao entre elementos de . Neste caso, para
escrevemos que se estiver relacionado com , e se no estiver relacionado com . Por exemplo, se o conjunto das retas de um plano, a ortogonalidade dene um relao entre entre pares de elementos do conjunto ; assim como o paralelismo no mesmo conjunto . dene uma outra relao Consideremos ento um conjunto e uma relao denida em , dire mos que uma relao de equivalncia em se as seguintes propriedades so satisfeitas para quaisquer
.
(1) ; (2) ; (3)

As propriedades acima so nomeadas, respectivamente, reexiva, simtrica e transitiva. 5
1.1. RELAES DE EQUIVALNCIA
Observemos que (relao de ortogonalidade) no reexiva e tampouco transitiva. J se considerarmos duas retas coincidentes como paralelas teremos ento uma relao de equivalncia em um conjunto das retas do plano. Quando uma relao e um conjunto for de equivalncia e estiver relacionado com segundo , vamos em geral usar a notao ou em vez de . Exemplo 1.1 Consideremos uma aplicao e vamos denir uma relao de equivalncia no domnio de , do seguinte modo:
se

A relao acima denida claramente uma relao de equivalncia no domnio da aplicao . [Vamos mostrar mais adiante que qualquer relao de equivalncia em um dado conjunto proveniente de uma certa aplicao como a do Exemplo 1.1.] Seja uma relao de equivalncia em um conjunto e seja
. Chamamos ento de classe de equivalncia do elemento em relao a ao conjunto
# !
" !
Teorema 1.1 O conjunto das classes de equivalncia constitui uma partio, isto , a classe de equivalncia possui as seguintes propriedades: (1)
$
; % &;
(2)
(3)
' . ()*
Demonstrao. (1) Se ento +!

, ! - +.
, . - e como , , , ,
/ segue imediatamente que , , Por outro lado, se !
temos que ! e como, por hiptese, inferimos, pela propriedade (3) da denio de relao de equivalncia, que ! . Logo se !
ento !
, ou seja, 0 . Da mesma forma, se .
ento . e como obtemos da transitividade que . , e portanto 0 . Da, como 0 e 0 conclumos que . 6
CAPTULO 1. FUNDAMENTOS DA TEORIA DOS GRUPOS
(2) Suponhamos que e que % & de forma a existir !

% ; mas se !
e !
teramos que ! e ! o que implicaria por transitividade que , donde teramos, com base no item (1), que
- reductio ad absurdum ! Portanto, se temos que % &.

(3) Como 0 inferimos que ' 0 . Por outro lado, se
()* temos que ' , donde temos que
, ou ainda,
() * , isto , 0 ' . Portanto ' . ()* ()*
Q.E.D.
Uma relao de equivalncia, que merece considerao especial, a relao de congruncia mdulo , em que um inteiro arbitrariamente dado. Esta , e denida como relao denotada (analogamente) por 1 ou

" 2
imediato a vericao de que a relao acima denida uma relao de equivalncia, basta para isto vericar que 3 4 4 4 1 4 4 4 4 4 4 5 1 1 para quaisquer
Z 4 4 4 4 1 4 4 4 4 1 4 4 4 6 1 Agora vamos calcular a classe de equivalncia mdulo o inteiro . Se
!
segue que ! 1 , donde temos que " ! 2 , isto , ! 2 7, 7
Z, mas isto o mesmo que ! 8 7, da segue que # 8 7 " 7
Z
Observe que se 9 temos que a
# e que : nada mais do que relao de igualdade em Z, e nesse caso existe um nmero innito de classes # em Z. [Mais adiante provaremos que se ; 9 a relao 1 nos fornece nos fornece exatamente as classes 9 <e que so os nmeros que deixam, respectivamente, restos 9, < e na diviso por =.]
Vamos agora introduzir a noo de conjunto quociente. 7
exatamente classes distintas, 9 < 2 <. Por exemplo, se = a relao
Seja uma relao de equivalncia em um conjunto , ento o conjunto quociente de pela relao de equivalncia , denotado por > o conjunto de todas as classes de equivalncia relativas a relao , isto ,
# > "

Na relao 1 , ; 9, em Z temos
@ Z> 1 ?9 < 2 <

Consideremos uma aplicao A > denida por A , para todo
- A chamada projeo cannica. Ento, a relao proveniente da aplicao A como no Exemplo 1.1. De fato, para
tem-se

A A
Q.E.D.
Agora, consideremos o conjunto Z, denido pelos mltiplos inteiros de
, isto ,
# Z 7 " 7
Z
De forma que a relao 1 pode tambm ser denida por
1
2
Z
e neste caso usaremos tanto a notao quanto a notao 8 Z para representar a classe de equivalncia de em relao 1 . Usaremos tambm a notao Z BZ para simbolizar o conjunto quociente de Z pela relao 1.
@ # Teorema 1.2 Se
N C 9 ento Z BZ ?9 < 2 < um conjunto
contendo exatamente classes de equivalncia. Demonstrao. Primeiramente provaremos que se 9 D E E ento
. Ora, isto de fato ocorre, pois se fosse igual a teramos 1 , que o mesmo que 9 E 2 7, para algum 7
Z; assim, como 9 D E E temos que 2 no pode ser mltiplo de , ou seja, . Logo, @ ?9 < 2 < 0 Z BZ um conjunto com exatamente elementos. @ Agora para provarmos a igualdade Z BZ ?9 < 2 < no que resta @ basta provar que Z BZ 0 ?9 < 2 < , isto , se
Z BZ devemos
8
@ provar ento que

?9 < 2 < . Consideremos ento um inteiro positivo 7 sucientemente grande de tal forma que ! 8 7 seja no negativo. Ora, sendo ! 1 segue ! , donde temos que bastante provarmos que @ !
?9 < 2 < com ! F 9. Com base no algoritmo da diviso de Euclides temos que existem G H
Z tais que ! G 8 H, onde 9 D H E ; assim, como ! 2 H G temos ! 1 H e portanto ! H, com 9 D H E . Sobre Z BZ ( F ) denimos as duas seguintes operaes:
Q.E.D.
I 1 Z BZ J Z BZ Z BZ
e
K 1 Z BZ J Z BZ Z BZ
J foi observado que a classe de equivalncia admite outras representa-
nomeadas respectivamente por soma e produto em Z BZ. es ! (com 2 ! 7, para algum 7

Z); similarmente a classe de equivalncia possui vrias representaes. Necessrio se faz ento a vericao K I de que as denies de 1 e 1 so bem denidas no sentido do resultado independer da escolha dos representantes das classes de equivalncia; de maneira mais precisa, necessrio vericar as implicaes 1!4 1!4 8 ! 8. e !. 4 4 1. 1. E vericar as implicaes acima o mesmo que vericar respectivamente as implicaes
1!4 8 1 ! 8. 4 . 1
1!4 1 !. 4 . 1
uma vez que 1 $ . Mas, ! )Z 2 ! 7P 1 4 4 LMNLO 2 . 7 . 1

2 ! 8 2 . 7P 8 7 8 2 ! 8 . 7P 8 7 8 1 ! 8.
9
)Z 4 1 . LMNLO
1!4
2 ! 7P 2 . 7 7P 8 ! 7 8 . 7P 8 ! 7 8 . !. 8 !7 8 .7P 8 7P7 2 !. Q !7 8 .7P RS8 7P7 T )Z 1 !.

Q.E.D.
Consideremos ainda um conjunto no-vazio . Uma operao binria em , ou simplesmente uma operao em , denominada tambm de lei de composio interna em , uma aplicao
U J
que para cada par de inteiros
J denotada por
U U
Operaes, no entanto, so geralmente denotadas por smbolos, tais como
8 V W
X Y, etc.
So exemplos de operaes: (1) A adio e a multiplicao usuais em Z, cujos smbolos so respectivamente 8 e V, e cada par de inteiros Z e os compostos (como so chamados) so denotados respectivamente por
Z 8 e Z V
No caso da multiplicao usa-se escrever tambm Z, quando isto no gera ambigidades. (2) A operao de potenciao inteira dada pela aplicao Y R J Z R denida por
31 4 4 4 ; 9 4 5 Y Y < 9 4 4 4 4 6<B1 E 9
10
1 1 1[P onde denido recursivamente por (sendo V) V .

(3) Agora deniremos uma operao em Z, simbolizada por W, por
W 8 2 V
onde 8 e V so as operaes de adio e multiplicao usuais em Z. ^ Assim, W = 8 = 2 V = 2<\ 9 W 2= 9 2 = 2 ]9 V 2= 2=
1.2
Denio de Grupo e Exemplos
Uma estrutura algbrica uma 8 <-ordenada WP W1 de um conjunto no-vazio e operaes em , WP W1 , com F <. Uma estrutura algbrica com uma nica operao W chamada grupide ; se a operao deste grupide for associativa ento esta estrutura recebe o nome de semigrupo ; se alm disso, esta operao possui o elemento neutro ento a estrutura passa a ser nomeada de monide. Um grupo por sua vez, um monide em que todo elemento inversvel. Noutros termos, um grupo denido como segue.
_ Denio 1.1 Um grupo uma estrutura algbrica W, contendo uma

nica operao W, que possui as seguintes propriedades: (G1) A operao associativa, isto , `P W ` W ` `P W ` W`, para quais_ quer `P ` `
.
_ _ (G2) Existe a
, tal que a W ` `, para todo `
(neutro a esquerda). _ _ (G3) Para cada `
, existe `b
tal que `b W ` a (inverso a esquerda). _ Se alm dessa propriedades, em um grupo W verica-se a propriedade:
(G4) `P W ` ` W `P
c `P `
_ Ento dizemos, neste caso, que o grupo W um grupo abeliano [em honra
do matemtico noruegus Niels Henrik Abel - (1802-1829)]. Observao 1.1 (1) O nmero de elementos de um grupo chamado de
ordem do grupo. 11
1.2. DEFINIO DE GRUPO E EXEMPLOS
(2) A m de simplicar notaes, muitas vezes usaremos
_ em vez de W,
para representar um grupo. Usaremos tambm `P`, em vez de `P W `, _ para representar o resultado de `P operado com `. A operao de ser sempre explicitada no contexto; e escreveremos a notao aditiva
`P 8` `P W` apenas para grupos abelianos, e neste caso a identidade

ser representada por 9. (3) Na denio de grupo no foi requerido que o elemento neutro e o inverso sejam nicos, no entanto vamos provar a seguir que de fatos o so, com efeito, nicos. Lema 1.1 Seja
_ um grupo e seja `
. Ento `` ` implica que ` a. _
temos que existe `b
Demonstrao. Como `
tal que `b` a, donde

Q.E.D.
temos `b `` `b` a. Por outro lado, `b `` `b` ` a` `. Portanto
` a.
_ Teorema 1.3 Em um grupo existe um nico elemento neutro; ademais _ se a o elemento neutro de ento a` à `. Da mesma forma, existe _ um nico inverso para cada elemento de ; ademais, analogamente, `b` ``b a.
Demonstrao. Primeiramente mostramos que `b` a implica ``b a. De fato, suponha que `b` a ento ``b ``b ` `b` `b à`b ``b , ou seja,
``b ``b ``b , donde temos, com base no Lema 1.1, que ``b a. Agora, de `b` a, temos `b` ``b a, donde inferimos, ` `b` ` ``b `, que o _ mesmo que ``b ` ` ``b `, ou seja, a` à `, para qualquer `
. _ Suponha agora que aP e a sejam elementos neutros de , ento, de aP aP _ temos que aaP aP, uma vez que a elemento neutro de ; da mesma forma, _ como aP tambm elemento neutro de conclumos que a aP. Por m,
vamos mostrar a unicidade do inverso. Suponha que `b e `bb sejam inversos de _ `
, ento `bba `bb ``b `bb` `b a`b `b . Portanto `bb `b. Q.E.D. O resultado acima nos permite denir a identidade de um grupo e o _ inverso de cada elemento. O inverso de um elemento ` de um grupo ser [P denotado por ` . _ Se um grupo, ento so vlidas as seguintes igualdades: 12
(1) d`
[Pe [P [P
`
_ c`
. _ c `P `
.
(2) `P`
[P [P ` ` P
Em que (assim como nos reais) denimos por recursividade a potenciao de `: sendo ` `` temos
3 1[P 4 `` 4 4 4 4 4 4 1 5 ` se ` 4 4 a se 4 4 4 4 4f [Pgh 6 `
se
;<
< 9 Z 2
se
E 9
Antes de demonstrarmos a validade das igualdades (1) e (2) acima, enunciaremos e demonstraremos a seguinte propriedade. _ Para qualquer elemento ` do grupo vlido que 3 1 h 5 ` ` 1h para quaisquer Z
Z 6 ` 1 ` h ` 1ih Demonstrao. Fixemos arbitrariamente
Z e aplicamos a induo sobre
Z
N. Vemos que para Z 9 o resultado claramente verdadeiro, pois : 1 : 1j: 1 : 1 1 1i: ` a ` ` e ` ` ` a` `
Agora, supomos a validade dos resultados para 9 < Z 2 < e vamos provlos para Z. Invocando a denio de potenciao dos elementos de um grupo, obtemos
Hiptese de Induo l
1 h ` k
assim como,

Hiptese de Induo l
1 h[P k ` ` 1 ` 1i1h[1 `
1 1mh[Pn 1 1h[1 ` ` ` ` 1h
1mPih[Pn
`
1 h ` ` k

Hiptese de Induo l
Hiptese de 1 f h[Pg 1 h[P k Induo l 1iP h[P ` `` ` ` ` ` `
1iPih[P
`
1ih
[P Por m, para Z E 9 fazemos o ` e ! 2Z. Portanto, para quaisquer _ 1 h 1h 1 h 1ih Z

Z e `
temos que ` ` e ` ` ` . Q.E.D.
13
Agora mostraremos a validade das igualdades (1) e (2). Com efeito, (1) segue de imediato do que acabamos de demonstrar, pois
f [Pg [P m[Pnm[Pn P ` ` ` `
Para provarmos a igualdade (2) observamos o seguinte:
f [P [Pg f [P [Pg f [Pg [P `P` ` ` P `P k` ` ` P l `P k `` ` P l f [P g [P `P a ` P `P` P a [P [P ou seja, ` ` P o inverso de `P`, e como o inverso nico conclumos que [P [P [P `P` ` ` P . Q.E.D.
(1) Z 8 um grupo abeliano innito.
Exemplo 1.2 (Grupos)
(2) Se F < um nmero inteiro ento o conjunto Z BZ um grupo I abeliano nito com a operao 1 , contendo exatamente elementos. (3) Q 8, R 8 e C 8 so grupos (aditivos) abelianos.
# (4) O conjunto nito p a juntamente com a operao
denida
pela Tabela 1.1 forma um grupo nito abeliano de ordem q, conhecido como Grupo de Klein [em honra do matemtico alemo Felix Klein, (1849-1925)]. Note que, neste grupo, o composto
a, para todo

p.
Tabela 1.1: Tbua da operao do grupo de Klein
r r r s s t t u u
s s r u t
t t u r s
u u t s r
# # # (5) Q C 9 V, R C 9 V, C C 9 V so grupos (multiplicativos) abelianos.
K @ (6) Se um nmero primo, ento Z B Z C ?9 com a operao v um grupo abeliano.

14
@ De fato, se
Z B Z C ?9 ento y K K v w v x
Denio de
z {|
y K v V
Denio de
y
z {|
V V
}j associativa Denio de z K {| ~ em Z V V V v y Denio de z K K {| \ x w v v

bem como,
K v < V <
@ Agora vamos mostrar que todo

Z B Z C ?9 possui inverso. Com efeito, se um nmero primo ento < e, neste caso, o
Teorema de Bezout nos garante que existem H !
Z tais que
K v: I H 8 ! < H 8 ! < H v ! < H < v H <

ou seja, H o inverso de .
@ Por m, para
Z B Z C ?9 temos }Comutatividade K K em Z ~ v v
K @ K ou seja, v comutativa. E portanto wZ B Z C ?9 v x um grupo abeliano. Q.E.D.

(7) O conjunto das matrizes inversveis J, com entradas em R e a operao usual de multiplicao de matrizes forma um grupo, conhecido _ como grupo linear geral sobre R, denotado por R . [O conjunto _ C tambm um grupo linear geral com entrada em C.] (8) Seja
1 _ R J R , de forma que, denido em a operao W 8
_ se verica que W um grupo.

15
_ (9) Seja o mesmo conjunto denido no exemplo anterior, se denimos _ _ em a operao Y 8 ento Y um [P [P [P e 2 . grupo, com identidade 1 9 e d
(10) Seja o conjunto & e seja o conjunto das partes de . O grupide em que a diferena simtrica, denida por
P C P %
em que P 0 , um grupo, com elemento neutro sendo o conjunto
&; e o inverso de cada elemento de dado por ele mesmo, isto , para [P cada mP *n 0 temos que .
(11) Seja um conjunto no vazio e
# * " bijetiva
ento * um grupo com a operao de composio de aplicaes X, chamado grupo de permutaes em , e seus elementos so chamados permutaes. No caso em que um conjunto nito o grupo * # denotado, neste caso, por * . Por exemplo, se P 1 , com F <, neste caso particular, o grupo de permutaes denotado por 1 e passa a ser chamado de grupo de permutaes de elementos ou grupo simtrico de grau . Para cada aplicao
1, isto , para #1 #1 cada bijeo P P, denotamos esta tal permutao por 1 P V V V P V V V 1 O nmero de permutaes de elementos, ou seja, o nmero de elementos de 1 precisamente (o fatorial de ), denido por
3 5 <
6 V 2 < se F <
se 9
[Para F , V 2 < V V V <.] (12) Tbua do grupo . Para simplicar as notaes, em lugar de trs elementos genricos P, e , tomaremos os nmeros <, e =, e assim 16
# olharemos o grupo como sendo o grupo das permutaes de < = . = , sendo constitudos das seguintes seis permutaes:
< = < = < = < =
< = P < = < = = <
< = = < < = = <
A tbua do grupo , isto , a tbua da operao de composio de aplicaes em , dada pela Tabela 1.2. Para calcular a permuta-
Tabela 1.2: Tbua do grupo
o composta de duas permutaes de , pode-se proceder como nos exemplos abaixo:
P X
< = < = X < = < =
< = P < P P = < = P < P P = < = \ = <

17
1.3. SUBGRUPOS
X
< = < = X = < = <
< = < = < = = < < = a < =
Para inverter uma permutao, basta permutar suas linhas e reordenar as colunas segundo a reordenao dos elementos da primeira linha, por exemplo, ainda acima denido:
[P [P < = = < < = = < < = = < [P [P < = < = < = < = < = < =
bem como
1.3
Subgrupos
Quando se estuda uma estrutura algbrica de grande importncia considerar os subconjuntos que herdam a mesma estrutura, pois em muitos casos a estrutura original se determina em termos de suas subestruturas. Em nosso caso, estamos interessados em considerar aqueles subconjuntos no vazios do _ que possuem as mesmas propriedades que este, quando a operao grupo se restringe a estes subconjuntos. Estes subconjuntos recebem um nome, so chamados de subgrupos. Denio 1.2 Se
_ um grupo e um subconjunto no vazio de , ento _ _ se diz que um subgrupo de (denotamos 0 ) quando a operao de _ restringida a faz deste um grupo.
Observao 1.2 (1) O elemento neutro a de necessariamente igual _ _ ao elemento neutro a de . De fato, tomando
0 , temos 18
[P que a V ; multiplicando ambos os membros da equao por direita, obtemos a V a a, que o mesmo que a a.
(2) Dado o
, o inverso de o em necessariamente igual ao inverso de _ o em . De fato, se 7 o inverso de o em , ento o7 7o a , logo _ _ o7 7o a, pois a , e portanto 7 o inverso de o em . Teorema 1.4 Seja
um grupo e 0
_ , &, ento as seguintes
condies so equivalentes.
_ (1) ` 0 .
(2) (a) c

, [P (b) c

. (3) c
Demonstrao.
[P
< Se 0
ento os tens (2)a e (2)b so imediatos, seguem da de-
nio de subgrupo.
[ [ = Para
segue de (2)b que P
, e se P
segue do [P item (2)a que
. [ = < Como & temos que existe
, donde temos que a P
; isto demonstra que possui o elemento neutro e que para cada
existe o inverso de . Agora s falta demonstrar que fechado _ para operao denida no grupo , uma vez que se oP o o
_ oP o o
oP oo oPo o, ou seja, vlida a propriedade [P associativa em . Desta forma, sejam
, pelo j provado
[ [ , chamando P de inferimos, como
, que P
.
Q.E.D.
Observao 1.3 Na prtica, para vericar que um subconjunto um sub_ grupo de , ser mais convenientes vericar que as propriedades (2)a e (2)b do Teorema 1.4 so contempladas; e se necessrio, quando no se mostrar claro, deve-se vericar tambm &. 19
1.3. SUBGRUPOS
Teorema 1.5 Seja _ , ento
# um grupo e ) uma famlia de subgrupos de _ 0
Demonstrao. Temos, primeiramente, que &, pois a

, donde podemos inferir de imediato, com base no item (3) do Teorema 1.4, que _ 0 . Q.E.D.
_ Observao 1.4 A unio de subgrupos de em geral no necessariamente _ um subgrupo de . Por exemplo, seja o grupo Z 8 e sejam P "
Z i #
e
# "
Z [
ento P 0 Z 8, pois

P operado com
resulta em
>
P . Mais adiante, no Lema 1.8, pgina 44, veremos que se os subgrupos _
so cclicos ento a unio um subgrupo. Teorema 1.6 Seja um grupo. Ento
P 0 0
_ 4 _ P 0 $ P 0 _ 4
ou
0 P
Demonstrao.
_ [ 0 e
P e
de modo que P
P , isto , Seja P [ [ [ [ [P [ P
P ou P
. Se P
P ento d Pe P
P, [P e [P donde temos que d
P, pois
P e
P, mas isto [Pe [ o mesmo que d ; logo se P
P ento
P. De [P [Pe forma anloga, se
ento d
, que o mesmo que [P e [P d ; assim, se
ento
Portanto, o fato de [ P
P implicar que
ou
P, nos faz concluir que P 0 ou 0 P. _ Se P 0 ento P 0 ; de forma anloga, se 0 P _ ento P P 0 . Q.E.D.
20
Exemplos de Subgrupos
Exemplo 1.3 Se
_ # _ um grupo, ento a e so subgrupos de .
Exemplo 1.4 Z 8 um subgrupo de Z 8. De maneira mais geral, um inteiro qualquer, Z 8 um subgrupo de Z 8. Exemplo 1.5 Seja
R o grupo linear geral de ordem (Exemplo
1.2-(7), pgina 15) e seja 3 5 _ ,

Z < D D
, , < 6 , , , _ Ento 0 . De fato, usando o Teorema 1.4 podemos assegurar provando que se
[P _ ento
ento provamos que 0 . Ora, se
e
1 n n m 1 m 1 ento
, pois se ento , P P P L < L. N NN inferimos que N NN e mais, como V L [P Agora s nos basta mostrar que para todo
,
. Com efeito, se
ento < o que implica que possui inversa, e mais [ [ [ P Pe d <; sabemos P B , i iP onde , tal que, para cada par , 2< , em que a matriz formada a partir de retirando-se a -sima linha e [P [P a -sima coluna; logo as entradas de so inteiras. Portanto
e _ assim 0 . Q.E.D. Exemplo 1.6 Se
um grupo qualquer, ento o subconjunto
_ _# _
" ` ` c `
_ _ um subgrupo de , que recebe o nome especial de centro do grupo . _ _ _ Observe que um grupo abeliano se, e somente se, . Exemplo 1.7 O conjunto R , denotado desta forma em honra do ma_ temtico noruegus Sophus Lie, denido pelos elementos de R _ tais que < um subgrupo R , chamado Grupo Linear Especial com entradas em R. [Este conceito estendido de maneira anloga ao conjunto C.] 21
1.3. SUBGRUPOS
Exemplo 1.8 (Determinao de todos os subgrupos de Z 8) J sabemos que Z 8m1)N n 0 Z 8. Vamos mostrar agora que estes so os nicos subgrupos de Z. # Com efeito, seja um subgrupo qualquer de Z. Se 9 ento # # 9Z. Suporemos agora que 9 . Denindo !
" ! ; 9 teremos
, e como um subgrupo temos que Z 0 . Reciprocamente, seja .
; pelo algoritmo de Euclides, existem G H
Z tais que . G 8 H, com 9 D H E ; como . e pertencem a temos que H tambm pertence a
, mas
# 4 !
" ! ;9 4 4 4 H 9 H
4 4 4 4 9 DH E
Q.E.D.
e portanto . G, ou seja, .
Z. Desta forma Z.
Exemplo 1.9 (Grupo de Heisenberg) O conjunto de todas as matrizes da forma
< 9 < 9 9 <

R ou C
com a operao usual de multiplicao de matrizes um grupo, chamado grupo de Heisenberg, [em honra do fsico alemo Werner Karl Heisenberg, 1901-1976] e tal grupo denotado por R ou C . Para provarmos que R um grupo basta observar que R um ^ subgrupo de = R , uma vez que ] <, para quaisquer escala , res e ; e ainda, para quaisquer b b b
R , tem-se
V por m, para todo
db b b e
d 8 b 8 b 8 b 8 b e
R \

R existe [P 2 2 2
R
Q.E.D.
Para cada matriz
existe uma matriz associada a esta, denotada

22
por e denida por
9 \ 9 9 9 9 9 que por hora sua nica relao com dada por [ a NN O sendo que a exponencial de uma matriz 11 denida por < h a 1 8 hP Z
[Aqui no apresentamos a demonstrao que a srie acima converge para a exponencial da matriz, nem tampouco que ela converge; no demonstraremos tambm a veracidade da relao entre as matrizes e . Tais demonstraes podem ser encontradas em [12].]
1 Exemplo 1.10 (Subgrupos Uniparamtricos) Seja o conjunto R com a

operao de adio denida por
1 P 1
R 1 8 8 P 1 P 1
R 1
com a operao de adio acima
de fcil vericao que o conjunto R denida um grupo abeliano.
1 O conjunto denido pelos vetores de R que na 7-sima coordenada possui
o elemento .
R, e em todas as outras o elemento zero, forma um subgrupo 1 de R . Isto , 3 5 1 , 9 9 } 9 9 , .
R 0R . , 6 -sima , coordenada~ , L , L De fato, denotando os elementos de por ., isto , L . 9 9 } 9 9 . -sima coordenada~ L teremos
. V !
9 9 }
L 9 9 } . 8 ! -sima L
-sima coordenada~
9 9 8 9 9 } 9 9 . 8 !
-sima coordenada~
9 9
coordenada~
23
1.4. SUBGRUPOS GERADOS POR UM SUBCONJUNTO
ou seja, . !

. V !
. O inverso de . claramente dado por 2., pois L. V 2. . 2 L . 9 9.
Q.E.D.
Subgrupos desta forma recebem um nome especial, so chamados de subgrupos uniparamtricos. Este conceito formalizado pela seguinte denio. Denio 1.3 Sejam denido por
um grupo e um subgrupo de
_ . Se conjunto
# . " .
R 9 9
e tal que
. V ! . 8 ! . !
R _ ento um subgrupo uniparamtrico de .
Observao 1.5
1 (1) O grupo R 8 possui subgrupos uniparamtricos, que so, saber, mP 1n, em que , 9 9 } . 9 9 , .
R , 6 -sima , coordenada~ , ,
dem ser facilmente denidos.
3 5
<
(2) O grupo de Heisenberg possui trs subgrupos uniparamtricos, que po-
1.4
Subgrupos gerados por um subconjunto
Fazendo uso do Teorema 1.6 pode-se construir muitos subconjuntos de grupos que no so subgrupos. Isto possui uma certa analogia com os espaos vetoriais. Com efeito, no caso dos espaos vetoriais, pode-se estar interessado em construir subespaos com certas propriedades. Por exemplo, pode ser de interesse que um certo subconjunto esteja contido em um subespao particular, sob esta condio construmos o subespao desejado. Se um subespao deve conter um determinado conjunto , ento este subespao se constitu de todas as possveis combinaes lineares dos elementos de . A questo que surge agora, de forma natural, sobre a possibilidade de uma ampliao das idias de subespao para subgrupo? E mais, se esta possibilidade existir, como interpretar as combinaes lineares em um subgrupo? Se o 24
_ # subconjunto for ! P, a idia denir um subgrupo gerado por como conjunto de todos os elementos da forma ! , variando H nos inteiP ros positivos, ! mP n
e os expoentes nos inteiros. Observe que esta
um generalizao do conceito de combinao linear. O teorema a seguir formalizar estas idias. Teorema 1.7 Seja o conjunto
um grupo e um subconjunto no vazio de
_ , ento
4 4 , !
4 4 , , m 1n , P < , 4 4 , 4 4 ,
N C 9# , , , _ tal que 0 . E mais, este o menor subgrupo que contm , isto ,
3 4 4 4 1 4 5 ! 4 P 4 4 4 6
1 Demonstrao. Sejam
. Temos que ,
e P h mP 1n <; da mesma forma, , com
e mP hn <. P 1 h Portanto,
, onde a, se ; e a, se PN 1 [ [ ; Z; bem como P
. Agora vamos mostrar que este o P menor subgrupo que contm . Com efeito, imediato que 0
( W)
pois um dos elementos sobre os quais se forma a interseco. A segunda incluso se obtm observando que os elementos de so produtos dos elementos de e 0 . Logo
0
Portanto, de ( W) e ( WW) obtemos a igualdade desejada.
( WW)
Q.E.D.
25
1.4. SUBGRUPOS GERADOS POR UM SUBCONJUNTO
# Quando o conjunto nito, digamos !P ! ! utiliza remos a notao !P ! ! , bem como a notao ! P, para designar # !P ! ! . _ [P Exemplo 1.11 Dado `
vamos descrever `. Para < temos ` e ` [Pe como elementos de `; quando temos ` , d` e a como elementos de `; de maneira geral, obtemos f [Pg f [Pg [P ` + ` ` ` a ` ` ` - [ [Pe Podemos escrever ` para denotar o elemento d` ; assim, com estas no @ taes, temos que ` ? ` .
Z . , , Notao.
Denio 1.4 (1) O subgrupo o subgrupo gerado por . _ _ (2) Um grupo nitamente gerado se contm um subconjunto nito _ tal que . (3) Se um conjunto unitrio (como no Exemplo 1.11) se diz que grupo cclico.
um
_ `. (4) Seja `
, a ordem de `, denotada por `, denida como
Lema 1.2
3 3 4 a [P 5c
_ 5 h 6 H 41 6 se Z 9 D Z E H h
Demonstrao. Se
1 , para Z e 9 D Z E H, ento, podemos h[1 supor sem perda de generalidade Z ; . De forma que a, com E Z 2 E H, o que contradiz a hiptese da minimalidade de H. Logo 9 [ _ a P so elementos distintos de . Agora, para provarmos que [P @ ?a , devemos mostrar que para todo !
Z existe
Z,
com 9 D E H, tal que . Ora, se dividirmos segundo a diviso euclidiana ! por H, podemos garantir que existem G
Z tais que ! GH 8 , i com 9 D E H, e portanto V a V Q.E.D.
Teorema 1.8 Seja um elemento do grupo
e o subgrupo gerado
por . Ento as seguintes armaes so equivalentes: 26
(1) E .
# (2) Existe .
N C 9 tal que a. Demonstrao.
h # < Como " Z

Z e por hiptese o grupo nito, v ento existem G
Z, G tais que ; supondo ; G teremos v[ que a, e portanto existe um inteiro . ; 9 tal que a. < Consideraremos H ?. F < , , que H E . Ora, do Lema 1.2 inferimos que H E . @ a , e devemos mostrar
Q.E.D.
1.5
Homomorsmo e Isomorsmo
Recorramos novamente ao estudo dos espaos vetoriais, e lembremos que quando se quer representar a soma direta de dois espaos com certas propriedades as transformaes lineares so de grande importncia, sendo a razo desta importncia o fato de que as transformaes lineares preservam as opera-es nos espaos considerados. Para as estruturas algbricas existe uma analogia, so aplicaes de grande importncia que preservam as estruturas.
_ _ _ Denio 1.5 Sejam P W e dois grupos e uma aplicao P _ .

(1) Se W de homomorsmo. (2) Se um homomorsmo e injetivo ento chamada de monomorsmo. (3) Se sobrejetiva e um homomorsmo ento dita ser um epimorsmo. (4) Se um monomorsmo e um epimorsmo ento um isomorsmo ; noutras palavras, um isomorsmo se um homomorsmo e bijetiva. 27
, para quaisquer
P, ento chamada
1.5. HOMOMORFISMO E ISOMORFISMO
_ _ _ (5) Se P um isomorsmo ento dizemos que P isomorfo a _ _ _ _ _ , e denotamos isto por P ou, simplesmente por P . [A
justicativa desta notao encontra-se no Teorema 1.9 a seguir.] Observao 1.6
_ _ (1) Um homomorsmo de em tambm chamado de _ _ _ endomorsmo de ; bem como um isomorsmo de em tambm _ chamado de automorsmo de .
(2) Quando se tem sentido, a composio de um homomorsmo, novamente um homomorsmo.
_ _ _ _ De fato, sejam os grupos P W, e Y. Ento, se P _ _ _ _ _ e o so homomorsmos, segue que o X P um

homomorsmo, pois
o X W o W o

o Y o o X Y o X
Q.E.D.
Teorema 1.9 Ser isomorfo dene uma relao de equivalncia na classe de todos os grupos, cuja classe de equivalncia est formada precisamente pelos grupos que so isomorfos.
_ _ _ Demonstrao. Sejam os grupos P W, e Y. Ento:

(1)
_ P P. De fato, basta para isso tomarmos igual a aplicao identi_
dade, pois nestas condies,
W W W
(2) Se
P
_ _ P , ento para quaisquer

P temos que W [ . Aplicando P nesta ltima igualdade: [P [P W W [P W [P
Logo,
_ _ P. M
28
4 4 Denio 1.5-(5) W c
_P (3) _ _ _ 4 4 o o Y o c
o X W o W o o Y o _ _ _ _ _ _ ento P o X Y o X . Portanto, se P . e _ _ P
Q.E.D.
Em matemtica, um dos problemas fundamentais o de poder classicar os diferentes objetos que so estudados. Esta classicao no sentido de agrupar todos os objetos que tenham as mesmas propriedades. Por exemplo, em lgebra linear se tem uma classicao para os espaos vetoriais nitamente gerados, em termos de suas dimenses. Isto se precisa dizendo que os espaos vetoriais nitamente gerados so isomorfos se, e somente se, tem a mesma dimenso. No tocante a grupos, a classicao um problema muito mais sosticado. Os grupos que so classicveis de maneira similar aos espaos vetoriais nitamente gerados so os grupos cclicos - no caso, substituindo a dimenso por cardinalidade. Neste sentido, cabe mencionar que um dos problemas fundamentais em teoria dos grupos o de classic-los, sob isomorsmos. Denio 1.6 Seja
um homomorsmo.
(1) O ncleo de , denotado por , denido por
_ # `
" ` a
(2) A imagem de , denotada por , denida por
_# o
" ` o para algum `
_ Teorema 1.10 Sejam os grupos W e e o homomorsmo de _ _ em . Ento 0 e 0 .
Demonstrao. &, pois para a temos que a a W a
a a, donde conclumos com bas no Lema 1.2 do Teorema 1.3 (pgina 12, a a . Conseqentemente &. Desta forma, para
, temos W [ [ a a a isto , W
; bem como P
, pois d Pe
29
a
a, ou seja, a
1.6. O TEOREMA DE LAGRANGE
[P ^[P _ ] a a . Portanto, 0 . Agora, consideremos

, _ de tal forma que e , para determinados
. Assim, ^[P [ [ W
e ainda, P ] d Pe )
. Logo 0 , o que prova o teorema.
Q.E.D.
1.6
O Teorema de Lagrange
Mostramos anteriormente que a unio de subgrupos nem sempre um subgrupo. Esta propriedade anloga para o caso dos subespaos vetoriais, a unio de subespaos vetoriais nem sempre um subespao. No entanto, existe uma outra maneira de combinar subespaos vetoriais que sempre resulta ser um subespao vetorial - se dene para estes subespaos uma soma dos mesmos. O nosso objetivo agora o de estender este conceito para subgrupos. _ existe somente uma operao, natural inferir Como em um grupo que esta deva ser usada para se denir a soma de subgrupos, ou produto, dependendo de como se denote a operao. Com isto em mente temos a _ seguinte situao. Seja um grupo, denimos o produto de dois subconjuntos _ # no vazios e de por !. " !
e .
. Ento natural que _ _ _ indaguemos: se 0 e 0 ser tambm um subgrupo de ? Se for o [P _ caso de ser subgrupo de , ento
sempre que
. Ora, se
ento podemos escrever e , com
e
, [P [P [P [P de forma que no necessariamente pertence a
, pois para que este pertena a os elementos de e devem comutar.

Analisando o que zemos at aqui vemos que no respondemos a questo por completo, mas sim de forma parcial. E para o caso dos grupos no abeli_ anos, em que situao 0 ? Para respondermos a esta questo interessante algumas condies sobre tais grupos, por exemplo, a cardinalidade. Existem grupos no abelianos de pequena ordem? facilmente observvel que os grupos com somente dois elementos so abelianos, posto que este grupo conta da identidade e de um outro elemento, o qual o inverso deve ser seu prprio _ # inverso; se um grupo possui trs elementos, por exemplo a , ento
e so inversos um do outro, dos quais a comutatividade se obtm de forma _ # imediata; se um grupo possui quatro elementos, digamos a , en_ to ao tomarmos um par de elementos de , por exemplo e , vemos que
30
#
> , pois se assim fosse ou seria a identidade, desta forma obtemos
que: a ou , e em qual dos casos se verica que e , donde _ _ abeliano. E o que ocorre para o caso conclumos que se " " q ento de o grupo possui cinco elementos? Para este caso uma anlise nos moldes das anteriores ca muito mais complicada, devido as diferentes possibilidades que ocorrem no tomar dois elementos e multiplica-los. Uma idia interessante do grupo, diferente da identidade, e o subgrupo considerar um elemento gerado por este elemento, o qual deve ter no mnimo dois elementos. Suponha _ _ que . Fazendo e considerando
C e os subconjuntos _ # e o " o
de , observamos que % &, pois se assim [P no fosse, se existisse o
% ento teramos o
, o que _ _ impossvel, visto que
C . Dito isso, o conjunto 0 tal que " " " ". Como este nmero deve ser menor ou igual a cinco, deve _ # ocorrer que " " , ou seja, a ; assim se existe
C ento chegamos a uma contradio, uma vez que , e so dois a dois _ disjuntos e a unio destes produz seis elementos e " " . Esta contradio _ nos faz concluir que . Em suma, o que foi mostrado aqui se resume dizendo que o grupo com cinco elementos cclico, e portanto abeliano. Todo o feito at agora fez demonstrar o seguinte resultado. Lema 1.3 (Cayley) Os grupos de ordem menor ou igual a cinco so abelianos. O conjunto utilizado na demonstrao do Lema de Cayley especialmente nomeado, o que motiva a seguinte denio.
_ _ # Denio 1.7 Se 0 e `
, ento ao produto ` o` " o
_ se nomeia classe lateral direita de em representada por `. De forma _ anloga se dene a classe lateral esquerda de em representada por `.
Consideremos novamente o grupo de permutaes (Exemplo 1.2-(11), pgina 16), em que
3 4 4 < 4 4 4 4 5 < 4 4 < 4 4 4 4 6 <
= < ! = = < =
31
= < = = = <
4 4 < = 4 4 4 4 = < 4 < = 4 4 4 4 4 = <
onde a notao
< =
representa a aplicao denida por < , e = . Observemos que 3 3 5 < = 5 < = < = < = e 6 < = 6 < = < = = < so ambos subgrupos de ; pois
< = < = < = < = < = < =

bem como
< = < = < = = < = < < =
Notemos ainda que o produto 3 5 < = < = < = < = 0 6 < = < = = < = < pois para que este fosse subgrupo de o elemento < = < = < = = < < = = < deveria pertencer a , o que no o caso. Em suma, encontramos um grupo e dois subgrupos cujo produto no um subgrupo. Anteriormente observamos que se os elementos de comutam com os elementos de , ento
um subgrupo. Notemos ainda que se os elementos de e comutam

ento os conjuntos e so iguais. Ser esta a condio necessria? A resposta proporciona o seguinte teorema. Teorema 1.11
0 0
_ 4 _ 4
$
32
_ Demonstrao. Suponhamos que 0 ento considerando !.

, [P [P [P [P obtemos que !.
. Ora, se !. . !
, isto , 0 . Da _ mesma forma se mostra que 0 . Portanto se 0 ento . Suporemos agora que e consideraremos
. Ento !P.P e !., para determinados !P !
e .P.
. Desta forma, [P [P [P [P [P [P [P [ P !P.P !. !P.P. ! !P.P! . Q !P! .P. T !.
. RS T Q RS ) ) _ Portanto se temos que 0 . Q.E.D.
Corolrio 1.1 Seja um grupo abeliano e o natural E , ento 1 _ _ n m 1 P 0 0 P
Demonstrao. Para temos a veracidade do resultado, pois se oPo

_ _ P, inferimos que oPo ooP
P, uma vez que oP o
e abeliano; assim P 0 P. Da mesma forma obtemos que P 0 P, e portanto P P. Agora, supondo a validade do resultado para 2 < 1[ P vamos prov-lo para . Chamando , e considerando !o1
1 P _ obtemos !o1 o1 !
1 , uma vez que 0 e conseqentemente ! 1[ P n _ 1 _ 1 1 P o m )
, bem como o
. Logo 0 , e da mesma forma 1 _ se obtm que 1 0 1. Portanto 0 . Q.E.D. P Observao 1.7 (1) 0
` $ `

De fato, se ` ento para a`

` inferimos que a`
, que o mesmo que `
. Por outro lado, se `
ento segue imediatamente da denio de `, que ` . (2) O produto de subconjuntos de um grupo associativo.
Q.E.D.
_ De fato, o sejam P subconjuntos no vazios de , ento se P

P , como P P , uma vez que P
_ , segue que P
P , mas P
P ; donde conclumos que P 0 P . A prova de que P 0 P , inteiramente anloga. Portanto, P P .
Q.E.D.
33
_ _ (3) & m n 0 $ 0 . Com efeito, para quaisquer !.

temos de imediato que !.
,
pois . E mais, se !
ento devido a nidade de temos 1 h # que existem Z
N C 9 , com E Z, tais que ! ! , e como 1 h _ _ ! ! !
chegamos que estes possuem inversos em , de tal forma h[1 h[1[P que podemos escrever ! <, que o mesmo que ! V ! <, h[1[P , que por sua vez pertence a ou seja, o inverso de ! o elemento ! h[1[P _ , j que ! Q ! V R 0 . A recproca imediata. S V ! T . Logo, h[1[P vezes
Q.E.D.
Teorema 1.12 0
[ $ P
. [P
Demonstrao. Se ento
[ P , e a conclu[P so segue imediatamente da Observao 1.7-(1). Por outro lado, se

[P ento novamente da Observao 1.7-(1) segue que , donde temos .
Q.E.D.
^ _ _ _ Denio 1.8 Seja 0 , o ndice de em , denotado por ] , _ denido como sendo a cardinalidade das classes laterais direita de em .
Em smbolos:
^ _ ] ` ) _
Teorema 1.13 O ndice de em
tambm a cardinalidade do con_ junto das classes laterais esquerda de em , isto , ^ _ ] () )
Demonstrao. Para demonstrar este resultado consideremos a aplicao U denida por
U classes laterais direita #
classes laterais esquerda [P
Teorema 1.12 [ e provemos que U uma bijeo. De fato, P

Observao 1.7-(1) [P [P [P U U ou seja,
34
U injetiva. A sobrejetividade segue de imediato da denio de U, pois U d [Pe . Q.E.D.

Lema 1.4 0
' ` uma partio de )
_ .
_ Demonstrao. Vemos claramente que ' ` , de forma que s nos ) resta provar que se ento % &; mas provar isto o mesmo
que provar que se % & ento . Desta forma, se
% ento oP o, com oP o
, e assim oP o, donde temos que [P [ P oP o e, com base no Teorema 1.12 conclumos que . Q.E.D. Lema 1.5 Para qualquer `
tem-se "` " " ".
Demonstrao. A aplicao denida por
o o
claramente uma bijeo.
Q.E.D.
Teorema 1.14 (Teorema de Lagrange)
^ _ _ _ 0 m n " " ] " " Demonstrao. Da Denio 1.8 e do Lema 1.4 temos que _ ` P )
e que esta unio disjunta. Portanto, ^ Lema 1.5 _ _ " " "` " " " Q " " 8 VRV V 8 " " ] " " S T P )P vezes
Q.E.D.
Observao 1.8 A recproca do Teorema de Lagrange no verdadeira, como veremos mais adiante no Teorema 2.16, pgina 83. 35
_ Corolrio 1.2 Seja um grupo tal que " " , com sendo um nmero _ _ _ # primo. Ento `, para algum `
C a . cclico, isto , _ # Demonstrao. Seja `
C a e consideremos ` o subgrupo gerado por _ _ `. Do Teorema de Lagrange temos " `" divide " " e portanto " `" " ", pois _ _ " " um nmero primo. Logo `. Q.E.D.
Corolrio 1.3 0 ^ ^ _ ] V ] p .
p 0
so tais que p 0 0
^ _ ento ] p
Demonstrao. Do Teorema de Lagrange temos ^ _ _ 4 " " ] " " 4 4 4 ^ ^ _ _ ^ _ _ " " ] p "p " 4 ] " " ] p 4 4 ^ 4 " " ] p "p " ^ ^ _ ] ] p "p " ^ ^ _ _ M ] p ] V ]
"p " ^ _ ] p "p " ^ p

Q.E.D.
Corolrio 1.4 Seja um elemento do grupo _ divide a ordem de e a
_ n m . Ento a ordem de
Demonstrao. Por denio

grange obtemos
, aplicando Teorema de La-
^ _ _ _ " "Q ] R V " " " S T )Z

Lema 1.2 f m n g kpgina 26l m nj a a Q.E.D.
Desta forma,
Corolrio 1.5 (Pequeno Teorema de Fermat) Seja primo. Ento:
um
nmero
c
Z C Z

36
v[P <
@ @ Z Demonstrao. Seja
Z C Z; ento
vZ Z C ?9 . Agora, como vZ C ?9 v[P um grupo cuja ordem 2 < podemos concluir que <, ou seja, v[P Q.E.D. < .
1.7
Funo e Teorema de Euler.
K Denio 1.9 Considere o conjunto Z BZ com a operao 1 , que constitudo de todos os elementos de Z BZ que possuem alguma classe de equivalncia inversa em Z BZ, isto , K K Z B Z x + < D D 2 < , < para algum
Z - w 1 , 1 , , A funo N N, conhecida como funo de Euler, denida pela cardinalidade do conjunto acima denido, isto , K wZ BZ 1 x para cada
N Lema 1.6 junto
K (1) O conjunto wZ BZ 1 x acima denido igual ao con
# < D D 2 < " <
K (2) wZ BZ 1 x um grupo com

Demonstrao.
elementos.
(1) Se < ento temos da teoria dos nmeros [ [3], Teorema 12, pgina 17] que existem H !
Z tais que H 8 ! <, donde temos I H 8 ! <, que o mesmo que H 1 ! <, e como 9 ! inferimos K que H <. Portanto existe H
Z tal que 1 H < e assim
K K Z B Z x . Por outro lado, se
Z B Z w 1 K w 1 x segue que existe .
Z tal que 1 . <, donde temos que . 2 <, e se segue novamente da teoria dos nmeros [ [16], Teorema 66, pgina 54] que a equao s possui soluo em . se e somente se " <, e portanto, como ; 9, conclumos que <. (2) Segue de imediato das K propriedades das classes de equivalncia e da denio de wZ BZ 1 x. 37
1.8. SUBGRUPOS NORMAIS E GRUPOS QUOCIENTES
Q.E.D.
Teorema 1.15 (Euler) Sejam e dois inteiros relativamente primos. m1n Ento < , onde a funo de Euler.
f m1n g Demonstrao. Como e so relativamente primos temos que K <, e conseqente <, de forma que
wZ BZ 1 x. Asm1n <, uma vez que sim, do Corolrio 1.4 [pgina 36] temos K m(n Q.E.D. < . wZ BZ 1 x. Portanto
1.8
Subgrupos Normais e Grupos Quocientes
O conceito de subgrupo normal um dos mais importantes em teoria dos grupos e em teoria de Galois; este conceito foi introduzido por aquele que d nome a teoria, ao estudar a estrutura do que deniu posteriormente como grupo de uma equao algbrica. Neste captulo mostraremos como a partir de um grupo e um subgrupo normal se pode construir um terceiro grupo, chamado grupo quociente, o qual til no obter propriedades do grupo original. Denio 1.10
_ um grupo e um subgrupo de , dizemos [P _ ento que um subgrupo normal se ` ` , para todo `

, _ e nesse caso escrevemos
(1) Seja
(2) Os subgrupos de ` `
[P
so chamados de subgrupos conjugados de ,
e so denotados por . Observao 1.9 Se 0
[P _ ento `` " ", para todo `

. , , , , De fato, para que a observao seja verdadeira basta que exista uma bije[P o entre `` e ; uma tal aplicao dada por [P `` [P o ò`
38
[P [P [P [P uma vez que, se oP o òP` ò` òP` ` ò` ` [ [ [ [ òP ò ` PòP ` Pò oP o, e ainda, se ò` P
`` P temos [P de imediato da denio da aplicao que existe o
tal que o ò` .
Q.E.D.
Teorema 1.16 Se 0
ento as seguintes condies so equivalentes:
_ (1) .
(2) ` `
[P
_ c`
. _ c`
.
(3) ` ` Demonstrao.
< Como [ ` ` P 0 .
temos ` `
[P
donde segue diretamente que
[ = Por hiptese ` ` P 0 , para todo `

, desta condio obtemos [ ` 0 `; e tomando ` P no lugar de ` se conclui ` 0 ` , de forma
a obtermos assim a igualdade.
= < Como ` ` segue diretamente da denio que
_ .
Q.E.D.
Exemplo 1.12 (Subgrupos normais) _ de . (2)
(1)
# _ a e so subgrupos normais
_ _ _ _ . De maneira mais geral, se 0 ento . _ _ Demonstrao. Se 0 ento para qualquer

vlido que [ o o, para todo o
, ou seja, o P o; e portanto, como o _ varia em conclumos que , para todo
, isto , .
Q.E.D.
[P [P @ _
tal que .
39
(3) O conjunto ?
, ,
1.8. SUBGRUPOS NORMAIS E GRUPOS QUOCIENTES
Demonstrao. Primeiramente observamos que se

ento
[P
; conseqentemente, se um elemento de , ento pode ser escrito 1 _ na forma , com mP 1 n

. Agora, vemos que se `
P 1 1 [P [P [P ento ` ` ` w x ` ` ` , de forma que para mostrar P P [P [P que ` `
, basta mostrar que ``
sempre que
. Seja [P [P ento um elemento de , assim `` [P f [P [Pg [P ` ` f [Pg f [Pg f [P [Pg f [P [Pg `` `` ` ` ` ` f [Pg f [Pg f [Pg [P f [Pg[P `` `` `` ``

Q.E.D.
pois d``
[Pe
[ _ d`` Pe
.
^ _ _ (4) Se ] , ento .
Demonstrao. Para mostrarmos a validade deste resultado, devemos _ mostrar que , para todo
. Se
ento e o resultado est provado. Por outro lado, se
> temos 3 5 6
^ _ Como ] , existem exatamente duas classes laterais esquerda,

que so e . Agora, invocando o Teorema 1.1 [pgina 6] podemos armar que uma relao de equivalncia num espao decompe o espao na unio disjunta de suas classes laterais de equivalncia, de forma que _ _ _ C . Da mesma forma, C . Portanto C .
Q.E.D.
O prximo resultado, de grande importncia, mostra como construir um grupo, chamado grupo quociente.
_ Teorema 1.17 (Grupo Quociente) Seja um grupo e um subgrupo _ normal de . Ento os conjuntos das classes laterais a esquerda e a _ direita de em , denotados respectivamente por e so tais que
,
e ainda, estes conjuntos formam um grupo com a operao induzida 40
da operao de _ B ou por
_ , o qual denominado grupo quociente e denotado por
Demonstrao. A primeira parte do teorema segue imediatamente do Teorema 1.16-(3) [pgina 39], uma vez que toda classe a esquerda uma classe direita com mesmo representante. Desta forma, suciente mostrar que _ _ B um grupo. Assim, fazendo B e considerando e _ elementos de B temos,

Denio 1.10
n

f [P g f [P g
Observao 1.7-(1) k pgina 33
l N
_ ou seja, a operao induzida de (no caso, o produto de classes laterais _ direitas) fechada em B ; e mais, esta operao est bem denida, haja vista que se : P e : P ento, procedendo como acima se _ conclui, que : : PP. Por m, em B est denida a operao _ _ B J B _

B

que satisfaz: (1) Associativa.
De fato, d

[P
[ d P e
.
(2) Existncia da identidade. _ _ Seja a a identidade de , de tal forma que a

B , e ainda,
a
a , para toda classe
(3) Existncia do inverso.
_ _ Sabemos que se
B temos que
, e assim teremos que [ _ [ _ [ [ P
, donde temos P
B , de modo que P P
a
.
41
1.9. GRUPOS CCLICOS
Portanto, de (1), de (2) e de (3) conclumos que _ de , um grupo. Corolrio 1.6
B , com a operao induzida

Q.E.D.
_ _ _ n " " m , , , , " " , , , , Demonstrao. Do Teorema de Lagrange [Teorema 1.14, pgina 35] temos ^ ^ _ _ _ que " " ] " ", ou seja, ] ; sabemos ainda, da Denio 1.8 ^ ^ _ _ [pgina 34], que ] ,') ` , , ,. Portanto, ] , , . , , , , , , , , , , , , Q.E.D.
1.9
Grupos Cclicos
No estudo e classicao dos grupos, os mais elementares a serem considerados so aqueles gerados por um elemento, os denominados grupos cclicos [Denio 1.4-(3), pgina 26]. O entender das propriedades e estruturas destes grupos de grande importncia no desenvolvimento da teoria, pois como provaremos mais tarde, no Teorema 3.11 [pgina 98], todo grupo abeliano nito se decompe como o produto direto de grupos cclicos.
_ _ Teorema 1.18 Se e so dois grupos cclicos, ento se, e _ somente se, " " " ".
Demonstrao. ( ) imediato da denio de isomorsmo - uma vez que um isomorsmo U _ uma bijeo de _ em . ( ) Sejam
` e o. Podemos denir a aplicao U por: U _ ` o De tal forma que podemos vericar facilmente ser U um homomorsmo: f f f f U ` ` g U ` i g oi o o U ` g U ` g
Provaremos ainda que U um monomorsmo e epimorsmo [Denio 1.5, tens (2) e (3), respectivamente, pgina 27], e ento estar provado que U um isomorsmo. 42
(1) A aplicao U um monomorsmo. f g f g De fato, sabemos que se U ` U ` ento o o . Se o ento a equao o o implica que ; por outro lado, se o E ento da equao o o obtemos o " 2 , e como 9 D E ` o conclumos que 2 9, ou seja,
.
(2) A vericao de U um epimorsmo imediata, uma vez que para qualquer elemento de , digamos o , tomamos ` de tal forma que f U ` g o .
Q.E.D.
Esclio 1.1 O Teorema 1.18 caracteriza os grupos cclicos em termos de sua cardinalidade, e como conseqncia deste teorema temos os seguintes resultados. Corolrio 1.7 Qualquer grupo cclico innito isomorfo aos inteiros. Demonstrao. De fato, se
_ um grupo cclico innito ento " " _ "Z ", e do Teorema 1.18 podemos concluir que Q.E.D. Z.
Corolrio 1.8 Se um nmero natural, ento existe um nico grupo cclico de ordem , a menos de isomorsmo.
_ um grupo cclico de ordem ento " " "Z BZ ". _ Desta forma, pelo Teorema 1.18 conclumos que Q.E.D. Z BZ.
Demonstrao. Se Teorema 1.19 Se um grupo cclico ento os subgrupos de _ so cclicos, bem como os quocientes de .
tambm
Demonstrao. Faremos a demonstrao deste lema em duas partes. (1) Se 0 ento cclico. # # Se a no h que se provar, suporemos ento que a . _ _ Consideramos que `, e como 0 temos que existe um inteiro h Z F < tal que `
. Tomamos ento como o menor inteiro positivo 43
1.9. GRUPOS CCLICOS
1 1 para o qual `
. Provaremos agora que ` . Claramente temos 1 que ` 0 . Consideremos agora o
, como o tambm pertence _ a , temos que o `, para algum inteiro !. Dividindo, segundo a
diviso euclideana, ! por inferimos que existem inteiros G e H, tais 1 i que ! G 8 H, onde 9 D H E , de tal forma que o ` ` 1 equao conclumos que `
. Como ` ` , ou seja, desta ltima h # ` " Z
Z i e 9 D H E obtemos que H 9, isto , 1 1 1 ` `G e assim o `
` . Portanto 0 ` . Logo ` . _ (2) O grupo B cclico. _ _ Novamente suporemos que `. Sabemos que se
ento _ 1 _
B , ou seja, `
B para algum inteiro . Portanto, _ 1 procedendo como no item anterior conclumos que B ` .
Q.E.D.
_ _ Lema 1.7 Seja um grupo cclico nito, e seja ` , com 9 D H E " ", um _ elemento de . Ento _ " " _ ` H " " Demonstrao. Se H 9 o resultado imediato, pois m n < : podemos supor que a d` e. Suporemos ento que H ; 9, e neste caso N _ _ _ H V H " " e " " Z V H " " , com e Z inteiros positivos. Note h f 1j m n g 1 mos ainda que ` ` a , donde podemos ` j m n N n concluir que ` D Z m ; por outro lado, como ` a, ento ^ _ ^ Z " ] V ` , e como Z e so primos entre " " " ]H V ` , donde temos N si, inferimos que Z " ` de forma a termos Z D ` . Portanto, como ` D m n e m n D ` , conclumos que ` m n . N N N Q.E.D.
Na Observao 1.4 [pgina 20] vimos que a unio de subgrupos em geral no um subgrupo. Entretanto se estes subgrupos so cclicos ento a unio ser um subgrupo, que tambm cclico. Lema 1.8 A unio de dois grupos cclicos um grupo cclico. 44
_ _ _ vamos provar que Demonstrao. Sejam P e grupos cclicos, _ _ _ _ P um grupo cclico. De P e serem grupos cclicos temos que _ _ _ _ _ existem
P e
tais que, P e . Assim, se `
_ _ ento `
P ou `
, de forma que m n mn ` ou ` para < 7 < P P L
ou seja,
m n mn ` N P L
ou ainda,
3 5 9 D D # com 67 9 D D #
3 4 Z < se 7 4 4 4 4 4 m n mn 4Z 2< se 5 7 h ` com 4 h se

PN 4 4 4 4 4 L 4 6 h se
## 8 <

## 8 <
m n mn h _ Portanto gerado por ` . A vericao de um PN grupo elementar. Q.E.D. _ _ um grupo nito, ento cclico se, e somente _ _ _ de se, para todo divisor 7 de " " existe um nico subgrupo cclico _ com " " 7. L
Teorema 1.20 Seja
L Demonstrao.
( ) Segue diretamente do Lema 1.8, visto acima.
_ so cclicos. ( ) De acordo com o Teorema 1.19 temos que os subgrupos f _ g Seja ` e ento vemos que ` 7, pois segundo o Lema L 1.7 temos que w ` x _ _ _ " " " " " " f _ g P _ _ P _ 7 " " " " " " " " L
45
1.10. TEOREMAS DO ISOMORFISMO E O TEOREMA DA CORRESPONDNCIA
Seja 0 de tal forma que " " 7, como cclico podemos armar que o, para algum o. Para concluirmos a prova suciente _ h mostrar que o
` . Desta forma, como o
, temos que o ` , h para algum Z. De " " 7 obtemos que o ` a, e isto implica que f g _ _ L L " " " Z7, ou seja, existe G, tal que Z7 G V " ". Portanto, Z G, e assim
o`
` d
e

w` x
`
Q.E.D.
1.10
Teoremas do Isomorsmo e o Teorema da Correspondncia
No texto que precede tentamos deixar claro, ainda que de forma tcita, a importncia em classicar os grupos e seus isomorsmos. Neste sentido importante estudar as propriedades do homomorsmo de um grupo em outro, pois um caso especial de homomorsmo aquele que leva condio de isomorsmo - veremos mais adiante que condio esta. Um primeiro intento de grande utilidade iniciar considerando uma aplicao de um grupo em outro e ento buscar vericar se esta aplicao um isomorsmo. Para ilustrar esta idia consideramos a seguinte situao. Seja o conjunto
< , ,
Z \ , 6 9 < , , , _ o qual pode-se vericar sem maiores complicaes que com o produto usual _
das matrizes um grupo. A nossa busca agora a denir um homomorsmo _ _ de em Z. Nosso primeira tarefa relacionar um elemento de um inteiro para denirmos uma aplicao. Nesse sentido podemos propor uma aplicao U que a cada inteiro associe o elemento
3 5
< \ 9 <
46
uma tal aplicao pode ser denida por:
U Z
< 9 <
Um clculo simples mostra que a soma de inteiros transformado no produto de matrizes, isto :
< P < U P 8 9 < 9 <

De fato, pois
U P 8
< P 8 < 9 9 P 8 8 9 < 9 < 9 < < 9 9 P 9 8 8 9 < 9 9 9 9 < P 9 < P < 8 9 < 9 9 9 < 9 <
Posto isto, fcil vericar que U bijetora, ou seja, U um isomorsmo. Neste exemplo resultou um isomorsmo entre grupos propostos, entretanto h situaes na qual no se ter uma forma imediata de estabelecer um homomorsmo _ entre grupos considerados. Em suma, suponha que tenhamos dois grupos _ e e um homomorsmo , nosso objetivo analisar os seguintes: (I) Se injetiva, contm um subgrupo isomorfo a a imagem de . (II) Se injetiva, ento
que ser, a saber,
(III) Se no injetiva, ento seu ncleo diferente da identidade. De tal forma que para qualquer
temos:
f f [Pg f [Pg f [Pg [Pg `` ` ` ` a ` ` ` a _ O item (III) mostra que normal em . Por m, analisaremos se existe uma relao entre e .
47
Teorema 1.21 (Teorema do Homomorsmo) Se momorsmo, ento
um ho-
_

_ Demonstrao. J foi mostrado em (III) que normal em . Consideremos agora a aplicao denida por Vemos claramente que est bem denida, haja vista que se [ [ ento P
e portanto d Pe a , o que implica que
. A normalidade do ncleo de implica que

smo, pois

um homomor-
^ ]
^ ] ^ ^ V ] V ]

Claramente se v que a aplicao sobrejetora; e ainda,
# # " a "
a \ -, ou seja, injetiva. Portanto, assim +a !" $ . #
Q.E.D.
_ _ _ Teorema 1.22 Seja um grupo, se 0 ento se, e somente se, , para algum homomorsmo .
Demonstrao. Se , para algum homomorsmo, ento segue de _ _ _ (III) que . Por outro lado, se , consideremos B e denimos a _ _ aplicao A B por A . Fazendo uso da normalidade de _ em temos: f [Pg A f [P g A A ou seja, A um homomorsmo; e ainda,
_ _ # A
" , a %
, , Portanto, A um homomorsmo com ncleo .
48
Q.E.D.
Esclio 1.2 O Teorema 1.22 mostra que os subgrupos normais de um grupo _ esto determinados por homomorsmos de em algum outro grupo qualquer. A aplicao A recebe o nome de projeo cannica. Teorema 1.23 (Primeiro Teorema do Isomorsmo)
0 p
_ 4 _ 4
p %
p _ p %
Demonstrao. Posto que p % 0 , isto , a normalidade de p implica [P que ` p % ` 0 p % 0 , para todo `

. Logo, p % . Claramente temos que p p . Seja a aplicao U denida por
U p
Usando a normalidade de p podemos ver que U um homomorsmo:
U
^ [P e p p ]p p dp [ p dp Pe p p U U
Por outro lado, temos
U
, p a %& & , #
", p p #
"
p % p Desta forma, como U % p e U conclumos, usando o Teorema do Homomorsmo, que ' . Q.E.D.
Teorema 1.24 (Segundo Teorema do Isomorsmo)
_ 4 4 4 4 _ p 4 p 4 4 4 p 0
_ Bp Bp
49
Demonstrao. Seja p p, ento como p 0 temos , haja vista que

para algum
p p
)L L
7 7
De tal forma que podemos denir aplicao
U _Bp _B p
a qual v-se claramente ser um epimorsmo. E ainda,
p
U $ $
$ p
Bp
ou seja, U Bp. Portanto, aplicado o Teorema do Homomorsmo _ inferimos que Bp Bp e Q.E.D. .
Teorema da Correspondncia. Quando se tem um subgrupo normal _ _ # a de um grupo nito , o quociente B resulta ter cardinalidade menor _ do que a da . Neste sentido, o grupo quociente menor e possivelmente seja mais fcil estud-lo. O desejvel que do conhecimento das propriedades _ _ de B se possa obter as propriedades de . Se isto for possvel ento deve _ _ haver uma relao entre os subgrupos de B e os subgrupos de , mas se for assim a quais subgrupos esta relao estar denida, e que relao esta? O teorema seguinte vai de encontro com a questo plantada, estabelecendo uma _ correspondncia bijetiva entre os subgrupos de que contm e os subgrupos _ normais de B ; armando ainda que esta relao preserva normalidade e ndice.
_ _ Teorema 1.25 (Teorema da Correspondncia) Seja um grupo, 7 _ _ e A Bp a projeo cannica. Ento A dene uma correspondncia _ _ bijetiva entre os subgrupos de que contm p e o subgrupos de Bp.
Se o subgrupo correspondente a e b, ento: (1) b Bp A .
^ ^ (2) 0 se, e somente se, b 0 b e, neste caso, ] ] b b .

(3) se, e somente se, b b e, neste caso, B bB b. 50
_ _ Demonstrao. claramente visto que se p 0 0 , ento Bp 0 Bp . SG SG SG _ Consideremos ento e subgrupos de que contm p , tais que Bp Bp, e provaremos que . De fato, por simetria suciente mostrar que 0 . Seja
, ento p p para algum
, e assim, usando o [P Teorema 1.12 [pgina 34] obtemos que
p 0 e como
temos
que
, donde conclumos que a correspondncia injetiva. Tomemos [P _ _ agora b 0 Bp e A b. V-se diretamente que 0 ; e ainda, SG SG [ A A dA P be b, pois pela denio de temos que A 0 b e como A [projeo cannica] uma aplicao sobrejetiva, inferimos que dado
.
b existe !
tal que A ! ., e portanto b 0 A . Mostramos assim
o item (1) e que A dene uma correspondncia bijetiva. (2) bastante claro que A preserva as incluses, pois se p 0 0 ento como j observado Bp 0 Bp , isto , A 0 A . Resta-nos provar ^ ^ ento que se p 0 0 ento ] ]b b , que equivalentemente a mostrar que existe uma correspondncia bijetiva entre as classes b!b # e as classes !. Desta forma, dado !
! " !
, A ! b!b. Esta correspondncia entre as classes est bem denida, pois !P !, [P [P ento !P!
, e portanto !bP !b
b. O argumento apresentado anteriormente tambm prova que A injetiva no conjunto das classes; por outro lado se verica diretamente que esta aplicao sobrejetiva, e portanto bijetiva. (3) Se , ento ! !
para todo !
, donde obtemos f f [Pg f [Pg [Pg A A ! ! A ! A A ! A ! b A ! b
[P
Assim, dado qualquer

b, ser da forma A !, para algum
!
, e portanto b [P A ! b A ! [P f [Pg A ! ! A b
provando assim que b b. Reciprocamente, se b b, devemos mostrar [P que ! ! 0 , para todo !

. Dado .
temos f [Pg f [Pg [P A !.! A ! A . A !
A ! bA ! b
[P [P [P e portanto, !.!
A b, isto , ! ! 0 . Por ltimo, como _ _ p temos que p normal em qualquer subgrupo de , deste fato e
51
1.11. PRODUTO DIRETO DE GRUPOS
aplicando o Segundo Teorema do Isomorsmo podemos concluir que
Bp b b Bp
Q.E.D.
Esclio 1.3 O teorema acima arma que os subgrupos que esto contidos em p desaparecem no quociente; e os que no esto, aplicando o Primeiro Teorema do Isomorsmo, originam subgrupos da forma ' , que pode ser interpretado como a translao de mdulo p . O seguinte diagrama ilustra a situao do teorema:
_
??? ?? ? _ Bp ? ? ? ?? ? A Bp p? ?? ? ??
@ ?< pBp
1.11
Produto Direto de Grupos
Um dos problemas fundamentais em lgebra, o de poder decompor os objetos de estudos em termos de elementos mais simples de se entender. Por exemplo, aos estudarmos os nmeros inteiros vemos que estes podem ser representados como o produto de nmeros primos [Teorema Fundamental da Aritmtica]; quando estudamos matrizes no-singulares vemos que estas podem ser representadas como o produto de matrizes elementares; se, por sua vez, o objeto a ser estudado um Espao Vetorial de dimenso nita junto com o operador , ento estes podem ser representados como a soma direta de subespaos -invariantes com propriedades adicionais [Teorema da Decomposio Primria]. No estudo da Teoria dos Grupos um problema de grande importncia o da decomposiode um grupo como produto de subgrupos. Este resultado ser um problema de grande diculdade, no entanto, introduzindo algumas hipteses [abeliano e nito] chegamos a resultando satisfatrio, Teorema 3.12 [pgina 99]. O processo de fatorar resulta ser muito difcil do que o de multiplicar. Passemos ento a denir o produto de grupos. 52
Lema 1.9 Consideremos e grupos e o conjunto ( J o produto cartesiano e denimos em ( uma operao por:
!P.P V !. !P!.P.

Ento o conjunto (, nestas condies, um grupo. Demonstrao. Aplicando a denio da operao de ( denio de grupo obtemos facilmente o resultado desejado.
Q.E.D.
Denio 1.11 Sejam , e ( como no Lema 1.9, ento neste caso o grupo
(
chamado produto direto externo de e , e escrevemos ( ) .
Lema 1.10 Se ( o produto direto externo de e ento ( contm dois subgrupos e isomorfos a e , respectivamente, os quais so # # explicitados como ) a e a ) e estes subgrupos possuem # as propriedades: (; % a* e ( ) . Demonstrao. Vemos facilmente que
U
! ! a
.
a.
so isomorsmos de em e de em , respectivamente. De fato, se
U !P U ! !P a ! a !P !

ou seja, a aplicao U est bem denida; vemos tambm que esta um homomorsmo, pois
U !P! !P! a !P a V ! a U !P V U ! \

e ainda, se U !P U ! temos que !P a ! a, e assim !P !, de forma que U uma aplicao injetiva; por m, para todo ! a
existe !
tal que U ! ! a, e portanto a aplicao U um isomorsmo de em . O processo anlogo para a aplicao . Provemos agora que (. + [P [P Seja
` ` , para algum `
(, ento `P ` ! a `P ` , para def [P [P g terminados !
e `P `
(, de tal forma que `P ` ! a ` P ` f [P [P g f f f [P [P g [P [P g [P g `P! à ` P ` `P!` P à` `P!` P `` `P!` P a , e 53
[P como ( ) podemos concluir que !b `P!` P

, neste caso, pode[P mos inferir tambm que !b a
e portanto ` ` 0 ; a recproca
claramente verdadeira, bastando tomar ` a* . A prova de ( anloga. Tomemos agora ,
% , ento
,
! a a.
a a a*
(
Por m, seja
(, e sabemos que aVa , ou seja, ( 0 ); vemos tambm que ) est claramente incluso em (.
Q.E.D.
Denio 1.12 Quando um grupo ( contm subgrupos de tal forma que as condies do Lema 1.10 se cumprem, ento neste caso se diz que ( o produto direto interno de e , e tambm escrevemos ( ) .
Esclio 1.4 Embora de notaes iguais a diferena entre o produto direto externo e o produto direto interno reside no fato de que no primeiro caso os grupos e so quaisquer, no estando necessariamente incluso em (; j no segundo caso, os grupos e so subgrupos normais de (, de forma que a decomposio se d com elementos internos a (. A notao adotada se faz por simbolizar o produto direto entre grupos, externos e internos, a diferena se necessrio ser especicada pelo contexto. Lema 1.11 O produto direto externo de grupos comutativo e associativo, mais precisamente: (1) ) ) ; (2) ) ) - ) ) -. Demonstrao. (1) Considere a aplicao U denida por:
U ) !.
. !
cuja vericao de ser isomorsmo clara. 54
(2) Da mesma forma denimos a aplicao

+
por:
) -
) ) - ) !. G
! . G
cuja vericao de ser isomorsmo tambm elementar.

Q.E.D.
_ _ Teorema 1.26 Seja uma coleo de grupos P 1, ento o produto _ _ P ) V V V ) 1 nico salvo isomorsmo. [Isto , o produto independente
da ordem e forma de associar os fatores.] Demonstrao. Segue diretamente do Lema 1.11
Q.E.D.
Teorema 1.27 Sejam _ se, e o so. Demonstrao. Se
e grupos, ento
abeliano se, e somente
abeliano ento para quaisquer `P `
oP o
temos `P oP V ` o ` o V `P oP `P` oPo ``P ooP 3 5 `P` ``P 6oPo ooP _ e so abelianos.
Por outro lado, se
e so abelianos ento para quaisquer `P `
oP o
temos `P` ``P `P` oPo ``P ooP oPo ooP _ ) abeliano.
Q.E.D.
Teorema 1.28 Sejam Z e inteiros primos entre si. Ento Z Z Z J ZZ ZZ Z 55
Demonstrao. Consideremos a aplicao U denida por
U h1 Z Z
Z Z h Z J 1Z
8 ZZ 8 Z
Vemos primeiramente que esta aplicao est bem denida, pois se P Z ento
Z " Z " 2 P " Z " 2 P
P
Z P
P 8 ZZ P 8 Z 8 ZZ 8 Z
Tambm podemos observar que U um homomorsmo, pois
U P U P P 8 ZZ P 8 Z P 8 ZZ 8 ZZ P 8 Z 8 Z P 8 ZZ P 8 Z 8 ZZ 8 Z U P U

Provemos agora que U uma aplicao injetiva. De fato, se U P U ento P Z e P , como Z e so primos entre si podemos inferir1 de Z " 2 P, e portanto P Z, ou
seja, P . Portanto, como U um monomorsmo e os grupos Z BZZ e Z BZZ J Z BZ possuem ordem nita, podemos concluir que U um isomorsmo e conseqntemente Z BZZ Z BZZ J Z BZ .
Q.E.D.
Corolrio 1.9 (Teorema chins do resto)
h P
h onde fatorao de em primos. P

1
Z Z Z . J V V V J h Z Z PZ M
Se / e 0 so inteiros tais que / 1 2 e 0 1 2 e se / e 0 so primos entre si, ento 3/04 1 2. De fato, se 567 3/8 04 9 : ento existem ;8 < = Z tais que ;/ > <0 9 :, donde temos,
; 3/24 > < 3024 9 2. Assim como / 1 2 e 0 1 2 temos que 3/04 1 3/24 e 3/04 1 3024, ou ? ? ? ? e determinados, ento, desta ultima seja, ; 3/0 3 44 > < 3/0 3 44 9 2, para inteiros
equao podemos concluir M O que 3/04 1 2.
M
56
Q.E.D.
Demonstrao. Para Z o resultado est demonstrado, pois como < o resultado o exposto no Teorema 1.28. Agora supomos P M O que o resultado verdadeiro para Z 2 <, isto , Z Z Z . h[ P Z J V V V J h[ P PZ P Z M M h[ P . Assim, como w h x < obtemos P
Teorema 1.28 Z Z Z Z Z Z . . h J h h[ Z J V V V J h[ P . Z Z Z h Z P P P P Z M M Q.E.D.
4 4 4 4 ( J ( ) 4 4 4 #4 % a Demonstrao. Seja a aplicao U denida por U J (

Teorema 1.29
(

Observemos que esta aplicao satisfaz a condio ( ) . Notemos agora # que para todo `
( sabemos que ` e a condio de % a implica que estes so nicos, uma vez que se ` PP ento [P [P [P PP Q P RPP S T P P P )@ @
* [P [P [P [P [P # N Q P P R P P
% a T S )
* U Desta forma vemos que aplicao N est bem denida, pois se `P ` ento
U PP U ; tambm uma aplicao injetiva e sobrejetiva, pois se U PP U ento PP , e todo ` pela condio
(
) .
Por m, mostremos que U um homomorsmo. De fato, se
PP
J ento U PP
@
*

U PP PP PaP [P [P f [Pg[P PP P P PP P P PP U PP U

57
Portanto
J .
Q.E.D.
Teorema 1.30
(
4 Jp 4 4 4 4 4 4 4 p
J (
(
J
p

Demonstrao. Seja a aplicao
U
o 7 o 7
e consideremos oP 7P o 7
(, de tal forma
U oP 7P o 7

@
U oPo 7P7 oPo 7P7
oPo 7P7
f f f [P g [Pg g oPoP oPo 7P7P 7P7 N oPo 7P 7 oP 7P o 7 U oP 7P U o 7
e ainda, com uso da mesma normalidade de e inferimos que U sobrejetiva, ou seja, um epimorsmo. Notemos agora que o 7
U se, e somente se,
o 7
J , isto , U J . De fato, da Observao 1.7-(1) [pgina
33] temos que se o

E 7
ento o e 7 . Portanto aplicando o Teorema do Homomorsmo [Teorema 1.21, pgina 48] obtemos
U J ( e
U
(
J
p J U

Q.E.D.
Aplicao 1.1 Seja
um grupo abeliano de ordem , com primo, ento
Z AZ ou
Z B Z J Z B Z
_ # Com efeito, se `
C a , ento ` ou ` . De fato, se ` para algum `, ento por simples aplicao do Corolrio 1.8 [pgina
58
Z BZ. Se por outro lado ` para todo ` a, ento existem `P e ` tais que "`P" "` " e `P `; estas condies _ _ # % ` a , como abeliano ento `P ` . Por implicam que `P _ m, temos tambm que `P ` e aplicando o Teorema 1.29 inferimos _ que `P J ` Z B Z J Z B Z. Q.E.D. 43] inferimos que
59
60
Captulo 2
Grupos de Permutaes e Aes de Grupos

2.1 Introduo
Quando os grupos surgiram pela primeira vez em matemtica, eles provinham de alguma fonte especca e de maneira bem concreta. Muito freqentemente isto se dava na forma de um conjunto de transformaes de algum objeto matemtico particular, em especial, eram consideradas as permutaes das razes de um polinmio a m de poder classicar aqueles cujas razes poderiam ser expressas por meio de radicais. Na realidade, a maioria dos grupos nitos apareceram como grupos de permutaes [Exemplo 1.2-(11), pgina 16], isto , como subgrupos de 1. O matemtico ingls Artur Cayley foi o primeiro a observar em 1878 que todo grupo pode ser considerado como um subgrupo de um grupo de permutaes, este resultado hoje conhecido como Teorema de Cayley. Lembremos primeiramente que se um conjunto no vazio, uma permutao em (ou, de ) toda aplicao bijetiva , e a estrutura * X, onde * o conjunto de todas as permutaes de e X a operao de composio de aplicaes, chamada grupo de permutaes em . Passemos agora a seo que dene e apresenta algumas propriedades de Grupos Simples e Subgrupos Maximais.
2.2
Grupos Simples e Subgrupos Maximais

_
simples se, e somente se,
Denio 2.1 Diremos que um grupo
possui
necessariamente somente dois subgrupos normais, distintos entre si. 61
2.2. GRUPOS SIMPLES E SUBGRUPOS MAXIMAIS
Esclio 2.1 Se
um grupo simples ento, necessariamente, _ _ # nicos subgrupos normais de so o prprio e a . Teorema 2.1
# a e os
_ " " _ um grupo simples. primo
Demonstrao. Do Teorema de Lagrange [pgina 35] temos que se um _ subgrupo prprio de , ento 3 5 a# ^ _ ]_ ^ V " " ] _ 6] ^ "_ " " "
Q.E.D.
_ _ Teorema 2.2 Se um grupo nito simples e abeliano ento cclico _ e a ordem , em que um nmero primo. _ Demonstrao. Primeiramente vamos provar que um grupo cclico. ` um elemento qualquer De fato, seja o subgrupo `, gerado por `, onde _ _ de . Como abeliano temos que vericada a relao: ` `, para _ [P _ _ quaisquer `
, logo ` `, ou seja, ` , e como simples _ _ podemos inferir que ` . Assim, como nito e cclico podemos [P _ _ _ a ` ` ` escrever . Se " " no um nmero primo ento " " _ pode ser decomposto como o produto de dois nmeros < E H ! E " ", donde temos que ` ` a. Ora, se colocamos ` teremos que a, uma _ _ contradio, pois um grupo simples. Portanto " " com sendo um
nmero primo.
Q.E.D.
Denio 2.2 Seja
_ # a um grupo e um subgrupo de .
(1) O subgrupo dito subgrupo maximal se as seguintes propriedades so vericadas:
4 (b) _ 4 ou 0 0 0 _
62
(a)
_ ;
.
CAPTULO 2. GRUPOS DE PERMUTAES E AES DE GRUPOS
(2) A denio de subgrupo minimal anloga:
# (a) a ; _ 4 0 # (b) ou a . _ 4 0 0
(3) Se forem vericadas as propriedades:
_ (a) ; _ (b)
(c)
_ ento diremos, neste caso, que um subgrupo normal maximal de , _ e denotamos esta relao por ; a denio de subgrupo normal _ normal minimal de escrevemos minimal anloga, e se subgrupo _ . CD
Teorema 2.3 Seja
4 _ 4 ou 0
_ ,
# a um grupo. Ento _ # (1) simples se, e somente se, a um subgrupo normal maximal _ de .
(2) Se
um grupo nito ento ele admite ao menos um subgrupo
normal maximal. Demonstrao.
# e a 0 temos da denio de subgrupo _ _ normal maximal que , e assim um grupo simples. Por outro _ _ lado se um grupo simples os nicos subgrupos normais em so _ # _ # a e , donde podemos concluir de imediato que a . _ (2) Suponhamos que seja um grupo nito e no seja um grupo simples, _ neste caso, podemos ordenar os subgrupos normais de por incluso:
(1) Se a
ento se
# a 0 P 0 0 V V V 0 h _ _ em que Z D " ". Logo admite um subgrupo normal maximal.

63
Q.E.D.
2.3. TEOREMA DE CAYLEY
_ e um grupo nito ento existe um subgrupo _ normal maximal , de , tal que 0 .

Corolrio 2.1 Se Demonstrao. Como que 0 . um grupo nito do teorema anterior, item (2), _ _ temos que existe , tal que, , ento se inferimos de imediato
Q.E.D.
Teorema 2.4 Se um subgrupo normal prprio de _ se, e somente se, B um grupo simples.
_ , ento
_ _ Demonstrao. Se , de forma que se pB tal que pB 0 B , assim temos que p , ou seja, p e neste caso pB a , ou _ _ _ p e neste caso pB B ; portanto B um grupo simples. Por _ outro lado, se B um grupo simples seus nicos subgrupos so normais as _ _ a e B , ou seja, se pB 0 B ento pB a e neste caso _ _ _ p , ou pB B e neste caso, p ; logo . Q.E.D.
2.3
Teorema de Cayley
_
isomorfo a um subgrupo de um
Teorema 2.5 (Cayley) Todo grupo grupo de permutaes.
Demonstrao. Consideremos a aplicao E denida para cada `
por:
`
de fcil vericao que estas aplicaes so todas sobrejetivas, pois

E
! E . `! `. ! . \
_ [P e para todo
podemos escrever ` ` donde temos que [Pe [ Pe ` d ` E d ` . Vamos agora denir a aplicao U por U _ ` E
64
E vamos provar agora que U um monomorsmo. Com efeito,
U `P` E `P` `P ` E E E X E \ MO M O M e assim U um homomorsmo. Provemos agora que U injetiva: U `P U ` E E `P ` `P ` M O # Logo como U um monomorsmo seu temos que U a ; portanto,
aplicando o Teorema do Homomorsmo [Teorema 1.21, pgina 48], obtemos _ _ # U $ a
Q.E.D.
Corolrio 2.2 Todo grupo nito Demonstrao. Como
de ordem isomorfo a 1.
nito vamos rotul-lo como
# a `P ` `1[P _
a uma permu-
Do Teorema de Cayley podemos associar cada elemento `

tao E
, ou seja,
< = V V V ` E à ``P `` V V V ``1[P

Pondo `` ` < D D 2< e em seguida trocamos cada ` da permutao EF pelo nmero 8 <, obtendo assim os elementos de 1. Portanto, obtemos _ assim o isomorsmo desejado atribuindo a cada ` do grupo um elemento de .
Q.E.D.
Esclio 2.2 Existe uma grande variedade de grupos quanto a natureza de seus elementos. Apesar dessa grande variedade o Teorema de Cayley arma que cada grupo isomorfo a algum grupo de permutaes. Essa armao tambm conhecida como Teorema da Representao : cada grupo pode ser representado concretamente como um grupo de permutaes. O Teorema de Cayley estabelece que todo grupo isomorfo a um subgrupo de um grupo de permutaes. Um dos problemas de aplicar este teorema 65
2.3. TEOREMA DE CAYLEY
_ _ que se " " , ento est submergido em um grupo que resulta ser muito
grande, pois sua cardinalidade . No sentido de melhorar este resultado, a m de encontrar outro grupo com menos elementos e a concluso do Teorema de Cayley se mantenha verdadeira apresentamos o seguinte teorema, que uma generalizao do Teorema de Cayley.
_ _# um grupo, um subgrupo de e ` " `

. _ * Ento existe um homomorsmo de em tal que o ncleo deste ho_ momorsmo o maior subgrupo normal de que est contido em . # [Observe que se a produzimos ento exatamente o Teorema de
Teorema 2.6 Seja Cayley.] Demonstrao. Seja a aplicao U denida por
U _ * `
em que
`
Consideremos agora `
U. Ento ` , para todo _
, em particular para a temos ` , donde inferimos que se `
U ento `
, ou seja, U 0 . Mostraremos agora que U _ o maior subgrupo normal de que est contido em . Se um subgrupo _ [P normal de que est contido em e
, temos ento que ` ` 0 , _ [P para qualquer `
. Desta forma, ` `
, o que implica que ` ` , _ donde temos que
U, ou seja, se e 0 temos que 0 U.
Q.E.D.
_ _ Corolrio 2.3 Seja um grupo nito que contm um subgrupo ^ _ _ tal que " " ] , ento contm um subgrupo normal no trivial. _ Em particular, no pode ser simples. ^ _ _ Demonstrao. Como " " no divide ] , ento do Teorema de Lagrange [Teorema 1.14, pgina 35] temos que no possui nenhum subgrupo _ _ de ordem " ", portanto nenhum subgrupo isomorfo a . No entanto, temos que _ _ contm U , onde U a aplicao do Teorema 2.6, assim U no pode _ # ser isomorfo a , isto , no pode ser um monomorsmo. Logo U a . # Portanto, do Teorema 2.6 temos que U , e como U a inferimos _ que contm necessariamente um subgrupo normal no trivial de . Q.E.D.
66
^ _ _ um grupo nito, 0 tal que ] , com _ _ sendo o menor primo que divide " ". Ento .
Corolrio 2.4 Seja
Demonstrao. Seja um homomorsmo U denido como no Teorema 2.6. _ Como U , temos do Teorema de Lagrange [Teorema 1.14, pgina 35] e do _ Teorema do Homomorsmo [Teorema 1.21, pgina 48] que " B U" um
divisor de "* " ; novamente invocando o Teorema de Lagrange podemos _ inferir, como o menor primo divisor de " ", que o menor primo divisor ^ ^ ^ _ _ _ _ de " B U", pois " " ] " " ] ] U " U ". Assim _ _ a nica possibilidade de termos " B U" dividindo " B U" .
_ _ " " " " " U " " " " U " " " _ U ou seja, .
Aplicao 2.1 Seja
Portanto
Q.E.D.
um grupo de ordem 99 e suponha que este tenha um
subgrupo de 11 [veremos mais adiante que isto verdadeiro, o aplicao do Teorema de Cauchy, pgina 88]. Vamos mostrar que este subgrupo de ordem 11 normal. De fato, seja um tal subgrupo, teremos ento aplicando o ^ _ Teorema de Lagrange que ] G, e como GG G temos do Corolrio 2.3 _ # que existe um subgrupo normal no trivial a de em . Como de ordem 11, que por sua vez um nmero primo, logo pelo Teorema 2.1 [pgina 62] temos que um grupo simples, e portanto . Isto , o _ prprio um subgrupo normal de . Q.E.D.
2.4
Classicao dos Grupos de ordem

J H
HI
, com
primo
Antes de prosseguirmos com o estudo de grupos de permutaes, vamos apresentar a classicao dos grupos de ordem e com primo, obtendo como conseqncia a classicao dos grupos de ordem D <9, exceto os de ordem K . Teorema 2.7 Seja (1) Se
um grupo, e p subgrupos de
_ .
p , ento para todo `
67
existe um 7
p tal que . L
2.4. CLASSIFICAO DOS GRUPOS DE ORDEM L E L , COM L PRIMO
(2) Se e p so subgrupos prprios de no so conjugados. (3) Se subgrupo prprio, ento Demonstrao.
p , ento e p
_ , qualquer que seja `

.
_ , temos por hiptese que ` 7o, com 7

p e o
. [P [P [P ) [P Portanto 7o 7o 7oo 7 77 . L L _ _ (2) Se p para algum `
, ento, como p , aplicando o item (1) inferimos que p , para algum 7
p , esta ltima equao L _ , um absurdo, pois implica que p , e portanto _ subgrupo prprio de .
(1) Dado `
(3) uma conseqncia imediata do item (2).
Q.E.D.
Corolrio 2.5 Se
um grupo de ordem , com sendo um nmero _ primo, ento todo subgrupo de normal.
_ _ Demonstrao. Sejam um subgrupo prprio de e `

. Sabemos da Observao 1.9 [pgina 38] que " " " ", assim podemos inferir " " " " " " " % " " % " Assim, aplicando o Teorema de Lagrange [pgina 35] obtemos que " % " _ < ou " % " . Ora, se " % " < ento " " " " " ", e assim, _ aplicando o Teorema 2.1 [pgina 62], obtemos que , contradizendo _ o item (3) do teorema anterior, pois neste caso subgrupo prprio de . Portanto, " % " " ", o que implica que % , logo 0 , _ ou seja, normal em . [Uma outra prova deste resultado obtida aplicando
o Corolrio 2.4, pgina 67.]
Q.E.D.
_ Teorema 2.8 Seja um grupo de ordem , com sendo um nmero _ primo. Ento um grupo abeliano.
68
ento no h o possui um elemento de ordem _ # que se fazer. Suporemos ento que todos os elementos de C a so de or_ # ento `P `
C a , se `P ` ento claro dem . Consideremos ento que `P que `P` ``P; suporemos agora `, ento devemos # ter `P % ` a , uma vez que `P e ` so elementos de ordem prima. _ Do corolrio anterior temos que `P e ` so subgrupos normais de , enf f [P [Pg [P [P [Pg [P ``P ``P , ou seja, to a `P` P ``P` ` P ``P ` ` P [P # ``P ``P
`P % ` a , e assim, `P` ``P. Q.E.D.
Demonstrao. Se Corolrio 2.6 Seja um grupo no-cclico de ordem , com sendo _ um nmero primo. Ento contm 8 < subgrupos de ordem .
Demonstrao. Um argumento como o realizado na prova do teorema an_ # terior demonstra que se `
C a est contido em um nico subgrupo de ordem , cada subgrupo de ordem possui 2 < elementos diferentes da iden# tidade. Sejam P os subgrupos de ordem , e denimos C a , _ # L &, para de forma a termos % , e ' C a , logo LP
, , , L , L " " 7 2 < 2 < P , P , , , , , e portanto 7 8 <.
Q.E.D.
Observao 2.1 O Teorema 2.8 e a Aplicao 1.1 [pgina 58], classicam os _ grupos que possuem ordem , com primo, ou seja, todo grupo com esta ordem abeliano e isomorfo a Z BZ ou isomorfo a Z B Z J Z B Z. Agora vamos estudar os grupos de ordem , com sendo um primo mpar. um grupo de ordem , com sendo um nmero primo _ mpar, ento contm ao menos um elemento de ordem . Lema 2.1 Se
_ # Demonstrao. Vemos claramente que se `

C a , ento `
_ # . Se ` contm um elemento de ordem ento cclico e, neste _ caso, do Lema 1.7 [pgina 44] podemos inferir que contm um elemento de ordem , pois deste lema temos f g `
69
2.4. CLASSIFICAO DOS GRUPOS DE ORDEM L E L , COM L PRIMO
_ Agora se todos os elementos de so de ordem ento abeliano, pois se _ [ _ `

e ` temos que ` ` P, desta forma, se `P `
obtemos [P [P [P _ que `P` `P` ` ` P ``P, e assim todos os subgrupos de so _ _ # normais. Consideremos, neste caso, `
C a , de tal forma que " B `" o _ _ que implica ser B ` um grupo cclico, e portanto deve existir
C ` tal _ _ que B `. Observemos agora que, se um homomorsmo _ um elemento de ordem nita, ento " `" divide `, pois do e `
N m n , Teorema do Homomorsmo [pgina 48] temos que , , " `" , , , M um , homomorsmo ou seja, ` " `" V " ", assim se tomarmos denido por _ _ B `
teremos que " " divide a , o que impossvel, pois _ . Portanto, podemos concluir que contm necessariamente elementos de ordem , os quais geram grupos normais, pois so de ndice 2. Q.E.D. Teorema 2.9 Seja um nmero primo. (1) Se ento existem dois grupos no isomorfos de ordem q, que por sua vez so abelianos. (2) Se impar ento existem dois grupos no isomorfos de ordem , com um deles sendo cclico e o outro sendo no abeliano. Demonstrao.
_ (1) Se ento " " q e portanto temos diretamente do _ Teorema 2.8 [pgina 68] que abeliano. Neste caso a Observao 2.1
[pgina 69] nos garante que os grupos de ordem q so isomorfos Z BqZ ou Z BZ J Z BZ (2) Como um nmero primo mpar obtemos, do lema anterior, que se _ _ um grupo de ordem ento existem dois elementos `P `
tais que `P e ` ; temos tambm dos mesmo lema que [P _ ` , assim podemos garantir que existe !
Z tal que `P`` P ` ; f [Pg [P [P desta ltima equao obtemos que `P `P`` P ` P `P` ` P ` ,e O [P como `P e assim `P ` P a equao anterior pode ser reduzida 70
[ P a; por m, como ` a ` `, donde obtemos que ` O O e temos que " d! 2 < , ou seja, " ! 2 < ou " ! 8 <. Se " ! 2 <, v i [ <, com 7
Z, e assim `P`` P ` P `, logo ento ! 7 8 _ L `P` ``P e isto implica que contm um elemento de ordem , _ saber, o grupo `P`, e ento o grupo cclico; por outro lado, se " ! 8 < temos que ! 7 2 <, com 7
Z, ento `P`` [P `v [P P [P [P _ L um grupo no-abeliano e ` , e assim `P` ` `P, e portanto
para completarmos a prova devemos mostrar que existe um grupo no# abeliano de ordem , mas, em geral para cada
N C 9 existe um grupo no-abeliano de ordem chamado grupo diedral e denotado por 11 . [Exemplos de Grupos Diedrais so apresentados nos Exemplos 2.1-(2) e 2.1-(3), nas pginas 74 e 75, respectivamente.]
Q.E.D.
um grupo de ordem e isomorfo ao grupo . Teorema 2.10 Se
no-abeliano ento
um grupo no-abeliano de ordem , ento os ele_ mentos de ordem no geram subgrupos normais, pois de outra forma teria Demonstrao. Seja um subgrupo normal de ordem e um subgrupo normal de ordem =, cuja _ interseco seria a identidade, e portanto seria isomorfo a Z BZ J Z B=Z, _ que por sua vez abeliano. Consideremos ento um elemento de cuja ordem , e consideremos tambm o conjunto das classes laterais de ` em _# : ` " `
. Como obtemos =, e aplicando o Teorema 2.6 [pgina 66] e o fato de no um subgrupo normal, podemos _ concluir que isomorfo a um subgrupo de * de ordem , portanto _ Q.E.D. . Com os resultados demonstrados at aqui, estamos em condies de classicar os grupos de ordem D <9, exceto os de ordem . Os resultados obtidos podem ser resumidos na Tabela 2.1.
Permutaes dos vrtices de um polgono regular de R
K
, com a opelados correspondentes a s simetrias deste polgono S rao de composio de aplicaes um grupo, conhecido como grupo diedral. Este grupo composto por TR elementos, R rotaes e R translaes.
O conjunto OP 9 Q
71
2.5. GRUPOS DE PERMUTAES
Tabela 2.1: Tbua grupos de ordem menores ou iguais a 10, no incluindo os de ordem 8.
Ordem
U W X [ \ ^ _ ` ab
U ZV Z W ZV Z X U U ZV ZY ZV Z ZZV Z [ ZV Z \ ZV Z ^ ZV Z
Grupos Abelianos
Grupos No-Abelianos
ZV ZY ZV Z ZZV Z ZV Z
ab
2.5
Grupos de Permutaes
Vimos que todo grupo pode ser representado isomorfamente como um sub_ grupo de um grupo de permutaes, e, em particular, um grupo nito pode ser representado como um subgrupo de d1, para algum , em que d1 o grupo simtrico de grau , que tambm denotado por 1. Isto demonstra claramente que os grupos d1 merecem um exame mais cuidadoso. Suponhamos que seja um conjunto nito com elementos, tal que # P 1 Se e
d* d1, ento e uma aplicao bijetora de em si mesmo, e poderamos explicitar e para mostrar sua ao sobre cada elemento, por exemplo:
e
P P
No entanto isto se mostra ser um trabalho exaustivamente laborioso. Uma maneira fcil e menos laboriosa escrever e numa notao matricial, da seguinte maneira:
e
VVV em que a imagem de sob . Voltando ao nosso exemplo logo acima, M eO

e
P
VVV
1 P
pode ser representado por

e
P P
72
Apesar de ser esta notao um tanto mais manusevel, ainda h nela um certo desperdcio, pois parece no haver propsito algum realizado pelo smbolo . Podemos ento representar a permutao por
e
< = V V V P V V V 1
a qual signica que e 7 . No nosso exemplo especco L < = q e q < = signica e < , e q, e = < e e q =. Exemplo 2.1 Apresentamos agora trs exemplos de grupos simtricos. (1) O grupo d. 3 4 4 4 4 4 4 5 d 4 4 4 4 4 4 6
< = < = < = < =
< = < = < = = <

E
< = < = <
4 = 4 4 4 4 4 < 4 = 4 4 4 4 4
Consideremos agora e termos:
< = e = <
< = ; de forma a < =
< = < = < = e = < = < = < < = < = e = < = < < = < = E < = < = < = < Ee < = = < = < eE = < <
73
< = < = < = < = = < < < = = < = =
= = <
< = < = < = e E = < < = < =

e assim pode-se prosseguir at completarmos a tabela de multiplicao deste grupo. Observemos que foi vericado acima que e e E geram o grupo d, isto , que todos os elementos do grupo so produtos nitos de fatores iguais a e ou E ; foi tambm vericado que e , E e E e e E eE . (2) O grupo df das simetrias espaciais de uma tringulo equiltero. Consideremos gPg g um tringulo equiltero, e coloquemos o centro de gravidade do tringulo na origem 9 do espao e chamaremos de hP, h e h as retas do espao passando pela mediana do tringulo.
As transformaes que preservam o tringulo so:

j i kj : as rotaes planas centradas em 9, no sentido antii l l O de ngulos zero, e , respectivamente. horrio, (ii) iP i i: as rotaes espaciais de ngulo A com eixos hP, h e h, respectivamente.
(i)
de fcil vericao que
j i kj iP i i i O com a composio de aplicaes um grupo; e tal grupo no abeliano,

d
pois
74
j; e isto , iP X i i O
j ou seja, i X iP i k iP X i. Tambm pode ser vericado que os j e iP geram o grupo df. elementos i O (3) O grupo d das simetrias espaciais de um quadrado.
Consideremos o quadrado gPg g g com centro de gravidade na origem
9 no espao; chamamos de
mP, m,
as retas do espao determi-
nadas pelas diagonais e pelas mediatrizes do quadrado.
As transformaes espaciais que preservam o quadrado so: (i)
ij il i j : as rotaes planas centradas em 9, no sentido l l anti-horrio, deO ngulo zero, , A e , respectivamente.
(ii) iP i i i : as rotaes espaciais de ngulo A com eixos mP, m, e , respectivamente. tambm bastante elementar a vericao de que
i j il i j iP i i i O O com a composio de aplicaes grupo. Este grupo, como o anterior

d
no-abeliano, pois 75
ou seja, iP X i i j ; e O
isto , i X iP i j i j . Por m, pode-se vericar tambm que i j e iP geram o grupo O d .O
^ Denio 2.3 Sejam P inteiros distintos no intervalo ]< e e

d1, tal que e P e e [P e P e e 7 7, # para todo 7
P , ento, neste caso, a permutao e denominada de um H-ciclo ou de um ciclo de comprimento H e denotado por # e P V V V . O conjunto P dos elementos movidos chamado de suporte do ciclo. Se H <, e a identidade; se H , e se chama um transposio. Exemplo 2.2 (1) Seja e
d denida por
e
< = q = q <
ento e um ciclo de comprimento q, e <=q (2) Consideremos agora E

d denida por
E
< = q = < q
ento e <= q <=. 76
[Neste exemplo vimos o como importante declarar onde est denida a permutao, pois neste caso E pode ser considerado como um elemento de d.] Denio 2.4 Sejam e E
d1, ento e e E se dizem distintas ou exteriores # quando para todo
< vlido que
e
E e
e
Exemplo 2.3 Os ciclos <=q e so disjuntos, bem como os ciclos <q e
; por outro lado, os ciclos <= e no so disjuntos, uma vez que o
elemento movido por ambos. Observao 2.2 Em geral o produto de permutaes no comutativo, no entanto se e e E so disjuntas ento se comutam. Como j mencionado antes, um dos problemas fundamentais quando estudamos estruturas algbricas o de poder fatorar os elementos destas estrutura em termos de elementos mais simples. O seguinte resultado para permutaes anlogo ao Teorema Fundamental da Aritmtica para inteiros.
# Teorema 2.11 Toda permutao e

d1 C a pode ser expressa de maneira nica, a menos da ordem, como o produto de ciclos exteriores de comprimento F . Demonstrao. A demonstrao composta de duas etapas: fatorar e como o produto de ciclos exteriores e; mostrar que a fatorao nica a menos da ordem. (1) Mostremos ento que e pode ser fatorado como o produto de ciclos # exteriores. Consideremos e
d1 e " e e vamos aplicar a induo sobre . Desta forma, se 9 ento e a identidade e neste caso no h o que se provar. Suporemos ento que ^ ; 9, isto , existe P ]< tal que e P P. Consideremos assim e e e usando o fato de que a ordem e # nita podemos armar que existe b 0 , com b " e P , e supomos que , ou seja, e P e se e P ento
F . Denimos agora 3 L 5 e se
P # eP 6 em outro caso.
77
Se H
e P e como e P um ciclo a demonstrao estar terminada. Por outro lado H E ento denimos 3 5 e se
C P # e 6 em outro caso.
e
, ento
Notemos que e move

e
2 H elementos e por hiptese de induo e
um produto de ciclos exteriores; vemos ainda de forma clara que e P e so disjuntos e e e Pe, conforme queramos demonstrar.
(2) Agora vamos provar a unicidade. Suponhamos que e n E o , P P ^ com E e ciclos de comprimento F . Consideremos P
]< tal que E P P P, ento existe tal que P P; como por hiptese os
so ciclos exteriores e, por isso, eles comutam entre si, de forma a podermos supor que < obtendo assim P P E P P e P P, e esta h h ltima equao implica que P P E P P para todo Z; temos ainda que P e E P so ciclos de mesmo comprimento, pois na fatorao de e so h os nicos que movem a P. Por outro lado temos que P P Pih, para h # 9 D Z E , de forma que E P P Pih P h E P h , portanto E P P em P ; por m, como ambas xam o CDn o N complemento de P podemos concluir que E P P. Si CD n o milarmente trabalhando com Nno lugar de P, vamos obter que E , continuando assim, obteremos que e que a menos da ordem E , para cada < .
Q.E.D.
Observao 2.3 O fato de poder escrever de maneira nica todo elemento de d1 como o produto de ciclos disjuntos vai ajudar muito a fazer computaes no grupo d1. Exemplo 2.4 Seja um nmero primo e seja
. (1) Todo elemento de ordem em dv um -ciclo. (2) dv no possui elementos de ordem 7 , com 7 F . (3) Se . um inteiro positivo, ento d1 possui elementos de ordem se e somente se F . 78
Exemplo 2.5 As possveis ordens de elementos do grupo dp pertencem ao # conjunto < = q <9 < . Corolrio 2.7 A ordem de e em d1 igual ao mnimo mltiplo comum das ordens dos ciclos de sua fatorao.
Demonstrao. Seja e e ; ser suciente demonstra que este resulP tado vlido para , pois da teoria dos nmeros sabemos que o mnimo
mltiplo comum do produto o produto dos mnimos mltiplos comuns dois a dois determinados [3]. Desta forma, consideremos e e Pe. Ora, usando o Teorema 2.11 obtemos
m mq n mq nn e P " e P e e Pe e " e P e MN O r r RS R S TQ n TQ m mq n mq nn m mq mq nn R e Q eP M N O S M N OT r e Pe " e P e \
por outro lado, se e P ento como as permutaes so disjuntas temos mq q n mq q n que e , logo, e e ento as e Pe f mq q n mq q n g mq q n f mq q n g mq q n M O M O eP e e P e e P , donde conM O M O M O M O M O clumos que e P " e Pe; analogamente obtemos que e " e Pe. Portanto
e P " e Pe e Pe " e Pe e " e Pe
e Pe e Pe

Q.E.D.
Corolrio 2.8 (1) Todo elemento de d1 um produto de transposies, # isto , d1 transposies .
(2) d1 < <= <.

(3) d1 < = 2 < . Demonstrao. 79
PERMUTAES 2.5. GRUPOS DE

(1) Temos que as < <
transposies, de fato, temos
# transposies . Em virtude do Teorema 2.11, basta-nos mostrar que um ciclo P um produto de
P P P[P P P
(2) Em virtude da parte (1) suciente mostrarmos que pertence ao subgrupo < = 2 < , e de fato, temos < < <, se <, e so distintos. (3) Para todo inteiro F , temos < 8 < < 8 < <; portanto o subgrupo < = 2 < contm <, para cada
. Assim, com parte no item (2), podemos concluir que este subgrupo igual a d1.
Q.E.D.
Observao 2.4 A decomposio de um elemento e

d1 como produto de transposies no nica, mesmo se exigirmos um nmero mnimo de transposies; por exemplo, <= <= < = <=. No entanto, vamos demonstrar a paridade do nmero de transposies em uma decomposio bem denida. Denio 2.5 Um elemento e de d1 uma permutao par (mpar ) quando
e
se escreve como um produto de um nmero par (mpar) de transposies.
Teorema 2.12 Seja e

d1, ento o nmero de transposies na fatorao de e ou sempre par ou sempre mpar.
# Demonstrao. Seja P 1 um conjunto de nmeros reais distintos entre si, denimos

2 P 1
ento e
d1, e atua em como segue
q
f g q mn 2 q mn 1 P
80
q Se e uma transposio se verica facilmente que q 2 , pois u f n g q m 2 q mn 2 2 t 2 2 . P 1 P 1 P 1 Portanto se e E, com E transposio para todo , ento q 2a . P
Q.E.D.
2.6
Grupos Alternados
Denio 2.6 O signo de um ciclo e

d1 denido como: 3 5 < se e par signo de e v e 62< se e mpar. Teorema 2.13 (Grupo Alternado) Seja F e
1
ento
d1 "
# uma permutao par

com ndice e recebe o nome especial
1 o nico subgrupo de
d1
de Grupo Alterado.
Lema 2.2 Todo elemento de # =-ciclos .
1 um produto de =-ciclos, isto , 1
Demonstrao. Seja 7 um =-ciclo qualquer, ento 7 7 e # assimh 7

1 ; logo = -ciclo 0 1. Consideremos agora E
1, isto , E , com sendo uma transposio, para qualquer < Z, e Z P par. Para mostrar que E um produto de =-ciclos, basta mostrar que b e bb so duas transposies quaisquer, ento bbb um produto de =-ciclos. Se b e bb so disjuntas, digamos b e bb 7w, ento
b bb 7w 7w 7 7 7w 7 produto de =-ciclos; por outro lado se b e bb no so e assim bbb um
disjuntas, digamos b e bb 7, ento bbb 7 7 um # =-ciclo. Portanto, =-ciclos 1 . Q.E.D.
81
2.6. GRUPOS ALTERNADOS
Demonstrao do Teorema 2.13. Seja a aplicao U denida por
U
d1 e

# 2< 8<
v e
Pode se vericar facilmente que U um homomorsmo e que U 1; ^ # portanto 1 Bd1 2< 8< e ]d1 1 . Agora vamos mostrar que 1 o nico subgrupo de d1 com ndice . De fato, seja 0 d1 tal que ^ ^ ]d1 , como ]d1 1 suciente mostrar que 1 0 . Ora, do Lema acima temos que 1 gerado pelos =-ciclos, de forma que suciente # mostrar que contm os =-ciclos, neste sentido consideramos e
d1 C as , ento e
, pois tem ndice em d1, em particular, se e um =-ciclo ento e e e e e e , ou seja, e
. Q.E.D. _ um grupo, se dene a relao de conjugao em _ _ da seguinte forma: se
ento conjugado de se existe um `
[P tal que ` ` . E neste caso diremos que e so conjugados.
Denio 2.7 Seja Se verica facilmente que ser conjugado dene uma relao de equivaln_ cia cujas classes so chamadas de classes de conjugao de . Com esta ^ ^ [P _@ terminologia temos que ] uma classes, ento ] ? `` `
e , ^ _ # , ] se, e somente se, ` `, para todo `
, isto , a classe de tem _ somente um elemento se, e somente se,
. Denio 2.8 Diremos que dois elementos e E
d1 possuem a mesma estrutura em ciclos, se para cada H F < o nmero de H-ciclos em e igual ao nmero de H-ciclos em E . Teorema 2.14 As permutaes e E
d1 so conjugadas se, e somente se, possuem a mesma estrutura em ciclos. Demonstrao. Seja e P V V V um H-ciclo em d1 e
d1, pondo [P obteremos e e iP iP, para < D [ iP P teremos e P P V V V . D H 2 <. Assim, denindo h Suponhamos agora que e e a decomposio de e como produto de P ciclos exteriores (incluindo ciclos h de comprimento um), de forma que, para [P [P qualquer
d1 temos e e , donde obtemos que e e qualquer P de seus conjugados tem a mesma estrutura em ciclos. 82
Suponhamos agora que e e E possuem a mesma estrutura em ciclos, digamos e P V V V P V V V e E P V V V P V V V , em que os ciclos aparecem em ordem crescente em cada uma das permutaes. Desta forma, denindo , , e assim sucessivamente, um a um pode-se [P vericar que e E . Q.E.D.
1x Teorema 2.15 Seja < E H D , ento o nmero de H-ciclos em d1 .

Demonstrao. Um H-ciclo est determinado por H elementos P da seguinte forma: xa-se P de forma que existem H 2 < formas de enviar P aos restantes dos valores; uma vez xado o elemento tal que P existiro H 2 formas de eleger tal que P . Desta forma dados os elementos P teremos exatamente H 2 < formas diferentes de construir 1e os H-ciclos. Temos tambm que existem d subconjuntos com H elementos. 1e Portanto, multiplicando H 2 <d obtemos o resultado desejado. Q.E.D.
K Exemplo 2.6 O grupo d possui ciclos de comprimento .
O seguinte resultado mostra que a recproca do Teorema de Lagrange no _ verdadeira, isto , existe um grupo nito e um inteiro o qual divide a _ _ ordem , mas no contm subgrupos de ordem . Teorema 2.16
no contm subgrupos de ordem .
Demonstrao. Suporemos que exista um subgrupo de tal que " " ^ , ou, ] , ento e
para todo e
, em particular se e um =-ciclo obtemos que e e
. Por outro lado como gerado por =-ciclos e do Teorema 2.15 contm ao menos 8 elementos, resultando numa
contradio.
Q.E.D.
2.7
Aes de um Grupo sobre um Conjunto

_
O Teorema de Cayley demonstra que os elementos de
podem ser consi_ derados como permutaes dos elementos de um conjunto, isto , d* , para algum . Isto um caso especial de uma situao mais geral, de grande utilidade no estudo de um grupo, o qual se precisa com a seguinte denio. 83
2.7. AES DE UM GRUPO SOBRE UM CONJUNTO
Denio 2.9
_ (1) Seja um grupo e um conjunto no vazio, ento _ _ diremos que atua em se existe um homomorsmo U d* . _
atua em o par U ser chamado de
(2) Quando Notao.
_ -conjunto.
Se
atua em ento U ` uma permutao de e esta
permutao ser abreviada para `, por um abuso de notao, de forma que ` U ` ser a notao que adotaremos. Exemplo 2.7 Os seguintes so alguns exemplos de (1) Se
_ -conjuntos.
_ _ ento um -conjunto, pois se identica com um * subgrupo de d mediante incluso. 0

d* ,
(2) Qualquer grupo (3) Seja
um
_ -conjunto [Teorema de Cayley].
_ _# _ um grupo, 0 e ` " `
ento atua em _ U U da seguinte maneira: d* est denida por ` , com ` . Note que esta a equao utilizada na prova do Teorema
Generalizado de Cayley [Teorema 2.6, pgina 66].
(4) Seja
_ _ um grupo e + 0 -, ento atua em por conjugao, _ isto , U d* est denida por U ` , com [ `` P. _
atua em si mesmo por conjugao, isto , a ao a o prprio _. mesma do item acima salvo que o conjunto
(5) Todo grupo
(6) Seja Dado
# Z " " " < e \
#
C " ; 9 .
y i _ denimos y iz . Pode se vericar sem diculdades que atua em _ . O grupo deste exemplo chamado de grupo modular sobre Z. _ -conjunto, ento denimos a {| rbita de um elemento
, denotado por , como sendo o seguinte
Denio 2.10 Seja um grupo e um conjunto
{| ` " `
_ #
84
Exemplo 2.8 Este exemplo aclara em alguma medida o porque do termo rbita de . Consideremos R e
~ ~ ~ ~ } R R , } 2 8 , , _ um fato bastante conhecido da lgebra linear que forma um grupo com a operao de composio de transformaes. Assim, dado
R a {| _# "
um crculo (rbita) com centro em 9 e raio . _
Seja um
_ -conjunto, as rbitas dos elementos de constituem uma
partio de , isto equivale a dizer que a relao denida a seguir uma relao de equivalncia: Sejam
, ento se relaciona com se _ existe um `
tal que `.
_ -conjunto, dado
denimos o estabilizador _ # de como sendo o conjunto `
" ` . [Pode-se vericar _ facilmente que 0 .]
Denio 2.11 Se um O resultado a seguir relaciona a cardinalidade da rbita de um elemento com o ndice de seu estabilizador.
_ Teorema 2.17 Seja um -conjunto e

, ento existe uma bijeo entre os elementos de {| e as classes laterais esquerdas de , ou
seja,
_ ^ ] "{| "
Demonstrao. Seja a aplicao denida por _# {| ` " `

` ` [P _ Se `P e ` so elementos de tais que `P `, ento ` P `, ou seja, [P ` P `
, o que por sua vez implica que `P ` , provando assim que efeito

est bem denida. Vamos mostrar agora que
injetiva, com
[P ` `P ` ` P `
[P ` P ` `P ` A sobrejetividade de se obtm diretamente, pois dado ` , ento `
{| e ` ` . Q.E.D. `P
85
2.7. AES DE UM GRUPO SOBRE UM CONJUNTO
Equao das Classes. No que segue consideraremos os casos especiais de _ -conjuntos que so de grande importncia no desenvolvimento terico. Seja _ _ _ um conjunto e considere a ao de em por conjugao, neste caso o estabilizador de um elemento passar a ser chamado de centraliza dor, e escrevemos . Temos ento que `
se, e somente _ [P se, `` . Como as rbitas de elementos em constituem uma partio, _ ento a unio disjunta das rbitas de , e, neste caso, as classes de equivalncia so chamadas de classes de conjugao e pode provar sem diculdades _ # que {| se, e somente se,
, portanto
_ _
_ {| () mn
Se
um grupo nito, ento da equao acima obtemos a equao conhecida
como Equao das Classes :
_ ^ _ _ " " " " 8 ] () mn
(2-1)
_ Seja um grupo e considere a ao do Exemplo 2.7-(4) [pgina 84], neste _ # caso, `

" chamado de normalizador de e
denotado por . A rbita de so todos conjugados deste.
86
Captulo 3
Teoremas de Sylow e os Grupos Abelianos Finitos

3.1 Introduo
No estudo da teoria dos grupos nitos, um problema de grande importncia o de determinar se um estudado grupo possui subgrupos normais prprios, isto leva ao problema de classicar grupos simples, o que constituiu um dos avanos mais signicativos na Matemtica do sculo XX. Pode-se armar, sem medo de incutir em erros, que uma primeira aproximao do estudo da existncia de subgrupos normais se faz com os Teoremas de Sylow. Isto ilustrado na discusso que segue. Iremos discutir tambm, neste captulo, algumas propriedades de uma classe muito importante de grupos, os chamados -grupos. No nal deste captulo apresentamos uma discusso bastante completa dos grupos abelianos nitos, com o objetivo de classic-los.
3.2
-Grupos
_ _ Denio 3.1 Seja um grupo e um nmero primo, ento um -grupo se todo elemento de _ tem ordem correspondente a uma potncia de , ou seja, _ um -grupo
1 _ `
` para algum
Z _ Notemos que pode ser um grupo nito. Com efeito, pode-se provar que _ _ se um grupo nito de ordem par ento deve ter elementos de ordem . O primeiro teorema deste captulo a generalizao deste fato, ao caso em
87
3.2. L -GRUPOS
que
um grupo nito de cardinalidade divisvel por um primo.
_ Teorema 3.1 (Cauchy-Frobenius) Sejam um grupo nito e um n_ _ mero primo tal que " " ". Ento contm ao menos um elemento de
ordem . Mais precisamente, o nmero de elementos de ordem congruente a 2< mdulo , isto ,
" `
2<

Demonstrao. Primeiramente vamos denir o seguinte produto cartesiano _ de por ele mesmo vezes: 3
_ 5 # # , P v , a a a* , P V V V v a 6 , , , Ento a ltima componente v dos elementos de ca completamente deter 2 < elementos, isto , v P V V V v[P[P, de forma minada pelos primeiros _ v[P que, " " " " 2 <. Em particular, " " 2< . Consideremos agora um grupo tal que , e denimos uma aplicao U por:
U
em que
d*
P v iP v P [P P V V V v a P P V V V v P a V V V v P a \
Por outro lado temos que se
e por induo podemos mostrar que
v iP V V V Q RS P V V V T a v fatores
donde obtemos que U um homomorsmo, e assim atua em . Portanto as rbitas de sobre a ao denida por U possui um ou elementos. Seja P v
, ento "{| " < se, e somente se, , e v isto equivalente a a. Denimos agora o conjunto
b
#
" "{| " <
_ de forma que a cardinalidade de b igual ao nmero de elementos em de _ v[P ordem e " " " " 2 < "b " , obtendo assim o resultado. Q.E.D.
88
CAPTULO 3. TEOREMAS DE SYLOW E OS GRUPOS ABELIANOS FINITOS
_ _ Corolrio 3.1 Se um grupo nito ento um -grupo se, e somente _ 1 se, " " para algum .
Demonstrao. A prova obtida de imediato aplicando o Teorema de Cauchy-Frobenius e Lagrange.
Q.E.D.
Corolrio 3.2 Se _ " " ; <.
um -grupo nito com mais de um elemento, ento
Demonstrao. A equao das classes para o grupo
arma que:
_ ^ _ _ " " " " 8 ] () mn _ 1 Do Corolrio 3.1 anterior temos que " " , para algum natural . Se _ _ ento no h mais o que se demonstrar; se, por outro lado, isto no ^ _ ocorre ento a soma n ] da equao das classes um mltiplo () m _ _ de , pois os subgrupos no so iguais a para
> . Assim, _ # _ obtemos que " " ; <, equivalentemente, a . Q.E.D. _ Denio 3.2 Seja um grupo e um nmero primo. Um subgrupo g de _ dito -subgrupo de Sylow se g um -subgrupo maximal.
3.3
Teoremas de Sylow
Antes de apresentar a discusso dos Teoremas de Sylow, vamos ilustrar as idias centrais que sero utilizadas, abordando uma questo. Tambm com esta questo se ilustra a utilidade que tem o uso da ao de um grupo em um conjunto. Quantos grupos, no isomorfos, de ordem 15 existem? Iniciamos a discusso desta questo fazendo uma considerao sobre os _ _ subgrupos de . Do Teorema de Cauchy-Frobenius obtemos que contm subgrupos de ordem = e , respectivamente, e o grupo de ordem normal, _ pois seu ndice =, o menor primo que divide a ordem de . E o subgrupo de ordem =, normal? A m de responder esta questo consideremos g 89
3.3. TEOREMAS DE SYLOW
_ um subgrupo de ordem =, ento g normal em se, e somente se, g [ _ ` g ` P g , para todo `

, em outras palavras, g normal se, e somente
se, o conjunto de seus conjugados possui somente um elemento. Isto nos leva a _ considerar a ao, por conjugao, de no conjunto de seus subgrupos. Seja _# g " `
ento a rbita de g via conjugao, donde obtemos _ que atua por conjugao em . Restringindo esta a ao a g obtemos ^ que, para qualquer -
, ]g "L - um ou trs, mais precisamente ^ ]g "L - < se, e somente se, g "L - - % g , e este ltimo equivalente a dizer que g 0 -. Por outro lado, - normal em -, pois g ) - um subgrupos de -, e por conseqncia, tambm _ de . Este subgrupo tem ordem = ou G, mas do Teorema de Lagrange temos _ no possui subgrupos de ordem G, logo "g ) - " = e assim obtemos que que g -, isto , o nico elemento de cuja rbita, respeito a ao de g , tem cardinalidade um o mesmo g . Tambm teremos que a cardinalidade da rbita de um elemento igual ao ndice de seu estabilizador. {| De tudo isto segue que " " " "L -" < 8 =7, para algum 7. Usando a equao que relaciona a cardinalidade da rbita com ndice de seu es^ _ tabilizador [Teorema 2.17, pgina 85], obteremos: " " ] g , quando _ considerado como uma rbita da ao de em um conjunto de seus ^ _ subgrupos. Como g 0 g , ento ] g " " um ou cinco, isto e o resultado provado anteriormente que " " <, nos faz concluir que g normal. At este ponto provamos que contm subgrupos normais de ordem = e _ , agora imediato a vericao de que cclico. Toda esta discusso pode ser resumida na seguinte resposta a nossa questo: Existe somente um grupo de ordem 15, salvo isomorsmo.
_ um grupo nito e Teorema 3.2 (Primeiro Teorema de Sylow) Seja g um -subgrupo de Sylow. Ento so vlidas as seguintes relaes: 3 3 5 -subgrupo de , _ 5 -subgrupo de (1) ," " e < . 6 Sylow de _ , 6 Sylow de _ , , , (2) Os -subgrupos de Sylow so conjugados.
Demonstrao. 90
_ (1) Consideremos a ao de em seus subgrupos por conjugao. Se g # um -subgrupo de Sylow, consideraremos g gP g g , o

conjunto dos subgrupos conjugados de g . de imediato a vericao que se um subgrupo maximal seus conjugados tambm o so, desta forma os elementos de so subgrupos de Sylow. Como uma rbita _ sobre a ao descrita ento atua em e, por restrio, g atua em ^ . Dado -
, ]g "L - , para algum !. Temos que ! 9 se, e somente se, g "L - - % g , e este ltimo quando Como - um subgrupo normal de seu normalizador, _ ento g ) - um -subgrupo de que contm a g e a -. Devido
g
-.
maximalidade destes devemos ter g -. Com isto provamos que o nico elemento de que tem rbita com um s elemento, quando se faz atuar g em , o prprio g . Deste argumento obtemos que " " H " {| "L -" < 8 w, para algum natural w, isto , " " < . Por outro lado, ao considerarmos como a rbita de g sobre ^ _ _ a ao de obtemos que " " ] g e este por sua vez um _ divisor de . (2) Suponhamos que - um -subgrupo de Sylow e que - , em particu lar - g . O mesmo argumento mostra que - atua em e suas rbitas
sobre esta ao tem cardinalidade mltipla de , o que contradiz o j provado. Desta forma, do item anterior obtemos que todo -subgrupo de _# Sylow conjugado a g e portanto -subgrupo de Sylow de H.
Q.E.D.
_ Teorema 3.3 (Segundo Teorema de Sylow) Seja um grupo e um _ 1 nmero primo tal " " Z, com Z <. Ento todo -subgrupo 1 de Sylow tem cardinalidade .
Demonstrao. Para provarmos o teorema suciente mostrar que ]_ g ^ <, com g sendo um -subgrupo de Sylow. Observemos que ^ ^ ^ _ _ ] g ] g ] g g , onde g o normalizador de g . Para ^ _ mostrarmos que um primo relativo com ] g suciente mostrar que o ]_ g ^ < e ] g g ^ <. A primeira destas condi^ _ _# es se deve ao fato de que ] g -subgrupo de Sylow de e do ^ _ Primeiro Teorema de Sylow podemos inferir que ] g < . Para 91
3.4. GRUPOS ABELIANOS FINITOS
provarmos a segunda das condies, ser suciente mostrar que g Bg no possui elementos de ordem e ento aplicar o Teorema de Cauchy-Frobenius [Teorema 3.1, pgina 88]. Se
g Bg um elemento tal que a identidade, ento o grupo g Bg um -grupo, com efeito, este grupo o gerado por . imediata a vericao que se um quociente um -grupo e o seu denominador tambm o , ento o numerador um -grupo; assim, destes fatos e da maximalidade de g , inferimos que
g , e com isto terminamos a prova.
Q.E.D.
_ Corolrio 3.3 Seja um grupo nito e um nmero primo tal que _ 1 _ _ _ " " Z. Ento contm subgrupos tais que " " para todo _ _ _ < , e ainda, os s podem ser escolhidos de forma que iP.
Demonstrao. Do Teorema anterior
1 contm subgrupos de ordem .
O restante obtido aplicando um argumento indutivo sobre a ordem de um -grupo. Q.E.D.
3.4
Grupos Abelianos Finitos
Nesta seo iremos apresentar uma discusso bastante completa dos grupos abelianos nitos. O objetivo classicar os ditos grupos sobre isomorsmos. Provaremos que os grupos cclicos tem um papel similar aos dos nmeros primos, isto , provaremos que um grupo abeliano nito se fatora de maneira nica como o produto de grupos cclicos. Antes de iniciarmos faremos a seguinte nota aclaratria. A operao de um grupo abeliano ser denotada aditivamente, os produtos diretos sero chamados de somas diretas e usareI mos o smbolo para denotar a soma direta. Nesta seo usaremos algumas propriedades de inteiros mdulo , com sendo um nmero primo, por esta razo apresentamos um resultado que resume as propriedades bsicas destes nmeros.
Teorema 3.4 Seja um nmero primo. Ento Z B Z e Z B Z so gru-
pos com as operaes de soma e produto de classes, respectivamente. 92
Ademais, a multiplicao distributiva em relao soma, ou seja, se , e , so elementos de Z B Z, ento
K K K I I v w v x w v x v w v x
Demonstrao. Demonstraremos apenas que Z B Z um grupo, o res-
tante bem elementar, e Komitimos aqui. Recordemos que a multiplicao de classes denido por v V , e ainda, independe dos representantes e associativa, como demonstrado na pgina 9. Resto-nos provar ento que cada elemento no nulo possui um inverso multiplicativo. Seja uma classe no nula, ento e so relativamente primos, de forma que existem inteiros
e Z tais K que < 8 Z. Tomando a classe mdulo conclumos que < v , isto , o inverso de . Q.E.D.
A seguinte denio apresentada somente para dar coerncia terminologia que se ser empregada. Denio 3.3 Um corpo p uma estrutura algbrica munida de duas operaes, a saber, uma soma e um produto, denotados respectivamente por 8 e
V, que possuem as seguintes propriedades.

(1) O par p 8 um grupo abeliano com identidade 9.
# (2) O par p C 9 V um grupo abeliano com identidade <.

(3) O produto distributivo em relao a soma, isto , V 8 V 8V , para todo
p . Observao 3.1 Pode-se vericar sem maiores diculdades que se um nmero primo, ento Z B Z um corpo com elementos. Teorema 3.5 Seja
soma direta de seus -subgrupos de Sylow.
um grupo abeliano nito, ento
isomorfo a
_ Demonstrao. Como abeliano, ento todo subgrupo normal, em particular os -subgrupos de Sylow o so. Sejam gP g g os diferen_ tes -subgrupos de Sylow de . Mostraremos em que a seguinte L condio
cumprida,
# g % gP 8 V V V 8 g 8 V V V 8 g 9
93
c < 7
rF r Seja
, ento e , , o que s possvel se <. , , , , , , _ Por outro lado se tem que g um subgrupo de com cardinalidade igual LP _ _ a de , por tanto so iguais, isto , dado `
existe ` s
g s tal que ` `, e ainda, a representao de ` nica. Nesta situao as somas dos LP _ _ I I g s ser denotado por gP V V V g , ou, g, e ambos substituem LP L Q.E.D. a notao de produto direto.
Recordemos que nosso objetivo demonstrar que os grupos abelianos nitos podem ser representados como a soma direta de grupos cclicos, ento o teorema anterior reduz o problema a -grupos abelianos.
_ Denio 3.4 Um grupo abeliano ser dito -elementar, se existe um _ nmero primo tal que 9, para todo
. # Denio 3.5 Diremos que um subconjunto P h de um grupo _ abeliano gera uma soma direta, se h P h P _ _ Teorema 3.6 Seja um grupo abeliano -elementar nito. Ento _ _ um espao vetorial sobre Z B Z. Se nito ento isomorfo a soma
direta de grupos cclicos de ordem . [Notemos que o nmero de parcelas _ da referida soma igual dimenso de como Z B Z-espao vetorial, e _ se denotar por . Demonstrao. Dados `
e
Z B Z, denimos ` `. Esta denio no depende da classe de , pois se ento " 2 , portanto
2 ` 9, o que implica que ` `. Os axiomas de espao vetorial so

satisfeitos com a multiplicao acima denida. O resto da armao obtido dos seguintes fatos. (1) Todo espao vetorial de dimenso nita isomorfo a um nmero nito de cpias do corpo sobre o qual est denido. (2) O grupo aditivo Z B Z cclico de ordem de .
Q.E.D.
94
Teorema 3.7 Todo grupo abeliano nito soma direta de grupos cclicos.
_ Demonstrao. Do Teorema 3.5 podemos supor que um -grupo, isto _ 1 , " " , para algum nmero primo e F <. Assim temos que existe h_ um Z D tal que 9. E faremos a demonstrao por induo sobre _ Z. Se Z <, ento um -grupo elementar e do Teorema 3.6 temos _ I I que Z B Z V V V Z B Z, com Z B Z sendo um grupo cclico abeliano.
Suponhamos agora que Z ; < e o resultado verdadeiro para todos os grupos _ h[P_ h[ h[ _ _ 9. Seja , ento P P 9. que satisfazem Por hiptese de induo representvel como a soma direta de grupos _ cclicos, isto , n ! , com ! e
. Assim, 9 "! " ! P _ _ # " ` 9 "! " "! " , ou seja, "! "
`
Armao. _ (1) um -subgrupo elementar. (2)
P
#
n
e "!P"P "! "

n
#
n
geram subgrupos cuja interseo
a identidade.
A parte (1) no difcil de demonstrar; a parte (2) ser demonstrada no # teorema seguinte. Da parte (2) temos que "!P"P "! " um subconn _n junto linearmente independente em Z B Z espao vetorial . Completando este conjunto a um conjunto maximal que seja linearmente independente, ob_ # teremos que existem P
tais que "!P"P "! " P # n n uma base. Novamente a parte (2) garante que P gera uma soma # n direta e por hiptese sobre os s, gera uma soma direta. P tambm Sejam
p
Armao.
.
p
# (i) Mostraremos que p % 9 . Se

p % ento n P n n ! . Como P . e tambm 9, de forma que 9 P P os elementos ! geram a como soma direta, ento ! 2 9, para todo , donde obtemos que "! " " , isto , G "! ". Substituindo em obtemos que n G "! " . . Agora a condio sobre o P P # conjunto "!P"P "! " P implica que 9.
n n
95
_ (ii) Se `
, ento `
n , uma vez que P
` n ! n P P
e assim
` 2 n 9 P n `2 Z "! " 8 w P P P
n
o que vem a implicar que
e desta equao obtemos que
` n 8 Z "! " 8 w
p 8 P P
provando o armado.
Q.E.D.
Teorema 3.8 Seja tais que
um -grupo abeliano, E P E1 elementos no nulos

E P E1
_ (1) Se v so elementos de tais que v E, para todo , ento 1 v P v1 v P (2) Se P 1 so inteiros tais que E 9, para todo , ento 1 Pv P 1v1 v P Demonstrao.
E
(1) Seja !
v % v , ento ! v
96
v
A hiptese sobre os v s implica que
v v v E
Como os E s geram uma soma direta, da equao anterior obtemos que
E 9
donde conclumos que E " , para todo 7 < , ento ; <, donde obteremos E V G . Posto E 9, devemos L Lter E L
L E E E ! w x G v w x G E xG E w
Agora, a condio sobre os Es implica ! 9. (2) Seja !

E % E ento
! E
onde 7 Z, para todo w < . A hiptese sobre os Es implica que E " , para todo , portanto ! 9.
Q.E.D.
Teorema 3.9 Todo grupo abeliano direta de grupo cclicos,
pode ser representado como soma
tais que, "iP" divide a " ", para todo < ! 2 <. [A decomposio _ anterior de se chama decomposio cannica.]
_ _ I I_ _ , a representao de como soma de Demonstrao. Seja P V V V -grupos. Pelo Teorema 3.7, para cada , _ P I V V V I 1 , e somando-os I podemos ordenar de maneira que " iP" divida a " ". Denamos P PP I V V V P. Como cada P cclico e " P" " P" <, para w, ento P cclico, mas precisamente, se , ento P PP 8 V V V 8 P.
97
I I Denindo [quando necessrio] P V V V , usando o mesmo argumento

obteremos que cclico, e que " " divide a "P". Um processo indutivo Q.E.D. completa a construo dos s com as condies requeridas.
_ Teorema 3.10 Dois grupos abelianos nitos e so isomorfos se, e _ somente se, cada -parte de isomorfa a cada -parte de , mais preci_ samente, se para cada primo , v e v que denotam os correspondentes -subgrupos de Sylow de _ e , respectivamente, ento _
para cada primo .
_ $ v v
_ _ Demonstrao. Se um um isomorsmo, ento { v _ _ satisfaz v 0 v , isto , { v v claramente um isomorsmo. _ v Por outro lado, se v { , para todo primo , ento denindo a aplicao _ _ _ I como segue: se v e `
P _ ` w ` x v ` P P
Q.E.D.
se verica facilmente que um isomorsmo. Teorema 3.11 Seja sejam
um grupo abeliano nito, um subgrupo de
_ as decomposies de e como no Teorema 3.9. "- " " "g ", para todo < !.
Ento ! D H e
Demonstrao. Faremos a demonstrao por contradio, isto , suporemos " ou que ! ; H. Suponha que "- " "g " e seja "g ", que "- " "g [ P _ # ento g e - 9 . Seja Z "- " ; < e consideremos o P _ _ subgrupo P de , cujos elementos tem a ordem de um divisor de Z, isto [ P _ _ _ # , P
" Z 9 . Se
P, ento , com
g e P [P 9 Z Z. Como
g e os gs formam uma soma direta, ento P 98
_ 9 Z , para todo , donde temos que

P, portanto
P % g . P _ Temos que P % g cclico de ordem menor ou igual a Z, pois um subgrupo _ do grupo cclico g e os elementos de P tem ordem no mximo Z. Assim, [P _ conclumos que " P" D Z . Por outro temos que para cada < , - contm um subgrupo isomorfo a - , "- " divide "- ", para < e - _ cclico, ento - , e assim Z Z- 9, e portanto 0 P,
[P
para todo . Logo,
[P _ _ 0 P Z D " P" D Z P
obtendo assim uma contradio, pois Z ; <. Se ! ; H, ento ! F H 8 <. # Tomando H 8 < e g 9 , vemos claramente que "- " "g " <. Aplicando o argumento anterior, para este caso, chegaremos novamente a uma contradio.
Q.E.D.
Teorema 3.12 (Teorema Fundamental dos Grupos Abelianos Finitos) _ Se um grupo abeliano nito. Se _ m P P com e m satisfazendo as condies do Teorema 3.9, ento H ! e " " "m ".
_ 0 . Do Teorema 3.11, ! D H e "m " divide a " ", para todo < !. Agora para aplicamos o mesmo P argumento e vemos que H D ! e " " divide a "m ". Q.E.D.
Demonstrao. Observemos que

99
100
Concluso
Com vimos o texto possibilitou a apresentao no de toda, mas, de elementos de teoria dos grupos, de uma forma introdutria e bastante independente, com a construo de conceitos bem elementares e apresentados de formas graduais, respeitando o seguimento clssico de estudo desta teoria. Embora introdutrio, este estudo possibilitou contato com algumas tcnicas e ferramentas comumente utilizadas na Teoria dos grupos tais como: equao das classes, -grupos, Teoremas de Sylow, Centro e centralizadores. Nossa abordagem respeitou o desenvolvimento clssico da teoria, no entanto, procuramos apresentar os conceitos de forma gradual e construtiva, procurando analogias com estruturas mais familiares, como a de Espao Vetorial. O trabalho foi concludo com o Teorema Fundamental dos Grupos Abelianos Finitos, como uma aplicao da teoria estudada ao longo do texto.
101
CONCLUSO
102
THIAGO DOURADO
Referncias Bibliogrcas
[1] Alencar Filho, E. Elementos de lgebra Abstrata. Editora Nobel S. A., So Paulo, 1978. [2] Alencar Filho, E. Teoria dos Grupos. Editora Edgard Blcher Ltda, So Paulo, 1985. [3] Apostol, T. M. Introduccin a la Teora Analtica de Nmeros. Versin espola por Dr. Jos Pl Carreraa, Editora Revert, S. A., Barcelona, 1984. [4] Baumslab, B.; Chandle, B. Theory and Problems of Group Theory. Schaums Outline Series, New York, 1968. [5] Birkhoff, G.; MacLane, S. lgebra Moderna. Traducido por R. Rodrigues Vidal, Editor Vicens-Vives, Barcelona, 1974. [6] Bourgne, R.; PAzra, J. Ecrits et Mmoires Mathmatiques
dVariste Galois. Gauthier-Villars, Paris, France, 1962. [7] Ferreira, F. Teoria dos Conjuntos: Uma Vista. Departamento de Matemtica - FCUL, Boletim da SPM - no 38, retirado do sttio http://www.ciul.ul.pt/ ferferr/vistacorr.pdf, ascessado em 14 de dezembro de 2009, Lisboa, Abril de 1998. [8] Garcia, A.; Lequain, Y. Elementos de lgebra. 2a edio, Associao Instituto de Matemtica Pura e Aplicada, Projeto Euclides, Rio de Janeiro, 2003. [9] Gonalves, A. Introduo lgebra. Conselho Nacional de Desenvolvimento Cientco e Tecnolgico, CNPq, Projeto Euclides, Rio de Janeiro, 1979. 103
CONCLUSO
[10] Halmos, P. R. Teoria Ingnua dos Conjuntos. Traduo de Lzaro Coutinho. Editora Cincia Moderna, Coleo Clssicos da Matemtica, Rio de Janeiro, 2001. [11] Hefez, A. Curso de lgebra. Volume I. 2a edio, Associao Instituto de Matemtica Pura e Aplicada, Coleo Matemtica Universitria, Rio de Janeiro, 1997. [12] Herman, W. The Theory os Groups and Quantum Mechanics. Translated from the second (revised) german edition by H. P. Robertson, Dover Publication, Inc, Massachusetts, 1930. [13] Herstein, I. N. Topics in Algebra. University of Chicago, Ginn
and Company, retirado do stio http://www.4shared.com/le/63410983/ 5e8d1af4/Topics [in [Algebra [- [IN [Herstei.html?s=1, ascessado em 14 de dezembro de 2009, Chicago, 1964. [14] Herstein, I. N. lgebra Moderna - Grupos, Anilos, Campos Editora Trillas, Traducin de Federico Ve-
e Teoria de Galois.
lasco Coba, Instituto de Geofsica, Universidad Veracruzana, retirado do stio http://www.4shared.com/le/92691436/7f983054/Herstein [ I [N [-
[Algebra [Moderna.html?s=1, ascessado em 14 de dezembro de 2009, Ciudad del Mxico, 1980. [15] Jacy Monteiro, L. H. Elementos de lgebra. Coleo Elementos de Matemtica, Instituto de Matemtica Pura e Aplicada, Livros Tcnicos e Cinetcos Editora S. A., Rio de Janeiro, 1974. [16] Landau, E. Teoria Elementar dos Nmeros. Srie Textos Clssicos, Traduo da srie Textos Clssicos da American Mathematical Society por Paulo Henrique Viana de Barros, Ed. Cincia Moderna, Rio de Janeiro, 2002. [17] Milne, J. S. Fields and Galois Theory. retirado de
www.jmilne.org/math, 2008. [18] Milne, J. S. Group Theory. Retirado do stio www.jmilne.org/math, ascessado em 14 de dezembro de 2009, 2008. 104
THIAGO DOURADO
REFERNCIA BIBLIOGRFICAS
[19] Mora, F. B. Introduccin a la Teora de Grupos. Publicaciones Electrnicas de la SMM, Sociedad Matemtica Mexicana, retirado do stio http://www.smm.org.mx/wordpress/pub-elec-textos-vol4, ascessada em 14 de dezembro de 2009, Ciudad del Mexico, 2004. [20] Pacheco, A. lgebra. Retirado do stio http://sites.google.com/site/ amilcarpachecoensino/, Universidade Federal do Rio de Janeiro, Acessado em 14 de dezembro de 2009. [21] Polcino, C. M. Breve Histria da lgebra Abstrata. Instituto de Matemtica e Estatstica, Universidade de So Paulo, retirado do stio http://www.bienasbm.ufba.br/M18.pdf, ascessado em 14 de novembro de 2009, So Paulo, 2006. [22] Polcino, C. M. Grupos Nilpotentes: Uma Introduo. Instituto de Matemtica e Estatstica, Universidade de So Paulo, retirado do stio http://ensino.univates.br/ chaet/Materiais/grupos [ nilpotentes2.pdf, ascessado em 14 de novembro de 2009, So Paulo, 2008. [23] Ribenboim, P. Nmeros Primos: Mistrios e Records. Coleo Matemtica Universitria, Associao Instituto de Matemtica Pura e Aplicada - IMPA, Rio de Janeiro, 2001. [24] Sampaio, J. C. V. Estruturas Algbricas I, II. Departamento
de Matemtica, Universidade Federal de So Carlos, retirado do stio http://www.dm.ufscar.br/ sampaio/algebra.html, ascessada em 14 de dezembro de 2009, So Carlos, 2006. [25] Wussing, H. The Genesis of the Abstract Group Concept. The MIT Press Cambridge, Massachusetts, 1984.
ELEMENTOS DE TEORIA DOS GRUPOS
105
NOTAES
106
THIAGO DOURADO
Notaes
c "
g
Qualquer que seja.
O conjunto dos elements satisfazendo a propriedade g .
#1 P
# P 1 . smbolo que denotar .....

A diferena entre o conjunto e o conjunto . O produto cartesiano entre e . Conjunto dos Nmeros Naturais. Conjunto dos Nmeros Inteiros. Conjunto dos Nmeros Irracionais. Conjunto dos Nmeros Reais. Conjunto de todos os elementos inversveis em . Centro do grupo
L L C J
N Z R CQ R
_ m n *
_ .
um conjunto nito. est relacionado com segundo a relao .
est relacionado com segundo a relao de equivalncia . est relacionado com segundo a relao de equivalncia .
O conjunto pela relao de equivalncia 107
>
NOTAES
I 1
Z BZ
K 1
Z 1 Z
Respectivamente, soma e produto em Z >Z. O conjunto das classes de equivalncia de Z mdulo . Grupo
_ W a _ R
d* d*
sobre a operao W.
Elemento neutro do grupo
_ .
Grupo linear geral de ordem e com entradas reais. Grupo de permutaes em . Grupo de permutaes em , quando um conjunto nito.
* *
0 _
subgrupo de
_ . _
mdulo .
B R `
Grupo quociente de
Grupo de Heisenberg com entradas reais. Subgrupo gerado pelo conjunto . Ordem do elemento `. Ncleo do homomorsmo . Imagem do homomorsmo . O grupo
P isomorfo ao grupo
_ .
_ P
P isomorfo ao grupo
_ , segundo o isomorsmo U.
Classes laterais esquerda e direita respectivamente, de _ em . ndice de em _ laterais em .
^ _ ]
_ : cardinalidade da unio das classes
_
Funo phi de Euler.
subgrupo normal de
_ .
Subgrupo conjugado. Produto direto dos grupos
_
108
_ P)
Pe
_ .
THIAGO DOURADO
NOTAES
um subgrupo normal minimal de um subgrupo normal maximal de
_ . _ .
df d e
CD _
Grupo das simetrias espaciais de um tringulo equiltero. Grupo das simetrias espaciais de um quadrado. A permutao e um ciclo de comprimento H ou H-ciclo. f n # g q m 2 q mn , onde P 1 . P 1 Signo do ciclo e. Grupo alternado, das permutaes pares de d1. rbita do elemento . Estabilizador do elemento . Centralizador do elemento . Normalizador de .
P V V V q
v e
1 {|

_
_ como Z B Z-espao vetorial, quando um grupo abeliano nito -elementar.

Dimenso de
109
ndice Remissivo
Abel, 11 Abeliano, grupo, 11 Automorsmo, 28 Cayley Lema de, 31 Teorema de, 64 Centralizador de um elemento, 86 Ciclo comprimento H, de, 76 Estrutura em, 82 Identidade, 76 Diferena simtrica, 16 Endomorsmo, 28 Epimorsmo, 27 Estabilizador de um elemento, 85 Estrutura algbrica, 11 Euler Funo de, 37 Teorema, 38 Fermat Pequeno Teorema, 36 Funo Euler, de, 37 Grupide, 11 Grupo(s) abeliano, 11 Alternado, 81 cclico, 26, 36 centro do, 21 Ciclo de comprimento H, 76 de permutaes, 16, 31 Denio, 11 Diedrais, 71 nitamente gerado, 26 Heisenberg, de, 22 Isomorfo, grupo, 28 Klein, de, 14 linear especial, 21 110
H-ciclo, 76
Signo, 81 Transposio, 76 Classe Conjugao, de, 86 Classes Laterais Direita, , 31 Esquerda, , 31 Conjugao, de, 82 Equivalncia, de, 6 Congruncia mdulo , 7 Conjunto Z BZ, 8 Produto em Z BZ, 9 Soma em Z BZ, 9 Conjunto quociente, 8 Corpo, 93
NDICE REMISSIVO
linear geral, 15 Modular, 84 ordem, 11 -Grupo, 87
Ordem de um elemento, 26 Partio, 6 permutaes, 16 composta de duas, 17 inverso de, 18 Produto direto externo, 53 direto interno, 54 Projeo cannica, 8, 49, 51
-subgrupo de Sylow, 89
Quociente, 41
H-ciclo, 76
Simtrico de grau , 16, 72 simetrias espaciais de um quadrado, Grupo das, 75
simetrias espaciais de um trin- Relao, 5 gulo equiltero, Grupo das, 74 Conjugao, de, 82 Simples, 61 Relao de equivalncia, 5 Tbua, 16 Semi-grupo, 11 Transposio, 76 Homomorsmo, 27 imagem, 29 ncleo, 29 Teorema do, 48 Isomorsmo, 27 Primeiro Teorema do, 49 Segundo Teorema do, 49 I ndice, 34 Lagrange Teorema de, 35 Lei de composio interna, 10 Monide, 11 Monomorsmo, 27 Operao Denio, 10 Lei de composio interna, 10 Operao binria, 10 rbita de um elemento, 84
Subgrupo conjugado, 38 denio, 18 gerado, 25, 26 Maximal, 63 Minimal, 63 nomral, 38 Normal Maximal, 63 Normal Minimal, 63 uniparamtrico, 24 Teorema Cauchy, 88 Cayley, de, 64 chins do resto, 56 Correspondncia, da, 51 da Representao (ver Teorema de Cayley), 64 Euler, 38 Fundamental dos Grupos Abelianos Finitos, 99 111
NDICE REMISSIVO
Homomorsmo, do, 48 Lagrange, de, 35 Pequeno Teorema de Fermat, 36 Primeiro Teorema do Isomorsmo, 49 Segundo Teorema do Isomorsmo, 49 Sylow, Primeiro Teorema de, 90 Sylow, Segundo Teorema de, 91
112
THIAGO DOURADO

Elementos de Teoria Dos Grupos (Thiago Dourado)

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Elementos de Teoria Dos Grupos (Thiago Dourado)

Enviado por

Direitos autorais:

Formatos disponíveis

Thiago Dourado

Elementos de Teoria dos Grupos

Universidade Federal de Mato Grosso do Sul

Elementos de Teoria dos Grupos

Thiago Augusto S. Dourado

Estado de Mato Grosso do Sul - Brasil Dezembro - 2009

Universidade Federal de Mato Grosso do Sul

Elementos de Teoria dos Grupos

Thiago Augusto S. Dourado Graduando em Matemtica

Orientador: Prof. Dr. Antonio Carlos Tamarozzi

Estado de Mato Grosso do Sul - Brasil Dezembro - 2009

Elementos de Teoria dos Grupos

Thiago Augusto S. Dourado

Trs Lagoas, 18 de dezembro de 2009.

Prof. Dr. Antonio Carlos Tamarozzi Orientador DEX/UFMS

Profa . Dra . Eugenia Brunilda Opazo Uribe Examinadora DEX/UFMS

Prof. Dr. Renato Csar da Silva Examinador DEX/UFMS

Abelianos Finitos, Classicao de Grupos.

87 87 87 89 92 101 101 107 110

Consluso Referncia Bibliogrcas Notaes ndice Remissivo

primo; o problema de classicar os grupos um dos principais problemas

Fundamentos da Teoria dos Grupos

(1) ; (2)  ;   (3)   

1.1. RELAES DE EQUIVALNCIA

Demonstrao. (1) Se  ento  +!

CAPTULO 1. FUNDAMENTOS DA TEORIA DOS GRUPOS

(2) Suponhamos que  e que %  & de forma a existir !

 - reductio ad absurdum ! Portanto, se  temos que %  &.

exatamente classes distintas, 9 <    2 <. Por exemplo, se  = a relao

1.1. RELAES DE EQUIVALNCIA

@ Z>  1  ?9 <    2 < 

Agora, consideremos o conjunto Z, denido pelos mltiplos inteiros de

De forma que a relao  1 pode tambm ser denida por

CAPTULO 1. FUNDAMENTOS DA TEORIA DOS GRUPOS

@ provar ento que

nomeadas respectivamente por soma e produto em Z BZ. es ! (com 2 !  7, para algum 7

uma vez que  1 $  . Mas,     ! )Z 2 !  7P  1 4  4 LMNLO  2 .  7   . 1

1.1. RELAES DE EQUIVALNCIA

 2 !  7P  2 .  7    7P 8 !   7 8 .   7P 8 ! 7 8 .  !. 8 !7 8 .7P 8 7P7 2 !.  Q !7 8 .7P RS8 7P7 T )Z  1 !.

CAPTULO 1. FUNDAMENTOS DA TEORIA DOS GRUPOS

1 1 1[P onde denido recursivamente por (sendo  V)  V .

Denio de Grupo e Exemplos

_ Denio 1.1 Um grupo uma estrutura algbrica  W, contendo uma

1.2. DEFINIO DE GRUPO E EXEMPLOS

(2) A m de simplicar notaes, muitas vezes usaremos

`P 8`  `P W` apenas para grupos abelianos, e neste caso a identidade

tal que `b`  a, donde

temos `b ``  `b`  a. Por outro lado, `b ``  `b` `  a`  `. Portanto

CAPTULO 1. FUNDAMENTOS DA TEORIA DOS GRUPOS

Hiptese de 1 f h[Pg 1 h[P k Induo l 1iP h[P  ` ``  ` ` ` ` `

[P Por m, para Z E 9 fazemos o  ` e !  2Z. Portanto, para quaisquer _ 1 h 1h 1 h 1ih Z

1.2. DEFINIO DE GRUPO E EXEMPLOS

Exemplo 1.2 (Grupos)

# (4) O conjunto nito p  a juntamente com a operao

# # # (5) Q C 9 V, R C 9 V, C C 9 V so grupos (multiplicativos) abelianos.

K @ (6) Se um nmero primo, ento Z B Z C ?9 com a operao v um grupo abeliano.

CAPTULO 1. FUNDAMENTOS DA TEORIA DOS GRUPOS

}j associativa Denio de z K {| ~ em Z    V  V  V  v y Denio de z K K {| \  x w v v

@ Agora vamos mostrar que todo

K v: I H 8 !  <  H 8 !  <  H v !  <  H  <  v H  <

K @ K ou seja, v comutativa. E portanto wZ B Z C ?9 v x um grupo abeliano. Q.E.D.

1 _  R  J R , de forma que, denido em a operao   W      8  

_ se verica que  W um grupo.

(1) ; (2) ; (3)

Demonstrao. (1) Se ento +!

(2) Suponhamos que e que % & de forma a existir !

- reductio ad absurdum ! Portanto, se temos que % &.

exatamente classes distintas, 9 < 2 <. Por exemplo, se = a relao

@ Z> 1 ?9 < 2 <

De forma que a relao 1 pode tambm ser denida por

nomeadas respectivamente por soma e produto em Z BZ. es ! (com 2 ! 7, para algum 7

uma vez que 1 $ . Mas, ! )Z 2 ! 7P 1 4 4 LMNLO 2 . 7 . 1

2 ! 7P 2 . 7 7P 8 ! 7 8 . 7P 8 ! 7 8 . !. 8 !7 8 .7P 8 7P7 2 !. Q !7 8 .7P RS8 7P7 T )Z 1 !.

1 1 1[P onde denido recursivamente por (sendo V) V .

_ Denio 1.1 Um grupo uma estrutura algbrica W, contendo uma

`P 8` `P W` apenas para grupos abelianos, e neste caso a identidade

tal que `b` a, donde

temos `b `` `b` a. Por outro lado, `b `` `b` ` a` `. Portanto

Hiptese de 1 f h[Pg 1 h[P k Induo l 1iP h[P ` `` ` ` ` ` `

[P Por m, para Z E 9 fazemos o ` e ! 2Z. Portanto, para quaisquer _ 1 h 1h 1 h 1ih Z

# (4) O conjunto nito p a juntamente com a operao

# # # (5) Q C 9 V, R C 9 V, C C 9 V so grupos (multiplicativos) abelianos.

}j associativa Denio de z K {| ~ em Z V V V v y Denio de z K K {| \ x w v v

K v: I H 8 ! < H 8 ! < H v ! < H < v H <

1 _ R J R , de forma que, denido em a operao W 8

_ se verica que W um grupo.

< = < = < = < =

< = P < = < = = <

< = = < < = = <

< = P < P P = < = P < P P = < = \ = <

< = < = < = = < < = a < =

_ , &, ento as seguintes

# um grupo e ) uma famlia de subgrupos de _ 0

Demonstrao. Temos, primeiramente, que &, pois a

ento P 0 Z 8, pois

R o grupo linear geral de ordem (Exemplo

1.2-(7), pgina 15) e seja 3 5 _ ,

< 9 < 9 9 <

V por m, para todo

existe uma matriz associada a esta, denotada

por e denida por

ou seja, . !

h # < Como " Z

_ _ _ Denio 1.5 Sejam P W e dois grupos e uma aplicao P _ .

, para quaisquer

_ _ _ _ De fato, sejam os grupos P W, e Y. Ento, se P _ _ _ _ _ e o so homomorsmos, segue que o X P um

_ _ _ Demonstrao. Sejam os grupos P W, e Y. Ento:

_ P P. De fato, basta para isso tomarmos igual a aplicao identi_

(1) O ncleo de , denotado por , denido por

a, ou seja, a

[P ^[P _ ] a a . Portanto, 0 . Agora, consideremos

3 4 4 < 4 4 4 4 5 < 4 4 < 4 4 4 4 6 <

4 4 < = 4 4 4 4 = < 4 < = 4 4 4 4 4 = <

< = < = < = < = < = < =

< = < = < = = < = < < =