Escolar Documentos
Profissional Documentos
Cultura Documentos
EA Grupos PDF
EA Grupos PDF
EA Grupos PDF
2013-1 UFRJ
Parte I - Grupos
Sumrio
1 Grupos, morsmos 1
1.1 Grupos, subgrupos, ordem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Morsmos, subgrupos normais, grupos quocientes . . . . . . . . . . . . . . . . . . . . . 3
1.3 Teoremas de isomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Grupo de permutaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1 Grupos, morsmos
1.1 Grupos, subgrupos, ordem
Um grupo G ou (G, ) um conjunto (no vazio) munido de uma operao associativa que admite
um elemento neutro ou identidade e pela qual todo elemento tem um simtrico ou inverso. Isso :
x, y, z G, x (y z) = (x y) z
e G, x e = e x = x
x G, x0 G, x x0 = x0 x = e
1
(b) Mostre que as classes de equivalncia so do tipo xH e esto em bijeo com H. O conjunto
quociente, isso o conjunto das classes de equivalncia denotado G/H. O seu cardinal chama-se
o ndice de H em G, denotado [G : H].
(c) Sob qual condio temos xH = H? Quais classes de equivalncia so subgrupos?
(d) Demostre o teorema de Lagrange: seja G nito, por H G ento |H| um divisor de |G|.
(e) Denimos igualmente as classes de equivalncia direita, do tipo Hx. Mostre que as classes
direita so em bijeo com H e que o conjunto quociente em bijeo com o conjunto das classes
esquerda.
Um grupo nitamente gerado quando G =< S > com S nito, ele dito monogneo se
gerado por um nico elemento G =< x >, chamado de gerador. Nesse caso, G abeliano e pode
ser innito {. . . , x1 , 1, x, x2 , x3 , . . . } como (Z, +) ou cclico quando nito {1, x, x2 , . . . , xn1 } como
(Z/nZ, +) ou (Un , ).
A ordema de um elemento x de um grupo G o cardinal do subgrupo gerado por x, denotado |x|.
Se carateriza como o menor inteiro n > 0 tal que xn = 1. Quando tal n no existe, dizemos que x
tem ordem innita.
a Igualmente, ordem designa o cardinal de grupo nito.
(e) Demonstre uma reciproca de (a) para concluir que um grupo nito de cardinal n cclico se e s
se por cada d divisor de n existe um nico subgrupo de cardinal d. Deduza que todo subgrupo
nito (multiplicativo) de um corpo cclico.
Exerccio 1.1.7
(a) Mostre que um grupo G tal que todo elemento (6= e) tem ordem 2 abeliano.
(b) Mostre que todo grupo com p elementos, p primo cclico.
(c) Prove que existe dois grupos com quatro elementos, ambos abelianos. Aquele que no cclico
chama-se o grupo de Klein.
1
Sejam u e v dois inteiros primo entre si, ento o grupo cclico de ordem uv isomorfo ao produto dos grupos cclicos
de ordens u e v.
2
1.2 Morsmos, subgrupos normais, grupos quocientes
Um morsmo de grupos f um mapa entre grupos G G0 respeitando as operaes:
Escrevemos ento H C G.
No caso abeliano, todo subgrupo de G normal. Os dois subgrupos triviais {e} e G so sempre
normais, quando so os nicos dizemos que G um grupo simplesa .
Se H C G ento o conjunto quociente G/H pode ser munido de uma estrutura de grupo compatvel
com G, no sentido que a projeo G G/H denida por x 7 xH seja um morsmo de grupos.
a Os grupos simples so as partculas elementares que permitem, em grande parte, reconstruir todos os grupos (cf.
cap. 3.2). Os grupos simples nitos so todos conhecidos (mas a classicao completa muito complicada...).
Exerccio Prove essa ltima armao (observe que H C G se classes a esquerda e classes a
1.2.3
direita coincidem; x G : xH = Hx).
Exerccio 1.2.4 Mostre que subgrupos de ndice 2 e ncleos de morsmos so sempre normais.
Explique a "equivalncia" entre subgrupos normais e ncleos.
Exerccio 1.2.5 Mostre que o Int(G) subgrupo normal de Aut(G).
Exerccio 1.2.6 Mostre que um grupo abeliano simples isomorfo a Z/pZ onde p primo.
Exerccio 1.2.7 Suponhamos K H G, quais implicaes so verdadeiras?
KCG KCH
KCH KCG
KCHeHCG KCG
3
1.3 Teoremas de isomorsmos
Exerccio 1.3.1 (1 Teorema de isomorsmo)
Seja f : G G0 um morsmo de grupos. Seja H C G, tal que H ker f . Mostre que podemos
denir um morsmo f : G/H G0 tal que f p = f , onde p a projeo cannica de G em G/H
(Teorema de fatorao). Verique que f : G/ker f Im f um isomorsmo (1 Teo. de isom.).
Exerccio 1.3.2 Sejam G um grupo, H G, K G dois subgrupos. Denimos o conjunto
HK = {hk : h H, k K}.
(c) Mostre que se H K = {e}, ento os elementos de HK tm uma escritura nica como produto
hk .
(d) Seja G = Z/6Z e H =< 2 >, K =< 3 >. Verique que G = HK e a unicidade da escritura.
(G/K) G
=
(H/K) H
4
Exerccio 1.4.2 Verique que a nica permutao que comuta com todos demais a identidade
quando n 3. (Dica: procure apenas os elementos que comutam com as transposies.)
Exerccio 1.4.3 (Decomposio em ciclos)
(a) Demonstre que um r-ciclo de ordem r.
(b) Chamamos suporte de um r-ciclo c o conjunto dos inteiros {i1 , i2 , . . . , ir }. Mostre que dois ciclos
com suportes disjuntos comutam.
(c) Demonstre que qualquer permutao se escreve de forma nica como produto de ciclos a suporte
disjuntos.
(d) Um exemplo, seja a permutao de {1, 2, . . . , n} denida por (i) = n + 1 i. Determine sua
composio em ciclos.
A decomposio em ciclo de uma permutao dene naturalemente uma partio de n correspondendo
s ordem dos ciclos ordenados (e.g. do maoir at o menor incluindo os ciclos triviais). Essa ltima
codicvel, por exemplo, num diagrama de Young: se = (72156)(38) S8 a partio de n
correspondente 8 = 5 + 2 + 1 e o diagrama de Young:
5
2 Aes de grupos, subgrupos de Sylow
2.1 Aes de grupos em conjuntos
Uma ao de um grupo G num conjunto X uma operao externa.
Isso um mapa:
:GX X
(g, x) 7 g.x
vericando :
g, g 0 G, x X, g 0 .(g.x) = (g 0 g).x
x X, e.x = x
A noo de ao de grupo uma geometrizao da noo de grupo. De fato todo grupo age pelo menos
em ele-mesmo, por exemplo: por translao (a equerda): g, x G, g.x := gx ou por conjugao
(ou automorsmo interno): g, x G, g.x := gxg 1 .
Algumas denies:
Exerccio 2.1.3
(c) Mostre que se a ao no el, podemos contudo denir uma ao el de G/ ker em X .
Exerccio 2.1.4 (Formula das classes) Seja G um grupo nito que age em X conjunto.
(a) Mostre que |OG (x)| = [G : Gx ].
6
Exerccio 2.1.5 (Teorema de Cauchy)
Prove que se G um grupo nito de cardinal n e se p um fator primo de n, ento existe um elemento
de ordem p em G. Por isso, introduza o subconjunto
E = {(x1 , x2 , . . . , xp ) : x1 x2 . . . , xp = 1}
(Dica: enumere o conjunto das duplas (g, x) onde g.x = x de dois maneiras distintas.)
Em particular, se G age transitivamente em X , ento a media do nmero de pontos xos dos elementos
de G igual a 1.
Exerccio 2.1.7 Um exemplo de aplicao: uma roda de loteria dividida em n setores; cada um
colorido por uma cor escolhida dentro de p cores distintas. Qual o nmero de roda de loterias
possveis (no distinguimos coloraes que se deduzem uma da outra por rotao da roda)?
(A formula a obter :
1X n d
( )p
n d
d|n
Um grupo nito um p-grupo (p primo) quando o seu cardinal uma potncia de p. O seguinte
exerccio mostre que todo p-grupo simples abeliano, e ento isomorfo a Z/pZ (ex. 1.2.5).
Exerccio 2.1.8 Seja G um grupo, ele age em si mesmo por automorsmo interno.
(a) Se x Z(G) (o centro de G, ver (1) no cap.3.), qual a rbita de x?
(c) Deduza que um p-grupo tem um centro no trivial e conclua quando o grupo simples.
7
2.2 Os teoremas de Sylow
Por G nito, |G| = pk m com p primo e p - m; um p-Sylow um subgrupo de G de ordem pk .
(a) Chamamos o conjunto dos subconjuntos de G tendo pk elementos. Assim, G age em por
translao a esquerda (g.X = gX ). Calcule o cardinal de e demonstre que existe ao menos uma
rbita cujo cardinal no divisvel por p.
(d) Deduza que se um grupo admite somente um p-Sylow, esse ltimo normal em G, e reciprocamente
se G contem um p-Sylow normal, ele o nico p-Sylow de G.
(e) Seja Np o nmero de p-Sylow de G, use a ao por conjugao de S nos p-Sylow por demonstrar:
Np 1 mod (p) e Np |m
2.3 Aplicaes
Exerccio 2.3.1
2. Procure os 2-Sylow de S4 e de S5 .
Exerccio Usando o terceiro teorema de Sylow, demonstre que no existe grupo simples
2.3.2
tendo 30, 42 ou 105 elementos.
Exerccio (Estudo do grupo A5 )
2.3.3
Esse grupo constitudo das permutaes pares de 5 elementos. Enumere os diagramas de Young
para determinar que A5 contem (alm da identidade):
(a) Os 3-ciclos formem uma classe de conjugao em A5 . Estude igualmente as duplas transposies.
(b) Se H C A5 contem um elemento de ordem 5, ento ele os contem todos. (Dica: segundo teorema
de Sylow).
8
O seguinte exerccio mostre que o grupo alternado simples por n > 5. Os casos n = 2, 3, 4 se tratam
facilmente: n = 2, o grupo alternado trivial; n = 3, o grupo alternado de ordem 3, ele simples;
por n = 4, o grupo alternado contem um subgrupo normal, o grupo das duplas transposies.
(b) Tomando i tal que (i) = j , j 6= i, e usando k distinto de i, j, (j), construa um 3-ciclo , tal que
1 1 deixa xo pelo menos n 5 elementos.
(c) A partir do exerccio anterior e das duas questes acima, verique que H deve conter um 3-ciclo
e deduza o resultado.
Z2 /Z1 = Z(G/Z1 )
Exerccio 3.1.3 Mostre que D(G) C G. Dizemos que um subgrupo caracterstico em G se ele
estvel por todos os automorsmos de G. D(G) caracterstico em G?
Exerccio 3.1.4 G0 designa o grupo derivado de G.
(d) Demonstre que todo morsmo f de G num grupo abeliano A se fatora pelo abelianizado (pro-
priedade universal do abelianizado).
9
3.2 Sries subnormais e de composio
Uma srie subnormal de G uma sequencia crescente nita de estritas incluses de subgrupos (Hi )i :
{e} = H0 ( H1 ( H2 ( ( Hn = G
tal que Hi normal em Hi+1 (se Hi C G a srie dita normal). Um ranamento de uma srie
subnormal (Hi )i uma srie (Ki )i da qual a sequencia (Hi )i uma subsequencia. O comprimento
maximo de uma srie subnormal uma medida de quanto G distante de ser simples.a
Uma srie de composio (ou srie de Jordan-Hlder) uma srie subnormal
{e} = H0 C H1 C C Hn = G
Exerccio 3.2.1 Mostre que todo grupo nito tem uma serie de composio (poderemos ranar
uma srie subnormal). Prove que Z no tem srie de composio.
Exerccio 3.2.2 Descreve as sries de composio de Sn .
Exerccio 3.2.3 Seja G um p-grupo de ordem pn (faremos uso do exerccio 2.1.7).
(c) Demonstre que G admite subgrupos normais de ordem pi por cada 1 i n. Dica: raciocina
por recurso usando um elemento de ordem p do centro (no trivial).
(d) Deduza que todo subgrupo H de G inicia uma srie normal H = H0 C H1 C C Hn = G com
[Hi+1 : Hi ] = p.
Ser til fazer um esquema da organizao dos grupos intervindo nesse lema e da entender porque se
chama o lema da borboleta.
(b) Deduza que todas sries de composies de um grupo so equivalentes. Esse resultado o teorema
de Jordan-Hlder, ele diz que (as classes de isomorsmo de) os fatores de uma srie de composio
dependem apenas do grupo. Eles so os fatores de composio de G.
10
3.3 Grupos solveis
Um grupo solvel quando seus fatores de composio so abelianos.
Os seguintes resultados sero til no estudo de solubilidade por radicais na teoria de Galois.
Exerccio 3.3.3 Demonstre que um grupo G nito solvel se e s se ele contem uma srie cclica,
isso uma srie subnormal
{e} = H0 C H1 C C Hn = G
com os fatores Hi+1 /Hi cclicos. Mostre que podemos requerer que os fatores tenham ordem primos.
Exerccio 3.3.4 Denotamos G(i) a sequencia dos grupos derivados sucessivos de G:
a srie derivada de G.
(a) Mostre que a sequencia decrescente e que G solvel se e s se existe n tal que G(n) = {e}.
Referncias
[1] P. Alu. Algebra: Chapter 0. AMS Graduate Studies in Mathematics (Vol. 104), 2009.
11