Grupos

Ana Cristina Vieira - Sandra Mara Alves Vero/2009 - MAT/UFMG a

Um grupo denido por meio de leis que combinam seus elementos, de acordo com um e clebre dito de Cayley. E esta provavelmente uma das melhores e mais rpidas exe e a plicaes. O conceito de grupo seguramente uma das idias centrais da Matemtica. co e e a Certamente existem poucos ramos matemticos nos quais os grupos no sejam empregaa a dos implicitamente ou explicitamente. Teoria quntica, estrutura atmica e molecular, e a o cristalograa so apenas algumas das reas de cincias nas quais a idia de grupo como a a e e uma medida de simetria tem sido utilizada com grande importncia. a A teoria de grupos um dos mais antigos ramos da lgebra moderna. Suas origens poe a dem ser encontradas nos trabalhos de J. Lagrange (1736-1813), P. Runi (1765-1822) e E. Galois (1811-1832) sobre teoria de equaes algbricas. Nestes trabalhos, os grupos co e consistiam de permutaes de variveis ou de ra de polinmios e, de fato, em muito do co a zes o sculo XIX todos os grupos eram grupos de permutaes nitos. Muitas idias fundamene co e tais foram introduzidas por estes matemticos e seus sucessores: A. Cauchy (1789-1857), a L. Sylow (1832-1918), C. Jordan (1838-1922), entre outros. O conceito de grupo abstrato claramente reconhec no trabalho de A. Cayley (1821e vel 1895), mas esta idia no ganhou real aceitao at W. Von Dyck (1856-1934) introduzir e a ca e as apresentaes de grupos. co O est mulo para estudar grupos innitos veio a partir da geometria e topologia por inuncia de F. Klein (1849-1925), S. Lie (1842-1899), H. Poincar (1854-1912) e M. Dehn e e (1878-1952). Depois disto, a teoria de grupos innitos foi quase unicamente estudada por O. Schmidt (1891-1956) at o estabelecimento da Escola Russa encabeada por A. Kurosh e c (1908-1971). A primeira grande fase da teoria de grupos nitos atingiu seu cl max no per odo imediatamente antes da Primeira Guerra Mundial com os trabalhos de G. Frobenius (1849-1917), W. Burnside (1852-1927) e I. Schur (1875-1936). Depois de 1928, novas e decisivas contribuies foram feitas por P. Hall (1904-1982), H. Wielandt e, no campo de representaes co co de grupos, por R. Brauer (1901-1977). O intenso interesse subsequente na classicao ca dos grupos simples nitos consequncia dos trabalhos destes estudiosos. A classicao e e ca foi completada em 1982 com a participao de centenas de matemticos, liderados por D. ca a Gorenstein (1923-1992). Atualmente, a teoria de grupos est dididida em diversas subreas e os interesses so a a a muitos. Vrios problemas tm sido atacados e solucionados, destacando o nome de muitos a e outros matemticos brilhantes. a

Grupos e Subgrupos Denio: Seja G um conjunto no vazio onde est denida uma operao fechada ca a a ca : G G G satisfazendo: (i)(a b) c = a (b c), a, b, c G (ii)e G tal que a e = e a, a G (iii)a G, b G tal que a b = b a = e. Nestas condies, dizemos que (G, ) um grupo. co e Ou seja, um grupo um conjunto no vazio G munido de uma operao fechada que e a ca e associativa, admite elemento neutro e admite inverso para cada um de seus elementos. Se alm disso, se a operao for comutativa, dizemos que G grupo abeliano, em homenagem e ca e ao matemtico N. Abel (1802-1829). a O nmero de elementos do conjunto G a ordem do grupo G e denotado por |G|. A u e e ordem de um elemento a G denida como o menor natural n tal que aaa a = e e (onde a operado n vezes) e denotado por o(a) = n. e

Exemplos: (1) (Z, +) um grupo abeliano de ordem innita. e (2) (Zm , +) um grupo abeliano nito, onde m N. e (3) GL(V ) = { T : V V | T no-singular e linear } um grupo com a operao de a e ca composio de funes. ca co (4) O conjunto das transformaes espaciais que preservam um tringulo equiltero, conco a a sistindo de 3 rotaes planas e 3 rotaes espaciais, forma um grupo no abeliano de ordem co co a 6. (5) Seja X um conjunto no vazio e Sim(X) = { f : X X | f bijetora }. Este conjunto a um grupo com a operao de composio de funes, dito grupo de permutaes de X. e ca ca co co No caso particular em que X = {1, 2, ..., n}, n 2 denotamos o grupo Sim(X) por Sn e o denominamos grupo simtrico de grau n. e Notamos que |Sn | = n! e este grupo no abeliano quando n 3. Para os elementos a e destes grupos, temos uma notao especial. Uma permutao Sn um r-ciclo, r > 1, ca ca e se existem elementos distintos i1 , i2 , ..., ir { 1, 2, ..., n }, tais que (i1 ) = i2 , (i2 ) = i3 , ..., (ir1 ) = ir , (ir ) = i1 e (ij ) = ij , j { 1, 2, ..., n } { i1 , i2 , ..., ir }. A notao = (i1 i2 ...ir ). Por exemplo, os elementos de S3 so 1, (12), (13), (23), (123), (132). ca e a A decomposio c ca clica dada a cada permutao de extrema importncia para a verica e a cao de diversas propriedades dos grupos Sn , conforme veremos adiante. Mais especica camente, podemos provar que toda permutao um produto de ciclos disjuntos e todo ca e ciclo um produto de transposies, ou seja, de elementos da forma (i1 i2 ). e co 2

O estudo dos grupos simtricos Sn , com certeza, um cap e e tulo a parte. De fato, estes grupos tm destaque especial em toda uma teoria, com aplicaes diversas, mesmo fora da e co a lgebra. O Teorema de Cayley uma das mais claras formas de ver a importncia de tais e a grupos. Alm disso, a teoria de representaes do grupo simtrico tem particularmente se e co e destacado no estudo das identidades polinomiais satisfeitas por uma dada lgebra sobre a um corpo de caracter stica zero, entre tantas outras aplicaes. co Denio: Um subgrupo de um grupo G pode ser denido como um subconjunto no ca a vazio H de G que ainda um grupo com a mesma operao denida em G. e ca Denotamos H < G e podemos ver que se = H G, ento: a H < G a, b H tem-se ab1 H. Exemplos: (1) Seja GL2 (R) = { A M22 (R) | detA = 0 } o grupo de todas as matrizes invert veis a b com entradas reais sob a multiplicao de matrizes. O conjunto das matrizes ca 0 d em GL2 (R) um subgrupo de GL2 (R). Um outro subgrupo de GL2 (R) SL2 (R) = { A e e M22 (R)| detA = 1 }. (2) Dado um grupo G e x G, o conjunto CG (x) = { g G | gx = xg } um subgrupo e de G dito centralizador de x em G. (3) Dado um grupo G e um subconjunto no vazio X G, denimos o subgrupo de a G gerado por X, denotado por X , como a interseco de todos os subgrupos de G ca que contm X. Podemos observar que X = { x1 x1 ...x1 | xi X, s 0 }, onde e s 2 1 interpretamos a expresso com s = 0 como sendo 1. a Se X = {x} (conjunto unitrio) ento X =< x > o subgrupo c a a e clico de G gerado pelo elemento x. O grupo G dito c e clico se existe g G tal que G =< g >. (4) Seja {1, 2, ..., n}, n 3, o conjunto de vrtices de Pn , um pol e gono regular de n lados. Vamos ver agora um exemplo de um subgrupo de Sn , no abeliano que contm exatamente a e 2n elementos.

Sejam Sn a permutao determinada pelo efeito de uma rotao de um ngulo de ca ca a 2/n no sentido trigonomtrico e r Sn a permutao determinada pelo efeito de uma e ca reexo em torno do eixo ox, isto , se n par r xa os vrtices 1 e n+2 e se n a e e e e mpar r 2 xa apenas o vrtice 1. e Notamos que < >= { 1, , 2 , ..., n1 }, < r >= { 1, r } e r = 1 r. Assim, Dn =< r, > tal que Dn = { 1, r, , 2 , ..., n1 , r, r2 , ..., rn1 }, onde 1 representa e a identidade. Vemos que Dn o conjunto das simetrias do pol e gono Pn , que o conjunto de todas e as transformaes espaciais que preservam Pn e Dn um subgrupo no abeliano de Sn co e a chamado grupo diedral de ordem 2n.

Classes Laterais e o Teorema de Lagrange Se H < G, denimos uma relao em G da seguinte maneira: ca () Se a, b G, a H b (modH) ab1 H.

Esta relao uma relao de equivalncia em G. Considerando a classe de equivalncia ca e ca e e de um elemento a, { b G | a H b(modH) }, vemos que um elemento b est na classe de a equivalncia de a se, e somente se, ba1 = h H, ou seja, b = ha, para algum h H. e Denotamos Ha = { ha | h H } dita uma classe lateral (` direita) de H em G. Reprea sentamos o conjunto quociente por G/ H = { Ha | a G } que o conjunto de todas as e classes laterais (` direita) de H em G. a Suponhamos que G/ H = { Ha1 , Ha2 , ..., Han }, ou seja, que existam exatamente n classes laterais (` direita) distintas de H em G. Observamos que G = Ha1 Ha2 ... Han e esta a unio disjunta desde que Hai Haj = , se i = j. Alm disso, o nmero de elementos a e e u de qualquer classe lateral (` direita) de H em G igual ` |H|. a e a Assim, podemos provar o seguinte: Teorema (Lagrange, 1770): Se G um grupo nito e H < G ento |H| divide |G|. e a O nmero n dito u e ndice de H em G e denotado por [G : H]. O que o Teorema de e Lagrange diz que |G| = |H|[G : H]. e Poder amos denir uma outra relao de equivalncia em G, da mesma forma como foi ca e feito em (), da seguinte maneira: () Se a, b G, a H b (modH) a1 b H.

Neste caso, utilizando as mesmas idias anteriores, temos um conjunto de classes laterais e (` esquerda) de H em G com as mesmas propriedades da classe lateral ` direita. a a

Subgrupos Normais e o Teorema do Homomorsmo Um tipo especial de subgrupo muito importante no estudo de alguns grupos. Se N e e um subgrupo de G tal que N g = gN , para todo g em G, dizemos que N um subgrupo e normal de G. Um grupo que no possui subgrupos normais prprios no triviais dito a o a e um grupo simples. Esta noo foi introduzida por Galois em 1830. ca Utilizamos a notao N G e notamos que N G se, e somente se, n N, g G ca 1 N . Podemos notar tambm que todo subgrupo H de um grupo G com temos gng e ndice [G : H] = 2 normal em G. e Exemplos: (1) < (123) > S3 . (2) O conjunto Z(G) = { g G | gx = xg, x G } um subgrupo normal de G, dito o e centro de G. (3) Se G um grupo abeliano, todos os seus subgrupos so normais. e a Proposio: Se N subgrupo normal de G ento o conjunto G/N = { N a | a G } ca e a e um grupo com a operao N a.N b = N ab, a, b G. ca Um grupo G/N dito um grupo quociente de G por N . Podemos notar, a partir de e exemplos, a importncia de N ser um subgrupo normal de G para que este quociente a seja de fato um grupo. O prximo teorema, devido a E. Noether (1882-1935), nos diz o como podemos identicar dois grupos e a relao com os grupos quocientes. Antes, temos ca algumas denies. co Denio: Dados dois grupos (G, ) e (H, ), uma aplicao f : G H dita um ca ca e homomorsmo de grupos se f (a b) = f (a) f (b), a, b G. Exemplos: (1) f : GL2 (R) R {0} tal que f (A) = det(A). (2) : Z Zm , onde (a) = a a classe dos restos de a mdulo m e m um inteiro e o e positivo. Dizemos que f um isomorsmo se f for um homomorsmo (de grupos) bijetor. Neste e caso, denotamos G H. = O conjunto Aut(G) = { : G G | um isomorsmo } forma um grupo com a e composio de funes e chamado o grupo dos automorsmos de G. ca co e Notamos que se f : G H um homomorsmo ento, f (e1 ) = e2 , onde e1 e e2 denotam e a os elementos neutros de G e H, respectivamente. Utilizando a denio, podemos provar ca que o conjunto N uc(f ) = { a G | f (a) = e2 } um subgrupo normal de G e o conjunto e Im(f ) = { f (a) | a G } um subgrupo de H. e Assim, considerando N = N uc(f ) temos N G e podemos denir uma aplicao : ca G/N Im(f ) por (N g) = f (g). No dif mostrar que um homomorsmo a e cil e bijetor e portanto, temos: 5

Teorema (Primeiro Teorema do Homomorsmo): Se f : G H um homomore Im(f ). smo ento G/N uc(f ) = a

O Teorema de Cayley e Representaes Permutacionais co Quando os grupos surgiram em Matemtica, eles vinham geralmente a partir de alguma a fonte espec ca e em alguma forma concreta. Muitos grupos nitos apareciam como grupos de permutaes, isto , como subgrupos de Sn , para algum n. O matemtico ingls Cayley co e a e foi o primeiro a notar que todo grupo pode ser realizado como um subgrupo de Sim(X), para algum conjunto X. Teorema (Cayley, 1878): Se G um grupo ento G isomorfo a um subgrupo de Sim(X), a e para algum conjunto apropriado X. Basta considerar G como um conjunto e denir : G Sim(G) tal que g (x) = xg. E simples mostrar que um homomorsmo injetor, o que garante um isomorsmo de G e em um subgrupo de Sim(G), ou seja, G Im(). = Denio: Uma representao permutacional de um grupo G em um conjunto X um ca ca e homomorsmo de G em Sim(X). Exemplos: (1) : G Sim(G) tal que g (x) = gxg 1 dita representao por conjugao de G. e ca ca (2) Seja X = { xH | x G }, onde H < G. Temos que : G Sim(X) tal que g (xH) = gxH dita representao G nas classes laterais de H. e ca

Quando representamos G como grupo de permutaes de X, poss investigar probleco e vel mas espec cos relacionados com a estrutura de G, tais como perguntas sobre a rec proca do teorema de Lagrange e questes a respeito da simplicidade de G. Alm disso, podemos o e estudar propriedades de grupos com ordem potncia de um primo. e Suponhamos que : G Sim(G) seja a representao por conjugao de de um grupo ca ca nito G. Dados x, y G, denimos uma relao: ca xRy g G tal que y = g (x), ou seja, xRy g G tal que y = gxg 1 . Notamos que esta uma relao de e ca equivalncia em G e denotamos a classe de equivalncia de um elemento x em G por e e Cl(x). Assim, Cl(x) = { gxg 1 |g G} (dita classe de conjugao de x em G). ca Podemos ver que Cl(x) = {x} x Z(G). Observamos tambm que G uma unio e e a disjunta destas classes e assim temos a equao das classes de conjugao: ca ca |G| =
x/ Z(G)

# Cl(x) + |Z(G)|.

Considerando K = CG (x) e a bijeo do conjunto das classes laterais a esquerda de K em ca 1 , podemos provar que: G em Cl(x) dada por Kg gxg Lema: Se G um grupo nito ento para cada x, x G, #Cl(x) divide |G|. e a Dado um primo p, um grupo G dito um p-grupo se todos os seus elementos tm ordem e e potncia de p. Como consequncia da equao das classes de conjugao e do lema anterior e e ca ca temos: Prop.: Seja G um p-grupo nito ento: a (1) Z(G)/ {1}; = (2) Se |G| = p2 ento G abeliano; a e (3) Se |G| = p3 e G no abeliano ento |Z(G)| = p. e a a

Existncia de Subgrupos e O conhecido Teorema de Lagrange nos garante que se G um grupo nito ento a ordem e a de um subgrupo de G divide |G| e assim consequentemente, a ordem de um elemento de G tambm um divisor de |G|. A pergunta sobre a rec e e proca deste resultado nos leva a perguntar: Se d divide |G| ento existe um subgrupo (ou um elemento) de G de ordem a d? Em alguns casos, a resposta positiva e existem contra-exemplos que no garantem e a o resultado numa situao geral. ca Teorema: Se G um grupo c e clico nito de ordem n ento para cada d divisor de n existe a um subgrupo de G de ordem d. Quando G c e clico nito podemos acrescentar a informao de que existe tambm um ca e elemento com ordem d em G desde que o subgrupo existente c e clico. (Lembre tambm e que tal subgrupo unico mas o elemento gerador no!). Vamos ver o que ocorre com e a grupos abelianos. Teorema: Se G um grupo abeliano nito de ordem n ento para cada d divisor de n e a existe um subgrupo de G de ordem d. Neste caso, observamos que a rec proca do Teorema de Lagrange vlida pois garantimos e a a existncia (no necessariamente unica) de subgrupos. Mas e a existncia de elementos e a e de determinada ordem? Nada garantido, como por exemplo G = Z2 Z2 Z2 de ordem 8 no possui elemento de ordem 4. A existncia de tais elementos garantida quando o a e e divisor um nmero primo, independente do fato de G ser abeliano ou no, como pode e u a ser visto no prximo resultado. o Teorema (Cauchy, 1842): Se G um grupo nito de ordem n ento para cada primo e a p, p|n existe um elemento de G de ordem p. Nos deparamos com mais uma questo: O que ocorre com os divisores que so potncias a a e dos primos divisores de |G|?Para resolver isto, temos um importante resultado. 7

Teorema (L. Sylow, 1876): Seja G um grupo nito de ordem p m, onde p um primo e e mdc(p, m) = 1. Ento, a (1) Para cada , 0 existe um subgrupo de G de ordem p (um subgrupo de ordem p dito um p-subgrupo de Sylow de G); e (2) O nmero np de p-subgrupos de Sylow de G satisfaz np 1 (mod p) e np |m; u (3) Todos os p-subgrupos de Sylow de G so conjugados; a (4) Todo p-subgrupo de G est contido em algum p-subgrupo de Sylow de G. a Observamos que se G contm um unico p-subgrupo de Sylow para um primo p dividindo e |G| ento P normal em G e portanto, G no pode ser simples (a no ser que |G| = p). a e a a

Grupos Sol veis u Existe uma interessante classe de grupos que pode ser constru a partir de grupos da abelianos em um processo semelhante aquele em que grupos nitos podem ser constru dos a partir de grupos simples.

Denio: Um grupo G solvel se existe uma sequncia nita de subgrupos {Hi }n ca e u e i=0 de G tal que {1} = H0 H1 Hn = G e Hi+1 /Hi abeliano, i = 0, ..., n 1. Uma e sequncia como {Hi }n dita uma srie abeliana de G. e e i=0 e Os grupos simtricos S3 e S4 so solveis, mas Sn no solvel para n 5. Alm disso, e a u a e u e os grupos diedrais Dn so solveis para qualquer n 3. a u Solubilidade uma propriedade herdada por subgrupos e grupos quocientes, isto , se G e e e um grupo solvel e H < G ento H solvel e se H normal em G ento G/H solvel. u a e u e a e u Uma srie abeliana pode ser renada de modo que os quocientes sejam todos grupos e abelianos simples, ou seja, c clicos de ordem prima. Assim, um grupo solvel se, e e u somente se, ele possui uma srie cujos quocientes sejam todos grupos c e clicos de ordem prima. Apesar do fato que um grupo solvel nito pode ser constru a partir de grupos to u do a elementares, sua estrutura nem sempre bvia. eo Denimos o comutador dos elementos x e y de um grupo G como [x, y] := xyx1 y 1 . O subgrupo normal G = [x, y] | x, y G , dito subgrupo derivado de G, tem um papel fundamental no estudo de grupos solveis. u De fato, G = G(0) G(1) G(2) uma sequncia de subgrupos denidos recursivae e mente por G(n+1) = (G(n) ) , n 0, de modo que G solvel se, e somente se, existe m tal e u que G(m) = 1.