GroupExplorer: um software (gratuito) para a explorao visual em teoria de grupos ca

Humberto Jos Bortolossi e

Departamento de Matemtica, UFES a (hjbortol-ufes@pop.com.br)

18 de novembro de 2004

Resumo E senso comum que um curso em teoria de grupos seja conduzido, por via de regra, com pouco ou nenhum uso de guras. Acreditando que o emprego de recursos visuais e de interao grca aliado aos mtodos tradicionais (denies, teoreca a e co mas e demonstraes) possa proporcionar uma nova perspectiva no ensino e aprenco dizagem da teoria de grupos, os pesquisadores Nathan Carter, Douglas Hofstadter e Brad Emmons, da Universidade de Indiana em Bloomington (EUA), confeccionaram o GroupExplorer, um software gratuito para a explorao visual da teoria de grupos ca (http://www.platosheaven.com/groupexplorer/). O programa permite que o usurio a interaja diretamente com o diagrama de Cayley de um grupo, manipulando e percebendo visualmente a ao combinada de cada gerador. Alm do diagrama de Cayley, ca e o usurio tambm pode ver a representao simultnea dos elementos do grupo como a e ca a uma permutao ou em uma tabela de multiplicao. O programa vai mais alm: ca ca e para cada grupo, poss exibir os objetos de simetria (isto , objetos que so invae vel e a riantes pela ao do grupo), o centro do grupo, o subgrupo dos comutadores, a classe ca de conjugao de um elemento, o centralizador de um elemento, as classes laterais, ca o normalizador de um subgrupo e subgrupos denidos pelo usurio (neste sentido, a GroupExplorer tambm funciona como uma excelente calculadora!). Com estes ree cursos, o software oferece um aparato visual sosticado para a explorao dos vrios ca a conceitos e idias da teoria bsica de grupos: grupos comutativos, grupos simples, e a grupos c clicos, classes laterais, subgrupos normais, grupos quocientes, o teorema de Lagrange, o teorema fundamental dos grupos abelianos, etc. Com o software, o aluno dispe de um ambiente onde ele pode conjecturar propriedades e encontrar contrao exemplos!

O que e um grupo?

Denio 1 Dizemos que um conjunto G um grupo sob a operaca e co : G G G se as seguintes condies so satisfeitas: a co a (1) (associatividade) (x y) z = x (y z), para todo x, y, z G, (2) (existncia do elemento identidade) existe e G tal que e x = e x e = x, para todo x G. e (3) (existncia do elemento inverso) para todo x G, existe um e elemento y G tal que x y = y x = e. O elemento y e 1 denominado inverso de x e denotado por x . e Um grupo abeliano ou comutativo se ele tambm satisfaz a condio: e e ca (4) (comutatividade) x y = y x, para todo x, y, z G.

O que e um diagrama de Cayley?

Denio 2 Seja (G, ) um grupo e seja S um subconjunto de G tal ca que a identidade e de G no pertence a S. O diagrama de Cayley a gerado por S denido como o grafo orientado cujos vrtices so os e e a elementos do grupo G e (x, y) uma aresta orientada do grafo se, e e 1 e somente se, y x S, isto , y = s x para algum elemento s S.

Abrindo um grupo no GroupExplorer

3.1 Aps iniciar o programa, com o mouse, escolha o "File""Open Group". Uma janela de dilogo, como a indicada abaixo deve aparecer. Abra a co e o arquivo S_3.gp que contm o grupo (S3 , ) das permutaes de trs e letras (0, 1 e 2) com a operao de composio. ca ca

A janela seguinte dever ento aparecer. a a

As janelas principais do programa

4.1 As janelas principais do programa so: "Navigator", "Multiplication a Table", "History", "Permutation" e "Rectangle" (uma instncia de a um diagrama de Cayley). As janelas "Permutation", "Multiplication Table" e "Rectangle" marcam sempre um elemento destacado que, quando o grupo carregado pela primeira vez ou o boto "Reset Group" e a da janela "Navigator" pressionado, denido como sendo a identidade e e do grupo.

Elemento destacado

4.2 A janela Navigator estabelece atalhos de teclado para a ao dos geraca a dores do grupo. No caso particular do grupo (S3 , ), os atalhos so as letras R e F para os geradores r = (0 1 2) e f = (1 2).

Se "x" representa o elemento destacado no momento, pressionando-se a tecla SHIFT+R (a letra R maiscula), o programa ir substituir "x" por u a "r*x" como elemento destacado. O mesmo vale para a tecla SHIFT+F (a letra F maiscula). Pressionando-a, o programa ir substituir "x" u a por "f*x" como elemento destacado. Note que as janelas"Permutation", "Multiplication Table" e "Rectangular" reetem estas mudanas c automaticamente. Observacoes. (a) Se voc manter pressionada a tecla "r" (a letra r minscula), e u o programa indicar o novo elemento destacado correspondente, a mas no efetuar a modicao. a a ca (b) Voc pode mudar a representao dos geradores do grupo atravs e ca e da opo "Group""Change Representation". ca

4.3 Na janela "Rectangular" (uma instncia de um diagrama de Cayley), a voc pode clicar e arrastar para girar a gura. Se voc posicionar o e e mouse sobre esta janela e pressionar o boto direito do mouse, novas a opes iro aparecer. co a

Com elas, voc poder ajustar o posicionamento dos rtulos, congurar e a o o estilo e posicionamento das setas, ajustar a velocidade de animao, o ca
5

brilho, entre outras opes de visualizao. A opo "Edit Diagram..." co ca ca ser discutida mais adiante. a 4.4 Voc pode escolher outros diagramas de Cayley para S3 atravs da opo e e ca "Create Cayley diagram" no item "Group" do menu principal. Experimente outros formatos de visualizao para o diagrama de Cayley de S3 ca que o programa disponibiliza.

Objetos de simetria

5.1 Grupos podem ser representados pelas simetrias de um determinado subca ca conjunto de Rn com a operao de composio. O programa permite visualizar alguns destes objetos de simetria, dependendo do grupo em questo. Para isto, basta acessar a opo "Group""Create Symmetry a ca object" no menu principal.

No caso do grupo S3 , o objeto de simetria um tringulo equiltero. e a a

5.2 Note que, quando voc pressiona os atalhos de teclado associados aos e geradores do grupo (no caso de S3 , as teclas "r", "f", "R" ou "F"), o programa ir exibir ou efetuar a isometria correspondente. a 5.3 Se voc posicionar o mouse sobre a janela com o objeto de simetria e e pressionar o boto direito do mouse, opes de visualizao iro aparea co ca a cer. Com elas, voc poder congurar rtulos, velocidade de animao, e a o ca brilho, etc.

5.4 A gura abaixo exibe o dodecaedro, objeto de simetria do grupo (A5 , ).

Atividades

6.1 Para ganhar familiaridade com o programa, abra outros grupos, veja a ao dos geradores do grupo sobre as vrias janelas do programa, ca a experimente outras conguraes de diagramas de Cayley, etc. co 6.2 Como identicar, usando o programa GroupExplorer, que um grupo e abeliano? 6.3 Um grupo cclico se ele gerado por um unico elemento. Como se e e parecerem os diagramas de Cayley de um grupo c clico? 6.4 Os s mbolos "rr", "fr" e "rf" correspondem a quais bijees do conco junto {0, 1, 2}? Como voc obteve esta resposta? e

Editando diagramas de Cayley e tabelas de multiplicacao

7.1 Um dos principais recursos do GroupExplorer o de se marcar (highe tlight) elementos com propriedades especiais na tabela de multiplicao ca ou no diagrama de Cayley do grupo. No caso da tabela de multiplicao, ca preciso pressionar o boto "Edit Table" na janela "Multiplication e a Table". No caso do diagrama de Cayley, preciso posicionar o cursor e sobre a janela com o diagrama de Cayley, pressionar o boto direito do a mouse e, em seguida, escolher a opo "Edit Diagram...". ca

Com isto, janelas de dilogo (como aquelas indicadas na gura a seguir) a aparecero. a
8

7.2 A opo "Define H and a" permite denir um subgrupo H (atravs ca e dos botes "Add this elemento do H:" para acrescentar e "Remove o this element from H:" para remover um elemento da lista de geradores de H) e um elemento a. O subgrupo H e o elemento a sero a usados na opo "Hightlight", descrita a seguir. ca 7.3 A opo "Highlight" permite marcar com cores ("color") ou formas ca ("shape") (no caso da tabela de multiplicao, apenas com cores) eleca mentos com propriedades especiais que esto especicadas na tabela a a seguir. O subgrupo H e o elemento a so aqueles especicados na a opo "Define H and a". ca
the groups center the commutator subgroup each conjugacy class each order class the element a the conjugacy class of the element a the order class of the element a the centralizer of the element a the subgroup H each left coset gH each right coset Hg the normalizer of H the left coset aH the right coset Ha the conjugate subgroup aHa1 o centro do grupo o comutador do grupo elementos agrupados por classe de conjugao ca elementos agrupados por ordem o elemento a a classe de conjugao do elemento a ca a classe de ordem do elemento a o centralizador do elemento a o subgrupo H as classes laterais ` esquerda gH a as classes laterais ` direita Hg a o normalizador de H a classe lateral ` esquerda aH a a classe lateral ` direita Ha a o subgrupo conjugado aHa1

7.4 Em um diagrama de Cayley, voc pode marcar os elementos do grupo e pela cor ("Color") ou pela forma ("Shape").

Se voc usar a opo "Color" para marcar os elementos de um diagrama e ca de Cayley, ento: a (a) Se a propriedade do tipo "on"/"off" (por exemplo, a propriedade e de um elemento pertencer ou no pertencer ao centro do grupo), a ento os elementos com a propriedade desejada so pintados de a a amarelo, enquanto que os demais elementos permanecem com a cor branca. (b) Se a propriedade do tipo que parte o grupo em mais do que duas e categorias (por exemplo, partir o grupo por classes de conjugao), ca ento vrias cores so usadas para evidenciar a partio. a a a ca (c) Se a propriedade partir o grupo por classes laterais, ento os elee a mentos em amarelo so os elementos do subgrupo H. Os demais a elementos recebem outras cores de acordo com a classe lateral a que pertencem. Se voc usar a opo "Shape" para marcar os elementos de um diagrama e ca de Cayley, ento: a (a) Se a propriedade do tipo "on"/"off", ento os elementos com a e a propriedade desejada permanecem esfricos, enquanto que os demais e elementos so desenhados na forma triangular. a
10

(b) Se a propriedade do tipo que parte o grupo em mais do que duas e categorias, ento vrias formas so usadas para evidenciar a partio. a a a ca Temos dois casos: 1. Se a partio pode ser descrita numericamente (por exemplo, ca partir o grupo pela ordem de cada elemento), ento o nmero a u correspondente a cada bloco da partio ser igual ao nmero de ca a u lados da forma usada para marcar o bloco. 2. Se a partio no pode ser descrita numericamente, ento o ca a a nmero de lados no tem relao alguma com os blocos da paru a ca tio. ca (c) Se a propriedade partir o grupo por classes laterais, ento os elee a mentos esfricos so os elementos do subgrupo H. Os demais elee a mentos recebem outras formas de acordo com a classe lateral a que pertencem. 7.5 GroupExplorer usa dois tipos de alteraes para marcar elementos na co tabela de multiplicao: marcas coloridas em torno dos nomes dos eleca mentos do grupo na coluna mais a esquerda na tabela e as cores de ` fundo.

(a) Se a propriedade do tipo "on"/"off", ento os elementos com e a a propriedade desejada so pintados de amarelo, enquanto que os a demais elementos permanecem com a cor branca. (b) Se a propriedade do tipo que parte o grupo em mais do que duas e categorias, ento vrias cores so usadas para evidenciar a partio. a a a ca
11

(c) Se a propriedade partir o grupo por classes laterais, ento os elee a mentos em amarelo so os elementos do subgrupo H. Os demais a elementos recebem outras cores de acordo com a classe lateral a que pertencem. 8 Atividades

8.1 Marque o centro de alguns grupos abelianos e no-abelianos no diagrama a de Cayley ou na tabela de multiplicao. Algum padro? ca a 8.2 Marque o subgrupo dos comutadores de alguns grupos abelianos e noa abelianos no diagrama de Cayley ou na tabela de multiplicao. Algum ca padro? a 8.3 Usando os recursos do programa que discutimos at agora, como voc e e faria para vericar que um determinado subgrupo H normal ou no? e a (a) Use a sua soluo para vericar que H = (0 1)(2 3), (0 2)(1 3) ca um subgrupo normal de A4 . e (b) Use a sua soluo para vericar que H = t um subgrupo normal ca e 1 do grupo de Frobenius F r20 . 8.4 Abra um grupo G de sua preferncia com o GroupExplorer. Para difee rentes escolhas de subgrupos H de G, marque todas as classes laterais a ` direita e a esquerda pela cor e/ou pela forma. Algum padro? ` a 9 Exibindo subgrupos normais

9.1 Abra o diagrama de Cayley retangular para o grupo A4 .

Dizemos que um grupo de Frobenius se ele possui um subgrupo H prprio e no-trivial tal que e o a H a1 Ha = {e} para todo a G\H.

12

Modicaremos este diagrama para evidenciar algumas de suas estrutue ras. Para isto, vamos assumir que um certo subgrupo de A4 normal e isomorfo ao grupo de Klein V4 . 9.2 Acrescente os elementos (0 1)(2 3) e (0 2)(1 3) ao subgrupo H usando a opo "Define H and a" na janela de dilogo "Edit Diagram...". ca a Estes dois elementos comutam e tm ordem 2 e, portanto, eles geram um e subgrupo que isomorfo ao grupo de Klein V4 . e

9.3 Use agora a opo "Highlight" e marque "each right coset Hg" pela ca cor.

Feito isto, o diagrama de Cayley assumir o seguinte aspecto: a

. 9.4 O programa permite que voc agrupe as classes laterais do subgrupo H e denido na opo "Define H and a". Para isto, use a opo "Axes & ca ca Priority" (Eixos & Prioridade), clique no boto "Organize diagram a
13

by H" (Organizar diagrama por H). A tabela de geradores, prioridade e eixos car assim: a

. Clique no boto "OK" ou "Apply" e o diagrama de Cayley ganhar o a a seguinte aspecto:

. Podemos perceber que elementos de uma mesma classe lateral esto disa postos em um mesmo plano. A estrutura das setas, contudo, ainda e confusa.

9.5 Vamos escolher uma outra congurao de eixos. Na opo "Axes & ca ca Priority", selecione "Ring of rectangles" (Anel de retngulos) ao a lado do boto "Change all axes to:" (Mudar todos os eixos para:). a Clique neste boto em seguida. a

Quando voc clicar em "OK" ou "Apply", o diagrama de Cayley car e a um pouco melhor:
14

. Qualquer subgrupo H pode reorganizar um diagrama de Cayley, da mesma maneira que zemos agora para o grupo de Klein V4 . Mas o que estamos querendo investigar se H um subgrupo normal ou no. e e a Sabemos que H normal se, e somente se, H pode ser usado como denoe minador em um grupo quociente. O programa oferece ferramentas para vericar se tal grupo quociente existe. 9.6 Na opo "Arrows & Chunking" (Setas e Agrupamento), ative o quaca dro "Chunk right cosets of H" (Agrupar as classes laterais a direita ` de H) e, em seguida, ative tambm o quadro "Align heads of arrows e between right cosets of H" (Alinhar as pontas das setas entre as classes laterais a direita de H). `

O diagrama de Cayley car com o seguinte aspecto: a

. Observe que o programa fez duas modicaes: (1) ele colocou caixas co translcidas em torno de cada classe lateral de H, de forma a auxiliar u
15

a visualizao das classes de equivalncia do grupo quociente e (2) ele ca e aproximou as pontas vermelhas das setas uma das outras, agrupando-as de uma maneira conveniente. e Esta ultima gura nos diz visualmente que o grupo de Klein V4 um e subgrupo normal de A4 . Por qu? Podemos vericar que todas as setas vermelhas que saem da classe lateral com os quatro ns amarelos apono tam para a classe lateral com ns em azul, isto , as setas vermelhas o e levam os quatro ns amarelos nos quatro ns azuis. Analogamente, too o dos os quatro ns azuis so levados nos quatro ns vermelhos que, por o a o sua vez, so levados nos quatro ns amarelos, fechando o ciclo. a o Lembre-se que estamos visualizando as classes laterais a direita e que ` diagramas de Cayley so gerados pelo programa usando multiplicao a a ca ` esquerda. Assim, as setas vermelhas indicam que a multiplicao a esca ` querda pelo elemento (1 3 2) faz e, portanto, as quatro setas vermelhas saindo dos quatro ns amarelos indicam que estamos chegando em uma o classe lateral a esquerda de H, no caso, aquela formada pelos quatro ns ` o azuis. Mas estes quatro ns azuis constituem uma classe lateral a direita o ` de H. Assim, as classes laterais ` esquerda e a direita de H coincidem, a ` mostrando ento que H um subgrupo normal de A4 . a e

. 10 O teorema fundamental dos grupos abelianos finitamente gerados

O teorema fundamental dos grupos abelianos nitamente gerados arma que todo grupo abeliano nitamente gerado produto direto de grupos e c clicos. Com o programa, abra grupos abelianos e no-abelianos e verique a que, por conta deste teorema, os diagramas de Cayley de grupos abelianos possuem uma estrutura peculiar: eles podem ser dispostos em uma malha
16

retangular, onde as setas se encontram em angulos retos (com exceo das ca setas que fazem a volta).
Grupos Abelianos

Z3 Z3

Z2 Z4 Z2

Z2 Z2 Z2 Z3

Grupos Nao-Abelianos

F r20

(Z3 Z3 )

Z2

S4

11

Exemplos de exerc cios usando o programa

[01] Encontre um grupo no qual a equao x2 = e possui mais do que uma ca soluo. E poss encontrar um grupo onde esta equao possua uma ca vel ca unica soluo? E nenhuma soluo? O que dizer da equao x3 = e? ca ca ca [02] Um elemento pode aparecer mais do que uma vez em uma mesma linha de uma tabela de multiplicao de um grupo? Por que sim ou por que ca no? Pode uma coluna repetir um elemento? Por que sim ou por que a no? a [03] Por inspeo nos dois primeiros tipos de diagramas de Cayley do gruca co po A5 , escreva pelo menos 5 relaes entre os geradores do grupo. Uma relao entre os geradores uma equao envolvendo produtos dos geca e ca radores ou de seus inversos. Por exemplo, uma relao que verdadeira ca e 1 e em S3 f rf = f .
17

[04] Imprima uma cpia em papel do diagrama de Cayley do menor grupo o no-abeliano e, neste papel, escreva como voc pode vericar (no diaa e grama) que o grupo , de fato, no-abeliano. e a [05] Por que suciente examinar apenas as setas em um diagrama de Caye ley (e no todos os elementos no grupo) para determinar se o grupo a e abeliano ou no? a [06] Se o elemento a em um grupo representado por uma seta vermelha e em um diagrama de Cayley, e o diagrama conecta o elemento x ao elemento y com uma seta vermelha, qual a equao que podemos e ca escrever envolvendo a, x e y? [07] Considere um grupo contendo os elementos a e b que satisfazem a relao ca abbab = e. Se voc escolher um n ao acaso no diagrama de Cayley, e o seguir a seta que corresponde ao elemento a, ento seguir a seta que a corresponde ao elemento b, ento b novamente, ento a e, por ultimo, b, a a em qual n do diagrama de Cayley voc vai parar? o e [08] Pode mais do que uma seta de uma mesma cor sair de um mesmo n o em um diagrama de Cayley? Por que sim ou por que no? Pode mais a do que uma seta de uma mesma cor chegar em um mesmo n em um o diagrama de Cayley? Por que sim ou por que no? a [09] E poss que exista algum grupo cujo diagrama de Cayley seja descovel nexo, por mais setas que voc resolva incluir? Por que sim ou por que e no? a [10] Considere um passeio seguindo uma seqncia de setas em um diagrama ue de Cayley que comea e termina na identidade e. Se voc seguir a mesma c e sequncia de setas, mas comeando do elemento b, onde voc terminar? e c e a a e clico, mas cujos subgrupos prprios o [11] Existe um grupo nito que no c sejam todos c clicos? Em caso armativo, d um exemplo usando o e programa e, em caso negativo, demonstre porque um tal grupo no a existe. [12] Existe um grupo c clico com somente quatro geradores? Em caso armativo, d um exemplo usando o programa e, em caso negativo, demonstre e porque um tal grupo no existe. a a a [13] Apesar de Z4 e Z2 Z2 serem grupos de mesma ordem (4), eles no so isomorfos. Por qu? e
18

[14] Apesar de Z6 e S3 = D3 serem grupos de mesma ordem (6), eles no a isomorfos. Por qu? e [15] Apesar de Z8 , Z2 Z4 , Z2 Z2 Z2 , Q e D4 serem grupos de mesma ordem (8), eles no isomorfos. Por qu? a e a [16] Apesar de Z10 e D5 serem grupos de mesma ordem (10), eles no isomorfos. Por qu? e [17] O subgrupo conjugado aHa1 de um subgrupo H por um elemento a pode ou no ser igual a H. Encontre um exemplo de um grupo G, a de um subgrupo H de G e um elemento a em G tal que a interseo ca 1 vel. Como voc tem certeza de e entre H e aHa seja a menor poss que encontrou um exemplo com a menor interseo poss ca vel? [18] Encontre um grupo G e um nmero n que divide a ordem de G com a u propriedade de que G no possui subgrupo de ordem n (isto , encontre a e um contra-exemplo para a rec proca do teorema de Lagrange). [19] Existe grupo no-abeliano cujos subgrupos sejam todos abelianos? Em a caso armativo, d um exemplo usando o programa e, em caso negativo, e demonstre porque um tal grupo no existe. a [20] Existe grupo abeliano com um subgrupo cujas classes laterais a direita e ` ` esquerda particionam o grupo de maneira diferente? Em caso armaa tivo, d um exemplo usando o programa e, em caso negativo, demonstre e porque um tal grupo no existe. a [21] Seja H um subgrupo de G. Qual a relao entre o normalizador de H e e ca o centro de G? Experimente com o programa para obter uma conjectura e, em seguida, prove-a. [22] Seja H um subgrupo de G. Qual a relao entre o normalizador de H e ca e os centralizadores de diferentes elementos de H? Experimente com o programa para obter uma conjectura e, em seguida, prove-a. [23] Qual a relao entre o centro de um grupo G e os centralizadores de e ca diferentes elementos de G? Experimente com o programa para obter uma conjectura e, em seguida, prove-a. [24] Como voc deve saber, o grupo de simetrias do tetraedro regular o e e grupo A4 . Explique, apenas olhando para o tetraedro regular, porque seu grupo de simetrias no todo S4 . a e
19

 Apendice: todos os grupos de ordem menor ou igual a 15

Ordem 1 2 3 4 5 6 7 8

9 10 11 12

13 14 15

Grupo Z1 Z2 (Z_2.gp) Z3 (Z_3.gp) Z4 (Z_4.gp) Z2 Z2 = V4 = D2 (V_4.gp) Z5 (Z_5.gp) Z6 (Z_6.gp) S3 = D3 (S_3.gp) Z7 (Z_7.gp) Z8 (Z_8.gp) Z2 Z4 (Z_2 x Z_4.gp) Z2 Z2 Z2 (Z_2 x Z_2 x Z_2.gp) Q4 (Q_4.gp) D4 (D_4.gp) Z9 (Z_9.gp) Z3 Z3 (Z_3 x Z_3.gp) Z10 (Z_10.gp) D5 (D_5.gp) Z11 (Z_11.gp) Z12 (Z_12.gp) Z2 Z6 (Z_2 x Z_6.gp) Z2 S3 = D6 (D_6.gp) A4 (A_4.gp) Z3 Z4 (Z_3 sdp Z_4.gp) Z13 (Z_13.gp) Z14 (Z_14.gp) D7 (D_7.gp) Z15 (Z_15.gp)

Tabela 1: Todos os grupos de ordem 15 (a menos de isomorsmos).

20