GroupExplorer: um software (gratuito) para a explora¸˜o visual em teoria de grupos ca

Humberto Jos´ Bortolossi e
Departamento de Matem´tica, 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 figuras. Acreditando que o emprego de recursos visuais e de intera¸˜o gr´fica aliado aos m´todos tradicionais (defini¸˜es, teoreca a e co mas e demonstra¸˜es) 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 explora¸˜o visual da teoria de grupos ca (http://www.platosheaven.com/groupexplorer/). O programa permite que o usu´rio a interaja diretamente com o diagrama de Cayley de um grupo, manipulando e percebendo visualmente a a¸˜o combinada de cada gerador. Al´m do diagrama de Cayley, ca e o usu´rio tamb´m pode ver a representa¸˜o simultˆnea dos elementos do grupo como a e ca a uma permuta¸˜o ou em uma tabela de multiplica¸˜o. O programa vai mais al´m: ca ca e para cada grupo, ´ poss´ exibir os objetos de simetria (isto ´, objetos que s˜o invae ıvel e a riantes pela a¸˜o do grupo), o centro do grupo, o subgrupo dos comutadores, a classe ca de conjuga¸˜o de um elemento, o centralizador de um elemento, as classes laterais, ca o normalizador de um subgrupo e subgrupos definidos pelo usu´rio (neste sentido, a GroupExplorer tamb´m funciona como uma excelente calculadora!). Com estes ree cursos, o software oferece um aparato visual sofisticado para a explora¸˜o dos v´rios ca a conceitos e id´ias da teoria b´sica 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 disp˜e de um ambiente onde ele pode conjecturar propriedades e encontrar contrao exemplos!

1

1

´ O que e um grupo?

Defini¸˜o 1 Dizemos que um conjunto G ´ um grupo sob a operaca e c˜o ∗ : G × G → G se as seguintes condi¸˜es s˜o satisfeitas: ¸a co a (1) (associatividade) (x ∗ y) ∗ z = x ∗ (y ∗ z), para todo x, y, z ∈ G, (2) (existˆncia do elemento identidade) existe e ∈ G tal que e ∗ x = e x ∗ e = x, para todo x ∈ G. e (3) (existˆncia 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 tamb´m satisfaz a condi¸˜o: e e ca (4) (comutatividade) x ∗ y = y ∗ x, para todo x, y, z ∈ G.

2

´ O que e um diagrama de Cayley?

Defini¸˜o 2 Seja (G, ∗) um grupo e seja S um subconjunto de G tal ca que a identidade e de G n˜o pertence a S. O diagrama de Cayley a gerado por S ´ definido como o grafo orientado cujos v´rtices s˜o 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.

2

1 Ap´s iniciar o programa. Uma janela de di´logo. escolha o "File"→"Open Group". ◦) das permuta¸˜es de trˆs e letras (0. 1 e 2) com a opera¸˜o de composi¸˜o. com o mouse.gp que cont´m o grupo (S3 . ca ca A janela seguinte dever´ ent˜o aparecer. a a 3 . Abra a co e o arquivo S_3. como a indicada abaixo deve aparecer.3 Abrindo um grupo no GroupExplorer 3.

"History".4 As janelas principais do programa 4. os atalhos s˜o as letras R e F para os geradores r = (0 1 2) e f = (1 2). 4 . "Permutation" e "Rectangle" (uma instˆncia de a um diagrama de Cayley). "Multiplication Table" e "Rectangle" marcam sempre um elemento destacado que. No caso particular do grupo (S3 . quando o grupo ´ carregado pela primeira vez ou o bot˜o "Reset Group" e a da janela "Navigator" ´ pressionado. ´ definido como sendo a identidade e e do grupo.1 As janelas principais do programa s˜o: "Navigator". ◦). As janelas "Permutation". "Multiplication a Table".2 A janela Navigator estabelece atalhos de teclado para a a¸˜o dos geraca a dores do grupo. Elemento destacado 4.

co a Com elas. e u o programa indicar´ o novo elemento destacado correspondente. o ca 5 . Se vocˆ posicionar o e e mouse sobre esta janela e pressionar o bot˜o direito do mouse. Pressionando-a. a mas n˜o efetuar´ a modifica¸˜o. a a ca (b) Vocˆ pode mudar a representa¸˜o dos geradores do grupo atrav´s e ca e da op¸˜o "Group"→"Change Representation". o programa ir´ substituir "x" por u a "r*x" como elemento destacado. configurar e a o o estilo e posicionamento das setas.Se "x" representa o elemento destacado no momento. O mesmo vale para a tecla SHIFT+F (a letra F mai´scula). pressionando-se a tecla SHIFT+R (a letra R mai´scula). novas a op¸˜es ir˜o aparecer. ¸˜ (a) Se vocˆ manter pressionada a tecla "r" (a letra r min´scula). "Multiplication Table" e "Rectangular" refletem estas mudan¸as c automaticamente. ajustar a velocidade de anima¸˜o. o programa ir´ substituir "x" u a por "f*x" como elemento destacado. Observacoes. vocˆ poder´ ajustar o posicionamento dos r´tulos. ca 4. a vocˆ pode clicar e arrastar para girar a figura.3 Na janela "Rectangular" (uma instˆncia de um diagrama de Cayley). Note que as janelas"Permutation".

basta acessar a op¸˜o "Group"→"Create Symmetry a ca object" no menu principal. o objeto de simetria ´ um triˆngulo equil´tero. dependendo do grupo em quest˜o. 5 Objetos de simetria 5. a 4.brilho. entre outras op¸˜es de visualiza¸˜o.. No caso do grupo S3 . O programa permite visualizar alguns destes objetos de simetria.1 Grupos podem ser representados pelas simetrias de um determinado subca ca conjunto de Rn com a opera¸˜o de composi¸˜o. Experimente outros formatos de visualiza¸˜o para o diagrama de Cayley de S3 ca que o programa disponibiliza." co ca ca ser´ discutida mais adiante.. Para isto. e a a 6 . A op¸˜o "Edit Diagram.4 Vocˆ pode escolher outros diagramas de Cayley para S3 atrav´s da op¸˜o e e ca "Create Cayley diagram" no item "Group" do menu principal.

a 5. vocˆ poder´ configurar r´tulos.2 Note que. e a o ca brilho. 5. ◦). as teclas "r".3 Se vocˆ posicionar o mouse sobre a janela com o objeto de simetria e e pressionar o bot˜o direito do mouse. op¸˜es de visualiza¸˜o ir˜o aparea co ca a cer. objeto de simetria do grupo (A5 . etc. 7 . o programa ir´ exibir ou efetuar a isometria correspondente. velocidade de anima¸˜o. quando vocˆ pressiona os atalhos de teclado associados aos e geradores do grupo (no caso de S3 . Com elas. "f".4 A figura abaixo exibe o dodecaedro.5. "R" ou "F").

ca Com isto. "fr" e "rf" correspondem a quais bije¸˜es do conco junto {0.2 Como identificar.1 Para ganhar familiaridade com o programa. ´ preciso posicionar o cursor e sobre a janela com o diagrama de Cayley. usando o programa GroupExplorer.4 Os s´ ımbolos "rr". que um grupo ´ e abeliano? 6. No caso do diagrama de Cayley. escolher a op¸˜o "Edit Diagram.1 Um dos principais recursos do GroupExplorer ´ o de se marcar (“highe tlight”) elementos com propriedades especiais na tabela de multiplica¸˜o ca ou no diagrama de Cayley do grupo. etc. Como se e ı e ´ parecerem os diagramas de Cayley de um grupo c´ ıclico? 6. abra outros grupos.6 Atividades 6. ca ´ preciso pressionar o bot˜o "Edit Table" na janela "Multiplication e a Table". 2}? Como vocˆ obteve esta resposta? e 7 Editando diagramas de Cayley e tabelas de multiplicacao ¸˜ 7.. co 6..3 Um grupo ´ c´clico se ele ´ gerado por um unico elemento. 1.". No caso da tabela de multiplica¸˜o. a 8 . janelas de di´logo (como aquelas indicadas na figura a seguir) a aparecer˜o. ca a experimente outras configura¸˜es de diagramas de Cayley. veja a a¸˜o dos geradores do grupo sobre as v´rias janelas do programa. em seguida. pressionar o bot˜o direito do a mouse e.

ca the group’s 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 aHa−1 o centro do grupo o comutador do grupo elementos agrupados por classe de conjuga¸˜o ca elementos agrupados por ordem o elemento a a classe de conjuga¸˜o 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 aHa−1 9 . ca 7. descrita a seguir. O subgrupo H e o elemento a s˜o aqueles especificados na a op¸˜o "Define H and a".2 A op¸˜o "Define H and a" permite definir um subgrupo H (atrav´s ca e dos bot˜es "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.7. O subgrupo H e o elemento a ser˜o a usados na op¸˜o "Hightlight". apenas com cores) eleca mentos com propriedades especiais que est˜o especificadas na tabela a a seguir.3 A op¸˜o "Highlight" permite marcar com cores ("color") ou formas ca ("shape") (no caso da tabela de multiplica¸˜o.

ent˜o os elementos com a e a propriedade desejada permanecem esf´ricos. vocˆ pode marcar os elementos do grupo e pela cor ("Color") ou pela forma ("Shape"). a a a ca (c) Se a propriedade ´ partir o grupo por classes laterais. ent˜o: a (a) Se a propriedade ´ do tipo "on"/"off". Se vocˆ usar a op¸˜o "Shape" para marcar os elementos de um diagrama e ca de Cayley. enquanto que os demais e elementos s˜o desenhados na forma triangular. Se vocˆ usar a op¸˜o "Color" para marcar os elementos de um diagrama e ca de Cayley. ca ent˜o v´rias cores s˜o usadas para evidenciar a parti¸˜o. Os demais a elementos recebem outras cores de acordo com a classe lateral a que pertencem. ent˜o os elee a mentos em amarelo s˜o os elementos do subgrupo H. a 10 . a propriedade e de um elemento pertencer ou n˜o pertencer ao centro do grupo). ent˜o: a (a) Se a propriedade ´ do tipo "on"/"off" (por exemplo. a ent˜o os elementos com a propriedade desejada s˜o pintados de a a amarelo. (b) Se a propriedade ´ do tipo que parte o grupo em mais do que duas e categorias (por exemplo. enquanto que os demais elementos permanecem com a cor branca. partir o grupo por classes de conjuga¸˜o).4 Em um diagrama de Cayley.7.

ent˜o os elementos com e a a propriedade desejada s˜o pintados de amarelo. ent˜o o ca a a n´mero de lados n˜o tem rela¸˜o alguma com os blocos da paru a ca ti¸˜o. ca partir o grupo pela ordem de cada elemento). ca (c) Se a propriedade ´ partir o grupo por classes laterais. Se a parti¸˜o pode ser descrita numericamente (por exemplo. Os demais elee a mentos recebem outras formas de acordo com a classe lateral a que pertencem. 7. (a) Se a propriedade ´ do tipo "on"/"off". Se a parti¸˜o n˜o pode ser descrita numericamente.(b) Se a propriedade ´ do tipo que parte o grupo em mais do que duas e categorias. ent˜o os elee a mentos esf´ricos s˜o os elementos do subgrupo H. (b) Se a propriedade ´ do tipo que parte o grupo em mais do que duas e categorias. 2. a a a ca Temos dois casos: 1. ent˜o o n´mero a u correspondente a cada bloco da parti¸˜o ser´ igual ao n´mero de ca a u lados da forma usada para marcar o bloco. a a a ca 11 . ent˜o v´rias cores s˜o usadas para evidenciar a parti¸˜o. ent˜o v´rias formas s˜o usadas para evidenciar a parti¸˜o.5 GroupExplorer usa dois tipos de altera¸˜es para marcar elementos na co tabela de multiplica¸˜o: marcas coloridas em torno dos nomes dos eleca mentos do grupo na coluna mais a esquerda na tabela e as cores de ` fundo. enquanto que os a demais elementos permanecem com a cor branca.

8. ent˜o os elee a mentos em amarelo s˜o os elementos do subgrupo H.(c) Se a propriedade ´ partir o grupo por classes laterais. 8 Atividades 8. Algum padr˜o? ca a 8. marque todas as classes laterais a ` direita e a esquerda pela cor e/ou pela forma. Dizemos que um grupo ´ de Frobenius se ele possui um subgrupo H pr´prio e n˜o-trivial tal que e o a H ∩ a−1 Ha = {e} para todo a ∈ G\H. Para difee rentes escolhas de subgrupos H de G. e (b) Use a sua solu¸˜o para verificar que H = t ´ um subgrupo normal ca e 1 do grupo de Frobenius F r20 .4 Abra um grupo G de sua preferˆncia com o GroupExplorer.3 Usando os recursos do programa que discutimos at´ agora. Algum padr˜o? ` a 9 Exibindo subgrupos normais 9. (0 2)(1 3) ca ´ um subgrupo normal de A4 . Algum ca padr˜o? a 8. 1 12 . como vocˆ e e faria para verificar que um determinado subgrupo H ´ normal ou n˜o? e a (a) Use a sua solu¸˜o para verificar que H = (0 1)(2 3). Os demais a elementos recebem outras cores de acordo com a classe lateral a que pertencem.2 Marque o subgrupo dos comutadores de alguns grupos abelianos e n˜oa abelianos no diagrama de Cayley ou na tabela de multiplica¸˜o.1 Marque o centro de alguns grupos abelianos e n˜o-abelianos no diagrama a de Cayley ou na tabela de multiplica¸˜o.1 Abra o diagrama de Cayley retangular para o grupo A4 .

Modificaremos este diagrama para evidenciar algumas de suas estrutue ras.3 Use agora a op¸˜o "Highlight" e marque "each right coset Hg" pela ca cor.2 Acrescente os elementos (0 1)(2 3) e (0 2)(1 3) ao subgrupo H usando a op¸˜o "Define H and a" na janela de di´logo "Edit Diagram. e 9. Para isto. 9.". o diagrama de Cayley assumir´ o seguinte aspecto: a . vamos assumir que um certo subgrupo de A4 ´ normal e isomorfo ao grupo de Klein V4 . ca a Estes dois elementos comutam e tˆm ordem 2 e. clique no bot˜o "Organize diagram a 13 . 9... Para isto.4 O programa permite que vocˆ agrupe as classes laterais do subgrupo H e definido na op¸˜o "Define H and a". eles geram um e subgrupo que ´ isomorfo ao grupo de Klein V4 . Feito isto. use a op¸˜o "Axes & ca ca Priority" (Eixos & Prioridade). portanto.

prioridade e eixos ficar´ assim: a . 9.5 Vamos escolher uma outra configura¸˜o de eixos. a Clique neste bot˜o em seguida. Clique no bot˜o "OK" ou "Apply" e o diagrama de Cayley ganhar´ o a a seguinte aspecto: . Podemos perceber que elementos de uma mesma classe lateral est˜o disa postos em um mesmo plano. contudo. selecione "Ring of rectangles" (Anel de retˆngulos) ao a lado do bot˜o "Change all axes to:" (Mudar todos os eixos para:). ainda ´ e confusa. o diagrama de Cayley ficar´ e a um pouco melhor: 14 .by H" (Organizar diagrama por H). A tabela de geradores. Na op¸˜o "Axes & ca ca Priority". a Quando vocˆ clicar em "OK" ou "Apply". A estrutura das setas.

da mesma maneira que fizemos agora para o grupo de Klein V4 . ` O diagrama de Cayley ficar´ com o seguinte aspecto: a .6 Na op¸˜o "Arrows & Chunking" (Setas e Agrupamento). ative o quaca dro "Chunk right cosets of H" (Agrupar as classes laterais a direita ` de H) e. de forma a auxiliar u 15 . 9. em seguida. Observe que o programa fez duas modifica¸˜es: (1) ele colocou caixas co transl´cidas em torno de cada classe lateral de H. O programa oferece ferramentas para verificar se tal grupo quociente existe. H pode ser usado como denoe minador em um grupo quociente. ative tamb´m 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).. Mas o que estamos querendo investigar ´ se H ´ um subgrupo normal ou n˜o. e somente se. e e a Sabemos que H ´ normal se. Qualquer subgrupo H pode reorganizar um diagrama de Cayley.

Por quˆ? Podemos verificar que todas as setas vermelhas que saem da classe lateral com os quatro n´s amarelos apono tam para a classe lateral com n´s em azul. Com o programa. too o dos os quatro n´s azuis s˜o levados nos quatro n´s vermelhos que. portanto. Assim. aquela formada pelos quatro n´s ` o azuis. por o a o sua vez. a ` mostrando ent˜o que H ´ um subgrupo normal de A4 . no caso. s˜o levados nos quatro n´s amarelos. por conta deste teorema. 10 O teorema fundamental dos grupos abelianos finitamente gerados O teorema fundamental dos grupos abelianos finitamente gerados afirma que todo grupo abeliano finitamente gerado ´ produto direto de grupos e c´ ıclicos. abra grupos abelianos e n˜o-abelianos e verifique a que. as quatro setas vermelhas saindo dos quatro n´s amarelos indicam que estamos chegando em uma o classe lateral a esquerda de H. e Esta ultima figura nos diz visualmente que o grupo de Klein V4 ´ um ´ e subgrupo normal de A4 .a visualiza¸˜o das classes de equivalˆncia do grupo quociente e (2) ele ca e aproximou as pontas vermelhas das setas uma das outras. a o Lembre-se que estamos visualizando as classes laterais a direita e que ` diagramas de Cayley s˜o gerados pelo programa usando multiplica¸˜o a a ca ` esquerda. as classes laterais ` esquerda e a direita de H coincidem. agrupando-as de uma maneira conveniente. as setas vermelhas indicam que a multiplica¸˜o a esca ` querda pelo elemento (1 3 2) faz e. isto ´. Analogamente. as setas vermelhas o e levam os quatro n´s amarelos nos quatro n´s azuis. a e . os diagramas de Cayley de grupos abelianos possuem uma estrutura peculiar: eles podem ser dispostos em uma malha 16 . Assim. Mas estes quatro n´s azuis constituem uma classe lateral a direita o ` de H. fechando o ciclo.

Por exemplo. 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 equa¸˜o x2 = e possui mais do que uma ca solu¸˜o. escreva pelo menos 5 rela¸˜es entre os geradores do grupo. E poss´ encontrar um grupo onde esta equa¸˜o possua uma ca ıvel ca unica solu¸˜o? E nenhuma solu¸˜o? O que dizer da equa¸˜o x3 = e? ´ ca ca ca [02] Um elemento pode aparecer mais do que uma vez em uma mesma linha de uma tabela de multiplica¸˜o de um grupo? Por que sim ou por que ca n˜o? Pode uma coluna repetir um elemento? Por que sim ou por que a n˜o? a [03] Por inspe¸˜o nos dois primeiros tipos de diagramas de Cayley do gruca co po A5 . 17 .retangular. onde as setas se encontram em angulos retos (com exce¸˜o das ˆ ca setas que “fazem a volta”). uma rela¸˜o que ´ verdadeira ca e −1 e em S3 ´ f rf = f . Uma rela¸˜o entre os geradores ´ uma equa¸˜o envolvendo produtos dos geca e ca radores ou de seus inversos.

qual ´ a equa¸˜o que podemos e ca escrever envolvendo a. ent˜o a e. em caso negativo. dˆ um exemplo usando o programa e. e a [05] Por que ´ suficiente examinar apenas as setas em um diagrama de Caye ley (e n˜o todos os elementos no grupo) para determinar se o grupo ´ a e abeliano ou n˜o? a [06] Se o elemento a em um grupo ´ representado por uma seta vermelha e em um diagrama de Cayley. a a a [13] Apesar de Z4 e Z2 × Z2 serem grupos de mesma ordem (4). demonstre porque um tal grupo n˜o a existe. demonstre e porque um tal grupo n˜o existe. n˜o-abeliano. por mais setas que vocˆ resolva incluir? Por que sim ou por que e n˜o? a [10] Considere um passeio seguindo uma seq¨ˆncia de setas em um diagrama ue de Cayley que come¸a e termina na identidade e. Por quˆ? e 18 . Se vocˆ escolher um n´ ao acaso no diagrama de Cayley. x e y? [07] Considere um grupo contendo os elementos a e b que satisfazem a rela¸˜o ca abbab = e.[04] Imprima uma c´pia em papel do diagrama de Cayley do “menor” grupo o n˜o-abeliano e. por ultimo. mas come¸ando do elemento b. eles n˜o s˜o isomorfos. escreva como vocˆ pode verificar (no diaa e grama) que o grupo ´. onde vocˆ terminar´? e c e a a e ıclico. 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 n˜o? 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 n˜o? a ´ [09] E poss´ que exista algum grupo cujo diagrama de Cayley seja descoıvel nexo. ent˜o seguir a seta que a corresponde ao elemento b. de fato. e o seguir a seta que corresponde ao elemento a. em caso negativo. Se vocˆ seguir a mesma c e sequˆncia de setas. [12] Existe um grupo c´ ıclico com somente quatro geradores? Em caso afirmativo. ent˜o b novamente. e o diagrama conecta o elemento x ao elemento y com uma seta vermelha. neste papel. mas cujos subgrupos pr´prios o [11] Existe um grupo finito que n˜o ´ c´ sejam todos c´ ıclicos? Em caso afirmativo. dˆ um exemplo usando o e programa e.

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

gp) Z8 (Z_8.gp) Z2 × Z2 × Z2 (Z_2 x Z_2 x Z_2.gp) Z3 × Z3 (Z_3 x Z_3.gp) Tabela 1: Todos os grupos de ordem ≤ 15 (a menos de isomorfismos).gp) A4 (A_4.gp) Z3 Z4 (Z_3 sdp Z_4.gp) D5 (D_5.gp) D7 (D_7.gp) Z15 (Z_15.gp) Z12 (Z_12.gp) Z2 × Z4 (Z_2 x Z_4.ˆ 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) Z2 × S3 = D6 (D_6.gp) Q4 (Q_4.gp) Z6 (Z_6. 20 .gp) Z10 (Z_10.gp) Z14 (Z_14.gp) Z7 (Z_7.gp) D4 (D_4.gp) Z2 × Z2 = V4 = D2 (V_4.gp) S3 = D3 (S_3.gp) Z11 (Z_11.gp) Z3 (Z_3.gp) Z9 (Z_9.gp) Z13 (Z_13.gp) Z4 (Z_4.gp) Z5 (Z_5.gp) Z2 × Z6 (Z_2 x Z_6.

Sign up to vote on this title
UsefulNot useful