Caderno Didático - Introdução A Álgebra Abstrata

Governo Federal
Ministro de Educao
Jos Henrique Paim Fernandes
Universidade Aberta do Brasil
Responsvel pela Diretoria da Educao a Distncia

Joo Carlos Teatini de Souza Clmaco
Universidade Federal Rural do Semi-rido

Reitor
Jos de Arimatea de Matos
Pr-Reitor de Graduao
Augusto Carlos Pavo
Ncleo de Educao a Distncia

Coordenadora UAB
Valdenize Lopes do Nascimento
Equipe multidisciplinar
Equipe administrativa
Antnio Charleskson Lopes Pinheiro Diretor de

Produo de Material Didtico
Ulisses de Melo Furtado Designer Instrucional
Gerlandia Joca de Castro Assessora Pedaggica
ngelo Gustavo Mendes Costa - Assessor Pedaggico
Francisca Monteiro da Silva Perez - Assessora Pedaggica
Adriana Mara Guimares de Farias Programadora
Camilla Moreira Uchoa Webdesigner
Jssica Estr Frutuoso de Souza - Programadora
Thiago Henrique Rossato - Programador
Felipe Yuri Silva - Suporte de Informtica
Jssica de Oliveira Fernandes - Comunicao e Marketing
Ramon Ribeiro Vitorino Rodrigues - Diretor de Arte
Mikael Oliveira de Meneses Diagramador
Alberto de Oliveira Lima Diagramador
Jos Antonio da Silva - Diagramador
Frediano Arajo de Sousa Ilustrador
Rafaela Cristina Alves de Freitas Assistente em Administrao

Iriane Teresa de Arajo Responsvel pelo fomento
Bruno Layson Ferreira leo Estagirio
Thayssa Teixeira Lira - Estagiria
Paulo Augusto Nogueira Pereira - Estagirio
Antonio Romrio Bezerra Nogueira - Estagirio
Arte da capa
Impresso
Felipe de Arajo Alves
Equipe de apoio
Nayra Maria da Costa Lima Reviso Didtica
Alvaneide Maria de Morais Moura Reviso Didtica
Mrcio Vinicius Barreto da Silva Reviso Lingustica
Jssica de Oliveira Fernandes - Reviso Lingustica
Josenildo Galdino dos Santos - Reviso Conceitual
Servios tcnicos especializados

Life Tecnologia e Consultoria
Edio
EDUFERSA
Grfica So Mateus
2014 by NEaD/UFERSA - Todos os direitos reservados. Nenhuma parte desta publicao poder ser reproduzida
ou transmitida de qualquer modo ou por qualquer outro meio, eletrnico ou mecnico, incluindo fotocpia, gravao
ou qualquer outro tipo de sistema de armazenamento e transmisso de informao, sem prvia autorizao, por escrito,
do NEaD/UFERSA. O contedo da obra de exclusiva responsabilidade dos autores.
Setor de Informao e Referncia (SIR-BCOT/UFERSA)

D85i
Duarte, Suene Campos.

Introduo lgebra abstrata / Suene Campos
Duarte. Mossor: EdUFERSA, 2014.
60 p. : il.
ISBN: 978-85-63145-72-7

1. lgebra abstrata. 2. Matemtica. I. Ttulo.
UFERSA/BCOT
CDD 512.02
Bibliotecrio-Documentalista
Mrio Gaudncio CRB-15/476
http://nead.ufersa.edu.br/
APRESENTAO DA DISCIPLINA
Caro(a) aluno(a);
O estudo da Matemtica, alm de permitir o exerccio de algumas aes prticas
cotidianas (clculo financeiro, gerenciamento de estoque, etc), fornece uma ferramenta
simblica para o pensamento humano (explicita intensidade, relaes lgicas e de
grandezas, entre outros).
A lgebra Abstrata, estabelecendo os seus fundamentos, onde a linguagem
matemtica definida e onde a compreenso dos conceitos, pelos seus nveis de
abstraes, requer o desenvolvimento de raciocnios que ajudaro no estabelecimento
de pontes entra a Matemtica e outras cincias.
O curso Introduo lgebra Abstrata objetiva estabelecer um primeiro contato
com um mundo de conceitos e estruturas operatrias que, a primeira vista parecem
distantes da realidade, mas nada mais so do que a formalizao de teorias j fixadas
em diversos temas, tais como Teoria dos Conjuntos, Teoria dos Nmeros, lgebra
Linear, etc. Este curso foi estruturado para estudantes que no tiveram nenhum contato
anterior explcito com a disciplina, podendo tambm ser realizado por estudantes ou
profissionais de outras reas que pretendam ter uma ideia do que Matemtica.
Bons estudos!
SOBRE O AUTOR
Suene Campos Duarte bacharel em Matemtica pela
Universidade Federal da Paraba e Mestre em Matemtica pela
Universidade Federal de Campina Grande. Foi professora substituta
na Universidade Estadual da Paraba, professora assistente na
Universidade Federal de Campina Grande e atualmente professora
assistente da Universidade Federal Rural do Semi-rido.
Seu trabalho na modalidade educao distncia consiste na
participao como tutora, professora formadora e conteudista em
disciplinas da rea de Matemtica, junto Licenciatura em Matemtica da
Universidade Federal Rural do Semi-rido / Ncleo de Educao Distncia.
SUMRIO
UNIDADE I
NMEROS INTEIROS
Preliminares: Terminologia dos conjuntos 13
Propriedades bsicas dos inteiros15
Mximo Divisor Comum MDC
17
Relao de equivalncia
19
UNIDADE II
TEORIA DOS GRUPOS
Grupos e Subgrupos25
Homomorfismo de grupos32
Classes laterais e Subgrupos normais35
UNIDADE III
ANIS, IDEAIS E HOMOMORFISMOS
Anis
41
Subanis
45
Ideais e anis quocientes

Homomorfismos
47
51
NMEROS INTEIROS
Nesta unidade, faremos uma breve discusso sobre o Conjunto

dos Inteiros. Caso o leitor se interesse por uma construo axiomtica
de tal conjunto, sugerimos a leitura de Nmeros: Uma introduo
a matemtica, do autor Cesar Polcino Milies. Trabalharemos, no
apenas a notao mas alguns conceitos bsicos amplamente
conhecidos (Conjuntos, Mximo Divisor Comum) e que sero teis
no curso de lgebra Abstrata.
Objetivos:
Rever conceitos bsicos da Teoria dos Conjuntos;
Apresentar propriedades do Conjunto dos Inteiros importantes
para o estudo dos captulos seguintes.
I - NMEROS INTEIROS
Preliminares: Terminologia dos Conjuntos

UN 01
Nesta seo, apresentaremos um breve resumo da teoria bsica de conjuntos, necessria para o
desenvolvimento deste captulo.
Definio 1:
Um conjunto uma coleo de objetos os quais chamaremos de elementos do conjunto.
til, na prtica, empregar smbolos para denotar certos conjuntos. Por exemplo, chamamos de Z o
conjunto de todos os inteiros. Isto ,
Z = {, k ,, 1,0,1,, m,}
Outros conjuntos numricos mais conhecidos so:
{0,1,2,3,, m,}
(Nmeros naturais)
Q ;m, n
Z ,n 0 (Nmeros racionais)
=
n

R = {Nmeros reais, isto , nmeros racionais e nmeros irracionais}
C =a + bi ;a , bR e i =1 (Nmeros complexos)
Se x um elemento do conjunto A, dizemos que x pertence a A e escrevemos x A. O conjunto sem elemento

chamado de conjunto vazio e ser denotado por . Por conveno, sero utilizadas letras maisculas para
simbolizar conjuntos e letras minsculas para simbolizar elementos.
Quando todo elemento de um conjunto A tambm elemento de um conjunto B, dizemos que A um
subconjunto de B ou que A est contido em B e denotamos A B. Se o conjunto A no est contido no
conjunto B, usamos A B.
13
Observao 1:
O conjunto vazio est contido em qualquer conjunto.
Dois conjuntos A e B so iguais se possuem os mesmos elementos. Assim, temos que A = B se, e somente
se, A B e B A. Se A um subconjunto de B, mas A B, dizemos que A um subconjunto prprio de B.
Exemplo 1:
Z um subconjunto de Z e o conjunto dos inteiros positivos um subconjunto prprio de Z.
Definio 2:
Se A e B so conjuntos, a interseo de A e B, denotada por A B , o conjunto dos elementos que pertencem
tanto a A quanto a B. Isto ,
AB
=
{x : x Aou x B}
A unio de A e B, denotada por A B, o conjunto dos elementos que pertencem a A ou a B.
A B ={ x : x Aou x B}

Podemos representar os conjuntos unio e interseo a partir dos diagramas de Venn.
INTRODUO LGEBRA ABSTRATA

Autora: Suene Campos Duarte
IAA
I - NMEROS INTEIROS
Diagramas de Venn representando

interseo
e unio, respectivamente.
Ttulo
da imagem
AB
Banco de imagens NEaD/UFERSA
Definio 3:
Se A e B so conjuntos, denotamos por A B o conjunto dos pares (x,x') com x A e x' B.
EXERCCIO RESOLVIDO
1. Prove os itens abaixo para quaisquer que sejam os conjuntos A, B e C.
(a) Se A B e B C, ento A C.
14
Soluo:
Se x A, ento x B, pois A B. Se x B, em virtude a B C, temos que x C. Portanto, A C.
(b) A (B C) = (A B) (A C)
Soluo:
Seja x A (B C). Ento, x A ou x B C. Essa afirmao pode ser reescrita como x A ou x B e
x C. Temos as seguintes possibilidades:
(x A ou x B) ou (x A ou x C)
Segue que x A B e x A C. Portanto, x (A B) (A C).

2. O nmero de elementos de um conjunto finito A denotado por n(A). Mostre que se A e B so conjuntos
finitos, verifica-se n (A B) = n (A) + n (B) - n (A B).
Soluo:
Considere A' como o conjunto dos elementos de A que no esto em A B e B' como o conjunto dos
elementos de B que no esto em A B. Observe que
Porm,
n (A B) = n(A' ) + n(A B) + n(B')
n(A' ) = n(A) - n(A B) e n(B' ) = n(B) - n(A B)
e assim,
n(A B) = [n(A) - n(A B)] + n(A B) + [n(B) - n(A B)] n(A B) = n(A) + n(B) - n(A B).
IAA

I - NMEROS INTEIROS
EXERCCIO PROPOSTO
1. Prove que, quaisquer que sejam os conjuntos A, B e C, tem-se:
a) Se A B e B A, ento A = B.
b) A ( B C ) = ( A B ) ( A C )
c) A ( B C ) = ( A B ) C
2. Se A, B e C so conjuntos finitos, mostre que
n ( A B C )= n ( A ) + n ( B ) + n ( C ) n ( A B ) n ( A C ) n ( B C ) + n ( A B C )
3. Apresente um exemplo envolvendo dois conjuntos B e C para os quais se verificam as seguintes

relaes: C , B C e B C .
4. Construa conjuntos A, B e C tais que A B = A B e A B = A C .
5. Se A e B so conjuntos tais que A B = A B, prove que A = B.
Propriedades Bsicas dos Inteiros

UN 01
Nesta seo, admitiremos que o leitor esteja familiarizado com as propriedades aritmticas elementares
que envolvem a adio, a multiplicao e as desigualdades envolvendo inteiros. Considerando tambm que
em Z, existem as noes de ordem e de mdulos ||, admitiremos algumas propriedades bsicas dessas
ltimas operaes.
Princpio da Boa Ordenao:
Todo conjunto no vazio de inteiros maiores ou iguais a zero tem um menor elemento.
15
Observao 1:
O Princpio da Boa Ordenao pode ser interpretado da seguinte forma:
Se A um conjunto no vazio de inteiros maiores ou iguais a zero, existe um inteiro n A tal que n x
para todo x A.
Usando a boa ordenao dos inteiros, podemos demonstrar uma importante propriedade chamada
induo.
Proposio 1 (Induo Primeira Forma):
Suponha que, para cada inteiro n 1, seja dada uma afirmao A(n) e que podemos provar as duas
seguintes propriedades:
(i) A afirmao A(i) verdadeira.
(ii) Para cada inteiro n 1, se A(n) verdadeira, segue-se que A(n + 1) tambm verdadeira.
Ento, para todo inteiro n 1, a afirmao A(n) verdadeira.
Demonstrao:
Seja S o conjunto de todos os inteiros positivos n para os quais A(n) falsa e suponha que S . Pelo
Princpio da Boa Ordenao, existe um elemento n0 S. Por hiptese, n0 1 e ento n0 > 1. Como n0 o
menor elemento de S, segue que n0 - 1 no est em S. Em outras palavras, A(n0 - 1) verdadeira. Neste
contexto, pelo item (ii), conclumos que A(n0) tambm verdadeira, pois n0 = (n0 - 1) + 1. Isto uma
contradio, o que prova a proposio.

IAA
I - NMEROS INTEIROS
EXERCCIO RESOLVIDO
1. Prove, usando a induo, que para cada inteiro n 1, vale:
A ( n ) :1 + 2 ++ n =
n( n + 1)
2
Soluo:
1 (1 + 1 )
De fato, para n = 1, a igualdade verdadeira, pois 1 =
. Suponha que a equao seja verdadeira
2
para n 1. Ento,
1 ++ n + ( n + 1 ) =
=
n( n + 1)
+ ( n + 1)
2
n ( n + 1 ) + 2( n + 1 )
2
n2 + n + 2n + 2
=
2
( n + 1 ) ( n + 2)
=
2
Conclumos, por induo, que A(n) verdadeira para todos os inteiros n 1.
16
Proposio 2 (Induo Segunda Forma):

Suponha que para cada inteiro n 0, seja dada uma afirmao A(n), e que podemos provar as duas seguintes
propriedades:
1) A afirmao A(0) verdadeira.
2) Para cada inteiro n > 0, se A(k) verdadeira para todo inteiro k satisfazendo 0 k < n, segue-se que A(n)
verdadeira.
Portanto, a afirmao A(n) verdadeira para todo inteiro n 0.
SAIBA MAIS
Euclides de Alexandria foi um matemtico platnico e escritor muitas vezes
referido como Pai da Geometria. A sua principal obra se chama Os
Elementos e uma das mais influentes na histria da matemtica. Euclides
escreveu tambm sobre perspectivas, sees cnicas, geometria esfrica,
teoria dos nmeros e rigor.
Banco de imagens NEaD/UFERSA
Demonstrao:
Considere S o conjunto dos inteiros maiores ou iguais a zero para os quais a afirmao falsa. Suponha
que S no vazio e seja n0 o menor elemento de S (segundo o Princpio da Boa Ordenao). Ento, por (1),
n00 e como n0 o menor elemento de S, a afirmao A(k) verdadeira para todo k inteiro satisfazendo 0
k < n0. Por (2), conclumos que A(n0) verdadeira, o que contradio.

Observao 2:
A Proposio 1 poderia ser enunciada a partir do inteiro 0 em vez de 1, assim como a Proposio 2 poderia
ser enunciada a partir do inteiro 1 em vez de 0. As demonstraes funcionam com as devidas modificaes.
Como exemplo de aplicao da induo, podemos provar o teorema abaixo. Este teorema muito
importante e conhecido como algoritmo da diviso de Euclides.
Teorema 1 (Algoritmo da Diviso de Euclides):

Sejam m, n inteiros com n 0 e m > 0, ento existem nicos inteiros q, r maiores ou iguais a zero tais que
n = qm + r e 0 r < d.
IAA

I - NMEROS INTEIROS
Demonstrao:
Provaremos a existncia usando induo (segunda forma) sobre n. Se n = 0, escolha q = r = 0. Suponha n > 0. Se
n < m, considere q = 0 e r = n. Se n m, segue-se que 0 n m < n. Pela hiptese de induo, podemos encontrar
inteiros q1 , r 0, com r < m, tais que n m = q1m + r . Logo, n = m + q1m + r = (1 + q1 ) m + r e, portanto,
existem os inteiros q = 1 + q1 e r.
Para provar a unicidade, suponha que n = q1m + r1 , 0 r1 < m e n = q2m + r2 , 0 r2 < m. Se r1 r2, considere
r2 > r1. Depois de efetuar a subtrao dos membros acima, obtemos ( q1 q2 ) m = r2 r1. Ora, r2 r1 < m
e r2 r1 > 0. Isto impossvel, pois o fato de q1 q2 ser um inteiro implica em ( q1 q2 ) m m, se
( q1 q2 ) m > 0 . Conclumos que r1 = r2 . Disso resulta que q1m = q2m, ento q1 = q2.
EXERCCIO PROPOSTO
1. Mostre usando induo:
2
=
n( n + 1)
a) 1 + 4 ++ n
b) 1 + 3 ++ ( 2n 1) = n2
(2n + 1)
6
, n 1 inteiro.
n n n + 1
n
n!
c)
e n m 1. Lembre-se de que: =
e n=! n ( n 1 )32 1
+ =
onde m, n
m
m
m
1
m
n
( m )!n!
se n 1 e 0! = 1 .
d) n! > 2n , para todo n.
2. Prove por induo a frmula da soma de uma P.A.:
17
n ( 2a + ( n 1 ) d )
a + ( a + d ) + ( a + 2d ) ++ ( a + ( n 1 ) d ) =
2
Mximo Divisor Comum - MDC

UN 01
Vamos provar a existncia do mximo divisor comum em Z.
Definio 1:
Um subconjunto J do conjunto dos inteiros Z chamado ideal de 0 J quando satisfaz as seguintes
condies:
a)
b)
c)
d)
0 J
Se m, n J , ento m + n J
Se m J e n
Z , ento n, m J
Se n J, ento n J
Exemplo:
1. Se n um inteiro qualquer, o conjunto de todos os mltiplos inteiros de n um ideal de Z. Em termos
nZ {nx ; x
Z} um ideal de Z. (Verifique!).
matemticos,=
2. Sejam m1, , mr nmeros inteiros. Seja J o conjunto de todos os inteiros que podem ser escritos na
forma
x1m1 ++ xr mr ,
onde x1 ,, xr so inteiros. Podemos verificar que J um ideal.
De fato, se y1 ,, yr so inteiros, ento
( x1m1 ++ xr mr ) + ( y1m1 ++ yr m=
r ) ( x1 + y1 ) m1 ++ ( x r + yr ) mr J

IAA
I - NMEROS INTEIROS
Se n um inteiro,
n ( x1m1 ++ x=
r mr ) nx1m1 ++ nx r mr J
Finalmente,=
0 0m1 ++ 0mr est em J. Logo, J um ideal.
No segundo exemplo da pgina anterior, o ideal J gerado por m1, , mr . e dizemos que m1, , mr so
geradores de J. Em particular, J = {0} um ideal chamado de ideal zero. Z tambm um ideal de Z
denominado ideal unitrio. Esses dois ltimos ideais citados so chamados ideais triviais.
Se J um ideal de Z tal que {0} J Z, dizemos que J um ideal prprio de Z.
Teorema 2:
Seja J um ideal de Z ento existe um inteiro d que gerador de J.
Demonstrao:
Se J = {0} , seu gerador ser 0. Suponha que J {0}, existe x J onde x 0. Pelo item (iv) da Definio
1, x J e, portanto, x J e J contm algum inteiro positivo. Seja d o menor dos inteiros positivos de J.
Afirmao:
d o gerador de J.
De fato, considere n J e escreva =

n dq + r , com 0 r < d . Ento, r= n dq pertence a J, e, como r < d ,
segue que r = 0. Isto prova que n = dq, isto , d um gerador de J.
18
Sejam n, d inteiros no nulos. Dizemos que d divide n se existir um inteiro q tal que n= dq. Escrevemos d|n.
Definio 2:
Se m, n so inteiros no nulos, definimos um divisor comum de m e n como inteiro d 0 tal que d|n e d|m.
Um mximo divisor comum de m e n um inteiro d > 0 que divisor comum desses nmeros e satisfaz a
seguinte propriedade:
Se e|m e e|m com e d , ento e|d.
Sempre existe um mximo divisor comum entre dois nmeros. O prximo Teorema comprova isso.
Teorema 3:
Sejam m1,m2 inteiros positivos. Seja d um gerador positivo do ideal gerado por m1 e m2. Ento d o mximo
divisor comum de m1 e m2.
Demonstrao:
Considere J o ideal de Z gerado por m1 e m2, isto ,
J=
Z}
{xm1 + ym2 ; x , y
Temos que m1 J , pois m1 = 1 m1 + 0 m2 . Deste modo, existe um inteiro q1 tal que m=

1 q1 d . De modo
anlogo, prova-se que d | m2 . Seja e
Z ,e 0, onde e|m1 e e|m2. Temos m1 = h1e e m2 = h2e, onde h1 , h2 Z
. Visto que d J, existem s1 , s2 Z tais que
=
d s1m1 + s2m2. Disso resulta

d = s1 h1e + s2h2e = ( s1 h1 + s2h2 ) e
Portanto, e|d.
Observao 3:
A demonstrao acima continua vlida se dispomos de mais de dois inteiros.
Se o mximo divisor comum dos inteiros m1 ,., mr 1, dizemos que m1 ,., mr so primos entre si. Neste
caso, existem x1 ,., xr inteiros tais que
x1m1 +. + xr mr = 1
IAA
pois 1 pertence ao ideal gerado por m1 ,., mr.

I - NMEROS INTEIROS
EXERCCIO PROPOSTO
{0} , aplicando sucessivamente o algoritmo de Euclides, temos:
1. Dados a , b

aa= = qq00bb++rr11,,00rr11 << bb
bb== qq11rr11 ++rr22,,00rr22 <<rr11
rr11== qq22rr22 ++rr33,,00 rr33 << rr22
=
r=
rkk qqkk++11rrkk++11 ++rrkk++22,,00rrkk++22 <<rrkk++11
Como r1 > r2 > r3 > > rk > rk +1 0 , existe um inteiro s tal que rs +1 = 0. Neste caso, rs = mdc ( a , b ) . Usando
este algoritmo, calcule:
a)
mdc (37,23)
c)
mdc ( 4276,1234 )
a)
93x + 81 y =
3
b)
mdc (542,234 )
2. Encontre inteiros x e y tais que:

b)
43x + 128 y =
1
19
Um nmero inteiro positivo p > 1 chamado primo se possui somente dois divisores positivos: p e 1. Se
p >1 no primo, dizemos que p composto. Dizemos que um inteiro negativo p< 1 primo se p o for.
Mostre que se p primo e p|ab, ento p|a ou p|b.
Relao de Equivalncia
UN 01
Nesta seo, faremos uma generalizao da igualdade a partir de um mecanismo formal chamado relao
de equivalncia.
Definio 1 (Relao de Equivalncia):

Uma relao de equivalncia em um conjunto S um conjunto R de pares ordenados de elementos de S que
apresenta as seguintes propriedades:
(i) [Reflexiva] ( a , a ) R para todo a S
(ii) [Simtrica] Se ( a , b ) R, ento ( b, a ) R
(iii)[Transitiva] Se ( a , b ) R e ( b, c ) R, ento ( a , c ) R
Quando R for uma relao de equivalncia no conjunto S, escrevemos aRb no lugar de ( a , b ) R . Tendo
em vista que a relao de equivalncia uma generalizao da ideia de igualdade, utilizamos os smbolos
, , ou ~.
Considere que ~ uma relao de equivalncia em um conjunto S e a S . O conjunto
[a=] {x S;x ~ a}
chamado classe de equivalncia de S contendo a.

IAA
I - NMEROS INTEIROS
Exemplo:
1. Na Fsica e na Matemtica, estudamos o conceito de vetor. Usualmente, um vetor no espao R3 um
terno de nmeros reais (a, b, c). Pensamos no vetor como o segmento orientado cuja origem (0,0,0) e
cuja extremidade (a, b, c).
Na introduo ao estudo dos vetores, entendemos que um segmento orientado uma grandeza que possui
mdulo, direo e sentido e dois segmentos so iguais se possuem os mesmos mdulo, direo e sentido.
Neste contexto, considere V o conjunto de todos os segmentos orientados do espao R3. Determinando a
relao:
R: Dois segmentos orientados so equivalentes quando possuem o mesmo mdulo, mesmo sentido e
mesma direo.
Podemos construir classes de equivalncia chamadas de vetor. Assim, um vetor (a, b, c) o representante
de qualquer segmento orientado do espao cujo mdulo a2 + b2 + c 2 e cuja direo e sentido so os do
vetor (a, b, c).
2. Em Z, definimos a relao de equivalncia a bmod n se, e somente se, n divide a b. Sendo assim,
a bmod n n | ( a b )
fcil ver que mod n uma relao de equivalncia, pois

i)
20
ii)
a amod n devido a n |0 (propriedade reflexiva);
Se a bmod n, ento n | ( a b ) . Porm, se n | ( a b ), ento n | ( b a ) e, portanto, b amod n.

(propriedade simtrica)
iii) Se a bmod n e b c mod n , temos que n | ( a b ) e n | ( b c ) e, portanto, n | ( a c ). Isto mostra que

a c mod n.
As classes de equivalncia de Zmod n sero as classes dos restos da diviso por n. Com efeito, dado um
inteiro, existem q, n e r inteiros tais que =
a qn + r com 0 r < n . Isto mostra que a r mod n . Denotaremos
por Zn o conjunto das classes de equivalncia de Z mdulo n. Usaremos a notao a para [a]. Assim,
Z=
n
{0, 1,,n 1}
Definio 2:
Uma partio P de um conjunto S uma coleo de subconjuntos no vazios de S (chamados de partes) de
tal maneira que a interseo de duas partes quaisquer vazia e a unio de todas as partes o prprio S.
Teorema 3:
As classes de equivalncia de um conjunto S formam uma partio de S. Reciprocamente, para toda partio
P de um conjunto S, existe uma relao de equivalncia em S cujas classes de equivalncia so os elementos
de P.
Demonstrao:
Seja ~ uma relao de equivalncia em S. Para todo a S , temos que a [a] pela propriedade reflexiva.
Assim, [a] e a unio de todas as classes de equivalncia de S S. Agora, suponha que [a] e [b] possuem
um elemento x em comum. Isto implica em que x~a e x~b. Pela propriedade transitiva, a~b e, portanto,
[a]=[b]. Deixaremos a recproca como exerccio.
IAA

I - NMEROS INTEIROS
EXERCCIO RESOLVIDO
1. Seja S um subconjunto de R. Se a , b S , defina a relao aRb se ab 0. Determine se R uma relao
de equivalncia.
Soluo:
Vamos verificar as propriedades reflexiva, transitiva e simtrica. Considere a S. aRa, pois a2 0
(propriedade reflexiva). Se aRb, ento ab 0 e, claro, ba 0 onde bRa (propriedade simtrica). Se
aRb e bRc, ento ab 0 e bc 0, de modo que ( ab)(=
bc ) ab2c 0 e ac 0 (propriedade transitiva).
2. Seja A um subconjunto do produto cartesiano S S . Se o par ( a , b ) A, diremos que aRb. Em caso

contrrio, b no est relacionado com b. Quais das seguintes relaes so de equivalncia?
a) A1 = {(1,1 ) , ( 2,2) , (3,3) , (1,2) , ( 2,3) , (1,3)}
b) A2 = {(1,1 ) , ( 2,2) , (1,2) , ( 2,1 ) , (1,3) , (3,1 )}
Soluo.
A relao A1 reflexiva e transitiva, mas no simtrica, pois 1 est relacionado com 2, mas 2 no est
relacionado com 1. A relao A2 simtrica, mas no reflexiva, pois (3,3) A2.
EXERCCIO PROPOSTO
1. Duas retas distintas r1 e r2 no plano so paralelas se r1 r2 = . Mostre que a caracterstica ser
paralela define uma relao de equivalncia no conjunto das retas do plano.
2. Seja E o conjunto das retas do plano , seja P um ponto dado de e seja r0 uma reta dada contida em
. Se x , y E , ento xRy. Verifique se as relaes abaixo definidas sobre E so de equivalncia.
a)
b)
c)
d)
21
xRy x no paralela a y
xRy x e y passam por P
xRy x perpendicular ou paralela a y
xRy x e y se cortam num ponto de r0
3. Se x e y so dois nmeros reais quaisquer, dizemos que
xRy se e somente se x y
Q
Mostre que R uma relao de equivalncia.
a) Descreva a classe de equivalncia de x =
1
.
2
4. Sejam E ={3, 2, 1,0,1,2,3} e R a seguinte relao em E:
xRy x + x = y + y
5. Mostre que R uma relao de equivalncia e encontre 3 e 0 .

IAA
II
TEORIA DOS GRUPOS
A Teoria dos Grupos a abstrao de ideias que se iniciaram com

conceitos de nmeros e logo se estenderam para reas maiores que
estavam sendo estudadas simultaneamente. As trs principais reas
que originaram esta teoria so: geometria, teoria dos nmeros e
equaes algbricas. Grupos esto por trs de muitas estruturas
algbricas, como corpos e espaos vetoriais e uma ferramenta de
grande utilidade no estudo de simetrias.
Nesta unidade, descreveremos de forma sucinta a teoria abstrata
de grupos: conceitos, propriedades e exemplos.
Objetivos:
Definir o que um grupo e um subgrupo;
Apresentar as principais propriedades dos grupos e seus
principais tipos, atravs de exemplos.
II - TEORIA DOS GRUPOS
Introduo
UN 01
SAIBA MAIS
variste Galois foi um matemtico francs. Ao determinar a condio

necessria e suficiente para que um polinmio pudesse ser resolvido
por razes, no s resolveu um antigo problema em aberto, como criou
um domnio inteiramente novo da lgebra abstrata: a teoria dos grupos.
Viveu em um perodo de grande agitao social e poltica, o que o
afastou de sua brilhante carreira e tambm o levou morte, com apenas
20 anos, em um duelo.
http://en.wikipedia.org/wiki/
G a l o i s _ t h e o r y # m e d i av i e w e r /
File:Evariste_galois.jpg
O estudo da teoria dos grupos considerado o incio do estudo da lgebra abstrata. Estudamos lgebra
quando passamos a utilizar variveis para representar nmeros. Neste contexto, o surgimento da teoria
dos grupos est relacionado ao problema de encontrar razes de equaes algbricas, desenvolvido
principalmente por variste Galois e outros matemticos. De modo bastante geral, os grupos fornecem
a linguagem matemtica mais adequada para a descrio de simetrias, classificao de molculas e
estruturas cristalinas, entre outras aplicaes.
Grupos e Subgrupos
UN 01
Definio 1:
Um grupo G um conjunto no vazio munido de uma operao
G G G
que satisfaz as seguintes condies:
( a, b ) a *b
25
(i) [Associativa]
( a *b ) * c = a * ( b *c ), quaisquer que sejam a, b, c G .
(ii) [Existncia de Elemento Neutro]

Existe um elemento e G tal que a=
*e e=
*a a, qualquer que seja a G.
(iii) [Existncia de Elemento Simtrico]
Para todo a G, existe b G tal que a=
*b b=
*a e.
O grupo dito abeliano ou comutativo se satisfaz, alm dos itens acima:

(iv) [Comutativa]
a *b = b *a, quaisquer que sejam a , b G.
Um grupo identificado por (G,*), onde o smbolo * indica a operao sobre G. Quando no houver
possibilidade de confuso, o smbolo * poder ser omitido. Deste modo, ser comum usarmos apenas G
para denotar o grupo (G,*) e escrevermos ab no lugar de a * b.
Propriedades de um Grupo
Seja (G,*) um grupo. Seguem as propriedades:
1. O elemento neutro nico.

De fato, suponha que e e e sejam elementos neutros de G, ento
e = e * e ' (Devido e ser elemento neutro)
= e ' (Devido e ser elemento neutro)

IAA
2. O elemento simtrico nico.

Seja a G e sejam b, b G dois elementos simtricos de a. Temos:

=
b b=
* e b * ( a * b ')=
b* a ) =
* b e * b = b '
(
b simtrico de a
b simtrico de a
Denotamos o inverso de a G por a1.
( )
3. Seja a G , a1
= a (Verifique!)
4. Seja a G , ( ab ) = b1a1
1
1
De fato, ( ab ) b1a=
a bb1 =
a1 ae=
a1 aa
=
e
) (
Um grupo cuja operao uma adio chamado de grupo aditivo. Tal grupo denotado por ( G , + ) ou,
quando no houver possibilidade de confuso, apenas G. Em um grupo aditivo, o elemento neutro ser 0 e
o simtrico de um elemento a ser chamado de oposto de a e ser indicado por a.
Um grupo cuja operao uma multiplicao chamado de grupo multiplicativo e denotado por ( G , )
ou, quando no houver possibilidade de confuso, apenas G. Neste caso, o elemento neutro do grupo ser o
nmero 1 e o simtrico de um elemento a ser chamado de oposto de a e ser indicado por a1 .
26
Exemplo de Grupos:
A seguir, temos alguns exemplos de grupos. Muitos deles envolvem noes com as quais o leitor j teve
contato em outros cursos.
1. O conjunto Q dos nmeros racionais um grupo aditivo ( Q ,+ ) abeliano. Alm disso, os elementos no
nulos de Q formam um grupo multiplicativo Q* , abeliano.
( )
2. Os nmeros reais R e os nmeros complexos C formam grupos aditivos abelianos ( R ,+ ) e ( C ,+ )

. Alm disso, tanto os reais no nulos quanto os complexos no nulos formam grupos multiplicativos
abelianos R * , , C* , .
( ) ( )
3. O conjunto Z dos nmeros inteiros um grupo aditivo abeliano ( Z ,+ ) . O conjunto dos inteiros no
nulos e a multiplicao sobre esse conjunto no forma um grupo. Isso acontece porque nenhum inteiro tem
simtrico multiplicativo em Z, com exceo de 1 e -1
4. Seja K um dos seguintes conjuntos, Z, Q, R ou C. Denotaremos por Mmn ( K ) o conjunto das matrizes
sobre K com m linhas e n colunas. Mmn ( K ) um grupo aditivo abeliano. De fato, sabemos que se
A = aij
, B = bij
so matrizes em Mmn ( K ). Ento, A + B =
cij
, onde c=
aij + bij , para
ij
mn
mn
mn
1 i m e 1 j n , a adio sobre Mmn ( K ) . Tal adio satisfaz as condies exigidas na Definio
1, pois A + ( B + C ) = ( A + B ) + C , o que satisfaz a associativa A + B = B + A , que satisfaz a comutativa.
0 0
Existe a matriz nula em Mmn ( K ), 0mn = . E, finalmente, qualquer que seja a matriz A = aij
,
mn
0 0
existe a matriz A = aij
tal que A + ( A ) =0mn .
( )
( )
( )
( )
)mn
5. Seja K um dos seguintes conjuntos, Z, Q, R ou C. Denotaremos por Mn ( K ) o conjunto das matrizes

sobre K de ordem n. Assim como no Exemplo 4, Mn ( K ) um grupo aditivo. Quanto multiplicao de
matrizes, Mn ( K ) no ser um grupo. Isto acontece porque nem toda matriz de ordem n possui matriz
inversa.
6. Seja K um dos seguintes conjuntos, Z, Q, R ou C. Denotamos por GLn (K ) o conjunto das matrizes
inversveis (lembre-se: uma matriz AMn ( K ) inversvel se, e somente se, det A 0 ). O conjunto
GLn (K ) um grupo multiplicativo. De fato, sabemos que se A = aij e B = bij , ento AB = cij , onde
n
n
n
n
c=
, j 1,2,, n ) . Para a multiplicao em GLn ( K ) , vale a associativa. O elemento neutro
k =1 aik bkj ( i=
ij
( )
IAA

( )
( )
1 0 0
dado pela matriz identidade In = e toda matriz, devido prpria definio do conjunto,
0 0 1
possui matriz simtrica.
Observao 1:
O grupo GLn ( K ) no comutativo quando n > 1 . Isto acontece porque no se garante que AB = BA, onde
A, B GLn ( K ) (Verifique!). O grupo GLn ( K ) chamado de grupo linear racional para o caso de K = Q , real
para o caso de K = R ou complexo se K = C, de grau n.
Exemplo:
7. Considere o conjunto das classes de resto mdulo m, ou seja, Z=
0,1, 2,, m 1 . Neste conjunto,
m
definida a adio a + b = a + b , onde valem as propriedades associativa e comutativa. Ademais, existe 0Zm
tal que a + 0 = a + 0 = a e, para cada aZm , existe m aZm tal que a + m a =a + ( m a ) =m =0 . Pelo
exposto acima, ( Zm , + ) um grupo abeliano para m > 1. A multiplicao mdulo m em Zm definida por
ab = ab para a , bZm . Esta operao associativa, comutativa e seu elemento neutro a classe 1 porque
a=
1 a=
1 a . importante observar que Zm no um grupo multiplicativo, pois 0 Zm e este no possui
inverso multiplicativo.
8. Uma bijeo de um conjunto A nele mesmo chamada permutao. Sendo A um conjunto no vazio,
S ( A ) ser o conjunto de todas as permutaes dos elementos de A, isto , S=
( A ) { f : A A, f bijeo}.
O conjunto S ( A ) com a composio de aplicaes associativa, possui a aplicao identidade I A : A A
como elemento neutro e uma aplicao inversa f 1 tambm bijetora para cada f S ( A ) . Segue que S ( A )
um grupo quando munido da composio de aplicaes.

Um grupo que consiste de um nico elemento chamado grupo trivial. Em geral, um grupo pode possuir
infinitos elementos ou apenas um nmero finito deles. No ltimo caso, chamamos o conjunto G de grupo
finito. O nmero de elementos de G chamado ordem de G.
Sendo um grupo um conjunto com uma operao binria, um conjunto com uma operao binria, um
grupo finito pode ser especificado por uma tabela de operaes chamada Tabela de Cayley.
27
Exemplo:
9. O conjunto G = {1, 1, i , i} um grupo munido da multiplicao. Neste caso, a ordem de G 4. Este
grupo pode ter sua operao representada pela tabela abaixo.
Tabela de operao do grupo G
-i
-1
-1
-1
i
i
1
1
-i
*
-i
i
1
1
-i
-i
-1
-i
-1
-1
i
i
1

IAA
EXERCCIO RESOLVIDO
1. Mostre que R dotado da operao * tal que x =
*y
x 3 + y3 um grupo abeliano.
Soluo.
Devemos mostrar que R dotado de * apresenta a associatividade, um elemento neutro, um elemento
inverso e comutativo. Ora, dados x , y , zR,
( x * y=
)*z
3 3
=
=
x 3 + y3 * z
x 3 + y3
(x
) +z
3
+ y3 + z 3
= 3 x 3 + y3 + z 3
=3 x 3 +
y3 + z 3
= x * 3 y3 + z 3
28
= x * ( y *z )
Portanto, a operao associativa. Alm disso, existe 0R (elemento neutro) tal que
0 *x =
03 + x 3 =
x 3 = x , para todo x
R
Dado x
R, existe o simtrico x R tal que x * ( x=
) 3 x 3 + ( x )=
3
3
3 3
3 3
x *y = x + y =
y + x = y * x, o que mostra a comutatividade.
2. Seja G =
{(a, b) R
3
x 3 x=
0 . Finalmente,
;a 0 . Defina a seguinte operao:
( a, b ) , ( c , d ) G , ( a, b ) ( c , d )=
Mostre que ( G , ) um grupo no abeliano.
( ac , ad + b )
Soluo.
Devemos mostrar que ( G , ) associativa, possui elemento neutro e simtrico, porm no comutativo.
De fato, dados ( a , b ) , ( c , d ) , ( e , f ) G,
( a , b ) ( c , d ) ( e ,=
f ) ( ac , ad + b ) ( e , f )
= ( ac ) e , ( ac ) f + ( ad + b )
= a ( ce ) , a ( cf + d ) + b
=( a , b ) ( ce , cf + d )
=( a , b ) ( c , d ) ( e , f )
Portanto, . associativa. Existe (1,0 ) G tal que para todo ( a , b ) G, (1,0 ) ( a , b )= ( a , b + 0 )= ( a , b ).

Analogamente, mostramos que ( a , b ) (1,0 ) =
( a, b ). Para cada ( a, b ) G, existe a1 , ba1 G tal que
( a, b ) a1 , ba1 = aa1 , a ba1 + b = 1, b aa1 + b = (1,0). Analogamente, mostra-se que
a1 , ba1 ( a , b ) =
e.
IAA
) (
) ) (
) )
Vamos mostrar agora um contra-exemplo simples que comprova a no comutatividade de G. Considere

(1,2) , (2,1) G.
(1,2) (2,1) = (2,3) (2,1) (1,2) = (2,5) .

3.
Sejam G um grupo e a, b, c seus elementos. Se ab = ac, mostre que b = c.
Soluo.
1
1
Se a G e G grupo, existe a1 G tal que a=
a aa
=
e (e constitui elemento neutro). Neste caso, se
1
1
1
1
ab = ac, ento a (=
ab ) a ( ac ) (a =
a)b (a a)c
=
b c.
4. Sejam a, b, c elementos de um grupo multiplicativo G. Prove que ( abc )

que abcxb = c.
Soluo.
Note que, devido associativa,
= c 1 b1a1 . Obtenha x G tal
( abc ) ( c 1b1a1 ) = ab ( c c 1 ) b1a1

= abeb1a1
= a bb1 a1
= ae a1
= aa1
=e
Analogamente, mostramos que c 1 b1a1 ( abc ) = e. Portanto, ( abc )

Se abcxb = c , multiplicando c 1 b1a1 pela esquerda,
(c
1 1 1
b a
( abc ) xb ( c
)=
Multiplicando b1 pela direita,
=
( xb ) b1
(c
1 1 1
1 1 1
= c 1 b1a1 .
29
b a =
c xb c 1 b1a1c
b a=
c b1 x c 1b1a1c b1
EXERCCIO PROPOSTO
1. Mostre que:
a) R com a operao * tal que x * y = x + y 3 um grupo.
b) R2 {( 0,0 )}, com a operao * tal que ( a , b ) * ( c , d ) =

( ac bd , ad + bc ) , um grupo.
{a + b 2|a , bQ} um grupo aditivo.

c) Q 2 =
d) G =
{ f :RR; f ( x ) =
ax + b, com a 0}, com a composio de funes, um grupo.
x ) f ( x ) + g ( x ) , x A, um grupo.
{ f : A R; A Re A } , com as operaes ( f + g )(=

2. Justifique por que os seguintes conjuntos com as respectivas operaes no constituem um grupo.
e) =
RA
a) Z_, adio.
b) G=
{x Z; x mpar}, multiplicao.
*
c) C , a * b = a b
RA
d) =
{ f : A R; A Re A } , =
( fg )( x )
f ( x ) g ( x ) , x A
IAA
3. Sejam x1 ,, xn elementos de um grupo G. Mostre (por induo) que ( x1 ,, xn )

4. Seja G um grupo multiplicativo e a , b G. Determine x G tal que xax = bba1 .
=
xn1 x11
5. Mostre que se G um grupo multiplicativo e x x =

e, x G, ento G abeliano (e o elemento neutro
de G).
6. Seja G um grupo finito. Mostre que, dado x G, existe um inteiro n 1 tal que x n = e.
Construa a tabela do grupo G = {e , a , b, c , d , f } , de ordem 6, sabendo que G abeliano.
Definio 2:
Seja ( G ,* ) um grupo e H um subconjunto no vazio de G. Diremos que H um subgrupo de G (denotamos
H < G ) se:
i) a * b H , sempre que a , b H
ii) ( H,* ) tambm um grupo.
Observao 2:
a) Na Definio 2, * indica a operao em G, restrita ao conjunto H.
b)
A Definio 2 pode ser reescrita da seguinte maneira:
i)
h1 * h2 H , h1 , h2 H
Seja ( G ,* ) um grupo e H um subconjunto no vazio de G. H um subgrupo de G se:
30
h3 h1 * ( h2 * h3 ) , h1 , h2 , h3 H
ii) (h1 * h2 )* =
iii) Existe eH H tal que eH * h = h * eH = h, h H
* k k=
* h eH
iv) Para cada h H, existe k H tal que h=
c) O elemento neutro eH H igual ao elemento neutro e G. De fato, considerando h H , eH * h = h .

Operando a igualdade direita por h 1, temos (eH * h)* h1 =
h * h1 eH * h * h1 =
e eH * e =
e eH =
e.
* k k=
* h eH e
d) Dado h H , o inverso de h em H igual ao inverso de h G . Ora, se k H tal que h=
eH = e, ento=
k h1 G .
Proposio 1 (1 Teste para Subgrupo):

Seja ( G ,* ) um grupo. Um subconjunto no vazio H de G um subgrupo de G se, e somente se, as seguintes
condies so satisfeitas:
i)
ii)
h1 * h2 H , h1 , h2 H
h1 H , h H
Demonstrao:
Suponha que H seja um subgrupo de G. Temos que (i) satisfeita por definio e h H . Porque H um
grupo, existe hH H tal que hH * h = e . Ora, vimos na Observao 2 (d) que hH = h1 e, deste modo, a
condio (ii) satisfeita. Reciprocamente, supondo satisfeitos (i) e (ii), a condio (i) da Definio 2
satisfeita. As condies para que ( H ,* ) seja um grupo seguem do fato de que H G .
Observao 3:
Se ( G ,* ) um grupo aditivo, a condio de subgrupo dada pela Proposio 1 escrita da seguinte maneira:
i) h1 + h2 H , h1 , h2 H
ii) h H , h H
Se ( G ,* ) um grupo multiplicativo, as condies acima passam a ser escritas da seguinte forma:
i) h1 h2 H , h1 , h2 H
ii) h1 H , h H
IAA

Proposio 2 (2 Teste para Subgrupo):

Seja ( G ,* ) um grupo. Um subconjunto no vazio H de G um subgrupo de G se, e somente se, h1 h21 H ,
para quaisquer h1 , h2 H .
Exemplos de Subgrupos:
1. {e} e G so subgrupos de G chamados de subgrupos triviais.
2. ( Q ,+ ) < ( R , + )
3. Dado um grupo G qualquer, o subconjunto Z ( G ) = { x G ; xg = gx , g G} subgrupo de G. Este
subgrupo chamado de centro de G (G abeliano se, e somente se, Z ( G ) = G ).
EXERCCIO RESOLVIDO
1. Mostre que o conjunto A =
{ x Q ,x > 0} subgrupo de Q*.
Soluo.
Dados x1 , x2 A, x1 x2 > 0 e assim. Portanto, x1 x2 A. Alm disso, x 1 > 0, x A . Logo, A subgrupo
de Q*.
2. Verifique que B =
a + b 3 2, a , bQ no subgrupo do grupo multiplicativo R * .
Soluo.
Considere a + b 3 2 , c + d 3 2 B. Temos que (a + b 3 2 )( c + d 3 2) =ac + ( ad + bc ) 3 2 + bd 3 4 B.
Portanto, B no subgrupo.
a b
3. O=
conjunto A
;a , bR , com a e b no simultaneamente nulos, constitui um subgrupo das
b a
matrizes reais inversveis de ordem 2?
31
Soluo.
a
Sim. Dados 1
b1
b1 a2
,
a1 b2
a1
b1
a a b b
Observe que det 1 2 1 2
a2b1 b2a1
a
Portanto, 1
b1
b2
A , ento
a2
b1 a2
a1 b2
b1 a2
a1 b2
b2 a1a2 b1 b2
=
a2 a2b1 b2a1
a1 b2 + b1a2
a1a2 b1b2
a1 b2 + b1a2
2
2
2
2
= a1 + b1 a2 + b2 0 .
a1a2 b1b2
)(
b2
A.
a2
a b
Alm disso,
se C
=
A , existe
b a
a 2 2
a +b
=
C
b
a2 + b2
1
tal que C C 1 = I . O conjunto subgrupo.
a2 + b2
A
a
2
2
a +b

IAA
4. Seja G um grupo e a G. Mostre que o conjunto N ( a ) =

xa} subgrupo de G.
{x G;ax =
Soluo.
Dados x1 , x2 G , a ( x1 x2 ) =
( ax1 ) x2 =( x1a ) x2 =x1 ( ax2 ) =x1 ( x2a ) =( x1 x2 ) a e, portanto, x1 x2 N ( a ).
Alm disso, dado x G , existe x 1 N ( a ) tal que x x 1 = e . De fato, se
=
ax xa ( ax=
) x 1
N ( a ) .
1
=
( xa ) x 1 a ( xx
)
Definio 3:
Seja G um grupo e S um subconjunto no vazio de G. O conjunto:
S =
x ax 1 =
a xax 1 =
x 1a x 1 xax 1 =
x 1a ax 1
{a a a ;n ,a S oua
1 2
um subgrupo de G chamado de subgrupo gerado por S. Por sua vez, S o conjunto gerador de S .
Exemplos de Subgrupos Gerados
1. Dado G um grupo e a G . Se n um inteiro positivo, definimos an = aa , onde o produto tomado n

vezes. Alm disso, definimos a0 = e. Segue que a gerador de H < G , onde
=
H am ;mZ + .
EXERCCIO PROPOSTO
32
1. Verifique quais dos subconjuntos a seguir so subgrupos.
a) A =
{cos + i sen ; R} subconjunto do grupo multiplicativo C* .
1 + 2m
*
b) B
;m, nZ subconjunto do grupo multiplicativo Q .
=
1 + 2n
2. Prove que:
a) H Z subgrupo do grupo aditivo Z se, e somente se, existe m H, onde

=
H
Z} .
{km ; k
b) Se H1 e H2 so subgrupos do grupo G, ento H1 H2 tambm subgrupo de G.
c) Se H2 e H2 so subgrupos do grupo G, ento H1 H2 subgrupo de G se, e somente se, H1 H2 ou

H2 H1 .
d) Se A e B so subgrupos de um grupo G, ento AB= {ab ;a Ae b B} subgrupo de G se, e somente se,
AB = BA .
Homomorfismo de Grupos
UN 01
Definio 1:
Sejam ( G , * ) e ( G ',) grupos. Um homomorfismo de G em G ' uma aplicao f : G G ' tal que, quaisquer
que sejam x , y G , f ( x * y ) =
f (x) f ( y) .
Observao 1:
Quando no houver possibilidade de confuso, chamaremos um homomorfismo de G em G ' apenas de
homomorfismo de grupos.
IAA
Se um homomorfismo uma aplicao injetora, chamado de homomorfismo injetor. Se for uma aplicao
sobrejetora, chamado homomorfismo sobrejetor. Quando um homomorfismo injetor e sobrejetor, o
chamamos de isomorfismo. Um isomorfismo de um grupo em si mesmo chamado automorfismo.

Exemplos de Homomorfismos:
1. A aplicao f : G G dada por f ( x ) = x 1 um homomorfismo.
2. A aplicao f : C* R * + onde f ( z ) = z um homomorfismo sobrejetor. De fato, C* e R * + so

grupos multiplicativos. Portanto, f ( zw
=
= z=
w f ( z ) f ( w ) e, ficando provado o homomorfismo.
) zw
Para comprovar a sobrejetividade, seja a R * + , temos que existe aC* tal que f ( a=
) a= a.
3. A aplicao f : ( R ,+ ) ( R ,) onde f ( x ) = e x um homomorfismo. De fato, f ( x + y ) = e x + y = e x e y = f ( x ) f ( y )

e e = f (x) f ( y)
x
4. Dado aZ , a aplicao f :Z Z dada por f ( m ) = am um homomorfismo do grupo aditivo Z. De

fato, f ( m + n ) = a ( m + n ) = am + an = f ( m ) + f ( n ). Se a 0 , o homomorfismo injetor.
Veremos agora uma sequncia de proposies sobre homomorfismos de grupos. Por brevidade,
utilizaremos a notao multiplicativa para indicar as operaes entre os grupos.
Proposio 1:
Seja f : G G um homomorfismo de grupos e sejam e , e ' os elementos neutros de G e G ' , respectivamente.
Ento, f ( e ) = e '.
Demonstrao:
Em virtude de e ser o elemento neutro de G, temos e e =
e e porque e ser consitu o elemento neutro de
G ' , temos e f ( e ) =
f ( e ). Ora, sabendo que f homomorfismo, segue que
f ( e ) f ( e ) = f ( e e ) = f ( e ) =e ' f ( e )
1
Multiplicando a igualdade f ( e ) f ( e ) =
e ' f ( e ) por f ( e ) , obtemos f ( e ) = e '.

Proposio 2:
1
Seja f : G G um homomorfismo de grupos e seja a G , ento f a1 = f ( a ) .
( )
( )
f a1
Demonstrao:
1
Segundo a Proposio 1 e = f ( e ). Deste modo, e =
f (e ) =
f a a1 = f ( a ) f a1 e, portanto, f a1 = f ( a )
1
= f ( a ) .

Proposio 3:
Sejam f : G G ' homomorfismo de grupos. Se e ' indica o elemento neutro de G ', o ncleo de f consiste
no conjunto de todos os elementos a G tais que f ( a ) = e '. Denotamos tal conjunto por N ( f ). Deste modo,
( )
( )
33
N( f ) =
e '}
{a G; f ( a ) =
A imagem de f o conjunto de todos os elementos b G ' onde existe a G com f ( a ) = b . Segue que
Im=
f { f ( a=
) b;a G }
Observao 2:
N ( f ) , pois f ( e ) = e ', onde e constitui o elemento neutro de G e e ' constitui o elemento neutro de G ',
segundo a Proposio 1.
Proposio 4:
Seja f : G G ' um homomorfismo de grupos. Segue que:
(i) N ( f ) subgrupo de G;
(ii) f homomorfismo injetor se, e somente se, N ( f ) = {e} ;
(iii) A imagem de f subgrupo de G '.
Demonstrao:
(i) Sabemos que N ( f ) . Dados a , b N ( f ), segue que f=
=
f ( ab ) f=
( a ) f=
( b ) e ' e, deste modo,
(a) f ( b) e '
1
1
1
1
e '. Alm disso, considerando a1 G, onde aa

=
a=
a e, f =
a1 f ( a=
(
e
')
e
'
.
=
)
( )
(ii) Suponha que f homomorfismo injetor e considere a N ( f ). Como f ( a ) = e ' e f ( e ) = e ', ento
a = e. Reciprocamente, se N ( f ) = {e} e a , b G, onde f ( a ) = f ( b ). Multiplicando a ltima igualdade por
1
f ( a ) , obtm-se
f ( b) f (a)
= f (a) f (a)
f ( b) f (a)
= e f ba1 = e ba1 = e b = a

IAA
(iii) Se a = f ( a ) e b = f ( b ) com a , b G ento,

=
ab f=
( a ) f ( b ) f ( ab ) e ab Imf . Ainda, se a = f ( a )
para a G, sendo
=
a '1 f=
( a )1 f a1 , com a1 G , ento a '1 Imf .
( )
EXERCCIO RESOLVIDO
1. Sendo a R *+ e a 1, mostre que f :Z G dada por f ( n ) = an um isomorfismo, considerando Z um
grupo aditivo e G um grupo multiplicativo.
Soluo.
Sejam n, mZ, f ( n + m )= an+ m= anam= f ( n ) f ( m ) e, portanto, f um homomorfismo. Alm disso, se
f ( n ) = f ( m ) an = am n = m. Logo, f um homomorfismo injetor. A sobrejetividade segue de forma
natural.
2. Seja f : G G ' homomorfismo, G , G ' grupos multiplicativos e H subgrupo de G. Mostre que o conjunto
f 1 ( H ) =
{x G , f ( x ) H} subgrupo de G.
Soluo.
=
ff((xx11xx22)) ff((xx11))ff((xx22))GG
Considere x1 , x2 G tais que f ( x1 ) , f ( x2 ) H. Em virtude de f ser homomorfismo,
=
1
. Mais especificamente, f ( x1 x2 ) H, pois f ( x1 ) , f ( x2 ) H e, portanto, x1 , x2 f ( H ). Agora, dado x G tal
1
que f ( x ) H, temos que x 1 G e sendo f x 1 = f ( x ) , segue que f x 1 H, onde x 1 f 1 ( H ).
( )
34
3. Considere f :Z Z Z Z , onde f ( x , y=
)
seu ncleo.
( )
( x y ,0) . Mostre que f um homomorfismo e determine
Soluo.
Vamos considerar ZXZ um grupo aditivo. Dados ( x1 , y1 ) , ( x2 , y2 ) Z Z, ento
f ( ( x1 , y1 ) + ( x2 , y2 ) ) = f ( x1 + x2 , y1 + y2 ) =
Portanto, f homomorfismo.
= ( x1 y1 ,0) + ( x2 y2 ,0 ) = f ( x1,
( x1 + x2 y1 y2 ,0)
y1 ) + f ( x2 , y2 )
Sabemos que ( 0,0 ) o elemento neutro de ZXZ. Deste modo,
, y ) ( 0,0
=
,0 ) ( 0,0
=
)} {( x , y ) Z Z ,( x y=
)}
{( x , y ) Z Z ,f ( x =
{( x , y ) Z Z ,x y = 0} = {( x , y ) Z Z ,x = y} = {( x , x ) , x Z}
N (=
f)
EXERCCIO PROPOSTO
1. Determine, em cada caso, se f um homomorfismo.
a)
b)
c)
d)
IAA
f : G G, onde f ( x ) = x n para n inteiro positivo e G constitui um grupo abeliano.

f :ZZ Z dada por f ( x ) = ( x ,0 ), sendo Z e ZXZ grupos aditivos.
f : R * R * dada por f ( x ) = x , sendo R * o grupo multiplicativo dos reais.
f : R * R , onde f ( a ) = log a, sendo R * um grupo multiplicativo e R, um grupo aditivo.

2. Determine o ncleo de cada homomorfismo.
a) f :ZZ dada por f ( x ) = kx , onde Z o grupo aditivo dos inteiros e k Z.

b) f :ZZ Z dada por f ( x ) = ( x ,0 ), sendo Z e Z Z grupos aditivos.
c) f :ZR *+ dada por f ( x ) = 2x , onde Z um grupo aditivo e R *+ um grupo multiplicativo.
3. Mostre que f :Z 2Z , onde f ( x ) = 2x um isomorfismo do grupo aditivo Z no grupo aditivo 2Z .

4. Mostre que o conjunto dos automorfismos de um grupo G, Aut ( G ) , tambm um grupo.
5. Seja a um elemento fixo do grupo multiplicativo G. Mostre que f : G G , onde f ( x ) = axa1 um

isomorfismo.
Classes Laterais e Subgrupos Normais

UN 01
Definio 1:
Seja G um grupo e H um subgrupo de G. Dado a G , o conjunto de todos os elementos ax, com x H ,
chamado de classe lateral esquerda de H em G, sendo denotado por aH. Deste modo,
=
aH
{ax , x H}
O conjunto de todos os elementos xa, com x H, chamado de classe lateral direita de H em G, denotado
por Ha. Deste modo,
=
Ha { xa , x H}
Observao 1:
Se G um grupo abeliano, aH = Ha. Na teoria que segue, indiferente usar classes laterais esquerda (com
as quais trabalharemos) ou direita. Trataremos as classes laterais esquerda apenas por classes laterais.
Teorema 1:
Seja G um grupo e H, um subgrupo de G. Se a , b G , considere aH e bH classes laterais de H no grupo G.
Temos aH = bH ou aH bH = .
35
Demonstrao:
Suponha que aH bH . Provaremos que aH = bH . Sejam x , y H tais que ax = by, temos que a = byx 1
. Sabendo que yx 1 H e sendo ax um elemento arbitrrio de aH com x H , ento
ax = b yx 1 x '
Em virtude de yx 1 x H, ax bH . Portanto, aH bH . De modo anlogo, bH aH e podemos concluir

que aH = bH .
Teorema 2:
Seja G um grupo e H um subgrupo finito de G. Dado a G , o nmero de elementos de aH igual ao nmero
de elementos de H.
Demonstrao:
Considere x , x H , onde x x '. Ento, ax ax ', pois se ax = ax ', multiplicando esquerda por a1,
teramos x = x ' . Segue ento que x1 ,., xn so elementos distintos de H, e que ax1 ,., axn so elementos
distintos de aH.
Definio 2:
Seja G um grupo e H um subgrupo de G. O nmero de classes laterais distintas de H em G chamado ndice
de H em G. O ndice de um subgrupo pode ser finito ou infinito. Se G finito, o ndice de qualquer subgrupo
H finito e denotado por ( G : H ) .
Corolrio 1 (Teorema de Lagrange):
Seja H um subgrupo de um grupo finito G. Ento,
ordem de G = ( G : H ) ( ordem de H )

IAA
Demonstrao:
Suponha ( G : H ) = r . Todo elemento de G pertence a alguma classe lateral (a saber, a aH, pois a=ae). Devido ao
Teorema 1, todo elemento de G pertence precisamente a uma classe lateral,
=
isto , G a1 H a2 H ar H
com ai H a j H = sempre que i j .
Pelo Teorema 2, quaisquer duas classes laterais possuem o mesmo nmero de elementos. Portanto,
ordemdeG
= ordemde H + ordemde H ++ ordemde H , onde o nmero de parcelas r. Logo,
ordemdeG = ( G : H )( ordemde H )
Definio 3:
Seja G um grupo. Um subgrupo N dito normal se, para todo x G, verificada a igualdade xN = Nx .
Denotamos N G .
Exemplos de Subgrupos Normais:
1.
{e} e G so subgrupos normais de G.
2. Se G abeliano, todo subgrupo de G normal.
3. Se H subgrupo de G tal que ( G : H ) = 2, ento H subgrupo normal de G. De fato, se ( G : H ) = 2, as

classes laterais esquerda de H em G so H e aH, onde a G H, e as classes laterais direita de H em G
so H e Ha. Segue que aH = Ha.
4.
36
Z ( G )=
{x G ; xg=
gx , g G} subgrupo normal de G.
Teorema 4:
Sejam G um grupo e H um subgrupo normal de G. Se aH e bH so classes laterais de H, o produto ( aH )( bH )
tambm classe lateral. O conjunto de todas as classes laterais um grupo com produto definido
anteriormente.
Demonstrao:
Temos ( aH )(=
bH ) abHH
= abH . Dessa maneira, o produto de duas classes laterais uma classe lateral.
Deixaremos a demonstrao de que o conjunto das classes laterais munido do produto ( aH )( bH ) = abH
um grupo a cargo do leitor. O elemento neutro ser a classe lateral H e o elemento inverso da classe aH
a classe a1 H .
Definio 4:
Seja G um grupo e H um subgrupo normal de G. O grupo das classes laterais com a operao ( aH )( bH ) = abH
para a , b G o grupo quociente de G por H e ser denotado por G / H.
Observao 2:
Com base no que foi suposto para H na Definio 4, G / H um grupo formado tanto por classes laterais
esquerda quanto por classes laterais direita. Enfatizamos que essa suposio que nos permite definir
a multiplicao de classes laterais.
Seja G um grupo, veremos que um subgrupo de H normal se o ncleo de algum homomorfismo de G em

algum grupo.
Corolrio 2:
Seja G um grupo e H um subgrupo normal de G. Seja G / H o grupo quociente e seja f : G G / H a
aplicao que a cada a G associa classe lateral f ( a ) = aH, ento f um homomorfismo e seu ncleo
precisamente H.
Demonstrao:
Considere a , b G. Temos que f ( =
ab ) abH
= ( aH )( bH
=
) f ( a ) f ( b ), portanto f homomorfismo.
Quanto ao seu ncleo, sabemos que H N ( f ), pois N ( f ) =
H} e f ( h)= hH = H , h H .
{a G ; f ( a ) =
Reciprocamente, se x G e se f ( x ) = xH o elemento neutro de G / H, ento xH = H e x um elemento de
H. Deste modo, N ( f ) H e H = N ( f ) .
IAA

Corolrio 3 (Teorema do Homomorfismo para Grupos):

Seja f : G G ' um homomorfismo de grupos e H um subgrupo normal de G, isto , H = N ( f ) . A aplicao
induzida

f : G / H f ( G )

aH f ( a )
um isomorfismo.
Demonstrao:
Inicialmente, vamos verificar que f uma funo bem definida, isto , se aH = bH, ento f ( a ) = f ( b ). Ora, aH
1
= bH implica, portanto, em que a1 b H f a1b =
e f a1 f ( b ) =
e f (a) f ( b) =
e f (a) =
f (b)
Claramente, f uma funo sobrejetora. Para a , b G , f ( aH bH ) =

f ( abH ) =
f ( ab ) =
f (a) f ( b) =
f ( aH ) f ( bH )
=
a) f (b) =
f ( aH ) f ( bH ). Desta forma, f um homomorfismo. Para mostrar que f injetora, observe que
N( f ) =
aH ; f ( aH ) =
eG =
eG } =
H , isto , N ( f ) = eG / H .
{aH ; f ( a ) =
{aH ;a N ( f )} =
( )
EXERCCIO RESOLVIDO
1. Considere G um grupo, a G. O menor inteiro positivo n tal que an = e (e constitui o elemento neutro
de G) chamado ordem de a. Denotamos ( a ). Quando no existe tal inteiro, denotamos ( a ) = . Mostre
que se G finito, a ordem de todo elemento de G divide a ordem de G.
Soluo.
Defina o conjunto
=
H am , m
Z .
Afirmao:
H < G e H = ( a ) . De fato, H < G, pois H , pois a H . Alm disso, para m = 0, e H, sendo
a p , aq H , a p a q =
a p q H . Pelo 2 Teste para Subgrupo, H < G .
( )
Para mostrar que H = ( a ), devemos considerar duas possibilidades: ( a ) = ou ( a ) = n. Suponha

( a ) = . Neste caso, todas as potncias de a so distintas (Verifique!). Logo, H = . Por outro lado,
m
nk
se ( a ) = n , considerando m = nk, a=
a=
(an=
)k e e se am = e, escreva m
= nq + r onde 0 r n
r
mnq
= e r = 0 m = nq, donde conclumos que n divide
(Algoritmo da Diviso) e observe que a = a
m. Conclumos que toda potncia de a igual a um dos seguintes elementos: a0= e , a1= a ,, an1 e
( a )= n= H .

37
Utilizando a afirmao acima e o Teorema de Lagrange, como H divide G , ento ( a ) divide G .
2. Seja G um grupo finito e sejam K < H < G , ento ( G : K ) = ( G : H )( H : K )
Soluo.
A soluo utiliza o Teorema de Lagrange trs vezes. Se
H <G G =
H (G : H ) e K < G H =
K ( H : K ),
ento G = K ( H : K )( G : H ) . Alm disso, em virtude de K < G G =
K ( G : K ), comparando os
resultados, segue que ( G : K ) = ( G : H )( H : K ) .H

3. Seja f : G G ' um homomorfismo de grupos e seja H um subgrupo de G, ento a funo

H
f ( H ) , onde f h( H N ( f ) ) = f ( h) um isomorfismo.
HN( f )
Soluo.
Considere o homorfismo f restrito a H: f | H : H G '. Temos f | H ( H ) = f ( H ) e N ( f |H ) = N ( f ) H .
Aplicando o Teorema do Homomorfismo para grupos em f | H, obtemos o resultado.

IAA
EXERCCIO PROPOSTO
1. Seja G um grupo de ordem pn, no qual P primo e n > 1 . Mostre que a ordem de um elemento qualquer
de G uma potncia de P.
2. Um grupo G chamado de grupo cclico quando gerado por um nico elemento. Mostre que se G um
grupo de ordem prima, ento G cclico. Dica: Use o Teorema de Lagrange.
3. Utilizando o Teorema do Homomorfismo para Grupos, mostre que:
a) Se H G e k < G, ento
K
KH
H K
H
b) Se K < H < G com K G e H G, ento
G/K G
.
H /K H
4. A recproca do Teorema de Lagrange verdadeira? Justifique sua resposta.
38
IAA

III
ANIS, IDEAIS E
HOMOMORFISMOS
Nesta unidade, definimos os conceitos bsicos da

lgebra Comutativa, como anis e ideais, e apresentamos
suas propriedades elementares. Os exemplos apresentados
seguem o contexto dos nmeros inteiros e polinmios.
Objetivos:
Definir o que um Anel e um Ideal;
Definir Homomorfismo de Anis;
Apresentar os principais exemplos e resultados da Teoria
Bsica de Anis.
III - ANIS, IDEAIS E HOMOMORFISMOS
Anis
UN 03
Os anis so estruturas abstratas nas quais esto definidas uma adio e uma multiplicao. O modelo
para esta teoria o conjunto dos nmeros inteiros Z. Por este motivo, este o exemplo que sempre
apresentaremos. O objetivo desta teoria estender as propriedades dos nmeros inteiros.
Definio 1:
Um anel A um conjunto no vazio onde esto definidas duas operaes as quais chamaremos de soma
em A, (denotada por +) e produto em A, (denotado por .), que satisfazem as condies seguintes:
A1) [Associatividade da Soma]
( a + b ) + c =a + ( b + c ) , quaisquer que sejam a, b, c A
A2) [Existncia de Elemento Neutro da Soma]

Existe 0 A A , tal que a + 0 A = 0 A + a = a, qualquer que seja a A
A3) [Existncia de Inverso Aditivo]
Para todo a A, existe b A tal que a + b = b + a = 0 A
A4) [Comutatividade da Soma]
a + b = b + a, quaisquer que sejam a , b A
M1) [Associatividade do Produto]

( a b ) c = a ( b c ), quaisquer que sejam a, b, c A
A6) [Distributividade direita e Distributividade esquerda]

( a + b ) c = a c + b c ; a ( b + c ) = a b + a c , quaisquer que sejam a, b, c A
A um anel com unidade, se valer:
41
M2) [Existncia de Elemento Neutro do Produto]

Existe 1 A 0 A A, tal que a 1 A = 1 A a = a, qualquer que seja a A
A um anel comutativo, se valer:
M3) [Comutatividade do Produto]

a b = b a , quaisquer que sejam a , b A
A um anel sem divisores de zero, se valer:
M4) a b = 0 a = 0 ou b = 0 e b a = 0 a = 0 ou b = 0 para quaisquer a , b A

A um anel com divisores, se valer M2 e:
M5) [Existncia do Inverso do Produto]
a A, a 0, b A;a b= 1 e b a= 1
Finalmente, um anel comutativo com unidade e sem divisores de zero chamado domnio de integridade.
Por sua vez, um domnio de integridade com divisores chamado de corpo.
Notao: ( A, + , ) denotar uma anel A com as operaes + e .

IAA
Exemplos de Anis, Domnios de Integridade e Corpos

1. ( Z , + , ) um anel no qual + e so a adio e a multiplicao usuais dos inteiros. A operao comutativa
e 1 o elemento neutro desta operao. Observe que este conjunto, no entanto, no corpo.
2. ( R , + , ) , ( Q , + , ) , ( C , + , ) so anis, onde + e so a adio e a multiplicao usuais, respectivamente.

Em cada caso, a operao comutativa e 1 o elemento neutro. Estes conjuntos so corpos.
3. Seja A o conjunto das funes contnuas com valores reais, definidas no intervalo [0,1]. A soma e o
produto de duas funes f , g so definidos de maneira usual, ou seja,
( f + g )( x ) =f ( x ) + g ( x ) e =
( fg )( x ) f ( x ) g ( x ) , x [0,1]
Munido destas operaes, o conjunto A um anel onde o produto comutativo e a funo constante igual
a 1 a unidade.
=
Mn ( A )
{(a )
4. Seja A um anel qualquer. O conjunto das matrizes nn, com entradas em A, isto=
, Mn ( A )
ij nn ; aij A
} , munido das operaes
AB = D=
, onde A
A+B =
C,=
onde A
aij ) , B ( bij ) e=
D
(=
nn
nn
d
(=
ij
aij ) , B ( bij ) , alm de

(=
nn
nn
C
=
( c=ij
aij + bij
k =1aik bkj ) , um anel com unidade se 1 A.

n
{(a )
ij nn ; aij A
)nn
1A 0
De fato, 1M ( A) = . Observe que este anel no comutativo e no possui diviso, pois diviso,
n
0 1
A
pois nem toda matriz tem inverso.
42
5. Para todo n 0, seja=

nZ {na;a
Z} . Com as operaes induzidas pelas operaes de Z, segue que
( nZ ,+ , ) um anel comutativo. A multiplicao no tem elemento neutro caso n 1.
6. O conjunto Z=
ab , para
0, 1,, n 1 , n 0 e as operaes + e assim definidas a + b = a + b e a b =
n
todo a , bZn , compem um anel comutativo e com unidade 1 .
Observao 1:
Podemos definir anis usando a definio de grupos da seguinte maneira:
Um anel A um conjunto no vazio munido de duas operaes, adio e produto, satisfazendo as seguintes
condies:
a) Sob a adio, A um grupo aditivo (abeliano).
b) Para todos a , b, c A , temos
x ( y + z ) = xy + xz e ( y + z ) x =yx + zx .
c) Para todos a , b, c A , temos ( xy ) z = x ( yz ) .
d) Existe um elemento e A tal que ea

= ae
= a para todo a A.
Propriedades dos Anis
Podem-se deduzir vrias regras de aritmtica a partir das condies que definem um anel A. Vejamos a
seguir tais regras.
Teorema 1:
Sejam a , b e c elementos de um anel A. Ento:
1.
Se a + b = a + c , ento b = c .
0A
2. 0 A a =
3. O elemento neutro aditivo nico.

4. O inverso aditivo nico.
IAA
( ab )
5. a ( b ) =
( a ) b =

},
6.
ab
( a )( b ) =
8.
a
( 1A ) a =
7. a ( b c ) = ab ac e ( b c ) a =ba ca

Se o anel A tem unidade 1 A ,
9.
1A
( 1A )( 1A ) =
10. O elemento neutro da multiplicao nico.

11. O inverso multiplicativo nico.
Demonstrao:
1. Basta somar de ambos os lados o inverso aditivo de a.
2. Temos 0 A a = ( 0 A + 0 A ) a = 0 A a + 0 A a . Portanto, utilizando a regra 1, 0 A a =

0A .
3. Suponha que existam dois elementos neutros, por exemplo, 0 A e 0 A . Em virtude de 0 A ser elemento
neutro, teremos:
0 A + 0'A =
0A '
Em virtude de 0 A ' ser elemento neutro,
0'A + 0 A =
0A
'
Visto que 0 A + 0'A = 0'A + 0 A , ento 0 A = 0 A .
4. Suponha que o elemento a possua dois inversos aditivos: b1 e b2. Temos que a + b1 =a + b2 =0 A .
Utilizando a regra 1, segue que b1 = b2 .
5. Temos a ( b ) + ab = a ( b + b ) = a 0 A = 0 A . Deste modo, a ( b ) o inverso aditivo de ab, onde

a ( b ) =
ab .
6.
( a )( b ) = a ( b ) = ( ab ) , pelo item anterior. fcil ver que ( a ) =a para todo a A.
8.
(1 A a ) =
a, utilizando a regra 5.
( 1A ) a =
7. a ( b c )= a ( b + ( c ) )= ab + a ( c )= ab + ( ac )= ab ac
43
9. Segue da regra 6.
10. Suponha que existam duas unidades 1A e 1A. Em virtude de 1 A ser unidade, segue que 1 A 1'A =.
1A
Analogamente, em virtude de 1A ser unidade, 1'A 1 A =
1 A ' . Como o anel comutativo, 1 A = 1 A ' .
11. Suponha que o elemento a de A tenha dois inversos multiplicativos: b e c. Assim, ba
= ab
= ac
= ca
= 1A
e=
b b=
1 A bac
= 1=
c
c
.
A
EXERCCIO RESOLVIDO
1. Determine os divisores de zero do conjunto Z6 .

Soluo.
Z6 = 0,1,2, 3, 4, 5 . Estamos interessados em determinar os valores a , b Z6 , diferentes de zero tais
que a b =0 . Lembrando que o conjunto Z6 o conjunto dos restos da diviso por 6, entendemos
por 0 , todos os mltiplos de 6. Deste modo, os divisores de zero sero 2, 3 e 4 , pois 2 3 = 6 = 0 e
3 4 = 12 = 0 .


IAA
0 , para
2. Prove que o conjunto Z, dotado da lei usual de adio e da multiplicao definida por a b =
quaisquer a , bZ, um anel.
Soluo.
Devemos verificar se o conjunto Z satisfaz todas as seis primeiras condies da Definio 1. Ora, como
Z,
a adio a usual, as condies A1, A2, A3 e A4 so satisfeitas sem problemas. Considere a , b, c
arbitrrios. Teremos
(a b) c = 0 c = 0 = a 0 = a ( b c )
Verificando a condio M1, ( a + b ) c = 0 = 0 + 0 = a c + b c , analogamente, a ( b + c ) = a b + a c .

3. Mostre que Z p , com p primo, corpo.
Soluo.
De fato, seja a Z p , a 0 , ou seja, aZ tal que p a . Assim, mdc ( p , a ) = 1, o que implica na existncia
de r , s
Z;rp + sa =
1. Logo,
1
rp + sa = 1 sa = 1 s = ( a ) ,
o que mostra que Z p corpo.

4. Mostre que o conjunto Q, dotado das operaes e definidas por
a b = a + b 3 e a b = a + b
um anel comutativo com unidade.
44
Soluo.
Vejamos inicialmente as condies da adio. Ora, dados a, b e c elementos de Q, temos:
a ( b c ) = a ( b + c 3) = a + ( b + c 3) 3 = ( a + b 3) + c 3 = ( a b ) + c 3 = ( a b ) c ,
satisfazendo a condio A1.
Existe 3Q tal que a 3 = a + 3 3 = a , satisfazendo a condio A2. Analogamente, mostramos

a.
que 3 a =
Dado a
Q , existe a + 6Q tal que a ( a + 6 ) = a + ( a + 6 ) 3 = 3. Portanto, a condio A3
3.
satisfeita. Analogamente, mostramos que ( a + 6 ) a =
Para a condio A4, a b = a + b 3 = b + a 3 = b a.
Passando para as condies que envolvem o produto,
bc
a b + c
3
bc
bc
a (b c ) = a b + c = a + b + c
= a+b+c
3
3
3
ab
a + b 3 c
bc ab ac abc
ab
= ab c

+
= a+b +c
(
)
3 3 3
9
3
3
a ( b c ) = a ( b + c 3) = a + ( b + c 3)

a ( b + c 3)
= a + b + c 3
ab ac
+a=
3 3
3
ab
ac
a + b 3 + a + c 3 3 = (a b) (a c )
Analogamente, ( a b ) c = ( a c ) ( a b ) .
IAA
ab
,
3
EXERCCIO PROPOSTO
1. Mostre que os seguintes conjuntos, com respectivas operaes, representam um anel:
a)
b)
( Q, , ), onde a b = a + b 1 e a b = a + b ab
( Z Z ,, ) , onde ( a, b ) ( c , d ) =( a + c , b + d ) e ( a, b ) =
( c , d ) ( ac , ad + bc )
2. Sendo A um conjunto no vazio e P ( A ) o conjunto das partes de A , mostre que ( P ( A ) , , ) , onde

=
x y ( x y ) x y e x y =
x y um anel.
3. Seja A um anel. Mostre que a ( b c ) = ab ac e ( a b ) c =ac bc , quaisquer que sejam a , b, c A .

4. Seja A um anel no qual a2 = a, para todo a A . Mostre que a = a , a A e A comutativo.
5. Determine os elementos inversveis dos anis da questo 1.
6. Determine os divisores de zero do anel ( Z Z , , ) da questo 1.
{(
7. Mostre que A =
z1 , z2 , z2 , z1 , z1 , z2 C , com adio e a multiplicao definidas por
( a, b, c , d ) + ( e , f , g , h) =( a + e , b + f , c + g , d + h)
( a, b, c , d ) ( e , f , g , h) =( ae + bg , af + bh, ce + dg , cf + dh)
um anel comutativo com unidade.
8. Mostre que A =
{( a, b, b, a ) ;a, b Q} , com adio e multiplicao definidas por
( a, b, c , d ) + ( e , f , g , h) =( a + e , b + f , c + g , d + h)
( a, b, c , d ) ( e , f , g , h) =( ae + bg , af + bh, ce + dg , cf + dh) , um corpo.
45
9. Considere
=
A {( a1 , a2 , a3 , a4 ) ; ai R} , com adio e multiplicao definidas respectivamente por:

( a1 , a2 , a3 , a4 ) + ( b1 , b2 , b3 , b4 ) =( a1 + b1 , a2 + b2 , a3 + b3 , a4 + b4 )

Sabendo que A um anel comutativo com unidade, mostre que A no um domnio de integridade.
10. Mostre que se A um domnio de integridade, a A e a2 = a. Ento, a = 0 A ou a = 1 A .
Subanis
UN 03
Definio 1:
Seja ( A, + , ) um anel e B um subconjunto no vazio de A. Diz-se que B um subanel de A, quando B, munido
das operaes de A, tambm um anel. Em outras palavras, B um subanel de A se satisfizer:
A0) [Fechamento Aditivo]
a + b B , para quaisquer a , b B
A1) [Associatividade da Soma]

( a + b ) + c =a + ( b + c ) , quaisquer que sejam a, b, c B
A2) [Elemento Neutro da Soma]
0 A B , sendo 0 A o elemento neutro de A
A3) [Existncia de Inverso Aditivo]

Para todo a B , existe b B tal que a + b = b + a = 0 A
A4) [Comutatividade da Soma]
a + b = b + a, quaisquer que sejam a , b B
M0) [Fechamento Multiplicativo]
a b B, para quaisquer a , b B

IAA
M1) [Associatividade do Produto]

( a b ) c = a ( b c ), quaisquer que sejam a, b, c B
A6) [Distributividade direita e Distributividade esquerda]

a c + b c ; a ( b + c ) = a b + a c, quaisquer que sejam a , b, c B
(a + b) c =
Observe que das oito condies apresentadas na Definio 1, quatro so automaticamente satisfeitas
porque B A. So elas: A1, A4, M1 e A6. Deste modo, para que um conjunto B A no vazio seja definido
como um subanel, basta satisfazer as condies A0, A2, A3 e M0.
Observao 1:
Quando no houver possibilidade de confuso, indicaremos o inverso aditivo do elemento a A, por a.
Teorema 1 (Teste de Subanel 1):

Sejam A um anel e B um subconjunto no vazio de A. B um subanel de A se para todo a , b B tivermos
a + b, ab, a B.
Demonstrao:
Devemos mostrar que mediante satisfao das trs condies acima teremos 0 A B . De fato, como B ,
podemos considerar a B. Por hiptese, a B. Utilizando o fechamento aditivo, a + ( a )= 0 A B.

O prximo Teorema reduz ainda mais o nmero de condies para que um subconjunto de um anel seja
um subanel.
46
Teorema 2 (Teste de Subanel 2):

Sejam A um anel e B um subconjunto no vazio de A. B um subanel de A se para todo a , b B tivermos
a b, ab B.
Demonstrao:
Devemos mostrar que 0 A B , a + b B , para quaisquer a , b B e a B , para todo a B . Observe que,
em virtude de B , existe a B . Fazendo a a =
0 A , teremos a B . Alm disso, a= 0 A a B . Logo,
a B . Por fim, se a , b B , ento a , b B , o que nos diz que a ( b ) = a + b B .
Observao 2:
Sabemos que se A um anel, ento A um grupo aditivo. Alm disso, um subconjunto no vazio de um
grupo aditivo um subgrupo desse grupo se, e somente se, fechado para a subtrao. Neste contexto, o
teorema 2 pode ser formulado da seguinte maneira:
Sejam A um anel e B um subconjunto no vazio de A. B um subanel de A se, e somente se, B um
subgrupo do grupo aditivo ( A, + ) e ab B , quaisquer que sejam os elementos a , b B .
Exemplos de Subanis:
1. {0 A } e A so subanis de A.
2. Os inteiros formam um subanel do conjunto dos nmeros racionais, que, por sua vez, um subanel do
conjunto dos reais.
3. As funes reais diferenciveis definidas sobre os R formam um subanel do anel das funes contnuas.
4. Mn ( Z ) subanel de Mn ( Q ) , Mn ( R ) e Mn ( C ) ; Mn ( Q ) subanel de Mn ( R ) e Mn ( C ) ; Mn ( R ) e
Mn ( R ) subanel de Mn ( C ) .
5.
{0, 2, 4} subanel de Z6 . (Verifique!).
EXERCCIO RESOLVIDO
1. Mostre que o conjunto=
mZ
Z}
{mx ; x
subanel de Z.
Soluo.
Z .
De fato, considere a , bmZ , isto , b = my e x , y
Z , onde x , y
a b= mx my= m ( x y ) mZ
=
e ab ( mx=
)( my ) m( xmy ) mZ. Segue o resultado.
IAA

Temos
que
2. Mostre que todo subanel de Z tem a forma mZ .
Soluo.
Seja S um subanel de Z. Claramente, 0 S . Se S = {0}, ento S = 0Z . Se S {0} . Seja n S , ento n S
. Portanto, existe um inteiro positivo em S. Seja m o menor inteiro positivo em S. Devemos mostrar
que S = mZ .
Ora, temos que S mZ , pois se b S segue que - b S e, portanto, b S . Considere
A = {conjuntodos inteiros positivos pertencentes a S } (m o menor deles). Como b m , podemos
dividir b por m e obtemos, utilizando o algoritmo da diviso, que existem r , s
Z tais que
=
b ms + r , onde 0 r m . Observe que r= b ms e, portanto, r S . O fato de que r < m contradiz a
minimalidade de m. Ento, r = 0 e, portanto,
b ms =0 b =ms
Logo, b {ms ; s
Z} e b mZ . Reciprocamente, se a mZ , ento a = mx para algum x Z . Temos
a mx =
0 S e, portanto, a S . Segue que mZ S.
3. Se B e C so subanis de A, mostre que B C subanel de A.
Soluo.
Por hiptese, BC , pois 0 A BC . Considere a , b BC , ento a , b B e a , b C . Em virtude de
B e C serem subanis, a b B , a b C , ab B e ab C . Segue que a bBC e ab BC . Segundo
o Teorema 2, BC subanel de A.
4. Mostre que L =
a + b 2;a , b Q subanel de R.
Soluo.
Observe que 0 =+
0 0 2 L. Considere a + b 2, c + d 2 L , temos que a + b 2 c + d 2 =
ac + ad 2 + bc 2 + 2bd. Portanto, L subanel de R.
( a c ) + ( b d ) 2 L e a + b 2 c + d 2 =
)(
) (
47
EXERCCIO PROPOSTO
1. Determine todos os subanis do anel Z6 .
2. Mostre que Z3 = {0, 1, 2} no subanel de Z5 = {0, 1, 2, 3, 4} .
3. Seja A um anel e a A . Prove que B =

ax} um subanel de A.
{x A; xa =
4. Seja A um anel. Prove que Z ( A )=
{x A; xy=
yx , y A} um subanel (comutativo) de A.
a 0
5. Seja A = M2 ( R ) =
e seja B
;a R . Mostre que B subanel de A.
0 0
Ideais e Anis Quocientes

UN 03
Nesta seo, trataremos uma classe de subanis que nos permite definir novos anis.
Definio 1:
Seja A um anel. Um ideal esquerda de A um subanel I de A, tal que se x I e a A , ento
ax I ( AI I ). Analogamente, definimos um ideal direita de A como um subanel J de A, tal que se
x I e a A, ento xa I ( IA I ). Finalmente, se o subanel I do anel A um ideal simultaneamente
direita e esquerda de um anel A, dizemos que I um ideal de A se, considerando x I e a A, tivermos
ax I e xa I ( AI I e IA I ).
Observao 1:
Se o anel A for comutativo, a definio acima deve ser reformulada da seguinte maneira:

IAA
Seja A um anel comutativo. Um subanel I de A dito um ideal de A se, para quaisquer x I e a A, tivermos
Teorema 1 (Teste para Ideal). Um subconjunto no vazio I de um anel A um ideal de A se:
i)
ii)
a b I , para todo a , b I
xa I e ax I , para todo a A e x I
Demonstrao:
Segue da definio de subanel e ideal.
Exemplos de Ideais
1. Seja A um anel comutativo. {0 A } e A so ideais de A chamados ideais triviais de A. Um ideal I de A
dito ideal prprio de A quando I A.
2. Seja o anel R [ x ] = { f ( x ) ; f ( x ) um polinmio com coeficientes em R} . O conjunto S =

0}
{ f ( x ) R [ x ]; f (0) =
S=
0} um ideal de R [ x ] . De fato, dados f ( x )
R [ x ] e g ( x ) , h( x ) I, ento ( h g )( x ) = h( x ) g ( x )I,I
{ f ( x ) R [ x ]; f (0) =
pois ( h g )( 0) = h( 0 ) g ( 0) = 0 e=
g ( 0 ) f=
( fg )( x ) f ( x ) g ( x ) I , pois ( fg=
)(0) f (0)=
(0)0 0 .
3. Sejam A um anel e a A. O conjunto dos elementos xa, com x A, um ideal esquerda, chamado
ideal principal esquerda gerado por a (Denotamos a ). Mais geralmente, sejam a1 ,, an elementos de
A. O conjunto de todos os elementos x1a1 ++ xnan , com xi A, um ideal esquerda, chamado ideal
esquerda gerado por a1 ,, an (Denotamos a1 ,, an ). Analogamente, pode se definir ideal principal
direita gerado por a e ideal direita gerado por a1 ,, an. Claramente, se A um anel comutativo, esses
ideais so bilaterais.
48
Observao 2:
Todo ideal um subanel, porm a recproca no vale. De fato, Z um subanel de Q, mas no ideal de Q,
1
1
1
considerando que, por exemplo, 1Z , Q , mas 1
Z.
2
2
2
EXERCCIO PROPOSTO
1. Verifique se so ideais:
a)
{0,2,4} no anel Z6 .
c)
Z no anel ( Q , , ) , onde a b = a + b 1 e a b = a + b ab , para todo a , bQ.
b)
mZ nZ no anel ZZ .
2. Mostre que um corpo no possui outro ideal exceto o ideal zero e o ideal unitrio.
a 0
3. Mostre que o conjunto

=
R no ideal de M2 ( R ) .
I
;a , c
c 0
4. Mostre que a interseo de ideais de um anel A tambm um ideal de A.

Seja A um anel e I um ideal de A. Defina a relao:
a ~ b a b I
Afirmao:
~ uma relao de equivalncia.
Demonstrao:
De fato, quaisquer que sejam a , b, c I ,
1. a ~ a , pois a a =0 I
2. Se a ~ b, ento b ~ a, pois a b I implica em b a = ( a b ) I , pois I um ideal.
IAA
3. Se a ~ b e b ~ c, ento a ~ c, pois se a b I e b c I , ento ( a b ) + ( b c ) = a c I .

A partir da relao acima, definimos o conjunto

a = {b A; b ~ a} = {b A; b a I} = {b A; b a + I} ,
o qual chamaremos de classe de equivalncia do elemento a A relativa relao ~. A partir das
classes de equivalncia acima, podemos particionar o anel A da seguinte forma:
A = Ua A a
Denotaremos o conjunto de todas as classes de equivalncia por
A / I = {a ;a A} = {a + I , a A}
Tal conjunto chamado de conjunto quociente de A pelo ideal I e este pode ser transformado em um
anel com as operaes seguintes:
+ I ) ( a1 a2 ) + I
( a1 + I ) + ( a2 + I ) = ( a1 + a2 ) + I e ( a1 + I ) ( a2 =
Proposio 1:
Seja A um anel e I um ideal de A. As operaes
+ I ) ( a1 a2 ) + I
( a1 + I ) + ( a2 + I ) = ( a1 + a2 ) + I e ( a1 + I ) ( a2 =
sobre o conjunto A / I esto bem definidas.
Demonstrao:
Suponha que a1 + I = b1 + I e a2 + I = b2 + I. Ento, a1 b1 I e a2 b2 I . Como I um ideal,
( a1 b1 ) + ( a2 b2 ) = ( a1 + a2 ) ( b1 + b2 ) I. Isto indica que ( a1 + a2 ) + I= ( b1 + b2 ) + I e fica provado que
a soma est bem definida.
Ainda considerando a1 + I = b1 + I e a2 + I = b2 + I , observe que a1a2 b1 b2 =a1a2 b1a2 + b1a2 b1 b2 =( a1 b1 ) a2 + a1 ( a2 b2 )

2 b1 b2 =( a1 b1 ) a2 + a1 ( a2 b2 ) . Como I um ideal, (a1 b1 )a2 I e b1 (a2 b2 ) I e o produto fica bem definido.
Teorema 1:
Seja A um anel e I um ideal de A. Se A / I ={a + I , a A} , ento:
+ I)
( a ) ( a1 + I ) + ( a2 + I ) = ( a1 + a2 ) + I e ( a1 + I ) ( a2 =
soma e produto) em A / I.
( a1 a2 ) + I definem duas operaes (denominadas
(b) ( A / I , + , ) um anel.
49
(c) Se 1 a unidade de A, ento 1 + I a unidade de A / I .

(d) Se A comutativo, ento A / I comutativo.
Demonstrao:
+ I)
(a) Na Proposio 1, as regras ( a1 + I ) ( a2 =
operaes no conjunto A / I .
+ I ) ( a1 a2 ) + I
( a1 a2 ) + I e ( a1 + I ) ( a2 =
definem
(b) Exerccio.
(c) Se 1 a unidade do anel A, ento 1 a= a 1= a , a A . Neste caso, (1 + I ) ( a + I ) =( a + I ) (1 + I ) =a 1 + a I + I 1 + I =a + I , ( a +

+ I ) =a 1 + a I + I 1 + I =a + I , ( a + I ) A / I .
+ Ia + I =
(d) Por hiptese, ab = ba , a , b A , ento ( a + I )( b + I ) = ab + aI + Ib + I = ab + I = ba + I = ba + bI + Ia + I = ( b + I )( a + I ) , ( a + I ) , ( b + I

( b + I )( a + I ) , ( a + I ) , ( b + I ) A / I .
Chamaremos o anel A / I de anel quociente.

Exemplos de Anis Quocientes
1.
Z
=
{0 + 4Z ,1 + 4Z ,2 + 4Z ,3 + 4Z}. De fato, dado nZ , utilizando o algoritmo de Euclides,
4Z
n 4q + r , onde qZ e 0 r 3. Pela definio de classe de equivalncia, n + 4Z =+
escrevemos =
r 4Z,
com r = 0,1,2,3.

IAA
2. Sejam R [ x ] = { f ( x ) ; f ( x ) um
umpolinmiocomcoeficientes
polinmio com coeficientes
emem
R} R} e x 2 + 1 o ideal gerado por x 2 + 1 .
Portanto,

R[ x ]
= ax + b + x 2 + 1 ;a , b
R
2
x +1
De fato, considerando o polinmio f ( x ) R [ x ] e dividindo-o por x 2 + 1 , obtemos o quociente q ( x ) e o

resto ax + b
R [ x ] . Podemos escrever f=
R. Note
( x ) q ( x ) x 2 + 1 + ax + b e f ( x ) = ax + b + x 2 + 1 ;a, b
que
(x +
x2 + 1
=x 2 + x 2 + 1
Como x 2 + 1 =
0 em R [ x ] / x 2 + 1 , ento x 2 = 1. Portanto, x + x 2 + 1 =
x2 + x2 + 1 =
1 + x 2 + 1 .
Substituindo,

R[ x ]
=ax + b + x 2 + 1 ;a , b
R =ai + b; a , b
Re i 2 =1 =C
2
x +1
} {
EXERCCIO RESOLVIDO
1. Considere A um anel com unidade. Mostre que a + I A / I inversvel se, e somente se, existe r A
tal que ar 1 I.
50
Soluo.
Suponha que o inverso de a + I seja r + I. Teremos ( a + I )( r + I ) =1 + I ar + I =1 + I ar 1 I .
Reciprocamente, se existe r A tal que ar 1 I , ento ar + I = ( a + I )( r + I ) = 1 + I e a + I inversvel.
2. Determine
Z2 [ x ]
x + x +1
Soluo.
Se p ( x ) Z2 [ x ] , ento existe q ( x ) Z2 [ x ] tal que
=
p ( x ) q ( x ) x 2 + x + 1 + ( ax + b )
Deste modo, p ( x ) = ax + b + x 2 + x + 1 . Ora,

Z2 [ x ]
x + x +1
{ax + b + x
} {0,1, x ,1 + x} .
+ x + 1 ;a , b Z2 =
EXERCCIO PROPOSTO
1. Quantos elementos tem Z [i ] / 3 + i ?
2. Em Z5 [ x ] , seja I=
3. Mostre que
IAA
x 2 + x + 1 . Determine o inverso multiplicativo de 2x + 3 + I em Z5 [ x ] / I .
Z2 [ x ]
x + x +1
um corpo.

Homomorfismos
UN 03
Vamos separar os anis em classes disjuntas, de maneira que os anis de uma mesma classe sejam
equivalentes com respeito estrutura, mudando apenas suas notaes. Tal ideia formalizada a partir dos
isomorfismos de anis, conceito central desta seo.
Sejam A e A ' anis. Por comodismo, denotaremos as operaes desses anis pelos mesmos smbolos +
e-.
Definio 1:
Sejam A e A ' anis. Por homomorfismo de anis f : A A' entendemos uma aplicao dotada das
seguintes propriedades: para todos a , b A,
f ( a + b=
) f ( a ) + f ( b ) , f ( ab=) f ( a ) f ( b )
Um homomorfismo bijetor denominado isomorfismo de A sobre A ' . Neste caso, dizemos que A e A '
A. Um homomorfismo de A em A chamado automorfismo. Se um
so isomorfos e denotamos A
homomorfismo uma funo somente injetora, ento chamado homomorfismo injetor e se for uma
funo somente sobrejetora, de homomorfismo sobrejetor.
Exemplos de Homomorfismos
1. Sejam A e B anis quaisquer, a aplicao f : A B, onde f ( a ) = 0B um homomorfismo de anis, visto
que:
f ( a + b ) = 0B = 0B + 0B = f ( a ) + f ( b ) ,
f ( ab=
0B 0=
f (a) f ( b)
) 0=
B
B
Alm disso, a aplicao I : A A dada por I ( a ) = a um automorfismo de A. De fato,
I (a + b) = a + b = I (a) + I ( b) ,
I ( ab=
= I (a) I ( b)
) ab
51
2. Seja :R [ x ] R tal que ( f ) = f (1 ) , ento um homomorfismo sobrejetor, pois
( f + g ) = ( f + g )(1) = f (1) + g (1) = ( f ) + ( g )

=
( fg ) ( =
fg )(1) f (1=
) g ( 1 ) ( f ) ( g )
Para todo a R ,a =
f (1 ) , onde f ( x ) = a
R [ x ] . Isto mostra que sobrejetivo.
3. A aplicao a + bi a bi um isomorfismo de C em C .
4. Em geral, se I um ideal de um anel A, a aplicao : A A / I dada por ( a ) = a + I , a A um

homomorfismo de A sobre A / I chamado projeo cannica.
Proposies sobre Homomorfismos de Anis
Apresentaremos uma sequncia de resultados importantes envolvendo homomorfismos de anis.
Proposio 1:
Se f : A A ' um homomorfismo de anis, ento:
a)
f (0 A ) = 0 A'
b) f ( a ) = f ( a ) , a A
c)
d)
e)
f ( a b=
) f (a) f ( b)
Se A e A ' so domnios de integridade, ento ou f a funo constante ou f (1 A ) = 1 A' .
Se A e A ' so corpos, ento ou f a funo constante zero ou f injetora.

IAA
Demonstrao:
) f (0A + 0A=) f (0A ) + f (0A ) f (0A ) f (0A=) f (0A ) + f (0A ) f (0A ) 0A= f (0A )
a) f ( 0 A=
b) Seja a A. Temos a + ( a ) =0 A e, segundo o item anterior, f ( a ) + f ( a ) =

0 A'. Segue que f ( a ) =
f ( a ).
c) Sejam a , b A , f ( a =
b ) f a + ( b=
b ) f ( a ) f ( b ).
) f ( a ) + f ( =
d) Temos que 1 A 1 A = 1 A . Ento, f (1 A ) = f (1 A ) f (1 A ) ( f (1 A ) 1 A )= 0 A' . Por hiptese, A ' um

domnio de integridade, seguindo que f (1 A ) = 0 A' ou f (1 A ) 1 A =
0 A' .
No caso de f (1 A ) = 0 A' segue que f ( a ) = f ( a 1 A ) = f ( a =
) f (1 A ) f=
( a ) 0 A 0 A' para todo a A .
2
e) Considere A e A ' anis e suponha que f no a funo constante zero. Pelo item anterior, f (1 A ) = 1 A', devemos
mostrar que f injetora. Ora, se a , b A e f ( a ) = f ( b ) , teremos f ( a b ) =
0 A'. Se a b, ento a b 0 A. Em virtude
de A ser corpo, existe c A tal que c ( a b ) =
1 A , da f ( c ) f ( a =
b) f (c =
)0A 1A' , o que contradio.
Proposio 2:
Se f : A A ' um homomorfismo de anis e B um subanel de A, ento f ( A ) subanel de A '.
Demonstrao:
Considere c , d f ( A ) , ento c = f ( a ) e d = f ( b ) , para convenientes elementos a , b A . Teremos
c d= f ( a ) f ( b =
) f (a b)
Como a b A , pois este anel, c d f ( A ).

Ncleo e Imagem de um Homomorfismo
52
Definio 2:
Seja f : A A ' um homomorfismo de anis. Damos o nome de ncleo de f, e denotamos N ( f ) , ao
seguinte subconjunto de A:
N( f ) =
0 A' }
{a A; f ( a ) =
Observao 1:
Em virtude de f ( 0 A ) = 0 A' , vale observar que N ( f ) .
Definio 3:
Seja f : A A ' um homomorfismo de anis. Damos o nome de imagem de f, e denotamos Im ( f ) , ao
seguinte subconjunto de A:
=
Im ( f ) { f ( a ) ;a A}
Teorema 1:
Sejam A e A ' anis e f : A A' um homomorfismo. Ento,
a)
b)
Im ( f ) subanel de A '.
N ( f ) ideal de A.
c) f injetiva se, e somente se, N ( f ) = {0 A } .
d) Os anis A
N( f )
e Im ( f ) so isomorfos.
Demonstrao:
a) Claramente, 0 A' Im ( f ), pois f ( 0 A ) = 0 A'. Supondo f ( a ) , f ( b ) Im f , ento f ( a ) f ( b )= f ( a b ) Imf .
Por fim, f ( a )=
f ( b ) f ( ab ) Im f .
b) N ( f ) ideal de A, pois 0 A N ( f ) em virtude de f ( 0 A ) = 0 A' . Dados a , b N ( f ), ento

f ( a b ) = f ( a ) f ( b ) = 0 A' 0 A' = 0 A', ou seja, a b N ( f ). Finalmente, seja x A e a N ( f ), ento
=
f ( ax ) f ( a=
f ( xa ) f ( =
x ) f ( a ) f=
) f ( x ) 0=
( x )0A 0A'. Assim, ax N ( f ) e xa N ( f ).
A f ( x ) 0 A ' e=
c) Se f injetiva, segue que N ( f ) = {0 A } , pois f ( 0 A ) = 0 A' . Reciprocamente, se

=
f ( a ) f ( b ) , a , b A e
N ( f ) = {0 A } , segue f ( a ) f ( b )= 0 A f ( a b )= 0 A a b N ( f )= {0 A } a= b .
IAA

f ( x ). Note que f est bem definida e biunvoca,

Im f por f ( x + N ( f ) ) =
N( f )
pois se
x + N ( f ) = y + N ( f ) x y N ( f ) f ( x ) f ( y ) = 0 A f ( x + N ( f ) ) = f ( x ) = f ( y ) = f ( y + N ( f ) )
( x ) = f ( y ) = f ( y + N ( f ) ) . Alm disso, Im f= f ( x + N ( f ) ) ; x + N ( f ) A N ( f )= { f ( x ) ; x A=} Im f . Portanto,
A
Im f .
N( f )
d) Defina a funo f : A
( )
EXERCCIO RESOLVIDO
1. Sabe-se que Z Z munido das operaes de adio e multiplicao abaixo definidas
( a, b ) + ( c , d ) =( a + c , b + d )
c , d ) ( ac , ad + bc )
( a, b )(=
um anel. Mostre que a aplicao f :Z Z Z onde f ( a , b ) = a um homomorfismo de anis.
Soluo.
Note que f ( ( a , b ) + ( c , d ) ) = f ( a + c , b + d ) = a + c = f ( a , b ) + f ( c , d ) e f ( ( a , b )( c , d ) ) = f ( ac , ad + bc ) =
ac = f ( a , b ) f ( c , d )
2. Considere os seguintes anis: ( R ,+ , ) e ( R , , ) , sendo a b = a + b + 1 e a b = a + b + ab . Mostre

que f :R R dado por f ( x ) = x 1, x
R um isomorfismo de ( R ,+ , ) em ( R , , ) .
Soluo.
R, f ( a + b ) =a + b 1 =( a 1 ) + ( b 1 ) + 1 = f ( a ) f ( b ) e
f um homomorfismo, pois dados a , b
f ( ab ) = ab 1 = ( a 1 ) + ( b 1 ) + ab a b + 1 = f ( a ) + f ( b ) + f ( a ) f ( b ) = f ( a ) f ( b ) .
Note que N ( f ) =
{0} . Portanto, f injetiva. Como f vai de R em R, segue a bijeo
{a R; f ( a ) =1} =
desejada. Portanto, f isomorfismo.
53
EXERCCIO PROPOSTO
1. D exemplo de um homomorfismo de anis f (1 A ) 1B tal que f (1 A ) 1B .
2. Verifique se a funo f : A B ou no um homomorfismo do anel A no anel B:

a)
A= Z ,B= Z ,f ( x )= x + 1
b) =
A Z=
,B Z ,f (=
x ) 2x
c) A =
Z ,B =
ZZ , f ( x ) =
(0, x )
Z Z ,B =
Z
, f (x, y) =
x?
d) A =
3. Determine os ncleos dos homomorfismos do exerccio anterior.
4. Considere os seguintes anis: ( R ,+ ,) e ( R , , ) , sendo a b = a + b + 1 e a b = a + b + ab . Mostre

que f :R R dado por f ( x ) = x 1, x
R um isomorfismo.
5. Determine todos os homomorfismos de Z em Z.

IAA
REFERNCIAS
DOMINGOS, H.R. IEZZI, G. lgebra Moderna. 4 ed. Rio de Janeiro: Editora Atual, 2003.
EVARISTO, J. Introduo lgebra Abstrata. Macei: EDUFAL, 2002.
GONALVES, A. Introduo lgebra, Coleo Projeto Euclides, 5 ed. Rio de Janeiro, 2013.
POLCINO. I . C. Nmeros: Uma Introduo Matemtica. So Paulo: EDUSP, 1998.
ANOTAES
ANOTAES
ANOTAES
EDITORA
EDUFERSA - Editora da Universidade Federal Rural do Semi-rido
Campus Leste da UFERSA
Av. Francisco Mota, 572 - Bairro Costa e Silva
Mossor-RN | CEP: 59.625-900
edufersa@ufersa.edu.br
IMPRESSO
Grfica So Mateus Ltda - ME
Rua Da Areia | 530 | Centro
Joo Pessoa/PB | CEP: 58010-640
Telefone: (83) 3241-7000
COMPOSIO
Formato: 21cm x 29,7cm
Capa: Couch, plastificada, alceado e grampeado
Papel: Couch liso
Nmero de pginas: 60
Tiragem: 400
Agncia Brasileira do ISBN
ISBN: 978-85-63145-72-7
U N I V E R S I D A D E
R U R A L
D O
F E D E R A L
S E M I
R I D O
ncleo de educao a distncia
Ministrio
da Educao

Caderno Didático - Introdução A Álgebra Abstrata

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Caderno Didático - Introdução A Álgebra Abstrata

Загружено:

Авторское право:

Доступные форматы

Governo Federal

Universidade Aberta do Brasil

Responsvel pela Diretoria da Educao a Distncia

Universidade Federal Rural do Semi-rido

Ncleo de Educao a Distncia

Antnio Charleskson Lopes Pinheiro Diretor de

Rafaela Cristina Alves de Freitas Assistente em Administrao

Felipe de Arajo Alves

Servios tcnicos especializados

Setor de Informao e Referncia (SIR-BCOT/UFERSA)

Duarte, Suene Campos.

1. lgebra abstrata. 2. Matemtica. I. Ttulo.

Ideais e anis quocientes

Nesta unidade, faremos uma breve discusso sobre o Conjunto

Preliminares: Terminologia dos Conjuntos

Outros conjuntos numricos mais conhecidos so:

R = {Nmeros reais, isto , nmeros racionais e nmeros irracionais}

Se x um elemento do conjunto A, dizemos que x pertence a A e escrevemos x A. O conjunto sem elemento

A unio de A e B, denotada por A B, o conjunto dos elementos que pertencem a A ou a B.

INTRODUO LGEBRA ABSTRATA

Diagramas de Venn representando

Banco de imagens NEaD/UFERSA

Segue que x A B e x A C. Portanto, x (A B) (A C).

n (A B) = n(A' ) + n(A B) + n(B')

n(A' ) = n(A) - n(A B) e n(B' ) = n(B) - n(A B)

INTRODUO LGEBRA ABSTRATA

2. Se A, B e C so conjuntos finitos, mostre que

3. Apresente um exemplo envolvendo dois conjuntos B e C para os quais se verificam as seguintes

Propriedades Bsicas dos Inteiros

INTRODUO LGEBRA ABSTRATA

Conclumos, por induo, que A(n) verdadeira para todos os inteiros n 1.

Proposio 2 (Induo Segunda Forma):

Banco de imagens NEaD/UFERSA

Teorema 1 (Algoritmo da Diviso de Euclides):

INTRODUO LGEBRA ABSTRATA

2. Prove por induo a frmula da soma de uma P.A.:

Mximo Divisor Comum - MDC

Vamos provar a existncia do mximo divisor comum em Z.

INTRODUO LGEBRA ABSTRATA

De fato, considere n J e escreva =

Temos que m1 J , pois m1 = 1 m1 + 0 m2 . Deste modo, existe um inteiro q1 tal que m=

pois 1 pertence ao ideal gerado por m1 ,., mr.

INTRODUO LGEBRA ABSTRATA

rr11== qq22rr22 ++rr33,,00 rr33 << rr22

2. Encontre inteiros x e y tais que:

Definio 1 (Relao de Equivalncia):

chamado classe de equivalncia de S contendo a.

INTRODUO LGEBRA ABSTRATA

fcil ver que mod n uma relao de equivalncia, pois

a amod n devido a n |0 (propriedade reflexiva);

Se a bmod n, ento n | ( a b ) . Porm, se n | ( a b ), ento n | ( b a ) e, portanto, b amod n.

iii) Se a bmod n e b c mod n , temos que n | ( a b ) e n | ( b c ) e, portanto, n | ( a c ). Isto mostra que

INTRODUO LGEBRA ABSTRATA

2. Seja A um subconjunto do produto cartesiano S S . Se o par ( a , b ) A, diremos que aRb. Em caso

3. Se x e y so dois nmeros reais quaisquer, dizemos que

Mostre que R uma relao de equivalncia.

a) Descreva a classe de equivalncia de x =

4. Sejam E ={3, 2, 1,0,1,2,3} e R a seguinte relao em E:

5. Mostre que R uma relao de equivalncia e encontre 3 e 0 .

INTRODUO LGEBRA ABSTRATA

TEORIA DOS GRUPOS

A Teoria dos Grupos a abstrao de ideias que se iniciaram com

II - TEORIA DOS GRUPOS