lgebra

Unidade IV
7 aNIS E CORPOS
7.1 Anis de nmeros inteiros e anis de polinmios

Vimos, na representao dos anis na seo passada, que o conjunto dos nmeros inteiros
se encaixa nos anis do tipo de domnio de integridade, pois, no conjunto dos nmeros inteiros,
temos um conjunto no vazio em que esto definidas duas operaes, adio e multiplicao,
e se verificam as propriedades: associativa (para a adio e multiplicao); comutativa (para
a adio); distributiva (da multiplicao em relao adio) e, alm disso, existe um nico
elemento neutro para adio e, por fim, o fato de que para termos ab = 0, temos de ter a = 0 ou
b = 0, que, juntos, so quesitos para que um conjunto seja um domnio de integridade. Vimos
tambm que ele no chega a ser um corpo, pois, no conjunto dos nmeros inteiros, no h um
inverso de um elemento, tal que o seu produto por ele resulte na unidade, j que, se tomamos um
elemento qualquer em Z, seu inverso cai no conjunto dos nmeros racionais Q ou no conjunto
dos nmeros reais R.
Na seo passada, estudamos tambm o anel Z / n, que tambm pode ser escrito na forma
Zn, em que usamos a congruncia de um nmero inteiro em outro e consideramos o resto da
diviso entre esses dois inteiros. Vamos agora dar a definio formal da congruncia entre os
dois inteiros.
7.1.1 Congruncia mdulo m em Z
Consideremos trs inteiros: a, b e m. Dizemos que a congruente em b, mdulo m se, ao dividirmos
a por m, obtivermos o resultado em um resto b, ou seja a b(mod m) ou a b . Logo, se m divide a b,
m
podemos pensar da seguinte forma:
r
a) se r o resto da diviso de a por m, ento a
m ;
b) se a r (r ) e 0 r < m , ento r o resto da diviso de a por m;
m

b
c) em a
m , o resto das divises de a e b por m so iguais.
7.1.2 Conjunto Zm das classes de congruncia mdulo m
Se tomarmos m > 2 como sendo um inteiro, definimos, em Z, a congruncia mdulo m como:
a, b , a b m divide a b
m

105

Unidade IV
A classe de congruncia mdulo m determinada por um inteiro b dada pelo conjunto:

b = x  / x b , que chamado de conjunto dos inteiros mdulo m e representado por Zm. Ento
m

os b sero os elementos do conjunto Zm:

Zm = {b / b Z}

Saiba mais
Para saber mais sobre congruncia mdulo M, consulte:
MOREIRA C. G. divisibilidade, congruncias e aritmtica mdulo n.
Eureka! n. 2, p. 41-52, 1998. Disponvel em: <http://www.obm.org.br/export/
sites/default/revista_eureka/docs/eureka2.pdf>. Acesso em: 22. abr. 2013.
EUREKA! n. 5, 1999. Sociedade Brasileira de Matemtica. Disponvel em:
<http://www.obm.org.br/export/sites/default/revista_eureka/docs/eureka5.
pdf>. Acesso em: 22. abr. 2013.
7.1.3 O anel em Zm
Ao considerar m > 2, podemos trabalhar com operaes de adio e multiplicao em Zm, o que o
classifica como uma estrutura de anel comutativo com unidade, e, como vimos em exemplos anteriores,
se temos Zp com p primo, alm de tudo, ele passa a ser um corpo.
Zm um anel finito, ou seja, tem um nmero finito de elementos.
7.1.4 Anis de polinmios
Considere S = R[X] = {a0, a1 X + a2 X2 + ...+ an Xn; ai R, n N}, em que
n

p( X ) = a0 + a1X + a2 X 2 + ... + anXn = aiXi

um

polinmio
n

i=1

sobre

S.

Podemos
m

definir

i
i
operaes de adio e multiplicao para dois polinmios p( X ) = aiX e q( X ) = biX , com m m <
i=1
i=1
n, da seguinte forma:

Adio
n

p( x ) + q( x ) = (a0 + b0 ) + (a1 + b1)X + ... + (an + bn )X = (ai + bi )Xi

n

i= 0

106

lgebra
Fazemos apenas as somas de termos com mesmo expoente. Nesse caso, foi considerado como 0 os
termos de n > m.
Multiplicao
p( x ) q( x ) =

m+n

ck x

k=0

= c0 + c1x + ... + (m + n)x

m+n

, em que: ck = ajbk j
j= 0

Para o melhor entendimento do aluno, fica como exerccio efetuar a multiplicao para n = 3 e m = 2,
utilizando essa relao.
Temos, ento, (R[X], +, .) como um anel comutativo, com elemento neutro chamado de anel de
polinmios sobre R. fcil ver que:
o elemento neutro da adio (0, 0, 0,...);
o elemento neutro da multiplicao (1, 0, 0,...).

Saiba mais
Para aprimorar o seu aprendizado sobre a aplicao de anis de
polinmios, recomendamos consultar material disponibilizado pela
Universidade Federal de So Carlos no endereo: <http://www.dm.ufscar.
br/~sampaio/Ea2cap2_02.pdf>. Nas pginas 22 e 23, apresentado um
algoritmo para a diviso de polinmios e para mximo divisor comum.
Um algoritmo de diviso tambm pode ser encontrado na pgina 6
do trabalho de concluso de curso apresentado Universidade Federal de
So Carlos, por Gonalves (2010), disponvel em: <http://www.dm.ufscar.
br/profs/tcc/trabalhos/20102/282324.pdf>.
7.1.5 Teorema Fundamental da lgebra
No sculo XII, Bhaskara Acharya encontra a primeira soluo formal para a raiz de um polinmio de
ordem 2, (ax2+bx+c), que conhecemos na forma:
b b2 4ac
x=
2a
Nessa soluo, possvel resultaremse nmeros complexos. Contudo, como os conjuntos reais fazem
parte dos complexos, ento temos sempre pelo menos uma soluo complexa (visto que a segunda pode
107

Unidade IV
ser degenerada, ou seja, ser igual primeira, que equivale, nesse caso, a fazer o termo dentro da raiz
igual a zero, resultando em duas equaes iguais).
J no sculo XVI, Tartaglia deu uma soluo completa para se acharem as razes de equaes de
polinmios de ordem 3: (ax3 + bx2 + cx + d).
Nesse mesmo sculo, Ferrari deu uma soluo para o polinmio de ordem 4: (ax4 + bx3 + cx2 + dx + e).

Saiba mais
Para detalhes da soluo completa das razes de polinmios de ordem 3
e 4, consulte as pginas 3, 4 e 5 do seguinte trabalho:
FERNANDEZ, C. S.; SANTOS, R. A. O teorema fundamental da lgebra.
In: V BIENAL DA SOCIEDADE BRASILEIRA DE MATEMTICA, 2010. Joo
Pessoa: UFPB. Disponvel em: <http://www.mat.ufpb.br/bienalsbm/
arquivos/Mini_Cursos_Completos/MC5Completo.pdf>. Acesso em 03
out. 2012.
Em polinmios de ordem 3 e 4, tambm podemos ter razes reais ou complexas, lembrando que
sempre que um polinmio tem uma raiz complexa, necessariamente ele deve ter outra tambm
complexa, e o complexo conjugado da primeira, ou seja, se a primeira soluo encontrada foi z1
= a + bi, necessariamente, seu complexo conjugado, z1 = a bi, tambm ser uma soluo. Ento,
assim como para os polinmios de ordem 2, os de ordem 3 e 4 tambm possuem pelo menos uma
raiz complexa, pois podemos ter uma nica soluo com multiplicidade 3 (no caso de um polinmio
de ordem 3), como o polinmio x3 3x2 + 3x 1, que possui apenas uma raiz, x = 1, que, nesse caso,
tem multiplicidade 3.
Para polinmios com ordens maiores que 4, Abel, no sculo XIX, provou que no existe soluo com
radicais como os de grau 1, 2, 3 e 4. Na verdade, casos particulares de polinmios com ordem maiores
que 4 possuem solues especficas, mas, no geral, no possvel se obter uma soluo por meio de
radicais para esses polinmios.
O Teorema Fundamental da lgebra foi apresentado por Gauss, no sculo XVIII, afirmando que
qualquer polinmio de ordem n > 1 e coeficientes reais ou complexos possui pelo menos uma raiz
complexa.
equivalente dizer que um polinmio de ordem n ter n razes complexas, mas como j vimos,
algumas razes podem ter multiplicidade, o que faz com que as duas formas de definir o teorema
sejam equivalentes.

108

lgebra

Saiba mais
Uma prova com detalhes do Teorema Fundamental da lgebra pode ser
vista tambm no trabalho que acabamos de indicar para consulta. Consulte,
ento, desta vez, a pgina 7 de:
FERNANDEZ, C. S.; SANTOS, R. A. O teorema fundamental da lgebra. In:
V BIENAL DA SOCIEDADE BRASILEIRA DE MATEMTICA, 2010. Joo Pessoa:
UFPB. Disponvel em: < http://www.mat.ufpb.br/bienalsbm/arquivos/Mini_
Cursos_Completos/MC5Completo.pdf>. Acesso em 03 out. 2012.
7.2 Corpos racionais, reais e complexos

Diferentemente do conjunto dos nmeros inteiros, que no possui um elemento inversvel,

o conjunto dos nmeros racionais, reais e complexos, alm de satisfazer todas as propriedades
necessrias para termos um anel com domnio de integridade, tambm satisfaz a propriedade
necessria para termos um corpo, situao em que: para um elemento a, sempre existe um elemento
b, tal que: ab = ba = 1, ou seja, um elemento b inverso ao elemento a. Portanto, chamamos esses
trs conjuntos de corpos.
7.2.1 Racionais
O conjunto dos nmeros racionais (Q), alm dos elementos do conjunto dos nmeros inteiros,
tambm admite fraes no inteiras. O Conjunto Q definido como:
Q=

a
b

/ a Z, b Z *

fcil ver, ento, que o que falhava quanto aos nmeros inteiros serem um corpo no acontece
a
b
a b b a
agora no conjunto dos nmeros racionais, pois: = = 1 , em que tanto quanto fazem
b
a
b a a b
parte de Q.
7.2.2 Reais
O conjunto dos nmeros reais R, por sua vez, inclui todos os seguintes conjuntos: N, Z e Q, assim
como razes de nmeros positivos em geral (no caso do conjunto dos nmeros racionais, inclui apenas
as razes exatas). Como os nmeros racionais fazem parte dos nmeros reais, fica, ento, fcil provar que
o conjunto dos nmeros reais se trata de um corpo, o corpo dos reais.

109

Unidade IV

Saiba mais
Saiba mais sobre nmeros reais lendo o artigo:
FRID, H. Os nmeros irracionais. Eureka! n. 10, p. 37-46, 2001. Disponvel
em:
<http://www.obm.org.br/export/sites/default/revista_eureka/docs/
eureka10.pdf>. Acesso em: 22. abr. 2013.
7.2.3 Complexos
Por fim, temos o conjunto dos nmeros complexos C, que incluem, alm dos elementos do conjunto
dos nmeros reais, a raiz de nmeros negativos. Como foi j foi visto, podemos escrever um nmero
complexo, desta forma:

C = a + bi / a R, b R, i = 1

Portanto, se chamamos z = a + bi, fica claro que o seu inverso, 1/z, tambm est definido nos
nmeros complexos, o que classifica tambm o conjunto dos nmeros complexos como um corpo.
8 Homomorfismo E GRUPOS FINITOS E INFINITOS
8.1 Homomorfismo

8.1.1 Homomorfismo de grupos

Tomemos dois conjuntos, A e B no vazios, que possuem, respectivamente as operaes binrias * e
. Se A e B so grupos: ((A, *) e (B, )), uma funo f de A em B ser, ento, um homomorfismo se:
f(a * b) = f(a) f(b)
Note que, nesse caso, a operao no necessariamente precisa ser conservada. Exemplo:
f(x) = ln(x) f(a.b) = ln(a) + ln(b) = f(a) + f(b)
f(a.b) = f(a) + f(b)
Logo, essa funo um homomorfismo que leva multiplicao na soma. Notamos o homomorfismo
tambm na sua inversa, a exponencial:
g(x) = ex f(a+b) = ea+b = ea . eb = f(a) . f(b)
110

lgebra
A funo g um homomorfismo que leva soma na multiplicao. Essa funo um homomorfismo
de grupos.
Conjunto A

Conjunto B

Operao

Operao

*
a

f(a)

f(b)

a*b

f(a) f(b)
f(a * b) = f(a) f(b)
Figura 21

8.1.2 Homomorfismo de anis

Homomorfismo de anis corresponde s funes ou aplicaes que preservam as
operaes, transformando, por exemplo, as somas dos elementos do conjunto de partida
(domnio) na soma dos elementos do conjunto de chegada (imagem). Da mesma forma,
transformam um produto de elementos do conjunto de partida no produto de elementos do
conjunto de chegada.
A
Domnio

f(a)

f(b)
Imagem

Figura 22

Simbolicamente, dados a, b A e f(a), f(b) B, podemos representar o homomorfismo da

seguinte maneira:
f(a + b) = f(a) + f(b) e
f(a . b) = f(a) . f(b)

111

Unidade IV

Observao
Um homomorfismo de grupos um homomorfismo entre dois grupos
Um homomorfismo de anis um homomorfismo entre dois anis.
Uma transformao linear um homomorfismo entre dois espaos vetoriais.
Um homomorfismo lgebra um homomorfismo entre duas lgebras.

Saiba mais
Uma aplicao importante do homomorfismo o critrio de divisibilidade
para nmeros inteiros. Para saber mais a respeito acesse as pginas 13 e 14 do
trabalho indicado em seguida. Outra aplicao de homomorfismo a Prova
dos Nove, que pode ser vista com mais detalhes na pgina 15 do mesmo texto.
PICADO, J. Corpos e equaes algbricas. Departamento de Matemtica
da Universidade de Coimbra, 2009. Disponvel em: <http://www.mat.
uc.pt/~picado/corpos/apontamentos/sebenta1.pdf>. Acesso em 03 out. 2012.
Exemplos:
1) Sabemos que o conjunto dos nmeros reais e o conjunto de matrizes (2 x 2) so anis, tendo como
operaes a adio e multiplicao. Podemos definir uma funo entre esses anis da seguinte forma:
a 0
com a R
f(a) =
0 a
Logo, f ser um homomorfismo de anis se preservar as operaes de adio, ou seja, f(a + b) = f(a) + f(b):
0 a 0 b 0
a+ b
=
f ( a + b) =
= f(a) + f(b)
+
a + b 0 a 0 b
0
e de multiplicao, ou seja, f(a . b) = f(a) . f(b):
a b 0 a 0 b 0

=
f (a b) =
= f(a) f(b)
0 a b 0 a 0 b
112

lgebra
2) Seja f: N C, tal que f(n) = in, com i C, n N e f(n) C e . Note que todos os possveis
resultados de f(n) = in so {1, 1, i,i}. Desse modo, f(n) = in uma aplicao no sobrejetora e
to pouco injetora. Logo, f(n) = in um homomorfismo no bijetor, o que, como veremos a seguir,
implica no homomorfismo ser um isomorfismo. Portanto, este um exemplo de uma funo que
homormofismo, mas no, isomorfismo.
Vejamos, ento, os tipos de homomorfismo que podemos ter.
8.1.3 Tipos de homomorfismos
Endomorfismo
Todo homomorfismo de (H, * ) em si prprio chamado endomorfismo.
Automorfismo
Um automorfismo corresponde a todo endomorfismo cuja aplicao f bijetora. Vale lembrar que
uma aplicao de um conjunto B em B dita bijetora quando for injetora e sobrejetora ao mesmo
tempo, sendo que, em uma aplicao injetora, cada elemento da imagem tem um nico correspondente
no domnio, enquanto que, numa aplicao sobrejetora, todos os elementos de B' devem ser imagem
de elementos de B.
Monomorfismo
Um homomorfismo f um monomorfismo ou homomorfismo injetor quando a aplicao f injetora.
Epimorfismo
Um homomorfismo f um epimorfismo ou homomorfismo sobrejetor quando a aplicao f sobrejetora.
Isomorfismo
Se f um homomorfismo de um conjunto B em B' e se tambm uma aplicao bijetora, dizemos
que f um isomorfismo ou que B isomorfo a B'.
Exemplos:
1) Temos, em seguida, a tabela de representao de Z / 5 , em que aparecem apenas os restos
das divises de qualquer nmero inteiro por 5. Nesse exemplo, temos uma aplicao bijetora,
pois ela injetora (cada elemento da imagem tem um nico correspondente no domnio) e
sobrejetora (todos os elementos de um grupo so imagens do outro). Temos, ento, um exemplo
de um isomorfismo.

113

Unidade IV
Tabela 8

Tabela 9

2) Considerando os grupos (R*+, +) e (R, .), temos:

ao aplicarmos f(x) = In(x): R*+ R
ou
ao aplicarmos f(x) = In(x) : R R*+
Podemos notar que se trata de um isomorfismo, pois, como vimos, essas funes so
homomorfismos, mas nas aplicaes entre os grupos (R*+, +) e (R, .), vemos que se trata de uma
aplicao sobrejetora em ambos os casos.
3) Nos grupos (Z+, +) + e (C*+, .), na aplicao f: Z+ C*+, em que f(n) = f(n) = in, temos uma aplicao
que no nem sobrejetora nem injetora, no se encaixa em nenhum dos tipos dos outros tipos de
homomorfismos, sendo, portanto, apenas um homomorfismo.
4) Nos grupos (Z, +) e (Q, +), na aplicao f: Z+ C*+, em que f(x) = 4x, temos uma aplicao
de um grupo em outro e notemos que se trata de uma aplicao que injetora, mas no
sobrejetora, pois, nela, h elementos de Q que no so imagem de nenhum elemento de Z
( fcil ver que a multiplicao de 4 por um inteiro nunca resultar em uma frao racional
no inteira: , etc). Ento, pelas definies dos homomorfismos, vemos que se encaixa no
monomorfismo.
5) Nos grupos (C*, .) e (R*+, .), na aplicao f: C* R*+, em que f(z) = |z|, temos uma aplicao
que no injetora, pois, para mais de um valor diferente de z, resulta no mesmo valor de
f(z). Por exemplo, |1| = |i| = |i| = 1, ou seja, trs valores diferentes de z resultam no mesmo
valor de f(z). No entanto, ela uma aplicao sobrejetora, pois todo nmero sempre poder
ser o mdulo de algum nmero complexo. Temos, ento, exemplo de funo que um
epimorfismo.
6) Na aplicao f: Z x Z Z x Z, em que f(x) = (x + y, 0), temos uma aplicao de um grupo em
si mesmo; logo, temos um endomorfismo, e como essa aplicao no bijetora, pois temos um
sistema de pontos cartesianos inteiros, mas como vemos, poderemos ter a mesma imagem para
diferentes domnios, o que torna essa operao no bijetora, e portanto ela ser um endomorfismo,
mas no ser um automorfismo.
114

lgebra
7) Nos grupos (R, +) e (R, +), na aplicao f: R R, em que f(x) = 4x, temos uma aplicao de um
grupo em si mesmo. Logo, teramos um endomorfismo, mas essa aplicao bijetora, pois a
imagem corresponder a todos os nmeros reais, pois, para qualquer valor real x, teremos um
nico valor real f(x); portanto, ela injetora. E vemos que, por meio dessa operao, podemos
varrer todos os nmeros reais; assim, ela tambm sobrejetora. Essa funo , dessa forma, um
automorfismo.
Vejamos agora alguns exemplos de aplicao do que estudamos.
1. A propriedade representada na expresso (4 + 2) + 1 = ( 2 + 4) + 1 :
a) Comutativa.
b) Associativa.
c) Elemento neutro.
d) Distributiva.
e) Elemento simtrico.
Resoluo:
Observando a propriedade, notamos que comutativa. Logo, a alternativa correta a a). Deixamos
a voc a tarefa de justificar por que as demais alternativas so incorretas.
2. Sobre o conjunto das matrizes de ordem 3, correto afirmar que:
a) grupo comutativo com a multiplicao.
b) anel comutativo.
c) corpo.
d) domnio de integridade.
e) anel com elemento unidade.
Resoluo:
(M3(IR), +) grupo comutativo;
(M3(IR), ) associativo; tem elemento unidade; no comutativo; tem divisores de zero;
(M3(IR),+, ) distributivo.
115

Unidade IV
Logo, no grupo comutativo com a multiplicao, no anel comutativo, no corpo e
nem domnio de integridade, anel com elemento unidade. Portanto, a alternativa correta
a e) .
3. O conjunto Z com a adio usual :
a) Grupo abeliano.
b) No associativo.
c) No tem elemento neutro.
d) No tem simtrico.
e) No comutativo.
Resoluo:
(Z, +) grupo abeliano (comutativo). Logo, associativo, tem elemento neutro, tem simtrico e
comutativo. Portanto, a alternativa correta a a). Deixamos a voc a tarefa de justificar por que as
demais alternativas so incorretas.
4. Para a estrutura algbrica (Z, +,. ), inteiros com a adio e a multiplicao usuais, podemos dizer
que:
a) ( Z, +,. ) um corpo.
b) ( Z, +,. ) no possui a propriedade comutativa da multiplicao.
c) ( Z, +,. ) um anel.
d) ( Z, +,. ) no comutativo com a adio.
e) ( Z, +,. ) no vale a propriedade distributiva.
Resoluo:
O conjunto dos inteiros com a adio e a multiplicao um anel comutativo com elemento unidade.
Assim, valem as propriedades: comutativa da adio, comutativa da multiplicao e distributiva. Logo,
as alternativas b), d) e e) so falsas.
No conjunto dos inteiros, no vale a propriedade do elemento inverso, portanto no pode ser corpo.
Assim, a alternativa correta a c): ( Z, +,. ) anel.
116

lgebra
5. Sobre a estrutura de grupo, correto afirmar que devem valer as propriedades:
a) Associativa e elemento neutro.
b) Associativa, elemento neutro e simtrico.
c) Associativa e distributiva.
d) Associativa e comutativa.
e) Elemento neutro e distributiva.
Resoluo:
Para ser grupo, o conjunto no vazio, com uma operao, deve satisfazer as propriedades: associativa,
elemento neutro e simtrico. Logo, a alternativa correta a b).
6. Sobre a estrutura de anel, correto afirmar que:
a) Todo anel comutativo.
b) Todo anel tem elemento unidade.
c) Todo anel corpo.
d) Todo anel domnio de integridade.
e) Existe anel que domnio de integridade.
Resoluo:
Para ser anel, no obrigatrio que seja comutativo, que tenha elemento unidade, que seja domnio
de integridade, alm do fato de nem todo anel ser corpo. Assim, as alternativas a), b), c) e d) so falsas.
Portanto, a alternativa correta a e).
7. Considerando as propriedades das estruturas algbricas e os conjuntos:
I. (IN, +, ).
II. (Z, +, ).
III. (Q, +, ).
IV. (IR, +, ).
correto afirmar:
117

Unidade IV
a) Apenas I e II so corpos.
b) Apenas I e III so corpos.
c) Apenas II e III so corpos.
d) Apenas III e IV so corpos.
e) Apenas II e IV so corpos.
Resoluo:
Para ser corpo, o conjunto precisa ser: anel comutativo, com elemento unidade, sem divisores de
zero e deve existir inverso para todo elemento no nulo. Assim,
(IN, +, ) no corpo, pois no grupo com a adio;
(Z, +, ) no corpo, pois no possui inverso para todo elemento no nulo;
(Q, +, ) corpo;
(IR, +, ) corpo.
Portanto, III e IV so corpos; consequentemente, a alternativa correta a d).
8. Considerando as propriedades das estruturas algbricas e os conjuntos:
I. (M2(IR), +, ).
II. (C, +, ).
III. (Q, +, ).
IV. (IR, +, ).
correto afirmar:
a) I, II e III tm divisores de zero.
b) I, III e IV tm divisores de zero.
c) II, III e IV no tm divisores de zero.
d) I, II e IV no tm divisores de zero.
e) II e IV tm divisores de zero.
118

lgebra
Resoluo:
(M2(IR), +, ) tm divisores de zero.
(C, +, ), (Q, +, ) e (IR, +, ) no tm divisores de zero.
Assim, a nica alternativa correta a c), ou seja, II, III e IV no tm divisores de zero.
9. Considerando a resoluo da equao a seguir, no corpo dos reais, as propriedades que justificam
a forma como foi solucionada (em ordem de utilizao) so:
2x + 3 = 7 (2x + 3) + (3) = 7 + (3) 2x + (3 + (3)) = 4 2x + 0 = 4 2x = 4
x=4/2x=2
a) Simtrica, comutativa, simtrica, elemento neutro e elemento inverso.
b) Simtrica, associativa, simtrica, elemento neutro e elemento inverso.
c) Simtrica, comutativa, simtrica e associativa.
d) Simtrica, distributiva, simtrica, elemento neutro e elemento inverso.
e) Simtrica, comutativa, simtrica, elemento neutro e distributiva.
Resoluo:
Observando a resoluo, notamos que as propriedades so utilizadas nesta ordem: simtrica,
associativa, simtrica, elemento neutro e elemento inverso. Portanto, a alternativa correta a b).
10. Considerando a resoluo da equao a seguir, no corpo dos reais, as propriedades que justificam
essa resoluo (em ordem de utilizao) so:
2x + 1 = x + 3 2x + (x) = 3 + (1) x (2 1) = 2 x . 1 = 2 x = 2
a) Simtrica, distributiva e elemento neutro.
b) Simtrica, comutativa e elemento neutro.
c) Elemento neutro, comutativa e elemento neutro.
d) Simtrica, distributiva e elemento inverso.
e) Simtrica, comutativa e elemento inverso.
119

Unidade IV
Resoluo:
Observando a resoluo, notamos que as propriedades so utilizadas segundo esta ordem: simtrica,
distributiva (para colocar x em evidncia) e elemento neutro. Portanto, a alternativa correta a a).
8.1.4 Corpo ordenado
Um corpo ordenado um corpo K (evidentemente, esse conjunto satisfaz as propriedades enunciadas
aqui para um conjunto totalmente ordenado), no qual se destacou um subconjunto P K, chamado
conjunto dos elementos positivos de K, tal que as seguintes condies so satisfeitas:
I. a soma e o produto dos elementos positivos so positivos. Simbolicamente, temos: x, y P
x + y P e x . y P;
II. dado x pertencente a K, ocorre, exatamente, uma das trs alternativas seguintes: ou x = 0, ou
x P, ou x P.
Num corpo ordenado K, escrevemos x < y, dizendo que x menor do que y, para significar que y x
P, ou seja, que x = y + z, em que z P. De modo anlogo, escrevese y > x, para y maior que x.
Exemplo 1
Corpo ordenado dos nmeros racionais.
Exemplo 2
Corpo ordenado dos nmeros reais.
Observao
Um corpo ordenado K chamase completo quando todo subconjunto
no vazio, limitado superiormente, X K, possui supremo em K. Existe um
corpo ordenado completo, R, chamado corpo dos nmeros reais, que, a
menos de um isomorfismo, nico.
8.2 Grupos finitos e infintos

Ao estudarmos os grupos finitos, geralmente consideramos a simetria dos objetos matemticos ou

fsicos se estes admitem apenas um nmero finito de estrutura de preservao de transformaes. Esses
tipos de grupos so finitos gerados por reflexes que atuam em um espao euclidiano de dimenso
finita. Basicamente, um grupo finito aquele cujo conjunto G tem um nmero de elementos finito. O
nmero de elementos de G ser indicado por G, notao que designar a ordem do grupo G. Se G no
for finito, ser um grupo infinito e sua ordem ser infinita.
120

lgebra

Lembrete
Se G um conjunto no nulo, munido de uma operao *, para que G, com essa
operao, seja um grupo (G, *), devem ser satisfeitas as condies denominadas
de axiomas de grupo a saber: associatividade, identidade e elementos inversos.
Intuitivamente, sabemos que um conjunto G finito se os seus elementos podem ser contados. Um
exemplo de um conjunto finito com n > 0 elementos o conjunto dos primeiros n naturais:
Xn = {1, 2, 3, ..., n} = {c N / c < n}
fcil ver que, se n = 0, temos um conjunto vazio: Xn = . A contagem do nmero de elementos
de G consiste em estabelecer uma funo bijetora entre G e Xn. Esse conceito pode ser formalmente
descrito do seguinte modo:
o conjunto G dizse finito, se isomorfo a Xn, para algum n > 0. Se G no isomorfo a nenhum
Xn, ento dizemos que infinito.
Exemplos:
1) Xn isomorfo a si prprio. Desse modo, ele finito.
2) O subconjunto G N ser finito se, e somente se, G for limitado.
Observao
G ser infinito se, e somente se, existir uma funo f: G G injetora e
no sobrejetora.
Lema:
Se f: Xn Xn injetora, ento f sobrejetora.
Faremos a demonstrao disso por induo:
I) Se n = 0, no h o que provar. Note que possvel que seja vazio. Nesse caso, f injetora e
sobrejetora, pois f: Xn Xn e Xn vazio.
II) Supondo que o resultado valido para n, isto , se f: Xn Xn injetora, ento f sobrejetora.
III) Vamos provar que o resultado tambm vlido para n + 1, isto , que sef: Xn+1 Xn+1 injetora,
ento f sobrejetora.
121

Unidade IV
Vamos supor que f: Xn+1 Xn+1 injetora e que g = f(n+1). Consideremos uma funo bijetora
h : Xn+1 Xn+1 , dada por h(n + 1) = g, h(g) = n + 1, e h (x), conforme ilustrao em seguida. Em todos
os outros casos, h substitui os naturais g, n + 1 e a identidade, se x a, n + 1, mas esse ltimo fato
no necessita de demonstrao. Definimos f* = h f e percebemos que f * injetora (uma vez que h
composio de duas funes injetoras), com f * (n 1) = n + 1, por definio de h. Como f * injetora,
se x Xn (isto , x n + 1), temos f * (x) x + 1, em que f * (x) Xn ou f * (Xn) Xn.
A restrio de f * a Xn a torna, portanto, uma funo injetora de Xn em Xn, ou seja, f *(Xn) = Xn. Como
f * (n+1) = n + 1, temos f * (Xn+1) = Xn +1, isto , f * uma funo sobrejetora de Xn+1 Xn+1.
h

f
Xn + 1

Xn + 1

Xn + 1

n+1

n+1

n+1

Xn

Xn

Xn

f*=hf
Figura 23

Observe que f = h1 f * sobrejetora, por ser uma composio de funes sobrejetoras.

A seguir, apresentamos algumas proposio sobre grupos finitos:
1) Se G finito e f: G G injetora, ento f sobrejetora.
Demonstrao: seja h : Xn G uma funo bijetora. Note que f * = h1 f h; h : Xn Xn injetora,
por uma composio de funes injetoras (veja ilustrao a seguir). De acordo com o lema anterior, f *
necessariamente sobrejetora. Logo, f * = h1 f h uma composio de funes sobrejetoras, o que
significa que ela tambm sobrejetora.

122

lgebra

f
G

h1

X
1
f* = h f h
Figura 24

Lembrete
Vale lembrar que f: N N, dada por f(n) = n + 1, injetora, mas
no sobrejetora. De acordo com o resultado anterior, conclumos que
N infinito.
Vejamos algumas proposies, lemas e corolrios importantes sobre os grupos finitos.
1) Corolrio: se f: G G uma funo injetora, e no sobrejetora, ento G um grupo infinito.
2) Corolrio: se G finito, G H e f: G H uma aplicao injetora, ento G = H.
3) Corolrio: se f: Xn G e h : Xm G so aplicaes bijetoras, ento n = m.
4) Proposio: se H G, temos que:
I. se G finito, ento H tambm finito e H < G.
II. se G finito e H = G, ento H = G.
III. se H infinito, ento G tambm infinito.
5) Lema: se f: Xn G uma aplicao injetora, mas no sobrejetora, ento existe f * : Xn+1 G,
que injetora.
6) Lema: se f: Xn G uma aplicao injetora, ento G finito e G < n.
7) Proposio: se G e H so finitos, ento:
123

Unidade IV
I. G H finito, (G H) < G H;
II. se G e H so disjuntos, ento (G H) = G + H;
III. se G x H infinito, ento (G x H) = G . H.

Saiba mais
Voc pode encontrar as demonstraes dos itens de 1 a 7 na pgina 407
do trabalho indicado a seguir:
FERNANDES, R. J.; RICOU, M. lgebra abstrata. 2003. Disponvel em: < www.
math.ist.utl.pt/~rfern/Meuspapers/HTML/main.pdf>Acesso em: 08 out. 2012.
8.2.1 Grupo cclico
Um exemplo de um grupo finito o grupo cclico. Para falar de um grupo cclico, lembremos que
todo subconjunto no vazio de um grupo G gera algum subgrupo de G. Podemos definir qualquer
grupo indicando um sistema de geradores. Dizemos que um elemento a Z gerador do grupo (G*),
se m G, existe um m' G / m' = a * m. Se um grupo (G, *) gerado por um nico elemento de G,
denominado grupo cclico gerado por a. Ento, se a (G, *):
H = {am, m Z}
Lembrete
Lembrando que am = a * a * a * a ...:
se o grupo for multiplicativo, ento am = a . a . a . a ..., ou seja, o
conjunto das potncias de a;
se o grupo for aditivo, ento am = a + a + a + a ..., ou seja, o
conjunto dos mltiplos de a.
Um problema interessante o da rotao de um quadrado, no qual se define um grupo cclico. Definimos
a operao desse grupo como sendo a rotao do quadrado em 90 no sentido horrio. Tratase de um grupo
cclico, pois gerado por um nico elemento (rotao em 90), no qual pode ser aplicada indefinidamente.
Como um grupo finito, um nmero definido de aplicaes resultar na repetio da imagem desse grupo.
Em seguida, podemos observar o caso da rotao de um quadrado. Temos quatro situaes
possveis, a primeira, chamada de identidade , que representaremos por 0; o caso em que
124

lgebra
fazemos 4 rotaes de 90 no sentido horrio, naturalmente voltando para a configurao
original, da o nome que recebe, pois esta o elemento neutro da nossa aplicao. Alm dela,
temos a aplicao a que chamaremos de 1, que uma rotao de 90, a aplicao 2 , que
equivale a duas rotaes de 90 (ou seja, uma de 180) e a aplicao 3 , que corresponde a trs
rotaes de 90 (uma de 270).

Rotao 90 para a direita

Rotao 90 para a
direita (corresponde a
180 da 1 figura)

3
4

3
Rotao 90 para a
direita (corresponde a
270 da 1 figura)

Rotao 90 para a
direita (corresponde a
360 da 1 figura)

Figura 25

Sendo assim, podemos montar a tabela de rotao do nosso grupo finito, em que especificaremos
a rotao como . Logo, temos:
Tabela 10

As operaes expressas na tabela so extremamente simples de se interpretar. Tomemos alguns

exemplos: 0 com 2 resulta em 2, pois se estamos na situao inicial e giramos duas vezes em 90,
125

Unidade IV
cairemos na situao 2, que o quadrado rotacionado em 180; 1 com 2 resulta em 3, pois se j
estamos na situao 1, em que o quadrado est rotacionado em 90 e depois rotacionamos mais duas
vezes, ser o equivalente a tlo rotacionado 3 vezes, ou 270; 3 com 2: nesse caso, como j estamos
inicialmente rotacionados em 270 e desejamos rotacionar mais uma vez, lembremos que, na primeira
vez que o fizermos, ele reiniciar o ciclo, voltando para a situao 0, e, na segunda aplicao, iremos
para a situao 1.
O interessante nesse problema que sua tabela de aplicaes exatamente igual ao anel
dos congruentes mdulo m , considerando a operao de adio. Entretanto, ao pegarmos
apenas uma operao, temos exatamente um grupo, que, nesse caso, finito. Podemos, ento,
definir esse grupo finito (Z m, +), que tem as mesmas propriedades de um grupo de rotao
finito.
8.2.2 Conjuntos infinitos
Nesta seo, optamos por apenas apresentar (sem demostrar) os teoremas proposies, lemas e
corolrios importantes sobre os grupos infinitos.
J vimos que N um conjunto infinito. Em certo sentido, possvel provar que N o menor conjunto
infinito que existe.
1. Lema: G infinito se, e somente se, G contm um subconjunto isomorfo a N.
2. Teorema: G infinito se, e somente se, existe f: G G que seja injetora sem ser
sobrejetora.
3. Teorema (Cantor): h: G P (G) uma funo, ento h no sobrejetora.

Saiba mais
Voc pode encontrar as demonstraes dos itens 1, 2 e 3 na pgina 409
do seguinte trabalho:
FERNANDES, R. J.; RICOU, M. lgebra abstrata. 2003. Disponvel em: <www.
math.ist.utl.pt/~rfern/Meuspapers/HTML/main.pdf>Acesso em: 08 out. 2012.
Observao
Conjunto das partes de um conjunto. Se um conjunto G finito possui
n elementos, ento o conjunto das partes de G ter 2n elementos. Veja o
exemplo a seguir:
126

lgebra
Se G = {1, 2, 3}, ento: P (G) 8, pois 23 = 8; e a sequncia do conjunto
de subconjuntos de G ser:
P (G) = {; {1} ;{2};{3};{1, 2};{1, 3};{1, 2};{2, 3};{1, 2, 3}}
Exemplo 1:
Supoha que G = {1, 2}, em que: P (G) = { ;{1};{2};{1, 2}}. Dada a aplicao h : G P (G) uma
funo, sendo h(1) = {2} e h(2) = {1, 2}.
Temos F = {g G / g h(g)} = {1}, sendo que, obviamente, F h(G) = {{2}; {1, 2}}.
Exemplo 2:
Considere o conjunto P(N), formado por todos os conjuntos dos nmeros naturais. Conforme
exemplo anterior, P(N) no isomorfo a N, visto que no um homomorfismo sobrejetor. Contudo,
fato evidente que f: N P (N), dada por f(n) = {n}, injetora, e, portanto, P(N) infinito.
Exemplo 3:
O conjunto G ser numervel se, e somente se, G for um conjunto finito ou isomorfo a N; caso
contrrio, G ser (infinito) no enumervel.
Exemplo 4:
Z um conjunto no enumervel.
Exemplo 5:
R um conjunto no enumervel.
Resumo
Relembremos, brevemente, o que vimos nesta unidade. Estudamos a
congruncia modulo m em Z. Dados a, b e m, dizemos que a congruente
em b modulo m se, ao dividirmos a por m, a diviso resultar em um resto b,
ou seja, a b (mod m) ou a b logo, se m divide a b. Assim,
m

r
a) se r o resto da diviso de a por m, ento a
m ;
b) se a r (r Z ) e 0 r < m , ento r o resto da diviso de a por m;
m

c) em a b , o resto das divises de a e b por m so iguais.

m

127

Unidade IV
Do conjunto Zm, das classes de congruncia mdulo m, lembremos
que se m 2 m Z, temos a, b Z, a b m divide a b. Sendo assim,

a classe de congruncia mdulo m: b = x Z / x b o conjunto dos

m
inteiros modulo m: Zm = {b / b Z}
Estudamos tambm o conceito de anis e suas propriedades. Temos,
no anel em Zm, (Zm, +, .). Sendo m 2, o anel comutativo com unidade.
Sendo Zp, com p primo, temos tambm um corpo. Zm um anel finito.
Abordamos, ainda, os anis de polinmios. Seja

S = R[ X ] = a0 + a1X + a2 X 2 + ...anXn , ai R, n N , em que

n

p ( X ) = a0 + a1X + a2 X 2 + ... + anXn = aiXi um polinmio sobre S.

i=1

i
Seja p ( X ) = aiX e q ( X ) = biX , com m<n, definimos:
i=1

i=1

Adio:
n

p ( x ) + q ( x ) = (a0 + b0 ) + (a1 + b1) + ... + (an + bn ) X = (ai + bi ) Xi

n

i= 0

Multiplicao:
p ( x ) .q ( x ) =

m+n

ck Xk = c0 + c1x1 + ... + (m + n) xm+n ,

em

que:

k=0

ck = ajbk j
j= 0

Vimos que, segundo o Teorema Fundamental da lgebra, qualquer

polinmio de ordem n > 1, com coeficientes reais ou complexos, possui
pelo menos uma raiz complexa.
Estudamos os corpos racionais, reais e complexos. Um corpo um
domnio de integridade quando satisfaz a condio: ab = ba = 1. Existe
um elemento b que inverso ao elemento a. Lembremos que o conjunto
dos nmeros inteiros no possui elemento inverso e que os conjuntos dos
nmeros racionais, reais e complexos, alm de serem anis com domnio de
integridade, tambm possuem estrutura de um corpo.
128

lgebra
Vale lembrarmos que o conjunto dos nmeros racionais (Q) definido
a

por: Q = / a Z, b Z * . Como um anel de integridade e cada

b

b
a b
a
Q, , tal que . = 1, ento Q um anel.
b
a
b a
O conjunto dos nmeros reais R, por sua vez, inclui todos os seguintes
conjuntos: N, Z e Q, assim como as razes de nmeros positivos em geral.
Logo, esse conjunto um corpo.
O conjunto dos nmeros complexos C expresso por:

c = a + bi / a R, b R, i = 1 Se z = a + bi, o seu inverso, 1/z, est

definido nos nmeros complexos; logo, um corpo.
O homomorfismo de grupos e de anis foi outro tpico abordado nessa
segunda parte da nossa disciplina. Sendo A, B , com as operaes
binrias * e o, se A e B so grupos ((A, *) e (B, )), f: A B e homomorfismo
se f(a * B) = f(a) o f(b) ou f(a + b) = f(a) + f(b) e f(a . b) = f(a) . f(b).
So tipos de homomorfismo:
Endomorfismo: homomorfismo de (H, *) em si prprio;
Automorfismo: endomorfismo em que a aplicao f bijetora;
Monomorfismo: homomorfismo injetor, quando f for injetora;
Epimorfismo: homomorfismo sobrejetor, quando f for sobrejetora;
Isomorfismo: se f um homomorfismo de B em B e se f tambm
uma aplicao bijetora.
Vale lembrarmos tambm do conceito de corpo ordenado. K um corpo
ordenado se, dado P K, as seguintes condies so satisfeitas:
1) a soma e o produto dos elementos positivos so positivos.
Simbolicamente, temos: x, y P x + y P e x . y P;
2) dado x pertencente a K, exatamente uma das trs alternativas
seguintes ocorre: ou x = 0, ou x P, ou x P.
Num corpo ordenado K, x < y => y x P, ou seja, x = y + z, em que z
P; tambm podemos escrever y > x.
129

Unidade IV
Estudando grupos finitos e infinitos, vimos que um conjunto G finito
se isomorfo a Xn, para algum n 0. Se G no isomorfo a nenhum
Xn, ento dizemos que G infinito. Vale relembrarmos destas importantes
propriedades:
Se f: Xn Xn e injetora, ento f sobrejetora.
Se G e finito e f: G G injetora, ento f sobrejetora.
Se f: G G injetora e no sobrejetora, ento G um grupo infinito.
Se G finito, G H e f: G H uma aplicao injetora, ento G = H.
Se f: Xn G e h: Xm G so aplicaes bijetoras, ento n = m.
Se H G, temos:
a) Se G finito, ento H tambm e finito e H < G.
b) Se G finito e H = G, ento H = G.
c) Se H infinito, ento G tambm infinito.
Se f: Xn G injetora e no sobrejetora, ento existe f*: Xn + 1 G,
que injetora.
Se f: Xn G uma aplicao injetora, ento G finito e G n.
Se G e H so finitos, ento:
a) G H finito, (G H) < G H;
b) se G e H so disjuntos, ento (G H) = G + H.
Vimos que um grupo cclico quando indica um sistema de geradores:
a Z gerador de (G, *); se m G, existe um m G / m = a * m . H
= {am, m Z}.
Quanto aos conjuntos infinitos, vimos que N o menor conjunto
infinito que existe.
G infinito G contm um subconjunto isomorfo a N.
G infinito f: G G que seja injetora sem ser sobrejetora.
(Cantor). h: G P(G) uma funo. Ento h no sobrejetora.
130

lgebra

Exerccios
Questo 1. Analise as afirmaes sobre homomorfismo:
I. A aplicao f : Z C*dada por f(m) = im para todo m em Z um homomorfismo de (Z, +) em
(C*,).
II. O ncleo do homomorfismo f : Z C*dado por f(m) = im para todo m em Z dado por:
N(f) = {0, 4, 8, 12, . . . } = { 4x ; x Z}
III. No anel (Z6,+,) os elementos: 1, 3 e 4 so idempotentes.
IV. Sejam os anis(A, +, ) e (B, +, ) onde A = {a + b 2 ; a, b Q} e B = M2 (Q). A aplicao
a 2b
f : A B dada por: f(a + b 2) =
um homomorfismo.
b a
Quais itens so afirmaes verdadeiras?
A) I e II.
B) I e IV.
C) II e III.
D) I, II e III.
E) I, III e IV.
Resposta correta: alternativa E.
Anlise das afirmativas
I Afirmao correta.
Justificativa: a aplicao f : Z C*,dada por f(m) = im para todo m em Z, um homomorfismo de
(Z, +) em (C*,), pois m, n Z, f(m + n) = im+n = im . in = f(m) . f(n).
II Afirmao incorreta.
Justificativa: o ncleo do homomorfismo f : Z C*, dado por f(m) = im para todo m em Z, dado
por: N(f) = { 0, 4, 8, 12, . . . } = { 4x ; x Z}
131

Unidade IV
III Afirmao correta.
Justificativa: no anel (Z6,+,) : ( 1 )2 = 1 , ( 3 )2 = 3 , ( 4 )2 = 4 .
Portanto, para o anel (Z6, +,), os elementos 1 , 3 e 4 so idempotentes.
IV Afirmao correta.
Justificativa: sejam os anis (A, +, ) e (B, +, ) onde A = {a + b 2 ; a, b Q} eB = M2(Q).
a 2b
Verifique se a aplicao f : A B, dada por: f(a + b 2 ) =
, um homomorfismo.
b a
a + b 2 , c + d 2 A,
i)f [(a + b

2 ) + (c + d

2 )] = f [(a + c) + (b + d)

2 ] =

ac 2b 2(b + b) a + c 2b 2d a 2b c 2d
+
=
=
ad + bc
a+ c
b+d
a+ c
b
a
d
c
= f(a + b

2 ) + f(c + d

2 ).

2 ) (c + d 2 )] = f [(ac 2bd) + (ad + bc) 2 ] =

ac 2b 2(ad + bc) ac 2b 2(ad + bc) a 2b c 2d
.
=
=
ad + bc
ac 2bd ad + bc
ac 2bd b
a d
c

ii) f [(a + b

= f(a + b

2 ) f(c + d

2 ).

Portanto, f um homomorfismo do anel A no anel B.

2x + 3 y = 7
Questo 2. Resolvendo o sistema S =
em Z11, o conjunto soluo ser:
5x + y = 6
A) S = {( 0 , 7 ) }
B) S = {( 0 , 6 ) }
C) S = { ( 5 , 6 ) }
D) S = {( 3, 7 ) }
E) S = {(3,10) }
Resoluo desta questo na plataforma.
132

Figuras e Ilustraes
Figura 16
Wonder_Cube__1_.JPG. 1 foto, color. Disponvel em: <http://www.morguefile.com/archive/
display/220825>. Acesso em: 02 out. 2012.
Referncias
Textuais
AZEVEDO, A.; PICCININI, R. Introduo teoria dos grupos. Rio de Janeiro: IMPA, 1969.
BIRKHOFF, G.; LANE, M. lgebra moderna. 4. ed. Rio de Janeiro: Guanabara dois, 1980.
BOLDRINI, J. L. lgebra linear. So Paulo: Harper e Row do Brasil, 1980.
BORGES, F. Criptograa como ferramenta para o ensino de matemtica. Laboratrio Nacional de
Computao Cientca. In: XXXI CONGRESSO DE MATEMTICA APLICADA E COMPUTACIONAL, nov. 2009.
Campo Grande: UFMS. Disponvel em: < www.sbmac.org.br/eventos/cnmac/xxxi_cnmac/PDF/189.pdf>.
Acesso em: 02 out. 2012.
CAMPOS, P. T.; FERREIRA, W.; VARGAS, J. Grupos de Lie em equaes diferenciais e teoria dos nmeros.
Revista Matemtica Universitria, n. 15, dez. 1993. Disponvel em: <http://matematicauniversitaria.ime.
usp.br/Conteudo/n38_n39/n38_n39_Artigo05.pdf>. Acesso em 1 out. 2012.
CHAVES, J. C. Grupos algbricos e variedades abelianas . Universidade Federal Fluminense, 2001.
Disponvel em: <http://www.professores.uff.br/jcoelho/diversos/alggrups.pdf>. Acesso em 1
out. 2012.
DOMINGUES, H. H.; IEZZI, G. lgebra moderna. 4. ed. So Paulo: Atual, 2003.
______. lgebra. So Paulo: Atual, 1979.
ECLCULO. O princpio da induo finita. So Paulo: USP. Disponvel em: <http://ecalculo.if.usp.br/
ferramentas/pif/pif.htm>. Acesso em 02 out. 2012.
FERNANDEZ, C. S.; SANTOS, R. A. O teorema fundamental da lgebra. In: V BIENAL DA SOCIEDADE
BRASILEIRA DE MATEMTICA, 2010. Joo Pessoa: UFPB. Disponvel em: <http://www.mat.ufpb.br/
bienalsbm/arquivos/Mini_Cursos_Completos/MC5Completo.pdf>. Acesso em 03 out. 2012.
FERNANDES, R. J.; RICOU, M. lgebra abstrata. 2003. Disponvel em: <www.math.ist.utl.pt/~rfern/
Meuspapers/HTML/main.pdf>Acesso em: 08 out. 2012.
133

GARCIA, A.; SEQUAIN, I. lgebra: projeto Euclides. Rio de Janeiro: IMPA, 1988.
GONALVES, A. Introduo lgebra. Rio de Janeiro: IMPA, 2006.
GONALVES, F. S. Introduo geometria algbrica. 2010. 109 f. Trabalho de Concluso de Curso.
Faculdade de Matemtica, Universidade Federal de So Carlos, So Paulo, 2010.
LIPSHUTZ, S. Teoria dos conjuntos. So Paulo: Makron Books, 1972.
MARTIN, L. A. B. S. Grupos de Lie. Instituto de Matemtica, Estatstica e Computao Cientfica da
Universidade de Campinas, ago. 2011. Disponvel em: <www.ime.unicamp.br/~smartin/cursos/
grupolie2011/gruplie0.pdf>. Acesso em 1 out. 2012.
MILIES, P. Breve introduo teoria dos cdigos corretores de erros. In: COLQUIO DE MATEMTICA
DA REGIO CENTROOESTE, nov. 2009. Campo Grande: UFMS. Disponvel em: <http://www.
coloquiodematematica.ufms.br/conteudo/material/mc09.pdf>. Acesso em 1 out. 2012.
MONTEIRI, L. H. J. Elementos de lgebra. Rio de Janeiro: IMPA, 1969.
PENNA, F. X. Grupos algbricos lineares comutativos conexos unipotentes. Revista Matemtica
Universitria, nmeros 38/39, jun./dez.2005. Disponvel em: <http://matematicauniversitaria.ime.usp.
br/Conteudo/n38_n39/n38_n39_Artigo05.pdf>. Acesso em 1 out. 2012.
PICADO, J. Corpos e equaes algbricas. Departamento de Matemtica da Universidade de Coimbra,
2009. Disponvel em: <http://www.mat.uc.pt/~picado/corpos/apontamentos/sebenta1.pdf>. Acesso em
03 out. 2012.
SAMPAIO, J. C. V. Anis de polinmios. Instituto de Matemtica da Universidade de So Carlos, s/d.
Disponvel em: <http://www.dm.ufscar.br/~sampaio/Ea2cap2_02.pdf>. Acesso em 03 out. 2012.
SCHTZER, W. Minicurso: aprendendo lgebra com o cubo mgico. Disponvel em: <http://www.
dm.ufscar.br/profs/waldeck/rubik/>. Acesso em 08 out. 2012.
SILVA, J. C. A aritmtica de Peano e a construo do conjunto dos nmeros inteiros. In: II SIMPSIO DE
MATEMTICA E MATEMTICA INDUSTRIAL, 2010. Catalo: UFG. Disponvel em: <http://www.catalao.
ufg.br/mat/simmi/simmi2010/arquivos/MC2.pdf>. Acesso em 04 out. 2012.
VILCHES, M. A. Introduo topologia algbrica. Instituto de Matemtica e Estatstica da Universidade
Estadual do Rio de Janeiro, s/d. Disponvel em: <www.ime.uerj.br/~calculo/LivroVII/topalg.pdf>. Acesso
em 1 out. 2012.

134

Exerccios
Unidade 1 Questo 1: INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS ANSIO
TEIXEIRA (INEP). Enade 2008: Computao. Questo 13. Disponvel em: <http://download.inep.gov.br/
download/Enade2008_RNP/COMPUTACAO.pdf>. Acesso em: 18 out. 2013.
Unidade 2 Questo 1: INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS ANSIO
TEIXEIRA (INEP). Enade 2005: Matemtica. Questo 20. Disponvel em: <http://download.inep.gov.br/
download/enade/2005/provas/MATEMATICA.pdf>. Acesso em: 18 out. 2013.
Unidade 2 Questo 2: INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS ANSIO
TEIXEIRA (INEP). Enade 2008: Matemtica. Questo 17. Disponvel em: <http://download.inep.gov.br/
download/Enade2008_RNP/MATEMATICA.pdf>. Acesso em: 18 out. 2013.
Unidade 3 Questo 2: INSTITUTO NACIONAL DE ESTUDOS E PESQUISAS EDUCACIONAIS ANSIO
TEIXEIRA (INEP). Enade 2005: Matemtica. Questo 23. Disponvel em: <http://download.inep.gov.br/
download/enade/2005/provas/MATEMATICA.pdf>. Acesso em: 18 out. 2013.

135

136

137

138

139

140

Informaes:
www.sepi.unip.br ou 0800 010 9000