P. 1
Group Explorer Um Software Gratuito

Group Explorer Um Software Gratuito

|Views: 18|Likes:
Publicado porAlexandre Aragão

More info:

Published by: Alexandre Aragão on Oct 04, 2011
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/04/2011

pdf

text

original

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

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

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). 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. As janelas "Permutation".2 A janela Navigator estabelece atalhos de teclado para a a¸˜o dos geraca a dores do grupo. "History". ´ definido como sendo a identidade e e do grupo. Elemento destacado 4. "Multiplication Table" e "Rectangle" marcam sempre um elemento destacado que. "Permutation" e "Rectangle" (uma instˆncia de a um diagrama de Cayley).1 As janelas principais do programa s˜o: "Navigator". 4 . "Multiplication a Table". ◦).

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

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

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

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

3 A op¸˜o "Highlight" permite marcar com cores ("color") ou formas ca ("shape") (no caso da tabela de multiplica¸˜o. O subgrupo H e o elemento a ser˜o a usados na op¸˜o "Hightlight". 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. 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 . apenas com cores) eleca mentos com propriedades especiais que est˜o especificadas na tabela a a seguir. ca 7.7.

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

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. ent˜o v´rias cores s˜o usadas para evidenciar a parti¸˜o. ca partir o grupo pela ordem de cada elemento). ent˜o os elementos com e a a propriedade desejada s˜o pintados de amarelo. Se a parti¸˜o n˜o pode ser descrita numericamente. enquanto que os a demais elementos permanecem com a cor branca. a a a ca 11 . ent˜o v´rias formas s˜o usadas para evidenciar a parti¸˜o. 2. 7. ca (c) Se a propriedade ´ partir o grupo por classes laterais. 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 Temos dois casos: 1.(b) Se a propriedade ´ do tipo que parte o grupo em mais do que duas e categorias. (a) Se a propriedade ´ do tipo "on"/"off". Se a parti¸˜o pode ser descrita numericamente (por exemplo.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. (b) Se a propriedade ´ do tipo que parte o grupo em mais do que duas e categorias. Os demais elee a mentos recebem outras formas de acordo com a classe lateral a que pertencem. ent˜o os elee a mentos esf´ricos s˜o os elementos do subgrupo H.

1 12 .4 Abra um grupo G de sua preferˆncia com o GroupExplorer.1 Abra o diagrama de Cayley retangular para o grupo A4 .2 Marque o subgrupo dos comutadores de alguns grupos abelianos e n˜oa abelianos no diagrama de Cayley ou na tabela de multiplica¸˜o. Algum padr˜o? ca a 8. 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.(c) Se a propriedade ´ partir o grupo por classes laterais. 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). marque todas as classes laterais a ` direita e a esquerda pela cor e/ou pela forma. Os demais a elementos recebem outras cores de acordo com a classe lateral a que pertencem. Algum padr˜o? ` a 9 Exibindo subgrupos normais 9.3 Usando os recursos do programa que discutimos at´ agora. (0 2)(1 3) ca ´ um subgrupo normal de A4 . 8 Atividades 8. ent˜o os elee a mentos em amarelo s˜o os elementos do subgrupo H. e (b) Use a sua solu¸˜o para verificar que H = t ´ um subgrupo normal ca e 1 do grupo de Frobenius F r20 . 8. Algum ca padr˜o? a 8.1 Marque o centro de alguns grupos abelianos e n˜o-abelianos no diagrama a de Cayley ou na tabela de multiplica¸˜o.

clique no bot˜o "Organize diagram a 13 . ca a Estes dois elementos comutam e tˆm ordem 2 e.. 9.3 Use agora a op¸˜o "Highlight" e marque "each right coset Hg" pela ca cor. use a op¸˜o "Axes & ca ca Priority" (Eixos & Prioridade). Feito isto. 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 . Para isto.4 O programa permite que vocˆ agrupe as classes laterais do subgrupo H e definido na op¸˜o "Define H and a".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. eles geram um e subgrupo que ´ isomorfo ao grupo de Klein V4 . 9.".Modificaremos este diagrama para evidenciar algumas de suas estrutue ras. Para isto. portanto. e 9..

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

Observe que o programa fez duas modifica¸˜es: (1) ele colocou caixas co transl´cidas em torno de cada classe lateral de H. de forma a auxiliar u 15 . em seguida. ` O diagrama de Cayley ficar´ com o seguinte aspecto: a . H pode ser usado como denoe minador em um grupo quociente. e e a Sabemos que H ´ normal se.6 Na op¸˜o "Arrows & Chunking" (Setas e Agrupamento). 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). 9. e somente se. ative o quaca dro "Chunk right cosets of H" (Agrupar as classes laterais a direita ` de H) e. da mesma maneira que fizemos agora para o grupo de Klein V4 . Mas o que estamos querendo investigar ´ se H ´ um subgrupo normal ou n˜o.. O programa oferece ferramentas para verificar se tal grupo quociente existe. 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. 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. abra grupos abelianos e n˜o-abelianos e verifique a que. a e . isto ´. Analogamente. as classes laterais ` esquerda e a direita de H coincidem. aquela formada pelos quatro n´s ` o azuis. no caso. Mas estes quatro n´s azuis constituem uma classe lateral a direita o ` de H. as setas vermelhas o e levam os quatro n´s amarelos nos quatro n´s azuis. Assim. os diagramas de Cayley de grupos abelianos possuem uma estrutura peculiar: eles podem ser dispostos em uma malha 16 . 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. as setas vermelhas indicam que a multiplica¸˜o a esca ` querda pelo elemento (1 3 2) faz e. e Esta ultima figura nos diz visualmente que o grupo de Klein V4 ´ um ´ e subgrupo normal de A4 . agrupando-as de uma maneira conveniente. a ` mostrando ent˜o que H ´ um subgrupo normal de A4 . too o dos os quatro n´s azuis s˜o levados nos quatro n´s vermelhos que. as quatro setas vermelhas saindo dos quatro n´s amarelos indicam que estamos chegando em uma o classe lateral a esquerda de H. Assim. fechando o ciclo. por o a o sua vez. portanto.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. Com o programa. s˜o levados nos quatro n´s amarelos. por conta deste teorema.

uma rela¸˜o que ´ verdadeira ca e −1 e em S3 ´ f rf = f . Por exemplo. 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 . Uma rela¸˜o entre os geradores ´ uma equa¸˜o envolvendo produtos dos geca e ca radores ou de seus inversos.retangular. escreva pelo menos 5 rela¸˜es entre os geradores do grupo. onde as setas se encontram em angulos retos (com exce¸˜o das ˆ ca setas que “fazem a volta”). 17 . 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.

e o diagrama conecta o elemento x ao elemento y com uma seta vermelha. Se vocˆ seguir a mesma c e sequˆncia de setas. de fato. x e y? [07] Considere um grupo contendo os elementos a e b que satisfazem a rela¸˜o ca abbab = e. qual ´ a equa¸˜o que podemos e ca escrever envolvendo a. mas come¸ando do elemento b. mas cujos subgrupos pr´prios o [11] Existe um grupo finito que n˜o ´ c´ sejam todos c´ ıclicos? Em caso afirmativo. Se vocˆ escolher um n´ ao acaso no diagrama de Cayley. demonstre e porque um tal grupo n˜o existe. b. ent˜o b novamente. n˜o-abeliano. ent˜o a e. em caso negativo. 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. 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. dˆ um exemplo usando o e programa e. escreva como vocˆ pode verificar (no diaa e grama) que o grupo ´. por ultimo. [12] Existe um grupo c´ ıclico com somente quatro geradores? Em caso afirmativo. 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. em caso negativo. 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. e o seguir a seta que corresponde ao elemento a. Por quˆ? e 18 . eles n˜o s˜o isomorfos. dˆ um exemplo usando o programa e. ent˜o seguir a seta que a corresponde ao elemento b. neste papel.[04] Imprima uma c´pia em papel do diagrama de Cayley do “menor” grupo o n˜o-abeliano e. onde vocˆ terminar´? e c e a a e ıclico.

encontre a e um contra-exemplo para a rec´ ıproca do teorema de Lagrange). a de um subgrupo H de G e um elemento a em G tal que a interse¸˜o ca −1 ıvel. prove-a. Encontre um exemplo de um grupo G. 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. Q e D4 serem grupos de mesma ordem (8). [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. eles n˜o a isomorfos. Z2 × Z4 . Por quˆ? e [15] Apesar de Z8 . 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. prove-a. em seguida. em caso negativo. 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 ´. Por quˆ? a e a [16] Apesar de Z10 e D5 serem grupos de mesma ordem (10). Explique. demonstre e porque um tal grupo n˜o existe. [24] Como vocˆ deve saber. 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. o grupo de simetrias do tetraedro regular ´ o e e grupo A4 . Z2 × Z2 × Z2 . 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. em caso negativo. e demonstre porque um tal grupo n˜o existe. prove-a.[14] Apesar de Z6 e S3 = D3 serem grupos de mesma ordem (6). dˆ um exemplo usando o programa e. em seguida. eles n˜o isomorfos. dˆ um exemplo usando o programa e. [22] Seja H um subgrupo de G. a [21] Seja H um subgrupo de G. [19] Existe grupo n˜o-abeliano cujos subgrupos sejam todos abelianos? Em a caso afirmativo. em seguida. eles n˜o isomorfos. apenas olhando para o tetraedro regular. a e 19 . porque seu grupo de simetrias n˜o ´ todo S4 .

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

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->