Você está na página 1de 125

Estruturas

Algbricas I

Natanael Oliveira Dantas

So Cristvo/SE
2009
Estruturas Algbricas I
Elaborao de Contedo
Natanael Oliveira Dantas

Projeto Grfico e Capa


Hermeson Alves de Menezes

Copyright 2009, Universidade Federal de Sergipe / CESAD.


Nenhuma parte deste material poder ser reproduzida, transmitida e grava-
da por qualquer meio eletrnico, mecnico, por fotocpia e outros, sem a
prvia autorizao por escrito da UFS.

FICHA CATALOGRFICA PRODUZIDA PELA BIBLIOTECA CENTRAL


UNIVERSIDADE FEDERAL DE SERGIPE

Dantas, Natanael Oliveira


Estruturas Algbricas I/ Natanael Oliveira Dantas --
So Cristvo: Universidade Federal de Sergipe,
CESAD, 2009.
Presidente da Repblica Chefe de Gabinete
Luiz Incio Lula da Silva Ednalva FreireCaetano

Ministro da Educao Coordenador Geral da UAB/UFS


Fernando Haddad Diretor do CESAD
Itamar Freitas
Secretrio de Educao a Distncia
Carlos Eduardo Bielschowsky Vice-coordenador da UAB/UFS
Vice-diretor do CESAD
Reitor Fbio Alves dos Santos
Josu Modesto dos Passos Subrinho
Coordenador do Curso de Licenciatura
Vice-Reitor em Matemtica
Angelo Roberto Antoniolli Hassan Sherafat

Diretoria Pedaggica Ncleo de Tecnologia da


Clotildes Farias (Diretora) Informao
Hrica dos Santos Matos Fbio Alves (Coordenador)
Arthur Lzaro da Silva Machado
Diretoria Administrativa e Financeira Joo Eduardo Batista de Deus Anselmo
Edlzio Alves Costa Jnior (Diretor) Lucas Barros Oliveira
Marcel da Conceio Souza
Ncleo de Servios Grficos e Michele Magalhas de Menezes
Audiovisuais
Giselda Barros Ncleo de Formao Continuada
Andrezza Maynard (Coordenadora)
Ncleo de Tutoria Elisabete Santos
Rosemeire Marcedo Costa (Coordenadora)
Carla Darlem Silva dos Reis Assessoria de Comunicao
Amanda Mara Steinbach Guilherme Borba Gouy
Lus Carlos Silva Lima
Rafael de Jesus Santana

NCLEO DE MATERIAL DIDTICO


Hermeson Menezes (Coordenador) Jssica Gonalves de Andrade
Jean Fbio B. Cerqueira (Coordenador) Lara Anglica Vieira de Aguiar
Baruch Blumberg Carvalho de Matos Luclio do Nascimento Freitas
Christianne de Menezes Gally Luzileide Silva Santos
Edvar Freire Caetano Neverton Correia da Silva
Fabola Oliveira Criscuolo Melo Nycolas Menezes Melo
Gerri Sherlock Arajo Pricles Morais de Andrade Jnior
Isabela Pinheiro Ewerton Tas Cristina Samora de Figueiredo
Tatiane Heinemann Bhmer

UNIVERSIDADE FEDERAL DE SERGIPE


Cidade Universitria Prof. Jos Alosio de Campos
Av. Marechal Rondon, s/n - Jardim Rosa Elze
CEP 49100-000 - So Cristvo - SE
Fone(79) 2105 - 6600 - Fax(79) 2105- 6474
Sumrio
AULA 1
A estrutura de domnio ordenado dos nmeros inteiros ..................... 01

AULA 2
Algortmo da diviso e Mximo Divisor Comum ................................. 07

AULA 3
Fatorao nica e congruncias ....................................................... 14

AULA 4
O conceito de grupo .......................................................................... 21

AULA 5
Grupos quocientes ............................................................................ 28

AULA 6
Homomorfimos de grupos ................................................................. 35

AULA 7
Mais sobre o grupo simtrico ............................................................ 42

AULA 8
P-Grupos e o Teorema de Cauchy .....................................................49

AULA 9
Os teoremas de Sylow ...................................................................... 55

AULA 10
O conceito de anel..........................................................................61
Aula 01
A ESTRUTURA DE DOMNIO ORDENADO DOS N-
MEROS INTEIROS

META

Discutir as principais propriedades da estrutura de domnio bem ordenado dos n-


meros inteiros.

OBJETIVOS

Ao final desta aula, o aluno dever:

Aplicar as propriedades da estrutura de domnio dos inteiros na demonstrao de


outras proposies decorrente destas.

Aplicar o princpio de induo na resoluo de problemas referentes a nmeros


naturais.

PR-REQUISITOS

O pr-requisito para esta aula o curso de Fundamentos de Matemtica. Portan-


to, disponibilize as aulas impressas desta disciplina e as consulte sempre que
voc necessite.

1
INTRODUO

Seja bem-vindo, prezado aluno! Esta aula o incio da nossa jornada rumo ao universo
das estruturas algbricas.Tradicionalmente, a matemtica divide-se em trs grandes reas: a l-
gebra, a Anlise e a Geometria/Topologia. Entretanto, tal tricotomia est cada vez mais se
descaracterizando tanto pelo aparecimento de outros segmentos que no se encaixam unica-
mente em uma destas quanto pela necessidade de novas tcnicas. Outro fator a interface en-
tre reas dando origem a novas teorias. Por exemplo, topologia algbrica a interface entre l-
gebra e topologia. importante que voc, futuro professor, tenha uma boa preparao em
cada uma destas reas e, este o primeiro dos dois cursos de lgebra dos currculos dos cur-
sos de Matemtica da UFS.

A palavra lgebra vem de um manuscrito rabe de cerca de 800 a.C., que estabelece leis
para a resoluo de equaes e, at a segunda metade do sculo XIX, a lgebra era vista ape-
nas como uma teoria de equaes. Atualmente, a lgebra mais do que isto; trata-se da rea da
Matemtica que lida com conjuntos munidos de operaes e relaes formais chamados estru-
turas algbricas. uma coleo de modelos abstratos provindos at mesmo de outras reas da
Matemtica e cincias afins.

Os objetos da lgebra so classificados de acordo com os tipos de operaes que neles


podem ser efetuadas e pelas propriedades das quais gozam tais operaes. Grupos, anis, ide-
ais, espaos vetoriais, mdulos e corpos so exemplos de como um conjunto pode ser estrutu-
rado algebricamente.

Em regra, um primeiro curso de lgebra trata das estruturas de grupos e anis. Deste
modo, so estes os contedos presentes neste curso. Nas trs primeiras aulas apresentaremos
informalmente os nmeros inteiros e discutiremos suas primeiras propriedades. Tal aborda-
gem servir de modelo no estudo de grupos e anis.

A ESTRUTURA DE DOMNIO DOS INTEIROS

No conjunto dos inteiros esto definidas a adio e a multiplicao. Tais operaes sa-
tisfazem as seguintes propriedades:

i) Associativa da adio. , .

ii) Comutativa da adio. , .

iii) Existncia do elemento neutro para a adio. Existe em , o zero, tal que ,
para todo

iv) Existncia do oposto. Para cada existe tal que .

2
v) Distributiva da multiplicao em relao adio. , e
.

vi) Associativa da multiplicao. .

vii)Comutativa da multiplicao. .

viii) Existncia do elemento neutro para a multiplicao. Existe em , o um, , tal que,
, para todo .

ix) Integridade. Se e ento ou .

Futuramente, na aula 10, estudaremos os anis que so estruturas algbricas das quais o
conjunto dos nmeros inteiros munido das operaes adio e multiplicao verificando s
cinco primeiras propriedades aqui exibidas, um exemplo. Os inteiros munidos destas opera-
es verificando s oito primeiras propriedades chamado um anel comutativo com identida-
de e como verifica tambm a nona chamado um domnio de integridade.

Definio 1. Nos inteiros, definimos a diferena entre dois elementos , (nesta ordem),
como sendo o inteiro .

Decorrem da estrutura de domnio de integridade dos inteiros as propriedades contidas na

Proposio 1.

i) Os elementos neutros 0 e 1 so nicos.

ii) Cada inteiro tem um nico oposto.

iii) .

iv) .

Demonstrao. i) Se existissem tais que para cada ento,


em particular, teramos

e e da comutatividade da adio, . Portanto, o elemento neutro


da adio nico.

A demonstrao da unicidade do elemento neutro da multiplicao anloga , feita aci-


ma e deixaremos como atividade.

ii) Dado , suponhamos que existam tais que . Podemos es-


crever: donde segue a
unicidade.

3
iii) Dado notemos que . segue que e
tm o mesmo oposto logo, donde temos
que .

iv) Vamos provar que . Com efeito, notemos que


. Segue que um oposto de . Da uni-
cidade do oposto, temos que .

O caso semelhante e deixaremos como atividade.

A BOA ORDENAO DE .

Em existem a relao de ordem total e o conceito de valor absoluto , que admiti-


remos com suas propriedades bsicas visando estabelecer resultados futuros. Neste sentido va-
mos assumir inicialmente o principio da boa ordem.

Principio da boa ordem: Todo subconjunto no vazio de de elementos no negativos


possui elemento mnimo.

Exemplo 1. Para , .

Proposio 2. No existe inteiro tal que .

Demonstrao: Suponhamos que exista um inteiro tal que . Ento o conjunto


no vazio e do princpio da boa ordem existe .
Como segue que donde temos que , contradizendo a
minimalidade de .

Proposio 3. (Induo 1 forma) Seja uma sentena aberta sobre para a qual valem:

i) verdadeira;

ii) Se verdadeira ento verdadeira.

Portanto, verdadeira para todo pertencente a .

Demonstrao: Seja o conjunto dos inteiros no negativos para os quais seja falsa, e
suponhamos que . Do princpio da boa ordem existe . Segue de i) que
, isto implica que donde segue que verdadeira. Finalmente
por ii) temos que o que uma contradio. Portanto e a de-
monstrao est concluda.

4
Proposio 4. (Princpio de induo 2 forma). Seja uma sentena aberta para a qual va-
lem:

i) verdadeira;

ii) Para cada verdadeira para implica verdadeira.

Ento verdadeira para todo .

Demonstrao: Se esta proposio no fosse verdadeira, ento existiriam uma sentena aberta
sobre , verificando i) e ii) e um para a qual seria falsa. Supondo o menor na-
tural com tal propriedade, ento e com , seria verdadeira. Por
ii), seria verdadeira, uma contradio.

Observao: No difcil perceber que nas proposies 6 e 7, o domnio da sentena abertas


pode ser um conjunto do tipo onde um inteiro pr-fixado.

Definio 2. Dados a potncia de base e expoente , pondo

Exemplo 2.

Exemplo 3. Para cada , vamos usar o princpio de induo para provar que
. Notemos que para , temos e, a expresso
verdadeira. Admitamos agora, por hiptese, que para a expresso acima verdadeira e,
vamos provar que isto implica na veracidade da expresso para . Com efeito,

. Portanto, a expresso acima verdadeira .

5
Exemplo 4. Usando induo, vamos provar que .
Para tal, caro aluno, vamos escolher um entre e , para usar induo, digamos e fixar a e
(embora arbitrrios). Com efeito, para , temos e .
Logo , ok! Suponhamos agora, por hiptese que e vamos
olhar para . Ora, por definio, , logo,

Resumindo: para e arbitrrios, a propriedade vlida para e ser vlida


para implica ser vlida para . Logo do princpio de induo vlida . Sendo
e arbitrrios, podemos concluir que a mesma verdadeira.

Definio 3. O domnio , numido da relao de ordem total para a qual vale o princi-
pio da boa ordem d a uma estrutura algbrica chamada, domnio bem ordenado.

RESUMO

Nesta primeira aula, aprendemos as primeiras propriedades dos nmeros inteiros onde
discutimos sua estrutura de domnio ordenado onde apresentamos os princpios da boa ordem
e de induo que sero pr-requisitos fundamentais das prximas aulas.

ATIVIDADES

1. Provar que a nica soluo em da equao, , na varivel .

2. Provar que, em , as nicas solues da equao so .

3. Provar que

4. Usando o princpio de induo, provar que:

a) .

b) .

COMENTRIOS DAS ATIVIDADES

6
Caro aluno, se voc aprendeu as propriedades da estrutura de domnio dos inteiros em
especial a existncia e unicidade do oposto de cada inteiro e integridade ento voc resolveu
corretamente as primeira e segunda atividades.

Na terceira atividade voc deve ter usado o item iv) da proposio 1.

Na quarta atividade, para resolv-la, voc deve ter aplicado indiretamente algumas das
nove propriedades da estrutura de domnio e ter aprendido que na aplicao do princpio de
induo, testa-se a veracidade da sentena aberta no primeiro elemento do conjunto, assume
que a mesma verdadeira para um elemento genrico do conjunto e com esta hiptese justifi-
ca que a mesma verdadeira tambm para o sucessor deste elemento, concluindo finalmente
que a sentena verdadeira para todos os elementos do conjunto em apreo.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p.
(Projeto Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

HEFEZ, Abrumo. Curso de lgebra, Vol. I Coleo matemtica Universitria.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA,
2005. 326 p. (Srie: Projeto Euclides).

7
Aula 02
ALGORITMO DA DIVISO E MXIMO DIVISOR CO-
MUM

META

Apresentar o algoritmo da diviso e estabelecer o conceito de mximo divisor co-


mum.

OBJETIVOS

Definir a relao de divisibilidade em .

Aplicar as propriedades da relao de divisibilidade.

Efetuar divises com resto pequeno em .

Resolver problemas que envolvam o conceito de mximo divisor comum de inteiros.

Calcular o mximo divisor comum de dois inteiros usando o algoritmo de Euclides.

PR-REQUISITOS

O curso de Fundamentos de Matemtica e a primeira aula.

7
INTRODUO

Ol! Que bom encontramos novamente! Espero que voc tenha gostado e entendido a nos-
sa primeira aula. Nela estudamos a estrutura de domnio ordenado dos inteiros onde discutimos
vrias das suas propriedades.

Nesta aula, daremos continuidade ao estudo destes nmeros onde o resultado central o al-
goritmo da diviso. Estabelecemos tambm o conceito de mximo divisor comum de inteiros
cuja existncia uma conseqncia imediata do algoritmo da diviso.

A RELAO DE DIVISIBILIDADE E O ALGORITMO DA DIVISO

Definio 1. Dados , dizemos que divide se existe um inteiro tal que . Di-
zemos tambm que um divisor de e ainda, que um mltiplo de .

Escrevemos: .

Assim, tal que

Indicamos a negao de que divide escrevendo .

Exemplo 1. , pois existe tal que .

Proposio 1. So verdadeiras:

i) .

ii) Se e ento .

iii) Se e ento .

iv) Se ento .

v) Se ento .

vi) Se e ento .

Demonstrao: Os itens i,ii e iii fazer como atividade.

iv) Existem tal que , logo,


.
Como um inteiro segue que .

v) tal que tal que . Assim,


. Temos ento ou . No
primeiro caso, e no segundo, .

8
vi) Como temos que e existe positivo, tal que
, logo .

Proposio 2. (Algoritmo da diviso). Sejam sendo . Existem nicos


tais que e .

Demonstrao: Vamos supor inicialmente que . Para isto, consideremos o conjunto de n-


meros inteiros . Ento, no vazio ( e do princ-
pio da boa ordem existem e tais que . Ou melhor, existem
tais que e . Alm disto, , pois se assim no fosse, teramos
e , contrariando a minimalidade de .
Quanto s unicidades de e ; suponhamos que existam tais que
e . Ento e .

Se , temos donde segue que . Analoga-


mente, se , e como segue que . Portanto e
conseqentemente, .

Finalmente, se , temos e da primeira parte existem nicos tal


que e . Tomando e , temos a demonstrao, conclu-
da.

Exemplo 2. Para e , o nico par de inteiros que verifica o algoritmo da diviso


e .

Os inteiros , referidos no algoritmo da diviso so chamados, respectivamente, divi-


dendo, divisor, quociente e resto. A operao que associa a cada par o par chama-
da diviso e, quando dizemos que a diviso exata.

O MXIMO DIVISOR COMUM

Apesar de nem sempre ser possvel dividir um inteiro por outro, de modo exato, o algorit-
mo da diviso nos garante em , uma diviso. Esta propriedade implica em resultados algbricos
notveis e, o primeiro deles a existncia do mximo divisor comum que discutiremos agora.

Definio 2. Seja um subconjunto no-vazio de . Dizemos que um ideal se cumpre s se-


guintes condies:

i)

ii) .

Notamos que .
9
Se , por ii, e, por i, .

Os conjuntos e so evidentemente ideais.Estes ,so chamados os ideais triviais de


.

Exemplo 3. Seja e seja o conjunto de todos os mltiplos de


. Este conjunto um ideal de , chamado ideal principal gerado por . Com efeito, fcil
ver que a diferena entre dois mltiplos de o produto de um inteiro por um mltiplo de ,
so mltiplos de .

Observao: comum usar as notaes para indicar o ideal .

Exemplo 2.2.4: Sejam . O conjunto


um ideal, chamado ideal gerado por
.

Sejam , ento, existem tais que


, logo,
e como cada para
inteiro, segue que .

Se e ento
e como cada para inteiro segue
que .

A proposio a seguir estabelece que todo ideal de , na verdade, o conjunto de mltiplos


de algum inteiro.

Proposio 3. Todo ideal de principal.

Demonstrao: Seja um ideal no nulo. Evidentemente e do principio da boa


ordem existe .

Afirmamos: . Com efeito, pois . Seja a um elemento arbitrrio


em , do algoritmo da diviso existem tais que e .

Sendo , temos . Como segue


que e, .

Portanto, , como queramos demonstrar.

Definio 3. Dados , no todos nulos, o mximo divisor comum de


, por definio, o maior dos divisores comuns de .
10
Denotamos: .

Proposio 4. Sejam no todos nulos. Ento o o gera-


dor positivo do ideal .

Demonstrao: Seja tal que . Como, para cada ,


, segue que e conseqentemente um divisor
comum de .

Seja um outro divisor comum de . Como, existem


tais que (esta relao conhecida como for-
ma linear do mximo divisor comum). Desta relao segue que e . Logo,
.

Observao: A proposio acima garante que dados quaisquer no todos nulas


existe sempre o e, na sua demonstrao vimos tambm que a equao dio-
fantina (equao algbrica que tem como universo de solues nmeros inteiros)
, tem soluo.

Definio 4. Se no so todos nulos e , dizemos que


so relativamente primos, primos entre si ou ainda, coprimos.

Exemplo 5. Se so inteiros para os quais existem tais que


ento esses inteiros so relativamente primos. Com efeito, notemos pri-
meiro que no podem serem todos nulos, portanto, existe tal que
. Mas, da definio , logo,
, isto , donde conclumos que .

Exemplo 6. Se , desde que existam, . Escrevendo


e , vamos provar que e que e, como estamos tratando
de nmeros positivos concluiremos que ! Como temos que ou seja .
Logo, . Analogamente, . Isto implica que e isto implica, ainda, que .
Como temos que .

Proposio 2.2.5. (Algoritmo de Euclides para o clculo do mdc). Sejam com .


Sejam sucessivas divi-
ses tais que . Ento .

Demonstrao: Segue do exemplo anterior que

11
RESUMO

Nesta aula, estabelecemos o algoritmo da diviso, definimos o mximo divisor de dois ou


mais inteiros e demonstramos a existncia do mximo divisor comum como conseqncia do al-
goritmo da diviso.

ATIVIDADES

1. Sejam tais que par. Provar que tambm par.

2. Ache tais que , e .

3. Se so tais que um mltiplo de , prove que tambm o .

4. Prove que para todo inteiro positivo :

a) .

b) .

5. Determine tais que e .

6. Dados , , prove que existem nicos tais que e


.

7. Sejam . Prove que .

8. Sejam e suponha que existem tais que . Provar que


.

9. Se so tais que e , prove que e tm


paridades diferentes e que impar.

10. Sejam . Defina como sendo o menor mltiplo comum


positivo de e . Se , prove que .

11. Use o algoritmo de Euclides para calcular .

COMENTRIOS DAS ATIVIDADES

12
Caro aluno, se voc fez a primeira e segunda atividade, ento entendeu a relao de divisibi-
lidade. Quanto terceira atividade, conseguiu? Ento, alm de entender a relao de divisibilidade
voc foi capaz de escrever como sendo o produto e usando a
hiptese de que , concluir que .

Se voc fez a quarta atividade, ento voc ou usou o principio de induo em ou usou
mais uma vez uma fatorao de tipo
.

Quanto as quinta e sexta atividades, voc deve ter usado fortemente, o algoritmo da diviso.

Se voc resolveu as stima e oitava atividades ento, usou a definio de mximo divisor co-
mum e deve ter usado o fato de que se ento .

Na nona atividade, voc deve ter notado que quadrado preserva a paridade e que soma de
inteiros de mesma paridade par.

Na dcima atividade se voc conseguiu faz-la, deve ter usado preliminarmente que
e depois que divide todos os mltiplos comuns de e .

Finalmente, a dcima primeira atividade uma aplicao direta do algoritmo da diviso e


voc no deve ter tido nenhuma dificuldade nesta atividade.

Se voc no conseguiu resolver alguma destas atividades, reveja os contedos discutidos na


aula e lembre-se que os tutores esto disponveis para ajudar a tirar suas dvidas.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

HEFEZ, Abrumo. Curso de lgebra, Vol. I Coleo matemtica Universitria.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

13
Aula 03
FATORAO NICA E CONGRUNCIAS
META

Apresentar a estrutura de domnio fatorial e estabelecer o conceito de congruncia


em .

OBJETIVOS

Definir nmero inteiro primo bem como reconhecer suas propriedades bsicas.
Aplicar o teorema fundamental da Aritmtica na demonstrao de propriedades rela-
tivas fatorao em .
Definir congruncia e aplicar, mas propriedades na resoluo de problemas de Arit-
mtica.

PR-REQUISITOS

O curso de Fundamento de Matemtica e os contedos discutidos nas duas primei-


ras aulas.

14
INTRODUO

Ol, caro aluno! Estamos aqui, mais uma vez. Espero que voc tenha compreendido todos
os contedos discutidos nas aulas anteriores, pois a compreenso desta aula e de diversos tpicos
das aulas futuras depende do conhecimento desses contedos.
Dividimos esta aula em duas partes onde, na primeira discutiremos a estrutura de domnio
fatorial dos inteiros, definindo nmero primo e estabelecendo suas primeiras propriedades. Na
segunda parte, estabeleceremos a relao da congruncia em , apresentando as propriedades da
divisibilidade de um modo bastante simples. Finalizaremos a aula, aproveitando o fato da relao
de congruncia ser uma relao de equivalncia em e apresentando a estrutura de anel comuta-
tivo das classes residuais.

FATORAO NICA

Definio 1. Dizemos que um inteiro primo se e toda vez que divide um


produto ele divide um dos fatores.
Exemplo 1. O inteiro no primo. Notemos que embora , divide ,
no divide 3 e nem divide . O nmero primo, pois e sempre que com
e inteiros, ou mltiplo de .
Proposio 1. Seja -1,0,1}. Uma condio necessria e suficiente para que seja primo
que seu conjunto de divisores seja .
Demonstrao: (Suficincia). Sejam com primo e . Segue que , logo,
. Se , existe tal que e neste caso temos que implica
e conseqentemente e . Se, , analogamente existe tal que
e donde temos e . Portanto, o conjunto dos divisores de
.
(Necessidade). Suponhamos que o conjunto dos divisores de seja e que
onde . Vamos provar que . Com efeito, se , do fato de que os nicos
divisores de so e p e que , temos que . Logo existem
tais que e por conseguinte, .como e segue
que .
Observao: Notemos que todo admite como divisores. Estes so os chama-
dos divisores triviais de . Se e no primo alm dos divisores triviais, tem outros
divisores, chamados divisores prprios.
Exemplo 2. Os divisores de so e . Os nmeros e so os
divisores prprios de .
Um inteiro no nulo que tem divisores prprios comumente chamado composto.
Proposio 2. (Teorema fundamental da Aritmtica). Todo inteiro Pode ser escrito na
forma

onde e so inteiros primos positivos no necessariamente distintos. Alm


disto, a expresso , a menos da ordem dos fatores nica.
Demonstrao: Vamos inicialmente provar a existncia da expresso , usando induo em .
Para ; temos e ou seja ok!
Seja e suponhamos que , , passar ser escrito como um
produto de primos e, usando este fato, vamos provar que o mesmo acontece com . Se pri-
mo ok! ( e, se no primo, existem , com e

15
. Como por hiptese de induo podem ser escrito na forma , segue que
tambm pode. Portanto, todo inteiro maior do que pode ser escrito na forma .
Quanto unicidade, dado , suponhamos que

Onde e so inteiros primos positivos, no necessariamente distintos.


Vamos provar que e que aps uma reordenao (se necessrio), . Com
efeito, como primo e segue que tal que (como ativida-
de, usando a definio de primo e induo, prove isto). Aps uma reordenao (se necessria),
podemos supor que e da expresso temos que

Sendo primo e como , segue que para algum .


Como antes, podemos assumir e a expresso nos leva a

Prosseguindo de modo anlogo e supondo, que ,chegaremos expresso

que , um absurdo, pois nenhum primo divide . Portanto, .


Tambm, se fosse , de , chegaramos a uma expresso do tipo

o que seria absurdo.


Portanto, e, menos da ordem dos fatores, , como queramos
demonstrar.
Observao: fcil ver que no teorema fundamental da Aritmtica, poderamos ter tomado
e escrito
onde so primos positivos ou negativos, no necessariamente distintos.
Para , a expresso

Onde so primos positivos tais que e so intei-


ros positivos, chamada fatorao cannica em primos positivos do inteiro .
Vimos aqui que do ponto de vista da divisibilidade, os nmeros primos so bastante simples,
tm apenas quatro divisores e o teorema fundamental da Aritmtica afirma que a menos de multi-
plicao por e ordem dos fatores, todo inteiro pode ser escrito como um produto de
nmeros primos. Uma pergunta que voc, caro aluno, pode fazer a seguinte; para gerar todos os
inteiros , atravs de produtos precisamos de quantos nmeros primos? Esta resposta
dada pela seguinte
Proposio 3. O conjunto dos nmeros primos infinito.
Demonstrao: Vamos, por absurdo, supor que o conjunto dos nmeros primos positivos seja fi-
nito. Digamos
e construamos o inteiro . Do teorema fun-
damental da Aritmtica existe um tal que e como segue que (pois
). Temos ento um absurdo. Portanto existem infinitos primos positivos e
conseqentemente, infinitos inteiros primos.
Observao. Os nmeros primos at hoje um contedo bastante estudado pelos matemticos,
por exemplo, a distribuio dos primos to irregular que voc pode encontrar dois primos m-
pares consecutivos e dado um natural , qualquer, a seqncia de inteiros consecutivos
fornada apenas por inteiros compostos.
Dado um inteiro cujo numeral indo-arbico tem muitos algarismos, decidir se o inteiro pri-
mo ou no at hoje uma tarefa bastante difcil.

16
CONGRUNCIAS

Definio 1. Seja . Dizemos que os inteiros e so congruentes mdulo se


um mltiplo de e escrevemos
Exemplo 1. , , .
Notemos que .
Negamos escrevendo (neste caso, ).
Proposio 1. Dados e , so equivalentes:
i)
ii) Os inteiros e quando divididos por deixam o mesmo resto.

Demonstrao: iii. Existem tais que e

. Segue que
.
Como temos que . Do fato de que , segue que
e como conseqncia temos ou .

iii. Existem com tais que e . Ento

, ou seja, .

Exemplo 2. Como seguem que e quando divididos por deixam


o mesmo resto: e .

Proposio 2. Sejam sendo . Valem:


i) .
ii)
iii)
iv)
v)
vi)

Demonstrao:
i)
ii)
iii) .
iv) Como temos que ou seja, .
v) Novamente, , logo existe tais que
tal que
, ou seja .

17
vi) Notemos que como segue que
, ou seja, .

Exemplo 3. Vamos determinar o resto da diviso de por . Notemos que


. Isto implica que ou seja, que
. Como segue que . Assim,
quando divididos por deixam o mesmo resto que evidentemente, . Este exemplo mostra
que a relao de congruncia torna as propriedades da divisibilidade facilmente manipulveis tor-
nando menos trabalhoso este tipo de clculo.
Notemos que os itens i), ii) e iii) da proposio anterior mostraram que a relao de con-
gruncia mdulo um inteiro positivo uma relao de equivalncia no conjunto dos nmeros
inteiros.
Dados e , a classe de mdulo esta relao de congruncia, cha-
mada classe residual de mdulo e indicamos por . Indicamos o conjunto quociente (des-
tas classes) por .

Proposio 3. Para cada , onde a cardinalidade de .

Demonstrao: Dado , do algoritmo da diviso existem tais que e


. Segue daqui que , ou seja, que . Isto mostra que
.
Agora, sejam . Se ento de modo que
e lembrando que , segue que . Portanto tem exata-
mente classes residuais.
Vamos definir em , duas operaes uma adio e uma multiplicao pondo:
.

Proposio 4. As operaes de em de adio e multiplicao estabelecidas acima es-


to bem definidas. Ou seja, no dependem dos representantes das classes.

Demonstrao: sejam e . Ento e b . Ento


donde temos que .

Proposio 5. As operaes de adio e de multiplicao acima definidas no conjunto verifi-


cam s seguintes propriedades:
i)
ii)
iii) tal que
iv) tal que
v)
vi)
vii)
viii) tal que

Demonstrao: (ser deixada como atividade)


Comentrio munido das oito propriedades acima um dos primeiros exemplos
dos anis comutativos finitos que estudaremos futuramente.

18
RESUMO

Caro aluno, nesta terceira aula discutimos inicialmente o conceito de nmero primo onde
demonstramos o teorema fundamental da Aritmtica e como primeira conseqncia deste teore-
ma conclumos que existem infinitos nmeros primos. Por fim, estabelecemos o conceito de con-
gruncia que uma forma simples de apresentar propriedades da divisibilidade. Usando a relao
de congruncia em exibimos os anis conhecidos tambm como os anis das classes de res-
tos, construindo com isto um dos primeiros exemplos de anis finitos, terminando com esta aula
o estudo dos nmeros inteiros necessrio na composio dos pr-requisitos para as aulas futuras.

ATIVIDADES

1. Sejam eb onde so primos posi-


tivos distintos e . Se e
prove que e

2. Seja , um nmero mpar. Prove que ou .

3. Sejam onde Prove que se ento


.

4. Sejam tais que ou no nulo. Prove que a equao diofantina


tem soluo se, e somente se, . Se uma soluo, prove que todas as outras
podem ser postas na forma , onde .

5. Encontre todos os tais que.


a) .
b) .

6. Seja um primo e um inteiro. Prove que um mltiplo de .

7. Prove que, se primo ento , .

8. Prove que o conjunto ;


primo e infinito. Sugesto: negue
esta afirmao exibindo e o nmero . Observe que, pro-
duto de nmeros do tipo tambm deste tipo.

COMENTRIOS DAS ATIVIDADES

Na primeira atividade, voc, caro aluno, deve ter notado que se um primo divide
, ento, por transitividade o mesmo deve dividir tambm e . Alm disto, sen-
do se outro divisor comum de e ento . Segue que a ordem (expo-
ente) de em deve ser a mnima entre as ordens de em e em . Quanto ao mnimo mlti-
plo comum, cada primo divisor deste, deve ser um divisor de ou de . Alm disto, voc deve
ter lembrado que qualquer outro mltiplo comum de e tambm mltiplo do
ogo todo primo divisor do deve ter ordem igual maior das ordens de em e em

19
Na segunda atividade, voc deve ter notado que o resto da diviso de por deve ser ou
e que .

Na terceira atividade, voc deve ter observado que e como o


, o resultado imediato.

Na quarta atividade, se uma soluo ento voc deve ter percebido facilmente que
mdc .. Reciprocamente, se divide c,ento existe
tal que donde temos que e
uma soluo da equao

Por outro lado, supondo que uma soluo, substituindo diretamente na equao
por e por para cada voc deve ter visto claramente que se trata de
uma soluo. Finalmente, usando o fato de que e so duas solues da equao
foi fcil obter um tal que

Na quinta atividade item , voc no deve ter tido dificuldades se notou que esta congrun-
cia equivalente equao no anel onde temos que
ou seja . No item , temos ou equivalentemente,
.

Na sexta atividade, voc, caro aluno, deve ter notado que para , os fatores de e
de so menores do que .

Na stima atividade, voc deve ter usado o desenvolvimento do binmio de Newton e apli-
cado a stima atividade.

Na oitava atividade ns j sugerimos uma opo para a soluo e esperamos que voc tenha
desenvolvido com xito.
Lembramos sempre que os tutores esto disponveis.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

HEFEZ, A. Curso de lgebra, Vol. I, Coleo Matemtica Universitria.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

20
Aula 04
O CONCEITO DE GRUPO

META

Apresentar o conceito de grupo, as primeiras definies e diversos exemplos.

OBJETIVOS

Definir e exemplificar grupos e subgrupos.

Aplicar as propriedades dos grupos na resoluo de problemas.

Reconhecer grupo cclico.

Reconhecer o grupo de permutaes e seus subgrupos.

PR-REQUISITO

O curso de Fundamentos de Matemtica e as propriedades dos nmeros inteiros es-


tudados nas aulas anteriores.

INTRODUO
21
Estamos de volta para mais uma aula. Esperamos que voc tenha gostado do contedo estu-
dado nas trs aulas anteriores. Nesta aula, vamos comear de fato o que conhecido como lge-
bra abstrata.

A teoria dos grupos embora tenha sido inicialmente estudada por matemticos, no inicio do
sculo XX os fsicos usando argumentos desta teoria fizeram descobertas importantes sobre a es-
trutura dos tomos e das molculas em Mecnica Quntica.

Hoje a teoria dos grupos aplicvel em outras reas tanto das cincias afins quanto em ou-
tras da Matemtica.

Dentro das estruturas algbricas, os grupos tm uma das estruturas mais simples e, portanto,
mais geral. Vamos em frente!

CONCEITO DE GRUPO

Definio 1. Definimos grupo como sendo todo par onde um conjunto no vazio e

uma operao binria em verificando s seguintes propriedades.

i)Associativa, .

ii) Existncia do elemento identidade. Existe tal que .

iii) existncia do inverso. Para cada , existe tal que .

Em geral, com o intuito de simplificar notao escrevemos apenas em vez de .

Se e so elementos identidades de um grupo, ento donde podemos


concluir que o elemento identidade nico.

Para cada elemento a, num grupo , se existem e no grupo inversos de , ento

Donde temos tambm que o inverso de cada elemento nico. Denotamos o inverso

de por .

22
Quando num grupo alm das trs propriedades exibidas na definio se unifica a proprie-
dade:

iv) , dizemos que abcliano (ou comutativo).

Quando a operao for uma adio (simbolizada por +) dizemos que um grupo

aditivo. Neste caso indicamos a identidade por e o inverso de cada por . Os grupos
aditivos so sempre abelianos.

Quando o conjunto finito, dizemos que um grupo finito, no caso contrrio dize-

mos que um grupo infinito.

Definio 4.2.2. Definimos a ordem de um grupo como sendo a cardinalidade do conjunto

. Indicamos: .

Obviamente, temos grupos finitos (nestes a ordem um inteiro positivo) e grupos infinitos.

Exemplo 1. um grupo aditivo infinito

Exemplo 2. , um grupo abeliano infinito

Exemplo 3. Seja onde e . En-

to um grupo abcliano finito com apenas dois elementos, .

Exemplo 4. O subconjuntos dos nmeros complexos onde a unidade ima-

ginria, cuja operao a restrio da multiplicao de a este conjunto um grupo finito com

quatro elementos, ou seja,

Exemplo 5. Seja o conjunto das matrizes quadradas de ordem com entradas em . Ento

um grupo abeliano.

23
Exemplo 6. Seja o conjunto das matrizes quadradas de ordem no-singulares de
entradas reais. Este conjunto munido da restrio do produto usual de matrizes um exemplo de
grupo no abeliano infinito.

Exemplo 7. Sejam e . Ento munido da restrio de pro-

duto de nmeros complexos um grupo abeliano finito contido elementos.

Exemplo 8. Sejam um conjunto no vazio e o conjunto de todas as funes bijetivas

. Ento munido da composio de funes um grupo, chamado grupo das permu-

taes de . Em particular, quando , chamado o grupo das permutaes de

nvel tem ordem e o indicamos por . Este grupo desempenha um papel importante na te-
oria dos grupos finitos, como veremos futuramente.

Proposio 1. (Propriedades imediatas de um grupo)

i) A identidade nica.

ii) O inverso de cada elemento nico.

iii) Se e ento .

iv) Se ento

v) A equao tem como soluo nica .

Demonstrao: i) Seja um grupo e suponhamos que existam tais que

e . Em particular .

ii) Seja a um elemento de e suponhamos que existam tais que

. Ento, .

iii) Como , da unicidade do inverso, temos que

24
iv) .

v) . (A
unicidade do inverso garante a unicidade da soluo).

Definio 3. Dados um grupo e , definimos o produto destes elementos nes-

ta ordem, indutivamente, como segue: .

Se , pode-se provar que .

Definio 4. Dados grupo, e , definimos a potncia de base e expoente como


sendo

Usando induo, podemos provar que e , valem

i)

ii) .

Definio 5. Sejam um grupo e um subconjunto no vazio de . Dizemos que um sub-

grupo de se munido da restrio si da operao de tambm um grupo.

Da unicidade do elemento identidade e da necessidade da existncia deste elemento num


grupo segue que a identidade de pertence a .

Uma condio necessria e suficiente para que um subconjunto de seja um grupo que

i) e ii) se tenha .

25
Notemos que as duas condies acima so verificadas por todo grupo e, se e veri-

fica i e ii, ento, dado , e, dados ,

. A associatividade da restrio da

operao de a em bvia.

Quando subgrupo de indicamos por .

Exemplo 10. Seja . ento um subgrupo de . .

Exemplo 11. e . Ento .

Exemplo 12. Seja um grupo e . Ento, . Notamos que

, pois em , comuta com todos os elementos de . Segue que e . Sejam

. Ento

Para cada , o subconjunto formado pelos elementos que comutam com todos os elemen-

tos de chamado o centro de e o indicamos por .

Observemos que quando abeliano .

Exemplo 13. Sejam um grupo e . Seja . Ento

, ou seja, e . Se ento

. Portanto,

e . Este sub-

grupo de chamado o centralizador de em e o indicamos por . Notamos que

26
Exemplo 14. e ento .

Definio 6. Seja um grupo. Dizemos que cclico se existe um elemento tal que

. Dizemos tambm que gerado por e indicamos .

Exemplo 15. Seja .

Ento cclico finito de ordem 3. Notemos que dado

, do algoritmo da diviso, existem tais que e . Logo

Exemplo 16. Dados grupo e , o conjunto um grupo cclico

de . Notemos que . Se ento .

Observao. Quando um grupo aditivo, a potncia de base e expoente denotada por .

Exemplo 17. O grupo cclico infinito gerado por 1.

. O conjunto

o subgrupo cclico de gerado pelo elemento 2.

Ento podem escrever: e .

Observao. Notemos que se cclico gerado pelo elemento e ento

, portanto abeliano.

Proposio 2. Todo subgrupo de um grupo cclico cclico.

Demonstrao: Sejam cclico e . Se ok! Pois . Se ,

ento, o conjunto no vazio. Sejam e .

27
Afirmamos: . De fato, pois se ento, do algoritmo da diviso existem

tais que e . Segue que . Mas, da minimalidade

de segue que . Como

e .

RESUMO

Caro aluno, nesta aula, ns estabelecemos o conceito de grupo, onde definimos grupos e
subgrupos apresentamos diversos exemplos, apresentamos os subgrupos especiais centro e cen-
tralizador de um elemento num grupo e grupos cclicos.

ATIVIDADES

1. Seja um grupo abeliano. Prove que se e , ento .

2. Seja um grupo e suponha que . Prove que abeliano.

3. Seja um grupo e . Prove que .

4. Seja um primo, prove que um grupo abeliano com elementos.

5. Se um grupo finito de ordem par. Prove que existe tal que

6. Sejam e o subconjunto de formado pelas matrizes anti-simtricas. Prove que

7. Sejam grupos e seja . Defina uma operao em do seguinte modo:

. Prove que um grupo. Este

grupo chamado produto direto de e . Se , prove que .

28
8. Prove que todo grupo tem um subgrupo cclico .

9. Seja . Indicando cada elemento do seguinte modo,

Escreva explicitamente o grupo . Calcule e conclua que no abeliano.

10. Prove que o subconjunto de dos elementos tais que um subgrupo de .

11. Se e so subgrupo de um grupo , prove que um subgrupo de e que , em geral

no subgrupo de .

COMENTRIO DAS ATIVIDADES

Caro aluno, se voc fez as cinco primeiras atividades ento entendeu as propriedades dos
grupos.

Na segunda atividade voc deve ter notado que e usado o fato de que

Na terceira, voc deve ter multiplicado por pela esquerda e pela direita e usado
o fato de que o inverso de um elemento num grupo nico.

Na quinta atividade, voc deve ter notado que todo elemento tem um nico inverso e que a
identidade tem como inverso ela prpria.

Nas sete ultimas atividades exploramos a definio de subgrupo. Se voc compreendeu esta
definio no deve ter tido dificuldades, hesitou possivelmente na ltima questo onde voc deve
ter notado que subgrupo se, e somente se, ou . Lembre-se de que o objeti-
vo das atividades fixar os contedos desenvolvidos na aula. Portanto voc deve ler estes con-
tedos com carinho quantas vezes sejam necessrias. Lembre-se tambm que a ajuda dos tutores
importante.

29
REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de algebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

30
Aula 05
GRUPOS QUOCIENTES

METAS

Estabelecer o conceito de grupo quociente.

OBJETIVOS

Definir classes laterais e estabelecer o teorema de Lagrange.

Aplicar o teorema de Lagrange na resoluo de problemas.

Reconhecer subgrupos normais e aplicar suas propriedades.

Reconhecer e exemplificar grupo quociente.

PR-REQUISITOS

O curso de Fundamentos de Matemtica e os contedos estudados nas aulas anteri-


ores.

28
INTRODUO

Ola! Estamos em mais uma das nossas aulas. Na aula passada tivemos o nosso primeiro con-
tato com a teoria dos grupos estudando as primeiras definies e contemplando vrios exemplos.
Nesta aula continuaremos a estudar os grupos onde estabeleceremos os conceitos de classes late-
rais, subgrupos normais e o conceito de grupo quociente que uma das noes bsicas mais im-
portantes da lgebra abstrata.

CLASSES LATERAIS E O TEOREMA DE LAGRANGE

Sejam um grupo, um subgrupo e . Os subconjuntos de , e


so chamados classe lateral esquerda e classe lateral direita de , respecti-
vamente.

Exemplo 1. Vamos considerar onde

que tem a seguinte tabela de operao, na qual o produto tem como 1 fator o elemento da colu-
na.

Para ,
e .

Observao. Neste nosso exemplo, ocorreu que . Em geral

Vamos agora estabelecer uma relao de equivalncia num grupo , na presena de um sub-
grupo , onde o conjunto quociente mdulo esta relao exatamente o conjunto das classes la-
terais direita, de .

29
Definio 1. Seja grupo . Para cada par de elementos de , dizemos que con-
gruente a mdulo , e escrevemos se .

Ou melhor: .

Proposio 1. A relao binria definida no grupo acima de equivalncia.

Demonstrao: Como , seque que esta relao reflexiva. Se


esto e como um grupo, donde temos
e, a relao simtrica.

Finalmente, se so tais que e , ento


. Novamente, do fato de que grupo temos , isto ,
, ou seja, e, portanto, a relao transitiva.

Como sabemos a classe de equivalncia do elemento por definio.

Notemos que tal que


. Logo, . Se ento tal que e
neste caso implicando que , ou melhor, que . Portanto
.

Denotamos o conjunto quociente mdulo esta relao por e, escrevemos

Observao. Quando um grupo finito obviamente o conjunto finito e tem cardinalidade

menor ou igual ordem de . Quando infinito, podemos ter finito ou infinito.

Exemplo 2. Se nunido da adio os subgrupos de so os conjunto do tipo


.

Notemos que dados , ento e que . Segue que


para . Se , temos e

. Logo, para finito e tem elementos, enquanto que, para

tem infinitos elementos.

30
Definio 2. Dados e , definimos o ndice de como sendo a cardinalidade do
conjunto quociente e indicamos por .

Proposio 2. (Teorema de Lagrange). Se um grupo finito e um subgrupo de ento, a


ordem de divide a ordem de .

Demonstrao: Para cada , a aplicao definida por bijetiva.


De fato, se e temos . Se ento
existe tal que e

Escrevendo onde , como e

, temos que . Portanto | ,como queramos demonstrar.

Exemplo 3. Como conseqncia imediata do teorema de Lagrange, todos os grupos finitos cuja

ordem um nmero primo so cclicos ( abelianos). Com efeito, se e ,

ento | e .

SUBGRUPOS NORMAIS E GRUPOS QUOCIENTES

Definio 1. Sejam um grupo e subgrupo de . Dizemos que um subgrupo normal de


se, para todo H e todo temos . Indicamos .

Exemplo 1. Quando abeliano, todo subgrupo de normal. Com efeito, para e


, temos . Para todo , normal. Se e ,
.

Proposio 1. Sejam grupo e . As seguintes afirmaes so equivalentes:

i) .

ii) .

iii) .

iv) .

31
v)Se ento .

Demonstrao. iii). Da definio de subgrupo normal, e

. Como arbitrrio no grupo , trocando por ,


vale . Observemos tambm que
. Portanto, vale a igualdade
, para cada .

iiiii). Como , imediato que , donde temos

iiiiv). .

ivv). Como temos que . Logo,

e daqui, . Ou seja, tal que


. Portanto, .

vi). Sendo e , vamos provar que . Para isto, seja , donde

. Como , temos
, conseqentemente, .
32
Considerando o contedo da proposio acima, podemos, bem definir, a seguinte operao
em :

onde .

Proposio 2. munido da operao, acima definida, tem estrutura de grupo.

Dados

.Ou seja, esta operao associativa.

Para cada classe lateral , existe tal que

e . ( o elemento identidade).

Finalmente, para cada , existe tal que ou seja


. (existncia do oposto).

Definio 2. O grupo chamado o grupo quociente mdulo .

Lembremos que, para a operao em que associa ao par a classe ser bem
definida necessrio que . Portanto s podemos falar no grupo quociente de G por H se
H for um subgrupo normal.

Proposio 3. Sejam um grupo e .

i) Se abeliano ento abeliano.

ii) Se cclico ento cclico.

Demonstrao. i) , ento .

ii) Seja .

Exemplo 2. Sejam e . Note que . Pois, a tabela

33
Deixa claro que e se ento .

Como e segue que .

Notemos que onde .

Exemplo 3. Sejam e onde ,

Fazendo as contas, podemos verificar que , portanto e o


grupo quociente com tabela de operaes.

RESUMO

Nesta aula, estudamos o conceito de classe lateral onde estabelecemos o teorema de Lagran-
ge. Estudamos os conceitos de subgrupos normais e grupos quocientes e, suas propriedades.

ATIVIDADES

1. Se um grupo finito com 12 elementos, um subgrupo de pode ter 9 elementos? Justifi-


que sua resposta.

2. Sejam um grupo e . Definimos a ordem do elemento , e indicamos por , a or-


dem do subgrupo cclico de gerado por . Prove que:

i) Se ento .

ii) Se ento .

3. Dizemos que um grupo simples se os nicos subgrupos normais de so e .


D exemplo de grupo simples.
34
4. Sejam um grupo e . Para cada , defina . Pro-
ve que:

a) b) Se finito, c) . (o subgrupo
chamado um conjugado de em ).

5. Seja e . Determine .

COMENTRIO DAS ATIVIDADES

Caro aluno, voc deve ter notado que a resposta da pergunta da atividade 1 justificada fa-
cilmente pelo teorema de Lagrange.

Na segunda, escrevendo a potncia de base e expoente igual ordem de explicita-


mente, voc deve ter notado a concluso da atividade.

Na terceira atividade, voc num primeiro momento, deve ter pensado em grupos cuja ordem
um nmero primo.

No item a) da quarta atividade, voc deve ter notado que e que dados
.

No item b), voc deve ter notado que correspondncia uma bijeo de
em .

No item c), olhe para a correspondncia do item anterior e lembre que ela vale .

Para a quinta atividade, voc deve ter imitado algum dos exemplos do texto.

Mais uma vez, lembre-se de ler o contedo da aula com cuidado e sempre que precisar pro-
cure os tutores.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de algebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

35
Aula 06
HOMOMORFISMOS DE GRUPOS

META

Apresentar o conceito de homomorfismo de grupos

OBJETIVOS

Reconhecer e classificar os homomorfismos.

Aplicar as propriedades imediatas dos homomorfismos de grupos.

Calcular os ncleo e imagem de um homomorfismo.

Aplicar os teoremas dos homomorfismos na relao de problemas.

PR-REQUISITOS

Todas as aulas anteriores principalmente as aulas 4 e 5.

35
INTRODUO

Caminhando dentro da teoria dos grupos, vamos a mais uma aula. Mais uma vez, necessita-
mos que voc, caro aluno, tenha aprendido os contedos das aulas anteriores, principalmente, os
das aulas 4 e 5 que tratam dos grupos.

Em estruturas algbricas os homomorfismos so aplicaes que tm como domnio e con-


tradomnio estruturas algbricas de mesma natureza (mesma definio abstrata) e servem em ge-
ral para comparar tais estruturas. No nosso caso, claro, trataremos dos homomorfismos de gru-
pos.

O CONCEITO DE HOMOMORFISMO

Definio 1. Sejam e grupos e uma aplicao de em . Dizemos que um homo-


morfismo se .

Exemplo 1. Se um grupo e , para , a aplicao definida por


um homomorfismo de grupos, pois
. Este homomorfismo comumente cha-
mado projeo cannica.

Exemplo 2. Dado um grupo , a funo identidade de evidentemente um homomorfismo de


em . Notemos que .

A um homomorfismo de um grupo nele prprio, chamamos endomorfismo de .

A um homomorfismo injetivo, chamamos um monomorfismo de em .

A um homomorfismo sobrejetivo,chamamos um epimorfismo de em .

A um homomorfismo bijetivo, chamamos um isomorfismo de em . Neste


caso dizemos tambm que e so grupos isomorfos.

A um isomorfismo de um grupo nele prprio, chamamos um automorfismo de .

Proposio 1. Seja um homomorfismo. Ento, , onde e so, respecti-


vamente, as identidades de e .

Demonstrao:

Proposio 2. Seja um homomorfismo. Ento, , .

36
Demonstrao .

Proposio 3. Se um homomorfismo e ento um subgrupo de ?

Demonstrao: e . Sejam . Existem


tais que e . Logo,
e, como segue que . Portanto, . Neste caso
.

Proposio 4. Se e so homomorfismos ento tam-


bm homomorfismo.

Demonstrao:

Dados ,

Definio 2. Seja um homomorfismos chamamos ncleo de e denotamos por


o subconjunto de :

Exemplo 3. Dados um grupo e , notemos que o ncleo da projeo cannica


, pois, , ou seja,
.

Proposio 5. Para todo homomorfismo , .

Demonstrao: Como . Se ento


. Logo . Agora, seja
e . Temos

. Portanto .

Proposio 6. Seja . monomorfismo se, e somente se, .

Demonstrao: Trivial, pois e injetiva .

37
Se e ento
, ou seja, injetiva.

OS TEOREMAS FUNDAMENTAIS DOS HOMOMORFISMOS

Proposio 1. Se um homomorfismo de grupos com ncleo ento existe um


homomorfismo injetivo tal que .

Demonstrao: Inicialmente, notemos que se so tais que ento


e donde temos que . Isto significa que para ,
ou seja que est, bem definida, ou seja a imagem de
no depende do seu representante. Dados , temos
logo, um homomorfis-
mo de grupos. Agora,
ou seja in-
jetiva.

Corolrio (1 teorema do isomorfismo). Se um epimorfismo e ento


e so isomorfos. Ou melhor, existe um isomorfismo tal que
.

Demonstrao: o monomorfismo de em definida na proposio e como


, segue que um isomorfismo .

Se a projeo cannica, este teorema pode ser expresso pela comutativi-


dade do seguinte diagrama;

38

Exemplo 1. Sejam (grupo aditivo) e o grupo multiplicativo formado


pelos nmeros complexos e e a aplicao dada por . fcil ver
que (faa isto como atividade). Agora,

Como sobrejetiva, do 1 teorema dos homomorfismos, temos que


.

Quando um grupo, e ento e .

Com efeito, e se ento


. Sendo , .
Logo, donde temos que .

Sendo , segue que pois, , em particular,


. Tambm, . Aqui, dados
. Como segue que .
Logo, . Analogamente . Portanto
.

Proposio 2. (2 teorema dos homomorfismos). Se e ento .

Demonstrao: Seja definida por . Ento,


, homomorfismo de grupos (notemos que aqui
pois ). Para qualquer classe , temos donde com
e . Isto implica que logo, so-

39
brejetivo. Alm disto, . Ou seja, . Como con-
seqncia do primeiro teorema segue que , como queramos demonstrar.

Observao. Se , segue deste teorema que .

No estudo de grupos quocientes formados a partir de grupos quocientes, til a seguinte

Proposio 3. (3 Teorema dos homomorfismos). Se e ento


e vale:

Demonstrao: claro que . Agora, notemos que se temos e como


segue que e . Portanto, podemos definir a aplicao
, pondo .

Notemos ainda que ,


. Alm disto, para cada , existe tal que , ou seja, um ho-

momorfismo sobrejetivo de em .

Finalmente, .

Segue do 1 teorema dos homomorfismos que .

Observao. Este teorema deixa claro que quocientes de quocientes de so na realidade iso-
morfos a quocientes de . Vamos terminar esta aula estabelecendo o teorema da correspondn-
cia no qual veremos que um epimorfismo de grupos preserva propriedades como ser subgrupos
ou ser subgrupo normal tanto diretamente quanto inversamente. Mais precisamente, vale a

Proposio 4. (Teorema da correspondncia). Sejam e grupos e um epimorfis-


mo onde . Ento:

a)Para cada . Se ento .

b)Para cada , o nico subgrupo de contendo tal que .


Se ento .

40
Demonstrao: a) J sabemos que ; sejam e
portanto, .

b) Como , claramente . Se ento


. Isto implica que
. Logo, .

Para cada temos:

. Portanto,
. Donde segue que .

Finalmente, seja tal que e . Assim,


. Se ento
.
Logo, e conseqentemente .

RESUMO

Nesta aula estabelecemos o conceito de homomorfismo de grupo onde inicialmente defini-


mos, exemplificamos e apresentamos as propriedades imediatas. Terminamos a aula enunciando
e demonstrando os 1, 2 e 3 teoremas dos isomorfismos e o teorema da correspondncia que
so teoremas importantes na construo dos pr-requisitos de contedos futuros.

ATIVIDADES

1. Verifique em cada caso, se um homomorfismo de grupos.

a) dada por onde aqui o grupo aditivo.

b) dada por onde o grupo multiplicativo dos reais no nulos.

c) dada por , onde aditivo e , multiplicativo.

d) dada por onde um elemento de pr-fixado.

2. Seja um grupo abeliano finito de ordem e seja tal que . Prove que
a aplicao dada por um automorfismo de .
41
3. Se um isomorfismo, provar que tambm o .

4. Se um homomorfismo onde finito, prove que divide .

5. Se cclico de ordem provar que .

6. Sejam um grupo e tais que . Prove que e


.

7. Se , e , prove que .

COMENTRIO DAS ATIVIDADES

Na primeira atividade, se voc entendeu a definio de homomorfismo, no deve ter tido


problemas.

Na segunda, voc deve ter notado que . Como


segue que ou seja e . Portanto, injetiva.

Na terceira atividade, voc deve ter usado a definio de isomorfismo e concludo com faci-
lidade.

Na quarta atividade, voc deve ter usado o primeiro teorema do isomorfismo.

Na quinta atividade, para , a aplicao dada por


deve ser um isomorfismo de grupos!

A sexta atividade, caro aluno, um exerccio que auxilia no desenvolvimento da stima ativi-
dade. Para e , voc deve ter notado que
pois e so subgrupos normais.

Na stima atividade, se voc conseguiu resolv-la, deve ter percebido que a aplicao
onde um isomorfismo de grupos.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

42
HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson
Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de algebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

43
Aula 07
MAIS SOBRE O GRUPO SIMTRICO

META

Conhecer um pouco mais de perto as propriedades do grupo das permutaes de


nvel .

OBJETIVOS

Reconhecer elementos de

Reconhecer os subgrupos e de

Aplicar propriedades decorrentes do teorema da representao no estado de grupos


finitos.

PR-REQUISITOS

As aulas 4,5 e 6.

42
INTRODUO

Nesta aula, caro aluno, estudaremos um pouco mais os grupos de permutao , onde
apresentaremos os subgrupos das permutaes pares e das simetrias de um polgono co-
nhecido tambm como o subgrupo diedral . Mostraremos tambm nesta aula que todo gru-
po finito pode ser visto como um grupo de permutaes, que o contedo dos teoremas da cor-
respondncia e de Cayley.

SINAL DE UMA PERMUTAO E O GRUPO ALTERNADO .

Definio 1. Seja . Dizemos que uma transposio se existem , com


tais que e .

Por simplicidade de notao, costumamos escrever

Exemplo 1. Em uma transposio que transforma em , em e


fixa os demais.

Indicamos: .

Notemos que toda transformao igual sua inversa. ou .

Proposio 1. Toda permutao de para , pode ser escrita como um produto de trans-
posies..

Demonstrao: Vamos usar induo sobre . Se , ok! Supo-


nhamos que , e . Ento , ou seja, fixa .
Logo, podemos olhar para como uma permutao de e, por hiptese de induo existem
transposies de que fixam tais que . Portanto, .

Exemplo 2. Em , seja .

Notemos que:

e tambm

Este exemplo mostra que no nica a forma de expressar uma permutao como um pro-
duto de transposies, inclusive o nmero de transposies.

Na realidade pode-se provar que duas fatoraes de uma permutao como produtos de
transposies tm em comum a paridade do nmero de fatores. No exemplo acima as fatoraes
tm e fatores (ambos mpares).

43
Definio 2. Seja . Dizemos que uma permutao par se par o nmero de
fatores de uma (e, portanto de todas) fatorao como produto de transposies. Quando no
par, dizemos que impar.

Segue da definio acima que o produto de duas permutaes de mesmo paridade par e
que o produto de duas permutaes com paridades distintas impar. fcil ver tambm que e
tm a mesma paridade e que a identidade par (
.

Podemos, dos comentrios acima, concluir que vlida a

Proposio 2. O conjunto de todas as permutaes pares de nvel um subgrupo de .


(Este subgrupo tambm conhecido como o grupo alternado de ).

Seja o grupo multiplicativo de ordem , e seja

se par e se impar. Ento, um homomorfismo sobrejetivo com


ncleo .

Do 1 teorema dos homomorfismos segue que e .

Portanto, .

Um artifcio para testar a paridade de um o seguinte: sejam vari-


veis e seja polinmio nestas vari-
veis. Para cada , definamos

. Logo, .

Se ento par e se , impar.

Exemplo 3. Seja .

Ento

Logo, par.

Exemplo 4. Verificando diretamente,


44
O SUBGRUPO DIEDRAL DE

Seja . Vamos identificar os elementos de como os vrtices de um


polgono regular de lados de centro , como na figura:

Olhando para como o grupo de todas as permutaes do conjunto de vrtices , vamos


agora estabelecer um subgrupo de contendo exatamente elementos.

Indiquemos por a permutao de obtida quando giramos o polgono de no sentido


trigonomtrico, ou seja:

indiquemos por a permutao de obtida quando fazemos a reflexo do polgono em torno


do eixo , ou seja:

se par ou se impar.

Definio 3. Chamamos subgrupo diedral de ao conjunto de todas as permutao que


podem ser escritas como uma expresso do tipo

onde e

Indicamos

45
Atravs de uma observao cuidadosa dos efeitos de composies evolvendo , na figu-
ra, podemos concluir que:

e .

Usando estas leis, podemos concluir ainda que


onde dados
sempre. Ou seja um subgrupo de contendo exatamente elementos. o subgrupo
menos amplo de que contm .

Exemplo 5. Para , pois

e como ,segue que

OS TEOREMAS DA REPRESENTAO E DE CAYLEY

Proposio 3.(Teorema da representao).Sejam um grupo e tal que . En-


to existe um subgrupo normal de tal que e, a menos de isomorfismo, . Alm
disto, se e ento .

46
Demonstrao: sejam o conjunto quociente de mdulo e o

grupo simtrico (das permutaes) de . Consideremos agora a aplicao onde,

para cada , dada por .

Notemos que

, ou seja,
para cada , injetiva de em que finito, logo, e conseqentemente esta
bem definida.

Dados tal que

para cada . Logo ou seja um homomorfismo de


grupos.

Por outro lado, notemos que ,

Lembrando que , podemos escrever:

Tomando , temos do 1 teorema do homomorfismo que

Finalmente, se e ento,

Corolrio (Teorema de Cayley). Se um grupo finito de ordem ento isomorfo a algum


subgrupo de .

Demonstrao: Sendo , tomando no teorema da correspondncia ,


segue que , donde temos e portanto, isomorfo a um subgrupo de .

Exemplo 6. Quando finito tal que onde o menor primo positivo


divisor da ordem , temos . Com efeito, do teorema da correspondncia, existe
47
tal que . Sendo o menor divisor primo de , do teorema de La-
grange, o menor divisor primo positivo de . Segue ento que e con-
seqentemente .

Em particular, se par e tal que , ento . Ainda, como j saba-


mos, para .

ATIVIDADES

1. Quantas transposies tem ?

2. Qual a paridade da permutao

3. Resolva em , a equao .

4. Calcule e .

5. Se um grupo tal que onde um primo, e onde


, prove que .

6. Seja um grupo e suponha que infinito e simples. Se um subgrupo prprio de


, prove que infinito.

COMENTRIO DAS ATIVIDADES

Na primeira atividade, voc deve ter usado algum conhecimento adquirido no ensino mdio
quando estudou anlise combinatria!

Na segunda atividade, como , voc deve ter resolvido facilmente, substituindo dire-
tamente na equao , todos os elementos de .

Na quarta, voc deve tambm ter escrito os grupos explicitamente e procurado diretamente
os seus centros, lembrando sempre do teorema de Lagrange.

A quinta atividade, se voc conseguiu desenvolv-la, usou o fato de que que o


menor fator primo da ordem de

Na sexta, se, por absurdo, fosse finito, do teorema da correspondncia existiria


um subgrupo normal de tal que onde seria um subgrupo de . Sendo simples,

seria necessariamente {e} mas, isto implicaria, que finito.

48
Caro aluno, reler o texto sempre necessrio e procure os tutores sempre que necessite.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de algebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

49
Aula 08
P-GRUPOS E O TEOREMA DE CAUCHY

META

Conceituar p-grupos e estabelecer o Teorema de Cauchy

OBJETIVOS

Definir p-grupos e aplicar suas propriedades na resoluo de problemas.

Reconhecer o teorema de Cauchy sobre ordens de grupos finitos e aplic-lo na reso-


luo de problemas.

PR-REQUISITO

As aulas 4,5,6 e 7.

49
INTRODUO

Ol caro aluno, vamos a mais uma aula sobre a teoria dos grupos. Espero que voc esteja
gostando e aprendendo, pois precisamos dos contedos das anteriores para compreender os con-
tedos da presente aula.

Como sabemos, quando um grupo finito e um subgrupo de , o teorema de La-


grange afirma que . O recproco do Teorema de Lagrange no em geral verdadeiro.
Nesta aula estudaremos os primeiros resultados que estabelecem hipteses segundo as quais, para
um divisor positivo da ordem de um grupo finito , existe um subgrupo de cuja ordem
.

CLASSES DE CONJUGAO E P-GRUPOS

Seja um grupo. Vamos definir em uma relao binria do seguinte modo: dados
, conjugado de e indicamos se existe um tal que

Notemos que: . Se ento existe tal que


.

Se e ento existem tais que e . Logo


.

Provamos que a relao binria uma relao de equivalncia em .

Definio 1. Dado , chamamos classe de conjugao de elemento em , e indica-


mos por classe de equivalncia de , mdulo a relao de equivalncia acima definida.

Assim, e

Notemos que se, e somente se, , ou seja,


. Segue daqui, que

Esta a chamada equao das classes e a usaremos a seguir em alguns teoremas.

Proposio 1. Seja um grupo finito, e (o centralizador de em ).

Ento e conseqentemente .

Demonstrao: Vamos considerar a aplicao de em dada por .

50
Notemos que se ento ou seja que
ou melhor , portanto est
bem definida.

Se ento
ou
seja donde segue que injetiva.

Como dado , ; temos que ou seja sobrejetiva.

Sendo uma bijeo de em para cada , temos que , com que-


ramos demonstrar.

Definio 2. Dizemos que um grupo finito um p-grupo se onde um primo po-


sitivo e .

Exemplo. e tm ordens e respectivamente por-


tanto so p-grupos.

Proposio 2. Se um p-grupo e ento tambm um p-grupo e |(G)|>1.

Demonstrao: Seja . Como , do teorema de Lagrange, ,


logo, , tal que .

Para cada e da proposio anterior, logo, , um


mltiplo de .

Como temos que ou seja


.

Exemplo 1. Se onde um primo positivo, ento abeliano. Da proposio acima,


e divide , logo, e conseqentemente (G) ou seja, abeliano.

O TEOREMA DE CAUCHY

Proposio 3. Sejam um grupo finito e um primo. Se ento existe um elemento


tal que , ou melhor, tem um subgrupo cclico de ordem .

Demonstrao: Vamos usar induo sobre . Se , como j sabemos, tal que


e o teorema verdadeiro.

51
Vamos por hiptese de induo supor que o teorema verdadeiro para todo grupo que te-
nha ordem e considerar os trs casos:

1 Caso cclico. Neste, tal que e seja um divi-


sor primo de . Escrevendo onde e , para , temos
e, alm disto, pois . Portanto um sub-
grupo cclico de ordem , como queramos.

2 Caso no cclico, mas abeliano. Sejam um divisor primo de e Se


ento divide a ordem do subgrupo cclico de e, pelo 1 caso existe um
tal que . Como e segue que .

Se , escrevendo e lembrando que , segue que

. Como , por hiptese de induo, existe tal que .

Assim, e e Seja , esto


ou .

Se fosse, , teramos uma contradio.

Logo, . Tomando , temos que e .

3 Caso no abeliano. Neste caso, consideremos a equao das classes


e seja um primo divisor de .

Consideremos as duas possibilidades:

1 Possibilidade: . Neste caso, como abeliano, pelas partes anteriores, existe


tal que .

52
2 Possibilidade: . Agora, como , considerando a equao das classes, temos que

existe pelo menos um tal que .

Como ] e segue que . Sendo


por hiptese de induo existe tal que concluindo com isto
a nossa demonstrao.

CLASSIFICAO DOS GRUPOS FINITOS DE ORDENS .

J sabemos que os grupos de ordens e so todos cclicos e conseqentemente abelia-


nos.

Seja um grupo de ordem . pode ser cclico, por exemplo,


, munido da multiplicao dos nmeros complexos um grupo
cclico de ordem .

Se ento, , logo ou seja, .

Neste caso se , , ou seja abeliano. Notemos


que estes grupos existem, veja o grupo .

Podemos ento afirmar que todo grupo de ordem abeliano.

Agora, seja um grupo de ordem . Do teorema de Cauchy, existem tais que


e . Seja , como sabemos da aula anterior que
. Logo, , . Assim, ou e neste
caso .

No primeiro caso, se ento e cclico.

53
No segundo caso, .

Uma das ocupaes dos estudiosos da teoria dos grupos estudar as possveis naturezas dos
grupos finitos de uma mesma ordem. uma tarefa difcil e trabalhosa.

RESUMO

Nesta aula definimos os p-grupos e estabelecemos o teorema de Cauchy, onde comeamos


apresentando as classes de conjugao e sua equao que um contedo fundamental na de-
monstrao que fizemos do teorema, de Cauchy, acima referido.

ATIVIDADES

1. Calcule todas as classes de conjugao de e de .

2. Se um -grupo tal que , prove que

3. Se um grupo finito que tem exatamente duas classes de conjugao, provar que abelia-
no.

4. Se tem trs classes de conjugao, calcule as possibilidades para a ordem de .

5. Sejam um homomorfismo injetivo de em e um primo tal que .


Prove que existe tal que .

COMENTRIO DAS ATIVIDADES

Na primeira atividade, voc deve ter comeado olhando os elementos dos centros e depois
tomado elementos fora do centro e obtendo distintamente seus conjugados.

Na segunda atividade, voc deve ter percebido que para


e usado este fato.

Na segunda e terceira atividades, voc deve ter usado a equao das classes e que
.

Na quinta atividade, voc deve ter usado o teorema de Cauchy e o primeiro teorema dos iso-
morfismos (ou o da correspondncia).

REFERNCIAS

54
GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de algebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

55
Aula 09
OS TEOREMAS DE SYLOW

META

Estabelecer os teoremas de Sylow.

OBJETIVOS

Identificar .

Aplicar os teoremas de Sylow na resoluo de problemas.

PR-REQUISITOS

O curso de Fundamentos de Matemtica e as aulas anteriores.

55
INTRODUO

Esta a ltima aula deste curso sobre a Teoria dos grupos. Vamos estabelecer os teoremas
de Sylow que, aps os teoremas de Lagrange e Cauchy, constituem os primeiros resultados im-
portantes decorrentes das propriedades aritmticas das ordens dos grupos finitos.

Nesta aula, iniciaremos estabelecendo o conceito de ao de grupos sobre conjuntos de


modo sucinto, definindo e apresentando apenas os propriedades que utilizaremos nas demonstra-
es dos trs teoremas de Sylow que so os resultados importantes desta aula.

AO DE GRUPOS EM CONJUNTOS

Definio 1. Sejam um grupo e um conjunto no vazio. Chamamos ao de em a qual-


quer aplicao de x , que escrevemos, x , satisfazendo s seguintes propri-
edades:

i)

ii)

Exemplo 1. Seja um grupo para , a aplicao de x dada por uma


ao de em si prprio.

Exemplo 2. Sejam e .

Ento, a aplicao x dada por uma ao no conjunto quociente

Observao. Quando o grupo age no conjunto , para cada . Define-se uma transforma-
o onde .

fcil ver que cada bijetiva onde dada por .

A ao de um grupo nem conjunto , define uma relao de equivalncia neste, assim de-
finida: tal que .

Notemos que , se em , ento existe tal que don-


de temos que e, . Se tais que e ento existem tais
que e , donde temos que logo, .

Dados grupo e conjunto com agindo em , definimos a -rbita do elemento


, como sendo a classe de equivalncia de e a indicamos por

56
Precisamente, . Indicamos o conjunto quociente (das rbitas) por
.

Quando finito, lembremos que existem tais que e


.

Definio 2. Dados grupo, conjunto com agindo em e, , definimos o estabiliza-


dor (ou subgrupo de isotropia) de , como sendo o conjunto

Notemos que . Se ento e


e . Portan-
to, para cada , o estabilizador de um subgrupo de , como j informamos na definio,
chamado tambm de subgrupo de isotropia do elemento de .

Notemos tambm que se esto na mesma rbita, isto , ento, seus esta-
bilizadores so conjugados, pois se , para algum , temos:

. Portanto, e so conjugados.

Proposio 1. Sejam um grupo e um conjunto com agindo em ento, para cada


.

Demonstrao. Consideramos para cada , a aplicao dada por


. Ento, para ,
. Logo,
injetiva. Como estamos lidando com conjuntos finitos, temos a bijetividade. Portanto,
.(ou ).

Observao. Para , temos

OS TEOREMAS DE SYLOW

Proposio 1. (1 teorema de Sylow). Sejam um grupo finito e um primo onde


, onde . Ento existe um subgrupo de de ordem .

57
Demonstrao. Seja e o conjunto de todos os subconjuntos de com
elementos.

Faamos agir em do seguinte modo: e ,

Notemos que .

Notemos que para e , . Logo,


.

Seja a potncia de de maior expoente na fatorao em primos de (ou de ). Como

, e , existe pelo menos uma destas rbitas, digamos

tal que .

Seja um elemento desta rbita, ento

Como e temos que . Lembrando que

Finalmente, como temos que , alm disto,


, logo .

As duas desigualdades acima implicam que e portanto, existe tal


que .

Observao: O teorema de Cauchy um caso especial deste teorema.

58
Sejam, um grupo finito, um primo e .

Definio 1. Dizemos que um p-subgrupo de Sylow de se a potncia de , de maior


expoente, que divide a ordem de .

Ou seja um se com e .

Proposio 2. (2 teorema de Sylow). Sejam um grupo finito e um primo divisor da or-


dem de . Ento, todos os so conjugados. Ou seja, se so p-subgrupos de Sy-
low, ento existe tal que .

Demonstrao. Seja um de . Ento com e .


Temos ento que .

Seja e seja um outro de . Faamos agir em


pela regra .

Como e , existe uma rbita com elementos tal que


. Seja um elemento desta rbita. Ento, o estabilizador deste elemento

Ou seja .

Como temos que . Como segue que


e . Conseqentemente e portanto, e
so conjugados.

Proposio 3. (3 teorema de Sylow). Sejam um grupo finito e um primo divisor da or-


dem de . Ento, o nmero de de um divisor do ndice comum destes subgrupos e,
congruente a 1 mdulo .

Demonstrao. Sejam com e . Seja o nmero de de .


Devemos mostrar que e que . Com efeito, sejam um de ,
e a ao de em definida por . Notemos que dados
, existe tal que donde temos que , ou seja,
para esta ao temos apenas uma rbita ( Todos os grupos de isotropia dos elementos de
so conjugados ( tm a mesma ordem)).

59
Seja um elemento pr-fixado de . Ento
. Ou
seja, o estabilizador de o .

Sejam os elementos de que tem como estabilizador. Ento, para

Agora notemos que para cada , e para cada


. Segue que os elementos
so estabilizados pelo .

Sejam os elementos de que so estabilizados por . Ento, para cada


e cada , temos segue que
estabilizado por . Temos ento que e ou seja .

Logo, cada de estabiliza o mesmo nmero de elementos de .

Como temos que como queramos.

Agora, faamos o de agir em pela ao (mes-


ma lei de definio de antes). Sabemos que para cada , donde segue que o n-
mero de elementos de cada rbita 1 ou uma potncia de . Se ento
. Isto implica que
existem rbitas, sob a ao de com um nico elemento. Como as ordens no unitrias so
mltiplos de , existe tal que ou seja, como,
, temos e como ou seja
e portanto . Como queramos demonstrar.

Exemplo 1. Seja , um grupo de ordem 15. Vamos provar que tem um subgrupo normal. De
fato, seja o nmero de subgrupos de de ordem . Pelo 3 teorema de Sylow, temos que
e . Segue que . Como existe um nico 5-subgrupo de Sylow, pelo 2
teorema de Sylow este subgrupo normal.

RESUMO

Estabelecemos inicialmente a ao de um grupo num conjunto, apresentado suas proprieda-


des onde preparamos os pr-requisitos para as demonstraes dos teoremas de Sylow. Apresenta-

60
mos os teoremas, definimos os , demonstramos os teoremas e terminamos com um exem-
plo no qual aplicamos o 3 e 2 teoremas de Sylow.

ATIVIDADES

1. Seja um grupo de ordem . Prove que tem um subgrupo tal que .

2. Seja um grupo de ordem onde e so primos positivos tais que . Prove que
tem um subgrupo normal de ordem .

3. Se simples e abeliano, prove que um nmero primo.

4. Suponhamos que um grupo simples cuja ordem onde e


primo e . Prove que tem no mnimo dois .

COMENTRIO DAS ATIVIDADES

Caro aluno, voc deve ter notado que para fazer a primeira atividade basta aplicar diretamen-
te o primeiro teorema de Sylow.

Na segunda, voc deve ter imitado o exemplo 3.

A terceira atividade, se voc conseguiu faz-la, voc deve ter usado o fato de que todo sub-
grupo de um grupo abeliano normal.

Na quarta atividade, usando o 2 teorema de Sylow, se tivesse apenas um , este se-


ria normal.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

61
Aula 10
O CONCEITO DE ANEL

META

Apresentar o conceito de anel, suas primeiras definies, diversos exemplos e resul-


tados.

OBJETIVOS

Definir, exemplificar e classificar anis.

Aplicar as propriedades dos anis na relao de problemas.

Reconhecer subanis.

PR-REQUISITOS

O curso de Fundamentos de Matemtica e as aulas anteriores.

61
INTRODUO

Os nmeros inteiros, racionais, reais e complexos podem ser somados e multiplicados entre
si, e o resultado ainda um nmero do mesmo conjunto. Analogamente, podemos somar e mul-
tiplicar matrizes de mesma ordem e outros tipos de objetos que so hoje bastante utilizados. Es-
tes so exemplos de estrutura algbricas menos gerais que os grupos, pois, envolvem duas opera-
es verificando um conjunto de operaes similares, que so os ingredientes que compem a
definio da estrutura algbrica chamada anel.

Nesta aula estabeleceremos o conceito de anel, apresentando as primeiras definies, fazen-


do a classificao, exemplificando e estabelecendo as primeiras proposies sobre anis.Vamos
em frente.

O CONCEITO DE ANEL

Sejam um conjunto no vazio, e, e

duas operaes em .

Definio 1. Dizemos que um anel, se valem as propriedades:

i) grupo abeliano. Ou seja,

1)

2)

3)

4)

ii) A operao associativa:

iii) Valem as leis distributivas:

1)

2)

Exemplo 1. Os conjuntos numricos e munidos das suas operaes de adio e multi-


plicao so exemplos de anis.

Exemplo 2. O conjunto dos matrizes quadradas de ordem com nas operaes tra-
dicionais de adio e multiplicao um exemplo de anel.

62
Se, num anel vale a propriedade

iv) comutatividade da multiplicao:

dizemos que um anel comutativo.

Exemplo 3. Os termos e so exemplos de anis comutativas.


O anel um exemplo de anel que no comutativo.

Se, num anel vale a propriedade:

v) tal que , dizemos que um anel com identidade.


Neste caso, 1 a identidade do anel .

Exemplo 4. Todos os anis exibidos nos exemplos anteriores so anis com identidade. Sejam
e . fcil ver que a soma e o produto de dois ele-
mentos de so elementos de . Segue que . Onde e so as restries das operaes
de adio e multiplicao de , a , um anel sem elemento identidade.

Observao. Como em grupos, com o intuito de simplificar notao, costumamos escrever em


vez de para representar tal anel.

Definio 2. Seja um anel. Dizemos que o elemento um divisor de zero, se existe


tal que .

Exemplo 5. Lembremos que para na aula 3, ns afirmamos que


junto com as duas operaes de adio e multiplicao ali exibidos tinha
uma estrutura de anel. Notemos que de fato um exemplo de anel comutativo com ele-
mento identidade , finito, com elementos ( um anel que tem ordem ). Notemos que
quando no primo, existem tais que . Assim, em
e . Ou seja, os elementos e so divisores de zero.

Se, um anel comutativo com identidade no qual vale a propriedade

v) Integridade: Se e ento ou , dizemos que um domnio (ou


anel de identidade).

Exemplo 6. Os anis e so exemplos de domnios. Note que num domnio no h di-


visores de zero. Os anis onde no primo no so domnios.

Exemplo 7. No anel os elementos e so divisores de zero

pois .

63
Definio 3. Sejam um anel com identidade e . Dizemos que invertvel se existe um
tal que indicamos o inverso de por .

Exemplo 8. No anel , o elemento invertvel pois,

tal que .

Definio 4. Quando todos os elementos no nulos de um anel so invertveis, dizemos que


um anel de diviso. Quando o anel de diviso comutativo o chamamos de corpo.

Observao. Notemos que quando um anel de diviso, um grupo.

Indicamos o conjunto dos invertveis de um anel por ou .

Exemplo 9. Os domnios e so corpos. O domnio no um corpo, pois os nicos ele-


mentos invertveis de so e .

Proposio 1. (propriedades imediatas dos anis) , seja um anel.

i) O 0 (zero) nico.

ii) O oposto de cada elemento nico

iii)

iv) Se tem identidade , esta nica.

v)

Demonstrao. Deixaremos como atividade. Caro aluno, para desenvolver esta atividade, volte s
aulas 1 e 4 e veja demonstraes semelhantes!

Exemplo 10. Anel nulo. Seja e definamos . Ento tem estrutu-


ra de anel. O chamamos de anel nulo.

Proposio 2. Se um anel no nulo com identidade ento .

Demonstrao. Se fosse , ento , teramos e .

Proposio 3. Num anel comutativo no nulo, um elemento no pode ser divisor de zero e inver-
tvel.

Demonstrao. Sejam um anel comutativo . Se fosse divisor de zero e invertvel, existi-


ria um tal que , uma contradio.

Proposio 4. Todo domnio finito corpo.

64
Demonstrao. Seja um domnio. Ento dado
pois se temos com
. Assim, como , existe um tal que , logo
. Provamos ento que todo elemento no nulo de invertvel, ou seja, que um
corpo.

Exemplo 11. Vamos apresentar aqui um anel de diviso que no um corpo, ou seja, um anel de
diviso no qual o grupo dos elementos invertveis no abeliano.

Seja o conjunto de todos as 4-plas de . Definimos a


adio em , do seguinte modo: para e
e, a multiplicao,

Com algum trabalho, podemos verificar que tem estrutura de anel no qual o zero
.

Fazendo a identificao e , po-


demos escrever de modo que podemos reescrever

Neste anel valem:

Alm disto,

. Este anel conhecido como os quatrnios (ou quaternies) indicado por Quat, foi construdo
no sculo XIX, pelo matemtico irlands W. R. Hamilton quando tentava construir um corpo nu-
mrico que fosse uma extenso do corpo dos nmeros complexos, sem sucesso. Quat s no
um corpo porque a multiplicao no comutativa.

Observao. Com um pouco de trabalho, podemos verificar que o subconjunto


de Quat fechado para a multiplicao. Mais ainda, tem
estrutura de grupo.

Definio 5. Seja um anel. Dizemos que um subconjunto no vazio um subanel de , se


sob as restries das operaes de adio e multiplicao a si, tem tambm estrutura de anel.

65
Uma condio necessria e suficiente para que um subconjunto no vazio de um anel
seja um subanel que cumpra s seguintes condies: e . Com
efeito, notemos que a condio: necessria e suficiente para que
seja um subgrupo de . A condio: garante que fecha-
do para a operao de multiplicao. Finalmente, como as outras propriedades de anel so vlidas
em , valem a fortiori para .

Exemplo 12. Para todo anel e so subanis.

Exemplo 13. Na seqncia de incluses , cada anel subanel dos que ficam
sua direita.

Exemplo 14. Para cada , o conjunto munido das restries das ope-
raes de adio e multiplicao dos inteiros subanel de .

Definio 6. Sejam um anel comutativo e . Definimos

Observao. Notemos que a definio acima nada mais do que a de potncia de expoente intei-
ro no grupo aditivo , e, portanto para e , valem:

i)

ii)

iii)

Definio 7. Seja um anel comutativo no nulo definimos a caracterstica de como sendo o


menor inteiro positivo para o qual . Se no existe tal dizemos que a caracte-
rstica de zero.

Exemplo 15. Nos anis e , no existe inteiro positivo tal que para todo no
anel. Portanto estes anis tm caracterstica zero. Em o menor in-
teiro positivo para o qual logo, tem caractersticas .

Definio 8. Dados um anel comutativo com identidade e , definimos:

Valem e podem ser provadas

66
i)

ii) onde e .

Definio 9. Sejam um anel comutativo com elemento identidade e . Dizemos que


nilpotente se existe um tal que

Exemplo 16. No anel nilpotente, pois .

Notamos que todo elemento nilpotente no nulo um divisor de zero. Quando nil-
potente, o menor inteiro positivo no nulo para o qual chamado ndice de nilpotncia
do elemento .

Sejam e anis. Vamos definir em uma adio e uma multiplicao do seguinte


modo: dados , e
. Podemos verificar facilmente que munido das opera-
es aqui definidas tambm um anel. O zero deste anel o par . Se e tm identidades
ento tem identidade, (1,1). O anel chamado produto direto dos anis e .

Exemplo 17. Sejam e anis com identidade. O conjunto um subanel


de . Notemos que: se ento
e . Notemos ainda que se
e tm identidades ento a identidade de enquanto que R tem identidade .
Ou seja, a identidade do subanel diferente da identidade do anel

Definio 10. Sejam um anel comutativo com identidade e . Dizemos que


irredutvel se, sempre que com , temos que ou . Dizemos que
primo se, sempre que com , temos que ou .

Exemplo 18. Os primos dos inteiros j estudados um exemplo de elementos irredutveis e pri-
mos. Futuramente estudaremos anis diferentes dos inteiros onde exibiremos outros exemplos.
Apresentaremos um domnio no qual existem irredutveis que no so primos.

RESUMO

Nesta aula, caro aluno, estudamos o conceito de anel, onde definimos, estabelecemos uma
primeira classificao, apresentamos diversos exemplos e as proposies clssicas mais gerais da
teoria.

ATIVIDADES

67
1. Sejam um anel comutativo com identidade e o conjunto de todos os elementos inver-
tveis de . Mostre que um grupo.

2. Em , prove que invertvel se, e somente se, .

3. Identifique todos os divisores de zero de e de .

4. Seja , onde o nmero de inteiros tais que e


. Sejam e tais que . Prove que
. Em particular, se primo e , temos . (Esta
funo conhecida como funo Phi de Euller e este ltimo resultado como pequeno teorema de
Fermat).

5. Se um anel comutativo e so divisores de zero, prove que tambm divisor de


zero.

6. Sejam um primo e . Para e


, definamos as operaes: e
. Prove que um domnio.

7. Se uma seqncia de subanis de um anel , prove que tam-


bm um subanel de .

8. Determine todos os subanis de .

9. Sejam um anel e . Prove que um subanel co-


mutativo de .

10. Prove que o conjunto de todos os elementos nilpotentes de um anel comutativo com iden-
tidade um subanel. (Este subanel chamado o nilradical de ).

COMENTRIO DAS ATIVIDADES

Na primeira atividade voc deve ter usado a definio de elemento invertvel e desenvolvido
com facilidade.

Na segunda atividade, se voc conseguiu resolver, deve ter usado o fato de que,
se, e somente se, existem tais que .

Na terceira atividade a observao de que em um elemento divisor de zero ou invert-


vel til!

Na quarta, voc deve ter notado que um grupo finito de ordem .


68
Na quinta atividade, voc deve ter usado a definio de divisor de zero e feito a atividade
com facilidade.

Na sexta atividade, voc, caro aluno, deve ter notado que as adio e multiplicao definidas
so de fato operaes de , que e que , para
concluir que goza de todas as propriedades de um domnio.

Na stima atividade, voc deve ter usado apenas a definio de subanel para fazer a prova
proposta.

Na oitava, caro aluno, voc deve ter notado que se um subanel de ento
um subgrupo do grupo finito e usado as propriedades aritmticas da ordem de
.

Na nona atividade, bastou usar com cuidado a definio de subanel para concluir a afirma-
o proposta.

Finalmente, na dcima atividade, se e so tais que


, para suficientemente maior do que e , voc deve ter usado a frmula do
binmio de Newton e concludo que .
Que nilpotente simples: .

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

69
Aula 11
IDEAIS E ANIS QUOCIENTES

META

Apresentar o conceito de ideal e definir anel quociente.

OBJETIVOS

Aplicar as propriedades de ideais na resoluo de problemas.

Reconhecer a estrutura algbrica de anel quociente.

PR-REQUISITO

O curso de Fundamentos de Matemtica e a aula 10.

70
INTRODUO

Avanando na teoria dos anis, vamos a mais uma aula. Nesta, iniciaremos o estudo dos ide-
ais que so subanis especiais, estudados inicialmente pelos matemticos alemes Kummer e De-
dekind motivados pelo famoso, ltimo teorema de Fermat, no final do sculo XIX. Atualmente, a
noo de ideal fundamental na teoria dos anis que um dos temas centrais da lgebra comuta-
tiva.

Veremos a seguir que os ideais, cumprem um papel na construo dos anis quocientes, se-
melhante ao papel dos subgrupos normais na construo dos grupos quocientes.

A partir desta aula trataremos apenas dos anis comutativos.

O CONCEITO DE IDEAL

Definio 1. Seja um anel. Dizemos que um subconjunto de um ideal, se cumpre as se-


guintes condies:

i) um subgrupo de .

ii) Para cada e cada ,

Notemos que em especial, , . Logo, todo ideal subanel. Ou melhor,


um ideal se:

i)

ii) Se ento ,

iii) Se e ento .

Notemos que sendo , existe pelo menos um e . Se ento


e .

Exemplo 1. Os subanis e de so, trivialmente, ideais de .

Exemplo 2. Sejam um anel e . Ento o conjunto dos mltiplos de


em um ideal de . De fato, pois, e se ento
com , portanto . Se e
, ento . O ideal chamado ideal principal de gerado
pelo elemento . Denotamos tambm este ideal por ou .

Exemplo 3. Sejam um anel e . O conjunto


um ideal, cha-

71
mado ideal de gerado por . A verificao de que este conjunto de fato, um ideal
simples e deixamos como atividade. Indicamos este ideal tambm por ou
.

Observao. Quando tem identidade o ideal principal gerado por o prprio . Notemos
que e para cada , ou seja . Se um corpo e um ideal de
ento ou . Notemos que neste caso, se e existe e
como , temos .

Exemplo 4. Na aula 2, quando estudamos o mximo divisor comum entre inteiros, estabelecemos
o conceito de ideal especialmente para os inteiros. Vimos que todo ideal de principal.

Definio 2. Quando num domnio todo ideal principal, dizemos que o mesmo um domnio
de ideais principais (DIP).

Definio 3. Sejam um anel e . Dizemos que divide se existe um tal


que

Notamos que esta definio a mesma que estabelecemos quando estvamos estudando os
inteiros e, analogamente, valem as seguintes propriedades:

i)

ii) Se e ento

iii) Se e ento, para todos , temos que


.

Definio 4. Sejam um domnio e no todos nulas. Dizemos que um


mximo divisor comum de se:

i)

ii) Se existe tal que , ento .

Exemplo 5. Para , e so mximos divisores comuns de e .

Proposio 1. Sejam um domnio e . Se ento .

Demonstrao. Existe tal que , logo , ou seja, . Segue que para


todo , ou seja, .

Definio 5. Sejam um anel com identidade e . Dizemos que e so associados se


existe um invertvel tal que . Indicamos: .

72
Proposio 2. Se um anel com identidade e so elementos associados ento
.

Demonstrao. Seja . Como existe tal que , temos


. Analogamente, , donde temos a igualdade.

Observao. A recproca desta proposio s verdadeira se um domnio. Notemos que


e e . Ento, existem tais que e
. Sendo e domnio, segue que
ou seja .

Definio 6. Sejam um anel e ideais. Definimos a soma de e como sendo o conjun-


to .

Notemos que . Se
e ento
. Se e (com
), ento . Com e , pois e so ideais, segue que
. Portanto um ideal de .

Definio 7. Sejam um anel e ideais. Definimos o produto de por como sendo o


conjunto .

Notamos que o conjunto de todos os elementos de que podem ser escritos como
uma soma com um nmero finito de parcelas do tipo com e .

fcil ver que o pode ser escrito desta forma, que se so escritos desta forma,
tambm pode ser escrito desta forma e finalmente, se e uma soma de parcelas
do tipo com e , ento tambm o . Portanto um ideal de .

Exemplo 6. Sejam e . Ento:

Observao:

Definio 8. Sejam um anel e um ideal de . Dizemos que um ideal primo de se,


e toda vez que com , temos que ou

73
Exemplo 7. O ideal nulo e os ideais gerados por elementos primos de so todos ideais primos.
Se primo ento e se com ento donde temos que
ou .

Exemplo 8. Seja tal que continua e seja . En-


to, um ideal primo do anel . Com efeito, se e

ou g(0)=0 (g . Notemos que

Definio 9. Sejam um anel e um ideal de . Dizemos que maxmal se toda vez que
um ideal tal que temos ou (ou seja, no existe um ideal prprio de
contendo e diferente de ).

Exemplo 9. Todos os ideais primos e no nulos de so maximais. Seja um primo e supo-


nhamos que existe um ideal tal que . Ento ou .
Se , temos e, se , temos

ANIS QUOCIENTES

Sejam um anel e um ideal de Vamos definir em a seguinte relao binria:

Definio 1. Dados , dizemos que congruente mdulo e escrevemos


se .

Proposio 1. A relao acima definida em de equivalncia.

Demonstrao. i) .

ii) Se ento .

iii) Se e ento .

A classe de um elemento , mdulo esta relao :

74
O conjunto quociente . Agora, vamos definir duas

operaes uma adio e uma multiplicao no conjunto quociente do seguinte modo: dados

, e .

Proposio 2. As operaes acima esto bem definidas. Ou melhor, no dependem dos represen-
tantes das classes.

Demonstrao. Sejam e suponhamos que e ou


seja . Temos ento:
.
Agora,

Proposio 3. O conjunto quociente , munido das operaes acima definidas tem estrutura de
anel.

Demonstrao. Dados , temos,

i)

ii) .

iii) existe tal que .

iv) para cada , existe tal que


.

v)

vi)
.

Analogamente, .
75
Notemos que se tem identidade, ento tem identidade, pois,

Exemplo 1. Sejam e um ideal de . Notamos que


. Logo,
.

Ou seja, o anel que j estudamos na aula 3.

Proposio 4. Sejam um anel com identidade e um ideal de .

i) primo se, e somente se, domnio.

ii) maximal se, e somente se, corpo.

Demonstrao. i) se no fosse um domnio, existiriam tais que


. Neste caso, e como um ideal primo, teramos
ou , contradio.

Suponhamos que domnio. Se no fosse um ideal primo ento e neste caso

, uma contradio, ou existiriam tais que com e . Mas, te-


ramos ento e contrariando a hiptese de
que domnio.

ii) Seja logo . Segue que o ideal contm propriamente o ide-


al . Como maximal segue que e, existem e tais que .
Assim, ou seja, . Portanto, in-
vertvel e conseqentemente corpo.

Seja um ideal tal que e suponhamos que segue que existe

. Como corpo e , temos que invertivel em ou seja, existe

tal que . Logo, ou melhor,


pois e . Portanto, e maximal.

Exemplo 2. Os ideais do tipo , de com primo so todos maximais. Com efeito, se existe
um ideal de tal que ento , ou seja, . Se , temos
.

76
RESUMO

Nesta aula, estudamos inicialmente o conceito de ideal, no geral definimos os domnios prin-
cipais, o mximo divisor comum nestes domnios, definimos a adio e o produto de ideais defi-
nimos ideais primos e maximais. No final estudamos conceito de anel quociente onde estabelece-
mos os dois resultados importantes de que quando um ideal primo (maximal) o quociente do-
mnio (corpo).

ATIVIDADES

1. Seja uma famlia de ideais de um anel . Prove que tambm um ideal de .

2. Seja uma cadeia ascendente de ideais de . Prove que existe um


tal que . (Anis que tem esta propriedade so chamados Noetheria-
mos).

3. Se e J so ideais de um anel . Prove que em geral no um ideal.

4. Sejam ideais de um anel . Prove que:

a)

b)

c) .

d)

5. Sejam um anel comutativo e o nilradical de .prove que um ideal de . Prove tam-


bm que o nico elemento nilpotente do anel quociente .

6. Sejam um anel e um ideal de . Defina tal que para algum


. Prove que um ideal de . (Este ideal chamado o radical de ).

7. Seja o anel das funes contnuas e seja um ideal maximal de . Prove que
para cada existe um tal que .

COMENTRIO DAS ATIVIDADES

Na primeira atividade voc, caro aluno, deve ter aplicado apenas a definio de ideal.

77
Na segunda atividade, voc deve ter usado o fato de que o domnio dos inteiros principal,
conseqentemente, fatorial. Se a cadeia ascendente de ideais no estabilizasse, teramos algum in-
teiro com infinitos divisores.

Na terceira atividade, voc deve ter notado que a unio de dois ideais s um ideal, quando
um subconjunto do outro.

Na quarta atividade, se voc a fez, deve ter apenas aplicado a definio de ideal e as respecti-
vas definies.

Nas quinta e sexta atividades, voc deve ter usado novamente a definio de ideal e como se
trata de anis comutativos, a frmula do binmio de Newton pode ser aplicada.

Na stima atividade voc deve ter percebido que se a afirmao no fosse verdadeira a fun-
o 1 pertenceria ao ideal e o mesmo no seria maximal.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

78
Aula 12
HOMOMORFISMO DE ANIS

META

Estabelecer o conceito de Homomorfismo de Anis.

OBJETIVOS

Reconhecer e classificar homomorfismos de anis.

Aplicar as propriedades bsicas dos homomorfismos na resoluo de problemas.

Aplicar o primeiro teorema dos isomorfismos.

PR REQUISITOS

As aulas 6, 10 e 11.

78
INTRODUO

Nesta aula, caro aluno, continuaremos o estudo dos homomorfismos que comeamos na
aula 6, onde l os domnios e contradomnios eram grupos, aqui so anis. importante neste
momento que voc reveja a aula 6.

Como j dissemos anteriormente, os homomorfismos so aplicaes que servem para com-


parar estruturas algbricas de mesma natureza. Os termos aqui usados so basicamente os mes-
mos que usamos para grupos. Temos ncleo e imagem de homomorfismo, os trs teoremas de
isomorfismos, etc.

O CONCEITO

Definio 1. Sejam e anis e uma aplicao de em . Dizemos que um homomor-


fismo se e .

Exemplo 1. Sejam e anis a aplicao nula um homomor-


fismo de anis. Notemos que e
.

Exemplo 2. Seja um anel. A identidade de um homomorfismo de em . De fato, para


e .

Exemplo 3. Sejam um anel e I um ideal. Seja dada por . Claramente


um homomorfismo de anis. Sejam ento
e,
. Chamamos este homomorfismo ou
projeo cannica de sobre .

A um homomorfismo de um anel nele prprio chamamos um endomorfismo de .

A um homomorfismo injetivo, chamamos monomorfismo de em .

A um homomorfismo bijetivo, chamamos isomorfismo de em . Neste caso


dizemos que e so anis isomorfos.

A um isomorfismo de um anel nele prprio, chamamos um automorfismo de .


79
Proposio 1. Sejam e anis e um homomorfismo. Ento:

i)

ii) .

iii) Se e so domnios ento a aplicao nula ou .

Demonstrao.

i) .

ii) .

iii) , ou .

Exemplo 4. O nico automorfismo de o homomorfismo identidade. De fato, seja


um automorfismo. Ento, como um domnio . Assumindo por induo, que para
, , . Logo .

Finalmente, . Segue que


.

Portanto, , ou seja, .

Definio 3. Seja um homomorfismo de anis. Definimos o ncleo de como sendo


o conjunto .

Proposio 2. Seja um homomorfismo de anis. Ento, um ideal de e


um subanel de .

Demonstrao. Como e . Sejam . Ento


.

Sejam e . Ento, . Ou seja,


. Portanto um ideal de .

80
Agora, de e se , existem , tais que e .
Segue que e que . Portanto, um subanel de
.

Proposio 3. Seja um homomorfismo de anis. Ento,

injetiva se, e somente se, .

Demonstrao. Se injetiva, como segue que . Se e


ento , ou seja, injetiva.

ISOMORFISMOS CANNICOS E O TEOREMA DA CORRESPONDNCIA

Proposio 1. (1 Teorema do Isomorfismo de Anis). Se um homomorfismo so-


brejetivo de anis e , ento os anis e so isomorfos. Precisamente, a aplicao

dada por um isomorfismo.

Demonstrao. Notemos inicialmente que se , ou seja, se ento


e donde temos que . Logo, est bem definida. Como,

, logo,
um homomorfismo.

Finalmente, ou seja,
injetiva. Como segue que:

um isomorfismo de anis.

Escrevemos: .

81
Exemplo 1. Dados dois anis A e B definimos o produto direto dos anis A e B como sendo o
anel no qual esto definidas as operaes dadas
, e .O
zero deste anel . Quando e , com e ,
a aplicao , dada por sobrejetiva e tem
ncleo . Do primeiro teorema dos isomorfismos segue que

Vamos s contas!

Afirmao. um homomorfismo.

De fato, dados ,

Analogamente,
.

Afirmao. .

Seja e suponhamos que . Ou seja, e .


Segue que , ou seja, . Como , temos que isto ,
. Se ento e donde temos que e de modo que
ou seja, .

Afirmao.(Teorema chins dos restos). A aplicao sobrejetiva. De fato


, como existe um tal que ,
portanto e de modo que
.

Notemos que, sendo , existem tais que . Tome


como sendo ento:
82
e como segue que

e como temos que .

Proposio 2. (2 teorema dos isomorfismos de anis). Sejam um anel, um ideal de e um


subanel de . Ento um subanel de um ideal de
um ideal de e vale:

Demonstrao. Vamos mostrar apenas o isomorfismo. Com efeito, consideremos a aplicao


dada por . Ento,
.

Analogamente, ou seja,
um homomorfismo.

Agora, . Logo, .

Finalmente, dado com e , notemos que ,


pois . Assim, , ou seja, sobrejetiva. Segue do 1 teorema
dos isomorfismos que

, como queramos demonstrar.

Proposio 3. (3 teorema dos isomorfismos para anis). Sejam uma anel, ideais de com

. Ento um ideal de , um ideal de e temos o isomorfismo de anis.

Demonstrao. Demonstraremos apenas o isomorfismo. Consideremos a aplicao:

dada por . fcil ver que um homomorfismo. Seja


.

Logo, .

83
Dado , temos que , ou seja, sobrejetiva. Logo, do 1 teorema,

segue que , como queramos demonstrar.

Observao. Caro aluno, os dois ltimos teoremas tm valor terico, podem ser utilizados em
cursos futuros e ns queremos apenas que voc olhe para eles, neste momento, como exemplos
de aplicaes do primeiro teorema.

Proposio 4. (Teorema da correspondncia). Seja um homomorfismo sobrejetivo de


anis. Existe uma bijeo entre ideais de contendo e ideais de dada por .

Demonstrao. Primeiro, notemos que como sobrejetiva, para cada ideal de um


ideal de . Para ver isto, . Se , existem tais que
e de modo que e como , segue que
.

Dados existem tais que e como


, ou seja, um ideal de .

Agora, sejam um ideal de contendo tais que


. Ento isto , , ou
seja, a correspondncia injetiva.

Dado , o conjunto um ideal de , pois, dados

Se a e ento e como segue que e


consequentemente

Logo tal que donde temos que a correspondncia entre


ideais de contendo e suas imagens diretas em uma bijeo.

RESUMO

Nesta aula comeamos definindo, exemplificando e classificando os homomorfismos de


anis. Definimos ncleo e imagem destes homomorfismos e, em seguida estabelecemos os seus
teoremas clssicos, os trs de isomorfismos e o da correspondncia que so ferramentas bsicas
para cursos de lgebra posteriores.
84
ATIVIDADES

1. Prove que o nico automorfismo de a identidade .

2. Prove que os subcorpos de e


no so isomorfos.

3. Sejam e anis e sejam e dadas por e


. Prove que ambas so homomorfismos sobrejetivos (epimorfismos). Calcule
e conclua que e .

4. Sejam e inteiros positivos coprimos e a funo Phi de Euller. Prove que


.

5. Sejam e anis comutativos com identidades e um homomorfismo sobrejeti-


vo. Prove que um ideal primo se, e somente se primo.

COMENTRIO DAS ATIVIDADES

Na primeira atividade, voc deve ter usado o exemplo 4, para concluir que
e notado que para cada .

Na segunda atividade, voc deve ter notado que se existisse um isomorfismo


ento, por ser teramos o que no verdade.

Na terceira atividade, voc deve ter usado as respectivas definies e o 1 teorema dos iso-
morfismos.

Se voc conseguiu fazer a quarta atividade, deve ter usado o exemplo 4 e a definio da fun-
o Phi de Euller.

Notemos que na quinta atividade estamos afirmando que no teorema da correspondncia, o


correspondente de um ideal primo tambm um ideal primo. Para provar este resultado, voc
deve ter apenas usado com cuidado a definio de ideal primo.

REFERNCIAS
85
GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

86
Aula 13
DOMNIOS EUCLIDIANOS

META

Estabelecer o conceito de domnio euclidiano.

OBJETIVOS

Reconhecer domnios euclidianos.

Aplicar as propriedades dos domnios euclidianos na resoluo de problemas.

PR REQUISITO

Aula 10.

INTRODUO
85
O algoritmo da diviso em , estudado na aula 2, em essncia, diz que em , podemos fazer
a diviso de um elemento por outro (no nulo) obtendo um resto pequeno, ou mais preci-
samente, um resto cujo valor absoluto seja menor do que o valor absoluto de . Um domnio eu-
clidiano nada mais do que um domnio que tem um algoritmo similar ao de Euclides em .
Alis, os inteiros munidos do algoritmo de Euclides um exemplo de domnio euclidiano.

O CONCEITO DE DOMNIO EUCLIDIANO

Definio 1. Dizemos que um domnio euclidiano, se existe uma funo sa-


tisfazendo as seguintes propriedades:

i) , existem tais que e ou .

ii) , temos .

Exemplo 1. Sejam e (a funo valor absoluto, ). Ento, o algo-


ritmo de Euclides afirma que dados com , existem tais que e
. Notemos que a condio equivalente a ou . Dados
, como e temos que . Ou seja, um do-
mnio Euclidiano.

Exemplo 2. Seja um corpo e seja a funo nula. Ento, dados


existem e tais que e . Alm disto, se , ento
. Logo, um domnio euclidiano.

Exemplo 3. Seja o subdomnio dos complexos


formados pelos nmeros que tm partes real e imaginria inteiras (Este domnio conhecido
como o anel dos inteiros gaussianos).

Seja , dada por que evidentemente, multiplicativa, isto ,


e seja a funo restrio de a com contradom-
nio . Ento, e .

Afirmao. um domnio euclidiano. Com efeito, sejam onde .


Vamos exibir tais que e ou . Escrevendo

com , temos , ou seja,

86
Agora sejam tais que e sejam tais que e

. fcil ver que estes inteiros existem! Tomemos agora, e .


Assim,

Portanto, existem tais que e . Notemos que esta lti-


ma igualdade equivalente a ou .

Finalmente, dados , temos e de modo que


.

Notemos que a escolha de e como fizemos no garante a unicidade do par . No caso


de e . Neste caso deve ser tal que e
.

Podemos escolher e no conjunto ou seja, pode ser ou .

Proposio 1. Todo domnio euclidiano principal.

Demonstrao.

Sejam um domnio euclidiano e um ideal no nulo de . Sejam


e . Ento o ideal . Seja e sejam tais que onde
ou . Como e temos que e
. Portanto .

Sejam elementos de um domnio euclidiano , no todos nulos. Um ele-


mento tal que cumpre as seguintes condies:

i)

ii) Existem tais que

iii) Se existe tal que ento .

87
Portanto, um mximo divisor comum de .

Para o clculo de um mximo divisor comum, podemos usar o algoritmo de Euclides, das
divises sucessivas em todo domnio euclidiano.

Exemplo 4. Vamos em , calcular um mximo divisor comum dos elementos e


. Faamos:

um mximo divisor comum de e em .

Observao. Vejamos na atividade 1 que . Logo, cada ideal no nulo de


tem quatro geradores e fcil ver que em cada quadrante do plano complexo, tem um destes ge-
radores. Dados no todos nulos, escolhemos, por definio, um dos m-
ximos divisores comuns, para ser o mximo divisor comum aquele que est no primeiro qua-
drante. O indicaremos por . Precisamente,
ou , . Por exemplo,
.

Exemplo 5. Seja e . fcil ver que


um subdomnio do corpo dos nmeros complexos. Para cada , notemos que

Notando que e temos que .

Consideremos a funo dada por .


Claramente multiplicativa, ou seja, . Vamos provar que
um domnio euclidiano.

Afirmao: Dados , onde , existem e tais que e


ou . Se , ento .

De fato, queremos encontrar e tais que e ou . Escre-

vendo e com , como fizemos no caso dos inteiros

gaussianos, tomemos tais que e , faamos e


. Agora,

88
Ou seja, .

Portanto, dados com existem e (no necessariamente nicos) tais


que e . Notando que , temos que para
e que de modo que . Podemos
ento concluir que um domnio euclidiano.

Observao. Outro exemplo de domnio euclidiano o dos polinmios em uma nica indetermi-
nada (varivel) sobre um corpo que ser estudado no curso de Estruturas Algbricas II.

RESUMO

Nesta aula, estudamos os domnios euclidianos, dos quais, os inteiros um exemplo. Vimos
tambm que todo domnio euclidiano (DE) um domnio de ideais principais e exibimos dois
domnios euclidianos e .

ATIVIDADES

1. Sejam um domnio euclidiano, no nulos, um de e um


de . Prove que e so associados.

2. Prove que e no so corpos.

3. Determine todos os invertveis de e os de .

4. Seja um elemento primo de , prove que existe um elemento primo de tal que .

5. Se tal que um elemento primo de , prove que um elemento primo


de .

6. Seja . Prove que este subdomnio de , munido da apli-


cao dada por um domnio euclidiano.

COMENTRIO DAS ATIVIDADES

89
Se voc, caro aluno, fez a primeira atividade, voc deve ter notado que se trata do lema cru-
cial que usamos no clculo do mximo divisor comum por divises sucessivas (de Euclides). Bas-
ta provar que e .

Na segunda questo, dado , voc deve ter notado que a equao nem sempre
tem soluo no domnio.

Na terceira atividade, voc deve ter observado que invertvel se, e somente se,
.

Na quarta atividade, voc deve ter notado que e usado o fato de que um
elemento primo.

Na quinta, voc no deve ter tido dificuldades, pois, .

Na sexta atividade, voc deve ter imitado as demonstraes feitas na aula de que e
so domnios euclidianos.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

90
Aula 14
DOMNIOS FATORIAIS

META

Estabelecer o conceito de domnio fatorial.

OBJETIVOS

Aplicar a definio de domnio fatorial na resoluo de problemas.

Estabelecer a definio de mximo divisor comum em domnios fatoriais.

Reconhecer elementos primos em domnios.

PR REQUISITO

As aulas 10, 11, 12 e 13 deste curso.

90
INTRODUO

Quando estudamos os nmeros inteiros, tivemos a oportunidade de verificar que os nme-


ros primos (irredutveis) do ponto de vista da divisibilidade so bastante simples, alm disto, vale
o teorema fundamental da Aritmtica, ou seja, atravs da multiplicao de primos podemos gerar
todos os inteiros no nulos e no invertveis.

Nosso objetivo aqui apresentar o conceito de domnio fatorial que uma extenso desta
propriedade dos inteiros. Ou melhor, o domnio o primeiro exemplo de Domnio Fatorial.

O CONCEITO DE DOMNIO FATORIAL

Definio 1. Dizemos que um domnio D fatorial (ou de fatorao nica) se as seguintes con-
dies so satisfeitas:

i) Todo elemento a no nulo e no invertvel admite uma fatorao do tipo:

Onde e so irredutveis.

ii) Se um elemento admite duas fatoraes e


do tipo ento e existe uma permutao tal que
para .

Informalmente, num Domnio Fatorial (DFU) todo elemento no nulo e no invertvel ou


irredutvel ou um produto de elementos irredutveis, e esta fatorao nica, a menor da ordem
dos fatores e de multiplicao por invertveis.

Exemplo 1. Segue do teorema Fundamental da Aritmtica que um DFU.

A proposio a seguir fornece uma caracterizao dos domnios fatoriais da qual podemos
concluir que todo domnio principal (e, portanto todo domnio euclidiano) fatorial.

Proposio 1. Seja D um domnio. Ento D um Domnio Fatorial se, e somente se valem as se-
guintes proposies:

i) Todo elemento irredutvel de D primo.

ii) Toda cadeia ascendente de ideais principais de D estacionria, isto , se


uma sequncia de ideais, ento existe um
tal que, .

91
Demonstrao. Sejam onde irredutvel e . Ento existe tal que
. Como , e D fatorial, possuem fatoraes do tipo ,
ou seja,

Pela unicidade da fatorao de (ou ) segue que associado de um ou de um .


No primeiro caso, e no segundo . Portanto primo.

Por outro lado, consideremos uma cadeia ascendente de ideais principais

Como para , as fatoraes de tm as formas

Onde . Logo para algum temos que associado de e


consequentemente

Ou seja, a cadeia estacionria.

Agora, suponhamos que D um domnio para o qual valem i) e ii). Seja um ele-
mento no nulo e no invertvel, e suponhamos, por contradio, que a no tenha uma fatorao
do tipo .

Ento, onde ou b no admite uma fatorao do tipo e ambos so no nulos e


no invertveis. Fazendo e escolhendo um elemento entre b e c que no admite uma
fatorao do tipo , por induo construmos uma sequncia

onde, e .

Segue que os ideais principais so tais que

Contrariando a hiptese de que toda cadeia ascendente estacionria. Portanto, o domnio


D fatorial.
92
Observao. Sabemos que todo domnio euclidiano de ideais principais e que em todo domnio
de ideais principais, ser irredutvel implica ser primo e toda cadeia ascendente de ideais estabiliza.
Do teorema acima segue que todo domnio principal fatorial.

Exemplo 2. Considerando a observao acima podemos afirmar que e so domnios


fatoriais.

Observao. Lembremos que um corpo um domnio euclidiano no qual no existem irredut-


veis. Neste caso extremo, temos um Domnio Fatorial onde os tais elementos no nulos e no in-
vertveis se existissem seriam produtos de irredutveis.

Observao. No curso de Estruturas Algbricas II, voc caro aluno, estudar anis de polinmios
numa indeterminada sobre domnios. Em particular, o anel dos polinmios em uma indetermina-
da com coeficientes inteiros um exemplo de domnio fatorial que no principal.

Vamos terminar esta aula estudando o exemplo de Kummer de um domnio que no fato-
rial. Trata-se do conjunto .

fcil verificar que D um subdomnio do corpo dos nmeros complexos.

A funo norma dada por que inclusive j estudamos as res-


pectivas de e tem aqui tambm um papel importante.

Proposio 2. Seja . As afirmaes a seguir so equivalentes:

i) ;

ii) ;

iii)

Demonstrao. (Atividade)

Proposio 3. Seja no nulo e no invertvel. Se, para cada divisor d de


, a equao diofantina No tem soluo, ento um
elemento irredutvel.

Demonstrao. Suponhamos, por contradio, que seja irredutvel e seja


Onde os fatores e so no nulos e no in-
vertveis em . Da proposio anterior, e . Logo,
.

Assim, para , o par uma soluo da equao diofantina


, uma contradio.

93
Exemplo 14.2.3. fcil ver que para , divisor prprio de , a equao diofanti-
na no tem soluo. Portanto, irredutvel em .

Analogamente, para , a equao diofantina tambm no tem soluo. Portanto


tambm irredutvel em .

Exemplo 14.2.4. Os elementos e so irredutveis em pois para cada divi-


sor prprio de que pertence ao conjunto , a equao diofantina
no admite soluo.

Agora considerando os contedos dos exemplos 14.2.3 e 14.2.4 e notando que


temos que, em , o elemento admite duas fatoraes dis-
tintas como produto de irredutveis, donde conclumos que um domnio que no fatori-
al. Notemos ainda que, por exemplo, no primo em , haja visto que
, e .

RESUMO

Nesta aula, caro aluno, definimos Domnios Fatoriais, estabelecemos uma primeira caracteri-
zao dos Domnios Fatoriais, da qual conclumos que domnios principais so fatoriais e termi-
namos a aula estabelecendo o exemplo de Kummer de um Domnio que no fatorial.

ATIVIDADES

1. Seja a um inteiro positivo e seja tal que (ou seja, ). Prove que
no racional.

2. Sejam e as fatoraes em primos positivos dos intei-


ros a e b onde, . Prove que e
onde e para

3. Prove que os elementos e da atividade , verificam a relao:


.

4. Num Domnio Fatorial, um elemento um mximo divisor comum dos elementos no nu-
los e se, e se existe tal que ento . Se , es-
creva em funo dos fatores irredutveis de e .

5. Mostre que se um elemento primo do domnio de Kummer ento divide um elemento


primo de .
94
COMENTRIO DAS ATIVIDADES

Na primeira atividade, caro aluno, voc deve ter assumido, por contradio, que racional
contrariando o fato de que um Domnio Fatorial.

Nas segunda e terceira atividades voc, usando as respectivas definies de e no


deve ter tido dificuldades para provar tais afirmaes.

Na quarta atividade, voc deve ter usado o caso especial da atividade como inspirao.

Na quinta atividade, se voc caro aluno, conseguiu xito, deve ter notado que
e usado o teorema fundamental da Aritmtica.

REFERNCIAS

GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

GARCIA, Arnaldo; LEQUAIN, Yves. Elementos de lgebra. 3. ed. Rio de Janeiro: IMPA, 2005.
326 p. (Srie: Projeto Euclides).

95
Aula 15
CORPO DE FRAES DE UM DOMNIO

META
Estabelecer o conceito de corpo de fraes de um domnio.

OBJETIVOS
Identificar o corpo de um domnio.
Aplicar as propriedades do corpo de fraes de um domnio na resoluo de proble-
mas.

PR-REQUISITOS
O curso de Fundamentos de Matemtica e as aulas 10, 12, e 14 deste curso.

96
INTRODUO
Caro aluno, finalmente vamos ultima aula deste nosso primeiro curso em Estruturas Alg-
bricas; espero que voc esteja gostando. Nesta aula vamos mostrar que dado um domnio D
possvel sempre estabelecer, a partir de D, um corpo que o tenha como subdomnio. Chamamos
este corpo de corpo de fraes de D e o indicamos por .

O primeiro exemplo de construo de um corpo de fraes de um domnio estudado, em-


bora do modo informal, no ensino fundamental, quando definimos um racional como sendo um
nmero que pode ser posto na forma , onde e so inteiros e .

O CONCEITO DE CORPO DE FRAES DE UM DOMNIO


Seja D um domnio qualquer. Vamos definir uma relao de equivalncia no conjunto
do seguinte modo: dados , ento se, e
somente se, .

Notemos que e que ,trivialmente. Quanto


transitividade, suponhamos que e que . Por definio,
e . Multiplicando a primeira igualdade por e a segunda por , obtemos e
, donde temos . Logo e, portanto . Denotemos a
classe de equivalncia de por , ou seja,

Indicamos o conjunto quociente de mdulo esta relao por .

Sejam .

Definio 1.

Definio 2.

Notemos que, como a adio e a multiplicao foram acima definidas, devemos justificar
que as mesmas no dependem dos representantes das classes. Com efeito, sejam e .
Agora, notemos ainda que equivalente a ou
equivalente a .

Como, por hiptese, e , temos a ultima igualdade verificada e con-


seqentemente a primeira.

97
A verificao da multiplicao tambm simples e deixamos caro aluno, como atividade.

Notemos que o elemento neutro para a adio:

, e que o elemento neutro para a multi-

plicao: .

Se, ento, , ou seja, todo elemento tem inverso mul-


tiplicativo.

Alis, tem estrutura de corpo. As demais propriedades so de fcil verificao


e de uma rotina tediosa e se voc, caro aluno quer faz-las como atividade, v em frente!

Agora, consideremos a aplicao dada por .

Notemos que

, e que

Logo um homomorfismo de anis. Alm disto,


ou seja, injetiva. Segue que
. Identificando por em , podemos assumir que um
subdomnio do corpo .

Exemplo 1.

Exemplo 2. de fcil verificao que o conjunto munido das


restries das operaes de adio e multiplicao usuais, um subcorpo de . Afirmamos: O
corpo de fraes do domnio (dos inteiros de Gauss) a menos de isomorfismo, .

Para justificarmos esta afirmao, consideremos a aplicao

, dada por . Notemos que se em ento


donde temos que em donde temos que no depende dos re-

98
presentantes das classes. Por outro lado, se , ento

Facilmente, tambm se verifica que .

Portanto um homomorfismo de em .

Agora, notemos que em ou


seja, injetiva.

Finalmente, seja . Ento existem tais que


e de modo que

Fazendo , temos que e, conseqentemen-


te, sobrejetiva.

Conclumos ento que um isomorfismo de em .

Afirmamos simplesmente que o corpo de fraes de .

RESUMO

Nesta aula, dado um domnio D, usando uma relao de equivalncia em ,


construmos um corpo, dependendo apenas de D, chamado o corpo de fraes de D, corpo este
que contm um subdomnio isomorfo a D que, tecnicamente, conveniente identific-lo como
sendo o prprio D.

ATIVIDADES

1. Considere o subdomnio de . Identifique o sub-


corpo de que, a menos de isomorfismo, .

2. Seja D um domnio e . Se um corpo tal que , prove que .

3. Se o domnio D um corpo, prove que .

4. Assumindo a conhecida relao de ordem total em , estabelea em uma ordem total


da qual em uma restrio.

99
5. Identifique o subcorpo de que o corpo de fraes de . .

COMENTRIO DAS ATIVIDADES


Nas atividades 1 e 5, voc deve ter imitado o segundo exemplo. Na quinta, se voc percebeu
que e que voc deve ter reduzido o seu trabalho.

Na segunda atividade, basta notar que se , ento . Costumamos interpretar esta


atividade dizendo que o menor subcorpo que contm D.

Na terceira atividade, voc deve ter notado que a imagem do homomorfismo


dado por um subcorpo de e aplicando o exerccio anterior.

Na quarta atividade, voc deve ter usado fortemente o fato de que para quaisquer dois racio-
nais e no negativos existem tais que e .

REFERNCIAS
GONALVES, Adilson. Introduo lgebra. 5. ed. Rio de Janeiro: IMPA, 2007. 194 p. (Projeto
Euclides) ISBN.

HUNGERFORD, Thomas W. Abstract algebra: an introduction. 2nd. ed. Austrlia: Thomson


Learning, 1997.

100