Grupos, Subgrupos e o Teorema de Lagrange

A teoria dos grupos e uma das ramica co es mais antigas da Algebra. Dizia o matem atico ingl es Arthur Cayley, que um grupo e denido por meio das leis que combinam seus elementos. O fato e que existem poucos ramos da matem atica em que os grupos n ao sejam empregados quer implicito, ou explicitamante. Por exemplo, na Teoria Qu antica e na estrutura at omica e molecular, a ideia de grupo e tida como uma medida de simetria de suma import ancia. S ao tantos os matem aticos que inuenciaram no desenvolvimento da teoria que e dif cil listar todos eles. Temos, por exemplo, Galois, Cauchy, Cayley, Lagrange dentre muitos outros grandes nomes. Mas anal para poder falar sobre gupos precisamos saber exatamente sua deni ca o. Ent ao, o que s ao grupos? Deni c ao 0.1. Seja G = 0 um conjunto munido de uma opera c ao bin aria, que denotaremos por um ponto (), tal que :GGG (a, b) a b Dizemos que o par (G, ) e um grupo em rela c ao ` a opera c ao acima se, e somente se, a, b, c G, forem satisfeitas as seguintes propriedades: 1. Associatividade, isto e, a (b c) = (a b) c; 2. Exist encia do elemento neutro, isto e, existe um elemento e G tal que a e = a; 3. Exist encia do inverso, isto e, existe x G tal que a x = e. Denotamos x = a1 . Se, al em dos itens 1, 2 e 3 acima, o grupo satiszer a propriedade comutativa ( a, b G, a b = b a), dizemos que o grupo e comutativo ou abeliano em honra ao matem atico noruegu es N. H. Abel (1802-1829). Denotemos o grupo (G, ) simplesmente por G, deixando a primeira nota c ao caso haja ambiguidade. Assim, se G e um grupo, ent ao seu elemento neutro e o inverso s ao 1 1 u nicos. De fato, sejam e, e elementos neutros e a , a inversos em G. Ent ao e = e e = e (e e ) = (e e) e = e e = e 1

e e = a a1 e a 1 = (a a1 ) a 1 a 1 = a1 (a a 1 ) = a1 e = a1 como quer amos. Exemplo 0.1. O par (Z, +) e um grupo abeliano em rela c ao ` a opera c ao de adi c ao usual do comjunto Z. O inverso de um n umero n Z e denotado por n e e chamado de inverso aditivo ou sim etrico, ou oposto de n. Exemplo 0.2. O par (N, +) n ao e um grupo, pois n ao h a elemento a N que tenha inverso em rela c ao ` a opera c ao +. No entanto, se a opera c ao for a multiplica c ao usual, o par (N, ) e um grupo, mais ainda, e abeliano. A linguagem dos conjuntos e uma heran ca de valor inestim avel de Cantor para a matem atica atual. Assim, ao trabalharmos com os conjuntos precisamos conhecer tamb em seus subconjuntos e seus elementos. Dada a no ca o de grupo vamos ver agora o que e um subgrupo. Ent ao Deni c ao 0.2. Sejam H G um subconjunto de G n ao vazio, e um grupo (G, ). Um subgrupo H de G (no qual denotamos por H G) e tamb em um grupo, isto e, obedece as propriedades associativa e existem os elementos neutro e inverso, em rela c ao ` a opera c ao de G. Proposi c ao 0.1. Sejam (G, ) um grupo e H G um subconjunto n ao vazio de G. As seguintes condi c oes s ao equivalentes: 1. H e um subgrupo de G; 2. a, b H, a b1 H . . Note que tanto nos grupos quanto nos subgrupos existe a propriedade de fechamento da opera ca o nos conjuntos (quer dizer que toda vez que operacionamos elementos do conjunto, o novo elemento encontrado ainda pertence ao conjunto). Perceba tamb em que, pela unicidade dos elementos neutro e inverso, eles s ao os mesmos tanto para o grupo quanto para o subgrupo. Exemplo 0.3. O par (nZ, +) com n Z, e um subgrupo de (Z, +). Exemplo 0.4. (H, ) e um subgrupo do grupo multiplicativo (R \ {0}, ), onde H = {x R \ {0} | x > 0}. Exemplo 0.5. Se H1 , . . . , Hn s ao subgrupos de G, ent ao H = H1 Hn tamb em e um subgrupo de G.

UEPA

Prof. Osmar Borges

Um problema complexo da teoria dos grupos e a determina c ao de todos os subgrupos de um grupo G. Uma das formas de enfrent a-lo e considerar todos os subconjuntos de G que contenham o elemento neutro e ent ao vericar as condi co es de subgrupo. No entanto, o processo n ao e nada pr atico, pois se G tiver, por exemplo, 5 elementos, o n umero de 4 subconjuntos contendo o elemento neutro ser a 2 = 16. Se tiver 10 subconjuntos, tem-se 29 = 516. Agora, se G possui uma quantidade n de subconjuntos signicativamente grande ou ainda, innitos elementos. O processo torna-se exaustivo e inecaz. Se G for nito, podemos usar o Teorema de Lagrange para reduzir esse n umero de subconjuntos de modo a facilitar essa determina c ao. Para prov a-lo vamos introduzir o conceito de classes laterais e algumas de suas propriedades. Deni c ao 0.3. Seja H um subgrupo de um grupo (G, ). Dado x G, chamamos de classe lateral (` a direita) ao conjunto H x = {h x | h H } (o conjunto x H = {x h | h H } chamamos de classe lateral ` a esquerda). Exemplo 0.6. Sejam o grupo (G = {1, 1, i, i}, ) e seu subgrupo H = {1, 1}. Ent ao temos (1) H = {(1) 1, (1) (1)} = {1, 1} = H (1) 1 H = {1 1, 1 (1)} = {1, 1} = H 1 (i) H = {(i) 1, (i) (1)} = {(i), i} = H (i) i H = {i 1, i (1)} = {i, i} = H i Representamos o conjunto de todas as classes laterais a ` direita por G/H = {x H | x G} (` a esquerda por G/H = {H x | x G}). Assim, suponhamos que G/H possua n classes laterais. Ent ao G/H = {H x1 , . . . , H xn }, onde xi G, 1 i n. Como { H x1 , . . . , H xn } e uma parti ca o de G temos que H xi H xj = , se i = j , e que G = H x1 H xn (uni ao disjunta). Tem-se ainda que, sendo G um grupo nito, denimos a ordem de G como sendo o n umero |G| de elementos de G. Lema 0.1. Seja H um subgrupo de um grupo G. Ent ao |H xi | = |H |, i, 1 i n. Agora estamos prontos para provar o Teorema de Lagrange. Teorema 0.1 (Lagrange). Seja G um grupo nito e H um subgrupo de G. Ent ao a ordem de H divide a ordem de G (isto e, |G| = G/H |H | ). Demonstra c ao. Se G e um grupo nito segue que o conjunto G/H e tamb em nito. Consideremos |G/H | = n e G/H = {H x1 , . . . , H xn }. Assim, G = H x1 H xn (uni ao disjunta) e, portanto |G| = |H x1 | + + |H xn | Segue ent ao, pelo Lema 0.1, que |G| = n |H |. Como quer amos.

UEPA

Prof. Osmar Borges