Jaime Evaristo

Eduardo Perdigo

Introduo

lgebra
Abstrata
Manual de Solues
 2
Introduo lgebra Abstrata
(solues dos exerccios)

Apresentao

As pginas seguintes contm as solues dos exerccios do livro Introduo lgebra Abstrata e
algumas observaes sobre incorrees j detectadas.
Mesmo com o risco da repetitividade, as solues foram apresentadas da forma mais detalhada
possvel, isto sendo feito para que a tarefa do leitor seja facilitada quando da tentativa da compreenso de
alguma soluo. Naturalmente, o estudante s deve recorrer s solues apresentadas aps esgotar todas as
suas possibilidades no sentido da obteno de uma soluo encontrada por si mesmo.
Considerando que o leitor poder imprimir este manual em editores com configuraes diferentes,
no me preocupei em formatar corretamente as expresses matemticas corretamente no sentido de
escrev-las numa nica linha ou repetir, se for o caso, na linha seguinte o operador que concluiu a linha.
Espero (e agradeo antecipadamente) receber sugestes de solues diferentes daquelas
apresentadas ou crticas e comentrios sobre estas e sobre o livro como um todo. Qualquer crtica ou
sugesto deve ser enviada para jaime@ccen.ufal.br e ser muito bem vinda.
Em Macei, novembro de2002.
 3
Introduo lgebra Abstrata
(solues dos exerccios)

Captulo 1
1.1. As peculiaridades da raa humana no permitem garantir que a relao "x ama y" reflexiva (existe
algum que no ame a si mesmo?). Infelizmente para os apaixonados, a relao no simtrica: "Ada ama
Pedro" no obriga que "Pedro ama Ada". A relao tambm no antissimtrica: se "Ada ama Pedro" e
"Pedro ama Ada" no temos, obviamente, Pedro = Ada; e tambm no transitiva: se "Ada ama Pedro" e
"Pedro ama Andra" no podemos concluir que "Ada ama Andra" (em geral, a concluso : "Ada odeia
Andra").
1.2 a) Pela propriedade da igualdade dos conjuntos, devemos provar que A A A e que
A A A. Porm, estas duas incluses so bvias, pois se x A A, ento, por definio, x A ou x
A, o que resulta x A. Reciprocamente, se x A, pela prpria definio de unio, x A A.
b) Decorre da prpria definio de unio de conjuntos.
c) Devemos mostrar que A (B C) (A B) C e que (A B) C A (B C). Mostremos
apenas que A (B C) (A B) C, pois a demonstrao da outra incluso semelhante. Temos que,
e x A (B C), ento (x A) (x B C). Da, (x A) ((x B) (x C)). Temos ento, pela
associatividade da disjuno, ((x A) (x B)) (x C), o que significa que x (A B) C, como
queramos.
d) Por definio, temos que A = {x U| (x A) (x )}. Porm, como x define uma
contradio em U, temos que (x A) (x ) tambm uma contradio em U. Da,
A = .
Uma outra soluo a seguinte: por reduo ao absurdo (discutido no exerccio 1.12), suponhamos que A
possui elementos. Assim, existe x A . Da, pela definio de interseo de conjuntos, x A e x
, o que um absurdo. Logo A no possui elementos.
e) Decorre imediatamente da definio de interseo de conjuntos.
f) Vamos mostrar apenas que A (B C) (A B) C. Temos que, se x A (B C), ento (x
A) ((x B) (x C)). Assim, pela associatividade da conjuno,
((x A) (x B)) (x C) e, ento, x (A B) C, como queramos.
g) Devemos mostrar que A (B C) (A B) (A C) e que (A B) (A C) A (B C).
Para a primeira incluso, seja x A (B C). Ento, (x A) (x B C), o que implica (x A) ((x
B) (x C)). Da, pela distributividade da conjuno em relao disjuno, ((x A) (x B)) ((x
A) (x C)). Segue ento que (x A B) (x A C), o que d x (A B) (A C). A
demonstrao da segunda incluso , praticamente, um caminho de volta na demonstrao acima.
h) Vamos mostrar apenas que A (B C) (A B) (A C), j que a demonstrao da outra
incluso o caminho de volta. Seja ento x A (B C). Da, (x A) (x B C) e, portanto, (x
A) ((x B) (x C)). Segue ento que ((x A) (x B)) ((x A) (x C)), o que resulta em (x
A B) (x A C). Da, x (A B) (A C).
1.3. Suponhamos inicialmente que A B = A e provemos que A B. Para isto, seja x A. Da, e da
hiptese, x A B e, portanto, x B. Reciprocamente, suponhamos que A B e provemos que
A B = A. Por definio temos que A B A e se x A, como A B, x B de onde se conclui que
x A B. Logo, A A B.
1.4. a) Se x A, x CB(A) e, portanto, x CB(CB(A)). Assim, A CB(CB(A)). Reciprocamente, se
x CB(CB(A)), x CB(A) e, portanto, x A. Assim, CB(CB(A)) A.
b) Seja x A. Ento x CB(A) e, ento, como CB(A') CB(A), x CB(A'). Da, x A'.
 4
Introduo lgebra Abstrata
(solues dos exerccios)
c) Seja x CB(A A'). Ento, x A A' o que gera trs possibilidades: x A e x A'; x A' e x A; e
x A e x A'. Da primeira segue que x CB(A); da segunda, x CB(A); e da terceira
x CB(A) CB(A'). Segue ento que x CB(A) CB(A'). Reciprocamente, se x CB(A) CB(A'),
x CB(A) ou x CB(A') e, portanto, x A ou x A'. Isto s acontece se x A A' o que mostra que
x CB(A A'). Da, CB(A) CB(A') CB(A A').
1.5. a) Sejam os conjuntos A = {a, b, c}, B = {b, d} e C = {a, d}. Evidentemente, B C, mas
A B = A C = {a, b, c, d}.
b) Considere os conjuntos A = {a, b, c}, B = {a, b, d} e C = {a, b, e}. Evidentemente, B C, mas
A B = A C = {a, b}.
1.6. Pela propriedade da igualdade dos conjuntos, basta provar que B C e que C B. Para a primeira,
seja x B. Ento x A B, e, como por hiptese, A B = A C, x A C. Desta ltima relao
temos que x A ou x C. Se x C, temos o que queramos, todo elemento de B elemento de C; se
x A, ento x A B e, portanto, x A C, pois, por hiptese, A B = A C. Da, x C, dando
ento, tambm, o que queramos. A demonstrao de que C B idntica, mutatis mutandis.
1.7. Sejam P, Q e R predicados num conjunto A. Devemos mostrar que P (Q R) = (P Q) R. Como
predicados so funes do conjunto A no conjunto {V, F}, basta mostrar que
(P (Q R))(x) = ((P Q) Q)(x), para todo x A. Podemos verificar esta igualdade na seguinte tabela,
de acordo com os possveis valores de P(x), Q(x) e R(x).

P Q R QR PQ P (Q R) (P Q) R
V V V V V V V
V V F V V V V
V F V V V V V
V F F F V V V
F V V V V V V
F V F V V V V
F F V V F V V
F F F F F F F
Uma tabela como esta chamada, de um modo geral, tabela verdade e a construo de tabelas
verdade pode ser utilizada para a verificao de igualdade de predicados.
1.8. a)
P Q R QR PQ PR P (Q R) (P Q) (P R)
V V V V V V V V
V V F V V F V V
V F V V F V V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F
 5
Introduo lgebra Abstrata
(solues dos exerccios)
b)
P Q R QR PQ PR P (Q R) (P Q) (P R)
V V V V V V V V
V V F F V V V V
V F V F V V V V
V F F F V V V V
F V V V V V V V
F V F F V F F F
F F V F F V F F
F F F F F F F F
1.9. a)
P Q ~P ~Q PQ ~(P Q) (~P) (~Q)
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
b)
P Q ~P ~Q PQ ~(P Q) (~P) (~Q)
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V

1.10.
P Q ~P PQ (~P) Q
V V F V V
V F F F F
F V V V V
F F V V V
1.11
P Q ~P ~Q PQ (~Q) (~P)
V V F F V V
V F F V F F
F V V F V V
F F V V V V
1.12.
P Q C ~Q P (~Q) (P (~Q)) C PQ
V V F F F V V
V F F V V F F
F V F F F V V
F F F V F V V
1.13. Se P(x) = Q(x) = V, ento (P Q)(x) = V e (Q P)(x) = V e, portanto,
((P Q) (Q P))(x) = (P Q)(x) = V. Se P(x) = V e Q(x) = F, ento (P Q)(x) = F e, assim,
((P Q) (Q P))(x) = (P Q)(x) = F. Se P(x) = F e Q(x) = V, ento (Q P)(x) = F e, por
conseguinte, (P Q) (Q P))(x) = (P Q)(x) = F.
 6
Introduo lgebra Abstrata
(solues dos exerccios)
1.14. a) Seja y f(X). Queremos mostrar que y f(Y). De y f(X) segue que existe x X tal que
y = f(x). Como, por hiptese, X Y, temos que x Y e, portanto, y = f(x) f(Y).
b) Seja y f(X Y). Ento existe x X Y tal que y = f(x). Da, existe x X tal y = f(x) ou existe
x Y tal que y = f(x). Segue ento que y f(X) ou y f(Y) o que resulta y f(X) f(Y). Reciprocamente,
seja y f(X) f(Y). Ento y f(X) ou y f(Y). Da, existe x X ou x Y tal que
y = f(x) e, portanto, existe x X Y tal que y = f(x). Logo, y f(X Y).
c) Seja y f(X Y). Ento existe x X Y tal que y = f(x). De x X Y, segue que x X e
x Y. Como y = f(x), temos que y f(X) e y f(Y) o que mostra que y f(X) f(Y)
d) Sejam A = {a, b, c, d}, B = {a, b, c}, f = {(a, a), (b, b), (c, c), (d, a)}, X = {a, b, c} e Y = {b, c, d}.
Temos, X Y = {b, c}, f(X) = {a, b, c}, f(Y) = {a, b, c}, f(X Y) = {b, c} e
f(X) f(Y) = {a, b, c}.
e) Seja y f(X) - f(Y). Ento y f(X) e y f(Y). Da, existe x X tal que y = f(x) e, para todo z Y,
y f(z). Logo, x Y, o que implica x X - Y e y f(X - Y).
f) Sejam A = {a, b}, B = {c}, X = {a}, Y = {b} e a funo f = {(a, c), (b, c)} definida de A em B. Temos
que X - Y = {a}, f(X - Y) = {c}, f(X) = {c}, f(Y) = {c} e f(X - Y) = .
1.15. a) Seja x f -1(Y). Ento f(x) Y e, portanto, f(x) Z, j que Y Z. De f(x) Z segue que
x f -1(Z).
b) Suponhamos inicialmente que x f -1(Z Y). Ento f(x) Z Y e, por conseguinte, f(x) Z ou
f(x) Y. Da, x f -1(Z) ou x f -1(Y), o que mostra que x f -1(Z) f -1(Y). Agora, suponhamos que
x f -1(Z) f -1(Y). Assim, x f -1(Z) ou x f -1(Y) e, por conseguinte, f(x) Z ou f(x) Y, o que mostra
que f(x) Z Y. Da, x f -1(Z Y).
c) Provemos apenas que f -1(Z) f -1(Y) f -1(Z Y), pois a outra incluso , como no item anterior, o
caminho de volta. Seja, ento, x f -1(Z) f -1(Y). Assim, x f -1(Z) e x f -1(Y) donde se conclui que f(x)
Z e f(x) Y. Logo, f(x) Z Y e x f -1(Z Y).
d) Como no anterior, basta provar uma das incluses. Seja, ento, x f -1(Z) - f -1(Y). Assim, x f -1(Z) e x
f -1(Y) donde se conclui que f(x) Z e f(x) Y. Segue que f(x) Z - Y e x f -1(Z - Y).
1.16. a) Sejam a1 e a2 elementos distintos de A. Devemos provar que (g o f)(a1) (g o f)(a2). Como f
injetora e a1 a2 temos que f(a1) f(a2). Como g injetora g(f(a1)) g(f(a2)).
b) Seja c C. Devemos provar que existe a A tal que (g o f)(a) = c. Como g sobrejetora, existe b B
tal que g(b) = c. Como f sobrejetora, existe a A tal que b = f(a). Da, g(f(a)) = c.
c) Suponhamos, por reduo ao absurdo (ver exerccio 1.12) que f no injetora. Assim existem
elementos a1 e a2 em A, com a1 a2, tais que f(a1) = f(a2). Desse modo, como g uma funo, segue que
g(f(a1)) = g(f(a2)) o que implica (g o f)(a1) = (g o f)(a2). Da se conclui que g o f no injetiva, o que
contraria a hiptese.
d) Sejam b1 e b2 em B, com b1 b2. Devemos mostrar que g(b1) g(b2). Como f sobrejetiva, existem a1
e a2 tais que b1 = f(a1) e b2 = f(a2). Evidentemente, a1 a2 pois, do contrrio, f no seria uma funo. Da e
da hiptese de que g o f injetiva, temos que (g o f)(a1) (g o f)(a2) o que implica
g(f(a1)) g(f(a2)). Portanto, g(b1) g(b2).
e) Seja c C. Necessitamos mostrar que existe b B tal que g(b) = c. Da hiptese de que g o f
sobrejetora segue que existe a A tal que (g o f)(a) = c, o que resulta em g(f(a)) = c. Tomando b = f(a)
temos que g(b) = c como precisvamos.
 7
Introduo lgebra Abstrata
(solues dos exerccios)
f) Seja b B. Queremos mostrar que existe a A tal que b = f(a). Para isto seja c = g(b). Como g o f
sobrejetora, existe a A tal que (g o f)(a) = c ou g(f(a)) = c. Das igualdades c = g(b) e c = g(f(a)) e da
hiptese de que g injetora segue que b = f(a), como queramos.
g) Segue dos itens a e b acima.
h) Como f bijetora, segue que f -1 existe (pgina 24). Alm disto f -1 inversvel (pgina 23). Ento, , f -1
bijetiva.
1.17. Sejam os conjuntos A = {a, b}, B = {c, d, e} e C = {g, h} e as funes f = {(a, c), (b, d)}, de A em B,
e g = {(c, g), (d, h), (e, h)}, de B em C . Temos que g o f = {(a, g), (b, h)} bijetora e f e g no o so.
1.18. Inicialmente, suponhamos que existe uma funo g de B em A tal que f o g = IB e provemos que f
sobrejetora. Para isto, seja b B. Assim, g(b) A e f(g(b)) = Ib(b) = b, o que mostra que f sobrejetora.
Agora suponhamos que f sobrejetora e construamos uma funo g de B em A tal que f o g = IB. Como f
sobrejetora, para todo y B existe x A tal que y = f(x). Definamos ento g de B em A associando a cada
y B um, e somente um, dos x A tal que y = f(x). Assim, claramente g est bem definida,
f(g(y)) = f(x) = y e f o g = IB.
1.19. Inicialmente, suponhamos que existe uma funo g de B em A tal que g o f = IA e provemos que f
injetora. Para isto sejam x1, x2 A com x1 x2. Se, por reduo ao absurdo, f(x1) = f(x2), ento
g(f(x1)) = g(f(x2)), (g o f)(x1) = (g o f)(x2) e, assim, x1 = x2, contrariando a hiptese levantada acima. Agora
suponhamos que f injetora e construamos uma funo g de B em A tal que
g o f = IA. Dado y B, se y f(A), defina g(y) como sendo o nico x A tal que y = f(x) (a unicidade de x
garantida pela injetividade de f) e se y F(A) defina g(y) como sendo qualquer valor em A. Assim,
claramente g est bem definida e g(f(x)) = g(y) = x, o que mostra que g o f = IA.
Captulo 2
2.1 a) Pelo axioma 3, basta provar que P(1) = V e que se P(n) = V, ento P(S(n)) = V. Temos que P(1) = V
pois 1 = 12. Suponhamos que 1 + 3 + ... + (2n 1) = n2 e provemos que 1 + 3 + ... + (2n 1) + (2(n+1)
1) = (n + 1)2. Temos que 1 + 3 + ... + (2n 1) + (2(n+1) 1) = n2 + (2(n+1) 1) = n2 + 2n + 1 = (n + 1)2.
b) Temos que P(1) = V pois 2 = 1 . (1 + 1). Suponhamos que 2 + 4 + ... + 2n = n . (n + 1) e provemos que
2 + 4 + ... + 2n + 2(n+1) = (n + 1) . (n + 2). Temos que 2 + 4 + ... + 2n + 2(n+1) = n . (n + 1) = 2(n + 1) +
n . (n + 1) = (n + 1) . (n + 2).
2.2 Se m = 1, a afirmao decorre do postulado 2. Se m > 1, ento n + m > n + 1 > 1.
2.3 Observaes
1. Para coerncia com os itens da questo, o enunciado deveria ser:
Representando por n m a soluo da equao solvel m + x = n...
2. A igualdade apresentada no item (e) est errada. A igualdade correta :
e) (n m) . (p q) = (n . p + m . q) (m . p + n . q)
a) Sendo n m a soluo da equao m + x = n, temos que m + (n m) = n. Segue ento que (m + p) + (n
m) = (n + p). Assim a equao (m + p) + x = (n + p) tem soluo igual a n m. Pela notao fixada no
exerccio, temos ento que n m = (n + p) (m + p).
b) Sendo n m a soluo da equao m + x = n, temos que m + (n m) = n e, portanto, m + p = n. Da,
pela comutatividade da adio p + m = n e, assim, m soluo da equao p + x = n. Pela notao fixada,
m = n p.
 8
Introduo lgebra Abstrata
(solues dos exerccios)
c) Sendo n m a soluo da equao m + x = n, temos que m + (n m) = n e, ento, p . (m + (n m)) = p
. n. Da, p . m + p . (n m) = p . n e, assim, p . (m n) soluo da equao p . m + x = n . p. A igualdade
segue da notao adotada.
d) De q + (p q) = p e m + (n m) = n segue que (m + q) +((n + m) + (p q)) = (n + p). Da, a igualdade.
e) De q + (p q) = p segue, por multiplicao por (n m), q . (n m) + (p q) . (n m) = p. (n m). Da,
(q . n q . m) + (p q) . (n m) = p. n p . m e, por conseguinte, (p q) . (n m) = (p. n p . m) - (q . n
q . m). Assim, pelo item
2.4. Temos, por aplicaes sucessivas da distributividade da multiplicao em relao adio, (m + p) .
(n + q) = (m + p) . n + (m + p) . q = m . n + p . n + m . q + p . q.
2.5 Temos n m = n + m + n . m = m + n + m . n = m n o que mostra que comutativa. Da mesma
forma, n (m p) = n + (m p) + n . (m p) = n + m + p + m . p + n . (m + p + m . p) = n + m + p + m
. p + n . m + n . p + n . m . p = (n + m + n . m) + p + (m . p + n . p + n . m . p) = (n m) + p + (m + n + n .
m) . p = (n m) + p + (n m) . p = (n m) p.
2.6 Observao:
A afirmao do item (c) no tem sentido pois o conjunto dos naturais no contm nenhum
elemento simbolizado por 0.
a) Se a + c b + c, ento a + c = b + c ou a equao (a + c) + x = (b + c) solvel. Se a primeira acontece,
pela proposio 2.2, a = b. Se existe natural r tal que (a + c) + r = (b + c), ento, pela mesma proposio, a
+ r = b e a equao a + x = b solvel..
b) Se a b e c d, a = b ou a + x = b solvel e c = d ou c + x = d solvel. Se a = b e c = d, ento a + c
= b + d. Se a = b e existe r tal que c + r = d, ento (c + a) + r = (d + b) e a equao (a + c) + x = (b = d)
solvel. Se existe r tal que a + r = b e c = d, o raciocnio semelhante. Finalmente, se existem r e r tais
que a + r = b e c + r = d, temos (a + c) + (r + r) = (b + d) e a equao (a + c) + x = (b + d).
c) Ver observao acima.
d) De a < b e b < c segue a b e a b e b c e b c. Da, por transitividade, a c. Se a = c, teramos c <
b, contrariando a hiptese b < c.
e) De a < b segue que a b e a b. Da, como b c, temos por transitividade, a c. Se a = c, teramos b
a, contrariando a hiptese a < b.
g) De a < b temos a b e a b. Assim, pelo item (a) a + c b + c, para qualquer natural c. Se a + c = b +
c, teramos a = b, contrariando o fato de que a b.
2. 7 a) De a < b, segue a b e a b. Da, pela proposio 4.2, a . c b . c. Se a . c = b . c, pela lei do corte
(proposio 3.2), a = c, contrariando o fato de que a b.
2.8. Observao
A desigualdade que se pretende provar : n . (t r) + m . (s + r) n . t + m . s.
Observe que a desigualdade pretendida poderia ser escrita, de maneira mais simples, da seguinte
forma: n . s + m . t n . t + m . s. Foi dada a preferncia pela forma anterior para que a soluo por
induo fosse pensada.
Faamos uma induo sobre r. Se r = 1, de m n e s s + 1 segue n . s + m . (s + 1) = n . s + m . s
+ m n . s + m . s + n = n . (s + 1) + m . s.
Suponhamos que n . s + m . (s + r) n . (s + r) + m . s e provemos que n . s + m . (s + r + 1) n .
(s + r + 1) + m . s.
 9
Introduo lgebra Abstrata
(solues dos exerccios)
Temos n . s + m . (s + r + 1) = n . s + m . (s + r) + m n . (s + r) + m . s + m n . (s + r) + m . s +
n = n . (s + r + 1) + m . s
2.9. A questo que no est definido o que nmero pequeno.
2.10. f(n) = 1 se n = 1 e f(n) = n 1, se n > 1.
Captulo 3
3.1. a) Basta adicionar -c a ambos os termos da igualdade: (a + c) + (-c) = (b + c) + (-c) e, portanto,
a + (c - c) = b + (c - c).
b) Basta adicionar -a a ambos os termos da igualdade
c) Se, por contradio, 2 . a = a, teramos a + a = a e, pelo item anterior, a = 0, contrariando a hiptese de
que a 0.
3.2. a) Pela proposio 2.3, -(a + b) = (-1) . (a + b). Da, por (AM), -(a + b) = (-1) . a + (-1) . b. Aplicando
novamente a proposio 2.3, -(a + b) = -a + (-b) = -a - b.
b) Calculemos (a + b) . (a - b) de acordo com a seguinte seqncia de igualdades, justificadas ao lado.
(a + b) . (a - b) = (a + b) . a + (a + b) . (-b) (AM)
(a + b) . (a - b) = a . a + b . a + a . (-b) + b . (-b) (AM)
(a + b) . (a - b) = a . a + a . b - a .b - b . b (M2 e proposio. 2.5)
(a + b) . (a - b) = a2 - b2 (simbologia e A4)
3.3. Suponhamos que a e b so inversveis. Ento existem a-1 tal que a . a-1 = 1 e b-1 tal que
b . b-1 = 1. Assim
(a . b) . (a-1 . b-1) = ((a . b) . a-1) . b-1 (M1)
(a . b) . (a-1 . b-1) = (a-1 . (a . b)). b-1 (M2)
-1 -1 -1 -1
(a . b) . (a . b ) = ((a . a) . b) . b (M1)
(a . b) . (a-1 . b-1) = (1 . b) . b-1 (definio de inverso)
(a . b) . (a-1 . b-1) = b . b-1 (M3)
-1 -1
(a . b) . (a . b ) = 1 (definio de inverso).
Reciprocamente, suponhamos que a . b inversvel. Ento existe x A tal que (a . b) . x = 1. Da, por
(M1), a . (b . x) = 1 e a inversvel. Agora, aplicando sucessivamente (M2) e (M1), b . (a . x) = 1 e b
tambm inversvel.
3.4. a) De a2 = 0 segue que a . a = 0. Como D um domnio de integridade, por (M4), a = 0 ou a = 0.
b) De a . b = a, segue a. b - a = 0 e a . (b - 1) = 0. Como D um domnio de integridade, por (M4), a = 0
ou b - 1 = 0, o que d a = 0 ou b = 1.
c) Basta fazer b = a no item anterior.
3.5. a) Basta, aplicando a compatibilidade com a adio da relao de ordem, adicionar -c a ambos os
termos da desigualdade.
b) De a b segue que a + c b + c e de c d segue que b + c b + d. Da, por transitividade,
a + c b + d.
 10
Introduo lgebra Abstrata
(solues dos exerccios)
c) De c 0 segue, aplicando a proposio 5.3, que -c 0. Agora, de a b segue, aplicando a
compatibilidade com a multiplicao, a . (-c) b . (-c). Da, -(a. c) -(b . c), -(a. c) + b . c -(b . c) + b . c
e -(a. c) + b . c + a . c 0 + a. c, chegando, finalmente, a b . c a . c.
d) De a < b e b < c segue que a b e a b e que b c e b c. Por transitividade, segue que a c. Se a =
c, de a < b seguiria que c < b, contrariando a hiptese b < c. Logo, a c e a c o que implica a < c.
e) De a < b segue que a b e a b. Como b c, por transitividade, segue que a c. Se
a = c, de a < b seguiria que c < b, contrariando a hiptese b c. Logo, a c e a c o que implica a < c.
g) De a < b segue que a b e a b. Pela compatibilidade com a adio, a + c b + c. Se
a + c = b + c teramos, pelo exerccio 2.1, a = b, contrariando a b. Logo a + c b + c e
a + c b + c o que implica a + c < b + c.
3.6. a) Se a 0, pela compatibilidade com a multiplicao, a . a 0 o que d a2 0. Se a 0, pela
proposio 5.3, -a 0 e ento, mais uma vez pela compatibilidade com a multiplicao, a . (-a) 0. Da,
-a2 0 e ento, pela proposio j citada, a2 0.
b) Como 1 = 12 temos, do item anterior, que 1 0. Como, por definio, 1 0, temos que 1 > 0.
c) De 1 0 segue que -1 0. Se -1 = 0 teramos 1 = 0, contrariando a definio de elemento neutro da
multiplicao. Logo, -1 0 e -1 = 0 o que d -1 < 0.
3.7. a) De a < b segue que a b e a b. De c > 0 segue que c 0 e c 0. Aplicando a compatibilidade
com a multiplicao desigualdade a b temos que a . c b . c. Agora, se a . c = b . c teramos, pela lei
do cancelamento, a = b. Logo, a . c b . c e a . c b . c o que implica a . c < b . c.
b) Se, por reduo ao absurdo, tivssemos a > b, pelo item anterior teramos a . c > b . c contrariando a
hiptese a . c b . c.
c) De a . c b . c segue que -(b . c) -(a . c) e que, aplicando a proposio 2.3, b . (-c) a . (-c). Como
c < 0 temos -c > 0 e ento, pelo item anterior, b a.
Observe que estes dois ltimos itens garantem uma lei do cancelamento para desigualdades em
domnios de integridade, bastando observar que se o termo a ser cancelado for negativo o sinal da
desigualdade ser invertido.
3.8. Observao:
O enunciado do item (ii), o seguinte:.
ii) a - b A' e a . b A' quaisquer que sejam a, b A'.
a) Se A' um subanel de A, como 1A = 1A', 1A A'. Alm disso, como as operaes de A' so as restries
das operaes de A, se a, b A', a - b = a -A' b A' e a . b = a .A' b A'. Reciprocamente, suponhamos que
1A A' e que a - b A' e a . b A', quaisquer que sejam a, b A' e provemos que A' uma subanel de A.
A condio a . b A' quaisquer que sejam a, b A' garante que .A' uma operao em A'. Agora observe
que, como 1A A', 0 = 1A - 1A A' e que se a A', -a = 0 - a A. Podemos deduzir da tambm que se a,
b A', a +A' b = a - (-b) A' o que mostra que +A' uma operao em A'. Como +A' e .A' so restries das
operaes do anel A, elas, naturalmente, herdam todas as propriedades destas operaes. Assim, (A', +A',
.
A') uma anel tal que 1A' = 1A e, portanto, A' um subanel de A.

b) Como f um homomorfismo, f(1A) = 1B e 1B f(A). Assim a primeira condio do item anterior est
satisfeita. Agora se z, y f(A), existem a, b A tais que z = f(a) e y = f(b) e, ento, z - y = f(a) - f(b) =
= f(a - b) e z . y = f(a) . f(b), sendo as ltimas igualdades decorrentes da aplicao da proposio 2.6 e da
definio de homomorfimo. Da, z - y f(A) e z . y f(A). Logo, pelo item anterior, f(A) um subanel de
B.
 11
Introduo lgebra Abstrata
(solues dos exerccios)
3.9. a) Sejam m, n A. Temos que fa(m + n) = a . (m + n) = a . m + a . n = fa(m) + fa(n) e a primeira
condio para que uma funo seja um homomorfismo satisfeita. Agora, fa(m . n) = a . (m . n) e
fa(m) . fa(n) = (a . m) . (a . n) e a segunda condio no satisfeita. Alm disto, fa(1) = a . 1 = a que s
igual a 1 se a = 1.
b) Suponhamos que fa sobrejetora. Ento, existe m A tal que fa(m) = 1 e, portanto, existe m A tal que
a . m = 1 o que mostra que a inversvel. Reciprocamente, suponhamos que a inversvel e que
b A. Devemos mostrar que existe m A tal que fa(m) = b. Para isto, basta tomar m = a-1 . b, pois
fa(a-1 . b) = a . (a-1 . b) = b.
c) Se m, n A e fa(m) = fa(n), ento a . m = a . n e, como A um domnio de integridade e a 0, m = n, o
que mostra que fa injetora.
3.10. Utilizando a nomenclatura da sugesto, vamos provar que g o f um isomorfismo. Temos, tomando
a, b A
i) (g o f)(a + b) = g(f(a + b)) = g(f(a) + f(b)) (f isomorfismo)
(g o f)(a + b) = g(f(a)) + g(f(b)) (g isomorfismo)
(g o f)(a + b) = (g o f)(a) + (g o f)(b) (definio de funo composta)
ii) (g o f)(a . b) = g(f(a . b)) = g(f(a) . f(b)) (f isomorfismo)
(g o f)(a . b) = g(f(a)) . g(f(b)) (g isomorfismo)
(g o f)(a . b) = (g o f)(a) . (g o f)(b) (definio de funo composta)
iii) (g o f)(1A) = g(f(1A)) = g(1B) = 1C.
3. 11. a) Se c' e c" so dois elementos mximos, c' c" (levando em conta que c" elemento mximo) e
c" c' (levando em conta que c' elemento mximo). Pela antissimetria da relao de ordem, c' = c".
b) Inicialmente, suponhamos que todo subconjunto no vazio limitado superiormente possui elemento
mximo e provemos que todo subconjunto no vazio limitado inferiormente possui elemento mnimo. Seja
S limitado inferiormente e considere o conjunto -S = {x A| -x S}. Como S no vazio, -S tambm
o . Como S limitado inferiormente, existe a A tal que x a, para todo x S. Da, -x -a para todo x
A e, portanto, para todo y -S, y -a, o que mostra que -S limitado superiormente. Assim, -S tem um
elemento mximo b. Ou seja, existe b -S tal que y b, para todo y -S. Como
b -S, -b S e dado x S, -x -S o que implica -x b. Da, x -b, para todo x S e, portanto, S tem
elemento mnimo, exatamente o simtrico do elemento mnimo de -S. A demonstrao da afirmao
recproca idntica, mutatis mutandis.
3.12. O erro acontece na aplicao da lei do cancelamento igualdade 2 . (a2 - a . b) = 1 . (a2 - a . b), pois,
como supomos acima que a = b, a2 - a . b = 0 e a lei do cancelamento no pode ser aplicada.
3.13. A adio em F(A) comutativa e associativa, decorrncias da comutatividade e da associatividade
do anel A: para todo x A, (f + g)(x) = f(x) + g(x) = g(x) + f(x) = (g + f)(x) (o que mostra que f + g = g + f)
e ((f + g) + h))(x) = (f + g)(x) + h(x) = (f(x) + g(x)) + h(x) = f(x) + (g(x) + h(x)) = (f + (g + h))(x) (o que
mostra que (f + g) + h = f + (g + h). A adio tem elemento neutro: a funo 0 definida por 0(x) = 0, para
todo x A (a funo 0 chamada identicamente nula); o elemento simtrico de uma funo f F(A) a
funo -f definida por (-f)(x) = -f(x). A associatividade e a existncia de elemento neutro da composio
foram discutidas na seo 1.12. Porm a composio no distributiva em relao adio: sejam as
funes f, g e IZ, de Z em Z, dadas por f(x) = x2, g(x) = 1 e IZ(x) = x. Temos (f o (g + IZ))(x) =
= f((g + IZ)(x)) = f(g(x) + IZ(x)) = f(1 + x) = (1 + x)2 e (f o g + f o IZ)(x) = (f o g)(x) + (f o IZ)(x) =
= f(g(x)) + (f(IZ(x)) = f(1) + f(x) = 1 + x, e, portanto, f o (g + IZ) f o g + f o IZ.
3.14. De z < 0 segue -z > 0 e, ento, pela proposio 3.1, -z 1 e, assim, z -1.
 12
Introduo lgebra Abstrata
(solues dos exerccios)
3.15. Observao:
Aproveitando a oportunidade, retificamos o enunciado do item d da proposio 3.3, onde h o
engano destacado em negrito, engano este que no ocorre na demonstrao: |z| y se e somente se
-y z y.
a) A segunda desigualdade a desigualdade triangular apresentada no item e da proposio 3.3. Para a
primeira, temos |z| = |z + y - y| |z + y| + |-y| e, ento, |z| - |y| |z + y|, j que |-y| = |y|. Do mesmo modo, |y|
= |y + z - z| |z + y| + |-z| e, assim, |z| - |y| -|z + y|. Da, pelo item d da proposio 3.3 (com a correo
observada acima), ||z| - |y|| |z + y|.
b) Para a segunda desigualdade, temos |z - y| = |z + (-y)| |z| + |-y| = |z| + |y|. Para a primeira,
|z| = |z + y - y| |z - y| + |y| e, ento, |z| - |y| |z - y|, j que |-y| = |y|. Do mesmo modo,
|y| = |y + z - z| |-z + y| + |z| e, assim, |z| - |y| -|z - y|, j que |-z + y| = |z - y|. Da, pelo item d da proposio
3.3 (com a correo observada acima), ||z| - |y|| |z - y|.
3.16. a) Fixemos m e faamos uma induo sobre n. Para n = 0 temos am . a0 = am . 1 = am = am+0, e a
afirmao verdadeira. Suponhamos que am . an = am+n e provemos que am . an+1 = am+n+1. Temos
am . an+1 = am . (a . an) (definio de potncia)
am . an+1 = (am . an) . a (comutatividade/associatividade)
am . an+1 = am+n . a (hiptese indutiva)
m n+1 m+n+1
a .a =a (definio de potncia)
b) Como acima, fixemos m e faamos uma induo sobre n. Para n = 0 temos (am)0 = 1 = a0 = am.0, e a
afirmao verdadeira. Suponhamos que (am)n = am.n e provemos que (am)n+1 = am.n+m. Temos
(am)n+1 = am . (am)n (definio de potncia)
m n+1 m m. n
(a ) = a . (a ) (hiptese indutiva)
(am)n+1 = am.n+m (item a)
c) Faamos uma induo sobre m. Para m = 0, (a . b)0 = 1 = 1 . 1 = a0 . b0 e a afirmao verdadeira.
Suponhamos que (a . b)m = am . bm e provemos que (a . b)m+1 = am+1 . bm+1. Temos
(a . b)m+1 = (a . b) . (a . b)m (definio de potncia)
m+1 m m
(a . b) = (a . b) . (a . b ) (hiptese indutiva)
(a . b)m+1 = (a . am) . (b . bm) (associatividade/comutatividade)
m+1 m+1 m+1
(a . b) =a .b (definio de potncia)
3.17 a) Se 0 a b, como a2 0, temos 0 a . a2 b . a2 b . b2. Se a < 0 e b > 0, temos a3 < 0 e b3 > 0 e ,
ento, a3 b3. Finalmente, se a b < 0, temos 0 < -b -a e, ento, pela primeira parte, (-b)3 (-a)3 e,
portanto, a3 b3.
b) De forma semelhante ao item anterior, temos que se a < b, ento a7 < b7.
c) Se a . b 0, ento -(a . b) 0 e a compatibilidade de com a soma garante que a2 - a . b + b2 0, j
que a2 + b2 0. Se a . b > 0, como (a - b)2 0, temos a2 2 . a . b + b2 0, a2 - a . b + b2 a .b e
a2 - a . b + b2 > 0, por transitividade.
d) Suponhamos inicialmente que m > n e provemos que am > an. De m > n segue que
m - n = p, com p > 0. Assim, m = n + p e ap > 1, j que a > 1. Ento, am = an+p = an . ap e, portanto,
am > an, j que ap > 1. Reciprocamente, suponhamos que am > an e provemos que m > n. Suponhamos por
 13
Introduo lgebra Abstrata
(solues dos exerccios)
absurdo que m n. Se m = n, am = an, contrariando a hiptese e se m < n, pela demonstrao anterior, am <
an, contrariando, mais uma vez, a hiptese.
z 2. w z
3.18. Seja x . Assim, 2 . x = z + 2 . w e z = 2 . (x - w) o que mostra que x w . Da,
2 2
z
x w.
2
1 . (1 1)
3.19. Induo sobre z. Se z = 1, 1 = e a igualdade verdadeira. Suponhamos que 1 + 2 + ... + z =
2
z . ( z 1) ( z 1) . ( z 2)
e provemos que 1 + 2 + ... + z + (z + 1) = . Temos 1 + 2 + ... + z + (z + 1) =
2 2
z . ( z 1) z . ( z 1) 2 . ( z 1) ( z 1) . ( z 2)
+ (z + 1) = .
2 2 2
3.20. Realizemos uma induo sobre n. Para n = 1, A e B possuiro apenas um elemento e, trivialmente, s
existe uma funo de A em B e esta bijetiva. Como 1! = 1, temos que a afirmao verdadeira para
n = 1. Suponhamos que se |A| = |B| = n, ento o nmero de bijees de A em B n! e provemos que se
|A| = |B| = n + 1, ento o nmero de bijees de A em B (n + 1)!. Seja ento dois conjuntos
A = {x1, x2, ..., xn+1} e B = {y1, y2, ..., yn+1} e considere os conjuntos C = A - {xn+1} e D = B - {yn+1}. Assim,
|C| = |D| = n e, ento, pela hiptese de induo, o nmero de funes bijetivas de C em D n!. Agora a
cada funo bijetiva f de C em D correspondero n + 1 funes bijetivas de A em B, a saber:
yn 1 , se j i e j n 1

gi ( x j ) f ( xi ), se j n 1
f ( x ), se j i e j n 1
j

Assim, o nmero de funes bijetivas de A em B (n + 1) . n! = (n + 1)!.

3.21. Provemos por induo sobre n.
i) Para n = 1 temos (1 + z)1 = 1 + z = 1 + 1 . z e a afirmao verdadeira.
ii) Suponhamos que (1 + z)n 1 + n . z e provemos que (1 + z)n+1 1 + (n + 1) . z.
Como z > -1, z + 1 > 0 e, ento, aplicando a compatibilidade com a multiplicao hiptese
indutiva (1 + z)n . (z +1) (1 + n . z) . (1 + z). Da, (1 + z)n+1 1 + (n + 1) . z + n . z2 1 + (n + 1) . z,
sendo esta ltima desigualdade obtida da compatibilidade com a adio aplicada a n . z2 0.
3.22. Provemos por induo sobre n.
i) Para n = 0, A = , P(A) = {} e |P(A)| = 1 = 20.
ii) Suponhamos agora que se |A| = n, ento |P(A)| = 2n e provemos que se |A| = n + 1, ento |P(A)| =
n+1
2 .
Seja A = {x1, ..., xn+1}. Evidentemente, os subconjuntos de A podem ser separados em
subconjuntos que no contm xn+1 e os subconjuntos que contm este elemento. Os primeiros so
subconjuntos do conjunto B = A - {xn+1} e, como |B| = n, eles so em nmero de 2n subconjuntos.
Evidentemente, os subconjuntos que contm xn+1 so da forma S {xn+1}, onde S subconjunto de B, e,
portanto, so tambm em nmero de 2n. Assim, |P(A)| = 2n +2n = 2 . 2n = 2n+1.
3.23. Fixemos m e provemos, por induo sobre n, que a afirmao verdadeira para todo n 0.
i) Para n = 0, (m . 0)(a . b) = 0(a . b) = 0 = (ma) . (0b), e a afirmao verdadeira.
 14
Introduo lgebra Abstrata
(solues dos exerccios)
ii) Suponhamos que (m . n)(a . b) = (ma) . (na) e provemos que (m . (n+1))(a . b) = (ma) .
((n+1)b).
Temos
(m . (n+1))(a . b) = (m . n + m)(a . b) (distributividade nos inteiros)
(m . (n+1))(a . b) = (m . n)(a . b) + m(a . b) (proposio 3.8, item b)
(m . (n+1))(a . b) = (ma) . (nb) + m(a . b) (hiptese indutiva)
(m . (n+1))(a . b) = (ma) . (nb) + (ma) . b (proposio 3.8, item e)
(m . (n+1))(a . b) = (ma) . (nb + b) (distributividade no anel)
(m . (n+1))(a . b) = (ma) . ((n+1)b) (proposio 3.8, item b).
Agora, se n < 0, temos que -n > 0 e (m . n)(a .b) = ((-m) . (-n))(a . b) = ((-m)a) . ((-n)b) = (-(ma)) . (-(ma))
= (ma) . (ma).
3.24. a) O deslocamento dos n discos da origem para o destino pode ser realizado em trs etapas:
(1) deslocamento dos n - 1 primeiros da origem para a haste auxiliar; (2) deslocamento do maior disco da
origem para o destino; (3) deslocamento dos n - 1 primeiros da haste auxiliar para o destino. Logo,
an = an-1 + 1 + an-1 = 2 . an-1 + 1.
c) Induo sobre n.
i) Para n = 1, a1 = 1 = 21 - 1 e afirmao verdadeira.
ii) Suponhamos que an = 2n - 1 e provemos que an+1 = 2n+ 1 - 1. Isto imediato pois, pelo item a,
an+1 = 2 . an + 1 = 2 . (2n - 1) + 1 = 2n+1 - 1.

Captulo 4
4.1. x := x + y;
y := x - y;
x := x - y;
4.2. A idia do algoritmo a seguir colocar na posio 1 o menor dos elementos e em seguida ordenar os
outros dois, utilizando o algoritmo Ordena dois nmeros. Se os nmeros dados forem armazenados nas
variveis a, b e c, para se colocar em a o menor dos elementos, s necessrio fazer alguma coisa se a for
maior do que b ou for maior do que c.

algoritmo Ordena trs nmeros

leia(a, b, c);
se a > b ou a > c
ento
se b > c
ento
a := a + c;
c := a - c;
a := a - c;
seno
a := a + b;
b := a - b;
a := a - b;
se b > c
 15
Introduo lgebra Abstrata
(solues dos exerccios)
ento
b := b + c;
c := b - c;
b := b - c;

4.3. algoritmo Verifica quadrado perfeito

leia(z);
i := 1;
repita enquanto i . i z e i < z
i := i + 1;
se i . i = z
ento
escreva('o nmero dado quadrado perfeito')
seno
escreva('o nmero dado no quadrado perfeito')
4.4 algoritmo Maior de trs nmeros
leia(a, b, c);
se a > b e a > c
ento
maior := a
seno
se b > c
ento
maior := b
seno
maior := c;
escreva(maior)

Captulo 5
a z.a a
5.1 a) Sejam q ' e q' ' . Assim, a = b . q' e z . a = b . q". Alm disto, z . z . q ' .
b b b
Substituindo a = b . q' em z . a = b . q", temos z . b . q' = b . q" e, ento, como b 0, z . q' = q". Da,
a z.a
z. .
b b
a a
b) Se q , ento a = b . q e, assim, b . b . q a .
b b
5.2. Para o quociente e o resto de um diviso a b, basta encontrar q e r tais que a = b . q + r, com
0 r < |r|.
a) Como 7 = 0 . 12 + 7 e 0 7 < 12, temos q(7, 12) = 0 e r(7, 12) = 7.
b) Como -25 = (-5) . 6 + 5 e 0 5 < 6, temos q(-25, 6) = -5 e r(-25, 5) = 5.
c) Como 32 = (-5) . (-6) + 2 e 0 2 < |-6|, temos q(32, -6) = -5 e r(32, -6) = 2.
d) Como -37 = 6 . (-7) + 5 e 0 5 < |-7|, temos q(-37, -7) = 6 e r(-37, -7) = 5
5.3 a) Devemos encontrar a = (-b) . q + r, tal que 0 r < |b|. De a = b . q + r, 0 r < |b|, segue que
a = (-b) . (-q) + r, 0 r < |b| e, portanto, q(a, -b) = -q e r(a, -b) = r.
 16
Introduo lgebra Abstrata
(solues dos exerccios)
b) De a = b . q + r, 0 r < |b|, segue que -a = (-b) . q - r, 0 r < |b| e, portanto, -a = (-b). q - r + b - b,
de onde resulta -a = (-b ) . (q + 1) + (b - r), com 0 b - r < |b|. Da, q(-a, -b) = q + 1 e r(-a, -b) = b - r.
c) De a = b . q + r, 0 r < |b|, segue que -a = b . (-q) - r, 0 r < |b| e, portanto, -a = b . (-q) - r + b - b, de
onde resulta -a = b . (-q - 1) + (b - r), com 0 b - r < |b|. Dai', q(-a, b) = -q - 1 e r(a, -b) = b - r.
5.4. De a = b . q + r, 0 r < |b| e a' = b . q' + r', 0 r' < |b|, segue que a + a' = b . (q + q') + (r + r'), com
0 r + r'< 2 . |b|. Se r + r' < |b|, q(a + a', b) = q + q' e r(a + a', b) = r + r'. Se |b| r + r' < 2 . |b| fazemos
a + a' = b . (q + q') + (r + r') + b - b = b . (q + q' + 1) + (r + r' - b), o que mostra que, na hiptese acima,
q(a + a', b) = q + q' + 1 e r(a + a', b) = r + r' - b.
5.5. A afirmao de que todo inteiro da forma 2 . n ou da forma 2 . n + 1 segue imediatamente da diviso
euclidiana: z = 2 . q + r, com 0 r < 2, e, portanto r = 0 ou r = 1. Para os itens a, b, c e d, sejam dois
inteiros z e y.
a) Se z = 2 . n e y = 2 . m, ento z + y = 2 . (n + m), o que mostra que z + y par.
b) Se z = 2 . n + 1 e y = 2 . m + 1, ento z + y = 2 . (n + m) + 2, o que mostra que z + y par.
c) Se z = 2 . n, ento z . y = (2 . n) . y = 2 . (n . y), o que mostra que z . y par.
d) Se z = 2 . n + 1 e y = 2 . m + 1, ento z . y = (2 . n + 1) . (2 . m + 1) = 4 . m . n + 2 . ( m + n) + 1,
o que mostra que z . y mpar.
5.6 a) Se z par z2 tambm par e a soma de dois nmeros pares par. Se z mpar z2 tambm mpar e
a soma de dois nmeros mpares mpar.
b) Se z fosse mpar, pelo item b anterior, z2 seria mpar o que contrariaria a hiptese. Logo, z par.
5.7 Se m e n so mpares, ento existem inteiros t e u tais que m = 2 . t + 1 e n = 2 . u + 1. Da, m2 - n2 = =
(4 . t2 + 4 . t + 1) - (4 . u2 + 4 . u +1) = 4 . (t2 + t) - 4 . (u2 + u). Agora, pelo exerccio anterior, t2 + t e u2 + u
so pares e, portanto, t2 + t = 2 . p e u2 + u = 2 . r, para p e r inteiros. Da, m2 - n2 = 4 . (2 . p) - 4 . (2 . r) =
= 8 . (p - r).
5.8 a) Seja q = q(m, a). Assim, m = a . q + r, com 0 r < a. Agora, se 1 q' q, ento a . q' a . q e,
portanto, a . q' a . q + r, o que implica a . q' m. Logo {1, 2, ..., q} A. Alm disto, se q > q, ento
q A. De fato, se existisse q > q com q A, teramos a . q m, com q > q, a . q a . q + r, com q >
q, a . q < a . q + a (pois r < a), com q > q, a . q < a . (q + 1), com q > q, q < q + 1 (pois a 0), o que
um absurdo, pois esta ltima desigualdade gera q q, contrariando o fato q > q. Logo {1, 2, ..., q} = A e
|A| = q.
b) Sejam A = {z Z | 0 < z < m e a|z}, B = {z Z | 0 < z n e a|z} e C = {z Z | n < z < m e a|z}.
Naturalmente, C = A - B e, como B A, |C| = |A| - |B|. Pelo item anterior, |B| = q(n, a). Para |A|, temos de
analisar dois casos: se m no mltiplo de a, A = {z Z | 0 < z m e a|z} e |A| = q(m, a); se a|m,
A = {z Z | 0 < z m - 1 e a|z} e |A| = q(m - 1, a) = q(m, a) - 1. Logo, se m no mltiplo de a,
|C| = q(m, a) - q(n, a); caso contrrio, |C| = q(m, a) - q(n, a) - 1.
5.9. a) Para n = 1, a afirmao bvia. Vamos mostrar, por induo sobre n, que an - bn = (a - b) . (an-1 +
an-2 . b + ... + a . bn-2 + bn-1) para n 2.
Para n = 2, a2 b2 = (a - b) . (a + b) e a igualdade verdadeira. Suponhamos que an - bn = (a - b) .
(an-1 + an-2 . b + ... + a . bn-2 + bn-1) e provemos que an+1 - bn+1 = (a - b) . (an + an-1 . b + ... + a . bn-1 + bn).
Multiplicando a hiptese de induo por a, temos
an+1 = (a - b) . (an + an-1 . b + ... + a2 . bn-2 + a . bn-1) + bn . a
e subtraindo bn+1,
 17
Introduo lgebra Abstrata
(solues dos exerccios)
an+1 bn+1 = (a - b) . (an + an-1 . b + ... + a2 . bn-2 + a . bn-1) + bn . a bn+1,
que resulta em,
an+1 bn+1 = (a - b) . (an + an-1 . b + ... + a2 . bn-2 + a . bn-1) + bn . (a b).
Da, an+1 bn+1 = (a - b) . (an + an-1 . b + ... + a2 . bn-2 + a . bn-1 + bn).
b) Para n = 1, a afirmao bvia. Como n mpar positivo, existe um inteiro positivo ou nulo k tal que n
= 2 . k + 1. Vamos mostrar, por induo sobre k, que a2. k + 1 + b2 . k + 1 = (a + b) . (a2 . k - a2 . k - 1 . b + ... - a .
b2 . k - 1 + b2 . k) para todo k 1.
Para k = 1, a igualdade trivialmente verdadeira. Suponhamos ento que
k+1 k+1
a2. + b2 . = (a + b) . (a2 . k - a2 . k - 1 . b + ... - a . b2 . k - 1 + b2 . k)
e provemos que a2. (k + 1) + 1 + b2 . ( k + 1) + 1 = (a + b) . (a2 . (k + 1) - a2 . (k+1) - 1 . b + ... - a . b2 . (k + 1) - 1 + b2 . (k + 1)),
isto , provemos que a2. k + 3 + b2 . k + 3 = (a + b) . (a2 . k + 2 - a2 . k + 1 . b + ... - a . b2 . k + 1 + b2 . k + 2).
Multiplicando a hiptese de induo por a2 e, em seguida, somando b2 . k + 3, temos
k+3 k+3
a2. + b2 . = (a + b) . (a2 . k + 2 - a2 . k + 1 . b + ... - a3 . b2 . k - 1 + a2 . b2 . k) - a2 . b2 . k + 1 + b2 . k+3
,
k+3 k+3
o que d a2. + b2 . = (a + b) . (a2 . k + 2 - a2 . k + 1 . b + ... - a3 . b2 . k - 1 + a2 . b2 . k) + b2 . k + 1 . (b2 - a2).
k+3 k+3
Da, a2. + b2 . = (a + b) . (a2 . k + 2 - a2 . k + 1 . b + ... - a3 . b2 . k - 1 + a2 . b2 . k) + b2 . k + 1 . (b - a) . (b + a),
de onde resulta
k+3 k+3
a2. + b2 . = (a + b) . (a2 . k + 2 - a2 . k + 1 . b + ... - a3 . b2 . k - 1 + a2 . b2 . k + b2 . k + 2 - a . b2 . k + 1),
que a igualdade procurada.
c) Como n par positivo, existe um inteiro positivo k tal que n = 2 . k. Vamos mostrar, por induo sobre
k, que a2. k - b2 . k = (a + b) . (a2 . k - 1 - a2 . k - 2 . b + ... +a . b2 . k - 2 - b2 . k - 1).
Para k = 1, temos a2 - b2 = (a + b) . (a - b) que uma igualdade verdadeira. Suponhamos que
k
a2. - b2 . k = (a + b) . (a2 . k - 1 - a2 . k - 2 . b + ... +a . b2 . k - 2 - b2 . k - 1)
k+2 k+2
e provemos que a2. - b2 . = (a + b) . (a2 . k + 1 - a2 . k . b + ... +a . b2 . k - 2 - b2 . k + 1).
Multiplicando a hiptese de induo por a2 e, em seguida subtraindo b2 . k + 2, temos
k+2 k+2
a2. - b2 . = (a + b) . (a2 . k + 1 - a2 . k . b + ... +a . b2 . k - 2 - b2 . k + 1) + a2 . b2 . k - b2 . k+2
,
que resulta em
k+2 k+2
a2. - b2 . = (a + b) . (a2 . k + 1 - a2 . k . b + ... +a . b2 . k - 2 - b2 . k + 1) + (a + b) . (a - b) . b2 . k,
que, aplicando a distributividade no sentido contrrio, d igualdade procurada.
2 m r 1 2 n . q 1
5.10. Temos m = n . q + r e, portanto, m - r = n.q. Da, n inteiro (item a do exerccio
2n 1 2 1
anterior, com a = 2n e b = 1). Agora, aplicando o item b do exerccio 5.0,
2 m r 1
2 r . ( 2 n 1) . 2 r . ( 2 m r 1) 2 m 2 r
2 1
n

r 2 m r 1
e portanto 2 1 2 . n
m
. 2 n 1 2 r 1 . Resta mostrar que 0 2r - 1 < 2n - 1. A primeira
2 1
desigualdade segue do fato de que r 0 e a segunda segue da aplicao do exerccio 3.3, j que r < n.
5.11. Observao:
 18
Introduo lgebra Abstrata
(solues dos exerccios)
Observe que houve engano no enunciado ao no se exigir p 0.
Induo sobre n.
i) Para n = 1, p = 0 ou p = 1 e p! = 1.
ii) Suponhamos que para todo 0 p < n, p! divide n . (n -1) . (n - 2) . ... . (n - p + 1) e provemos
que para todo 0 p < n + 1, p! divide (n + 1) . n . (n -1) . (n - 2) . ... . (n - p + 2).
Se p = n, como (n + 1) . n . (n -1) . ... . (n - p + 2) = (n + 1) . n!, temos que p! divide a expresso.
Se p < n, basta observar que n + 1 = (n - p +1) + p, e, ento, (n + 1) . n . (n -1) . ... . (n - p + 2) = (n - p +
1) . n . (n -1) . ... . (n - p + 2) + p . n . (n -1) . ... . (n - p + 2). Agora, p! divide estas duas parcelas: a
primeira pela hiptese de induo e a segunda pelo fato de que, ainda pela hiptese de induo, (p - 1)!
divide n . (n -1) . (n - 2) . ... . (n - p + 2) e p! = p . (p - 1)!.
b) Temos que n! = n . (n -1) . (n - 2) . ... . (n - p + 1) . (n - p)! e a afirmao segue de imediato do item
anterior.

n n n 1
5.12. fcil provar que , quaisquer que sejam os inteiros positivos n e i, com i
i i 1 i 1
n. Esta relao conhecida como relao de Stifel e ser usada na induo sobre n a seguir.
Para n = 1, a afirmao trivialmente verdadeira. Suponhamos ento que
n n
( a b) n a n . a n1 . b ... . a n i . b i ... b n
1 i
e provemos que

n 1 n n 1 n 1i i
( a b) n 1 a n 1 . a . b ... .a . b ... b n 1 .
1 i
Temos que
n n
(a + b)n+1 = (a + b) . (a + b)n = (a + b) . (a n . a n 1 . b ... . a n i . b i ... b n )
1 i
e, portanto,

n n n 2 n 1 n
(a b) n 1 (a n 1 . a n . b . a n 1 . b 2 ... .a .b .a .b )
n

1 2 n 1 n
n n n 2 n 1 n
( . a n . b . a n 1 . b 2 ... .a .b
n 1
. a . b b ).
n

0 1 n 2 n 1
Da,

n n n n
(a b) n 1 a n 1 ( ) . a n . b ( ) . a n 1 . b 2 ...
1 0 2 1
n n n 1 n n n 1
( ) .a .b ( ) . a . b b ),
2 n

n 1 n 2 n n 1
de onde, com a aplicao da relao de Stifel, resulta a expresso procurada.
 19
Introduo lgebra Abstrata
(solues dos exerccios)

n n
5.13. Considerando que 1, basta aplicar a frmula do Binmio de Newton
0 n

n n
( a b) n a n . a n1 . b ... . a n i . b i ... b n , para o binmio (1 + 1)n.
1 i
5.14. Temos a5 = a . 10 + b e, assim, (a5)2 = (a . 10 + 5)2 = a2 . 100 + 100 . a + 25 = (a2 + a) . 100 + 25
= a . (a + 1) . 102 + 25 = a . (a + 1)25.
5.15. Devemos ter 54 = (105)b. Assim, 54 = 1 . b2 + 0 . b + 5, o que b2 - 49 = 0 e, portanto, b - 7 = 0 ou
b + 7 = 0. Da primeira, b = 7 e da segunda, b = -7. Como b > 1, temos b = 7.
5.16. Deveramos ter 24 = (108)b e, assim, 24 = 1 . b2 + 0 . b + 8, o que d b2 - 16 = 0. Da, b - 4 = 0 ou
b + 4 = 0. Logo, b = 4. Porm, 8 no um algarismo do sistema de numerao de base 4 e isto mostra que
no existe base b tal que 24 = (108)b.
5.17. Seja z o maior inteiro que no sistema binrio tem n dgitos. Assim z = (11...1)2, com n dgitos, e,
portanto, z = 2n-1 + 2n-2 + ... + 2 + 1. Porm, pela soluo do exerccio 5.9,
2n - 1n = (2 - 1) . (2n-1 + 2n-2 + ... + 2 + 1)
e, assim, z = 2n - 1.
5.18. Seja z = (anan-1...a1a0)3. Assim z = an . 3n + an-1 . 3n-1 + ... + a1 . 3 + a0 e, levando em conta as
propriedades apresentadas no exerccio 5.4, z par se o nmero de parcelas de valor mpar na expanso 3-
dica de z for par. Porm, considerando que 3i mpar qualquer que seja o inteiro positivo (ou nulo) i, a
parcela ai 3i mpar se e somente se ai = 1. Logo z = (anan-1...a1a0)3 par se e somente o nmero de dgito
iguais a 1 o for.
5.19. Vamos provar que todo inteiro z escreve-se de modo nico da forma z = 3 . s + t, com s {-1, 0, 1}.
Pela diviso euclidiana, z = 3 . q + r, com r = 0 ou r = 1 ou r = 2. Se r = 0 ou r = 1, basta tomar s = q e t =
r. Se z = 3 . q + 2, temos z = 3 . q + (-1) + 3 = 3 . (q + 1) 1 e, ento, basta tomar s = q + 1. Agora, com
demonstrao idntica demonstrao do teorema 2.5, pode-se provar que qualquer inteiro z escreve-se
da forma z = cn . 3n + cn-1 . 3n-1 + ... + c1 . 3 + c0, com c = -1 ou c = 0 ou c = 1. Assim, dada uma massa de z
gramas, escrevemos z como acima e colocamos no prato da balana que contm a massa os pesos
correspondentes aos coeficientes negativos e no outro prato os pesos correspondentes aos coeficientes
positivos.

Captulo 6
6.1. a) Aplicando o lema 1.6 e as propriedades do mximo divisor comum, temos
mdc(2 . n + 1, 3 . n +1) = mdc(2 . n + 1, (3 . n + 1) - 1 . (2 . n +1) = mdc(2 . n + 1, n) = mdc(n, (2 . n + 1) -
2 . n) = mdc(n, 1) = mdc(1, n - n . 1) = mdc(1, 0) = 1.
b) Como no item anterior, mdc(n! + 1, (n + 1)! + 1) = mdc(n! + 1, (n + 1)! + 1 - (n + 1) . (n! + 1)) =
mdc(n! + 1, -n) = mdc(n! + 1, n) = mdc(n, n! + 1 - n . (n - 1)!) = mdc(n, 1) = 1.
6.2. Pelo algoritmo de Euclides, temos
1 14 4 3 12
7 311 6 831 480 111 36 3
480 111 36 3 0
Assim, 3 = 111 - 3 . 36 = 111 - 3 . (480 - 4 . 111) = (-3) . 480 + 13. 111 e, portanto,
3 = (-3) . 480 + 13 . (6 831 - 14 . 480) = 13 . 6 831 -185 . 480. Substituindo, agora, o 480,
3 = 13 . 6 831 - 185 . (7 311 - 1 . 6 831) = (-185) . 7 311 + 198 . 6 831. Logo, os nmeros procurados so
m = 198 e n = -185.
 20
Introduo lgebra Abstrata
(solues dos exerccios)
6.3. Sejam d = mdc(a1, a2, ..., an), m = mdc(a1, a2) e k = mdc(m, a3, ..., an). Queremos mostrar que d = k. Da
primeira temos que d|a1, d|a2, ..., d|an e se um inteiro d' tal que d'|a1, d'|a2, ..., d'|an, ento d' d e da
segunda temos que k|m, k|a3, ..., k|an e se um inteiro k' tal que k'|m, k'|a3, ..., k'|an, ento k' k. Como m =
mdc(a1, a2), por um lado, k|a1 e k|a2 e, e ento k|a1, k|a2, ..., k|an o que mostra que k d. Por outro, como d|a1
e d|a2, d|m e, portanto, k|m, k|a3, ..., k|an o que mostra que d k. Por antissimetria da relao , temos d =
k.
z y
6.4. Sejam m e n . Assim, z = m . d e y = n . d. Como d = mdc(z, y), pelo algoritmo de Euclides,
d d
existem inteiros t e u tais que z . t + y . u = d e, ento, por substituio de z e y, temos
m . d . t + n . d . u = d. Assim, aplicando a lei do cancelamento, m . t + n . u = 1 e, portanto, pela
proposio 6.2, mdc(m, n)|1. Logo mdc(m, n) = 1.
6.5. Sejam d = mdc(a . b, c) e k = mdc(b, c). Por um lado temos que k|b e k|c. Da, k|(a . b), qualquer que
seja a, e, portanto, pela definio de mximo divisor comum, k|d. Assim k d. Por outro lado, d|(a . b) e
d|c. Se d = 1, existem inteiros t e u tais que (a . b) . t + c . u = 1 e, ento, existem inteiros (a . t) e u tais
que b . (a . t) + c . u = 1, o que mostra, como aplicao da proposio 6.2, que k = 1. Se d > 1, temos que,
como a e c so primos entre si, d e a so primos entre si. Como d|(a . b), a proposio 6.1 garante que d|b.
Assim d|b e d|c o que implica d|k e, portanto, d k.
6.6. Seja d = mdc(am, bn). Se d > 1, pela proposio 6.4, d tem um divisor primo p que, por conseqncia,
tambm divisor de am e de bn. Porem, como p primo, a propriedade fundamental dos nmeros primos
(proposio 6.3) garante que p divisor de a e de b, o que contraria a hiptese de que mdc(a, b) = 1.
6.7. Seja d = mdc(p, (p - 1)!). Ento d|p e d|(p - 1)!. Da primeira, levando em conta que p primo, segue
que d = 1 ou d = p. Se d = p, a aplicao da proposio 6.3 a d|(p - 1)!, implica p|1 ou p|2 ou ... p|(p - 1) o
que um absurdo. Logo d = 1.
6.8. Houve um erro grave no enunciado da questo em no se estabelecer que o mnimo mltiplo comum
de dois inteiros z e y o menor inteiro positivo que mltiplo de z e mltiplo de y.
y z
a) Sejam m = mmc(z, y) e d = mdc(z, y), t e u . Por um lado temos que de z|(z . t) e y|(u . y)
d d
z.y z.y
segue que z . t u . y mltiplo comum de z e y e, ento, m . Por outro lado, de
d d
z.y m z.y m z . y z . y z.y
z . e de y . segue que z e y o que implica d.
m y m z m m m
b) Seja m = mmc(z, y). Ento, existem t e u tais que m = z . t e m = y . u. Observe inicialmente que
mdc(t, u) = 1. De fato, se d = mdc(z, y) e d > 1, ento existem inteiros t' e u' tais que t = d . t' e u = d . u'.
Da, m = z . d . t' e m = y . d . u', o que implica z . d . t' = y . d . u', portanto, z . t' = y . u'. Assim, m' = z . t'
= y . u' mltiplo de z e de t e m' < m, o que contraria o fato de que m o mnimo mltiplo comum.
Agora, seja a = z . r e a = y . s. Multiplicando a primeira por m = y . u e a segunda por m = z . t obtemos a .
m = z . y . u . r e a . m = z . y . t . s que gera u . r = t . s. Da, t|(u . r) e, pela proposio 6.1, considerando
que mdc(t, u) =1, t|r. Logo existe um inteiro i tal que r = t . i. Agora, substituindo este valor em a = z . r
temos a = z . t . i e, portanto, a = m . i e m|a.

6.9. Seja a equao a . x + b . y = c, com a, b > 0. Como se quer solues positivas deve-se ter a . x > 0 e b
. y > 0. Ora, pela propriedade arquimediana dos inteiros, proposio 3.5, existem inteiro x 0 e y0 tais que a
. x0 > c e b . y0 > c o que implica a . x0 + b . y0 > 2 . c > c. Dai', se (x, y) soluo da equao x < x0 e y <
y0. Como queremos solues positivas, x {1, 2, ..., x0} e y {1, 2, ..., y0} e estes conjuntos so finitos.
6.10. Pelo exerccio 5.10,
 21
Introduo lgebra Abstrata
(solues dos exerccios)

a m - 1 = (a n - 1).q 1 + a r1 - 1, com m = n.t 1 + r1

a n - 1 = (a r1 - 1). q 2 + a r2 - 1, com n = r1 .t 2 + r2
a r1 - 1 = (a r2 - 1).q 3 + a r3 - 1, com r1 = r2 .t 2 + r3

.
.
.

e, pelo algoritmo de Euclides, existe i tal que ri+1 = 0 e ri = d = mdc(m, n). Quando isto acontece
a ri 1 1 0 , e ento, novamente pelo algoritmo de Euclides, mdc(am - 1, an - 1) = ad - 1.
6.11. Suponhamos que p, p + 2 e p + 4 sejam primos e p 3. Ento, pela diviso euclidiana,
p = 3 . q + 1 ou p = 3 . q + 2. Na primeira hiptese, p + 2 = 3 . q + 3 e, ento, 3|(p + 2). Na segunda,
p + 4 = 3 . q + 6 e 3|(p + 4). Logo p = 3.
6.12. Observemos inicialmente que, se z = 4 . n + 1 e y = 4 . m +1, com m e n inteiros, ento
z . y = 4 . (4 . m . n + m + n) + 1, o que mostra que produto de inteiros da forma 4 . n + 1 tambm da
forma 4 . n + 1. Agora, suponhamos que pk o maior primo da forma 4 . n + 3 e consideremos o nmero x
= 4 . (7 . 11 . ... . pK) + 3, onde A = {3, 7, 11, ..., pk} o conjunto de todos os primos da forma 4 . n + 3.
Seja x q1e1 . q 2e2 . ... . q ses a decomposio em fatores primos de x. Como x da forma 4 . n + 3, existe i
tal que qi da forma 4 . n + 3, pois, do contrrio, x seria, de acordo com a observao acima, da forma 4 .
n + 1. Se qi = 3, teramos, pelas proposies 5.3 e 6.3, que qi divide 4 ou algum outro elemento de A, pois
qi divide x. Mas isto seria um absurdo, pois o nico divisor de 4 2 e os elementos de A so primos. Se q i
A, pelas proposies citadas, qi|3, o que tambm um absurdo. Assim qi um primo da forma 4 . n +
3 e no pertence a A o que uma contradio, pois supomos que A era o conjunto de todos os primos da
forma 4 . n + 3. Logo no existe o maior primo desta forma e A, na verdade, infinito.
6.13. Seja f(x) = a . x2 + b . x + c, com a, b e c inteiros. Podemos supor que a > 0, pois do contrrio,
raciocinamos com a funo -f(x). Se para todo inteiro m, f(m) composto, a afirmao est verificada.
Seja, ento, m tal que f(m) = p, com p primo positivo, e considere um inteiro positivo h tal que (a . p) . h >
-b - 2 . a . m (a proposio 10.3 garante a existncia de h). Temos que
f(m + p . h) = a . (m + p . h)2 + b . (m + p . h) + c,
f(m + p . h) = (a . m2 + b . m + c) + p . (p . a . h2 + b . h + 2 . a . m . h),
f(m + p . h) = p + p . (p . a . h2 + b . h + 2 . a . m . h),
f(m + p . h) = p . (1 + p . a . h2 + b . h + 2 . a . m . h).
Agora, como h > 0 e a . p . h + b + 2 . a . m > 0, temos a . p . h2 + b . h + 2 . a . m . h > 0,
1 + a . p . h2 + b . h + 2 . a . m . h > 1 e, portanto, f(m + p . h) composto.
6.14. Vamos supor que n > m. Isto , vamos supor que n = m + x, com x > 0. Como
22
n 1

1 2 2 1 . 2 2 1 , temos que
n n

1 2
2 m x
1 . 2 1 2
2 m x 1
1 . 2
2 m x 1 2 m x 1 2 m x 2

m x 2
2 1 . 22 1 ...

2 1 . 2 1 . 2 1 . ... . 2 1 . 2 1,
m x 1 m x 2 m x 2 m m
2 2 2 2 2
 22
Introduo lgebra Abstrata
(solues dos exerccios)

e, portanto, 2 2 1 divisor de 2 2 1 . Da, existe um inteiro q tal que 2 2 1 = 2 2 1 . q e,

m n n
m


ento, 2 2 1 2 2 1 . q 2. Assim, se d = mdc(Fn, Fm), ento d|2 o que implica d = 2 ou d = 1.
n m

Como cada Fn mpar, d = 1.

Do fato de que mdc(Fn, Fm) = 1, segue que dois nmeros de Fermat quaisquer no possuem um
fator primo comum. Como, evidentemente, infinito o conjunto dos nmeros de Fermat, o conjuntos dos
nmeros primos tem que ser infinito para que cada um deles, pelo menos, seja fator de um nmero de
Fermat.
6.15 Como 32 + 42 = 52, temos que para todo inteiro positivo n, 32 . n2 + 42 . n2 = 52 . n2 e, portanto, (3 . n)2
+ (4 . n)2 = (5 . n)2, o que mostra que (3 . n, 4 . n, 5 . n) um trio pitagrico, qualquer que seja o inteiro
positivo m.

Captulo 7
7.1. Basta levar em conta que a relao "a e b possuem o mesmo nmero de divisores de equivalncia".
7.2 Considere o seguinte contra-exemplo:

18 12 , pois 18 e 12 possuem dois divisores primos 2 e 3

7 11 , pois 7 e 11 so primos
enquanto que

25 33 , pois 25 tem um divisor primo, 5, e 33 tem dois divisores primos, 3 e 11.

7.3. Sejam d1 = mdc(i, n) e d2 = mdc(j, n). De i j segue que n|(i - j) e, ento i - j = n . q, para algum
inteiro q. Da, como d1|i e d1|n, temos que d1|j e, portanto, d1 divisor comum de j e n. como d2 o maior
divisor comum de j e n temos que d1 d2. Com raciocnio idntico, mostra-se que d2 d1.
7.4. Tome n = 6 e a = 5. Temos mdc( 5, 6) = 1 e 56 -1 = 55 = 3125 5 mod 6.

7.5. Como pelo Pequeno Teorema de Fermat, ai . ap-i-1 = ap-1 1 mod p, temos que a
i 1
a p i 1 .

7.6. Temos que 102 0 mod 4 e, portanto, 10i 0 mod 4, para todo i 2. Sabemos que, se
a = anan-1...a1a0, ento
a = an . 10n + an-1 . 10n-1 + ... + a2 . 102 + a1 . 10 + a0.
Assim a 0 mod 4 se e somente se (a1 . 10 + a0) mod 4.
7.7. Pelo critrio de divisibilidade por nove, temos que se a = anan-1...a1a0, ento
a (an + an-1 + ... +a1 + a0) mod 9.
Da, 9|( a - (an + an-1 + ... +a1 + a0)).
7.8. a) Como p primo e 13 tambm primo, pelo Pequeno Teorema de Fermat, 13p-1 1 mod p. Logo
r(13p-1, p) = 1.
b) Pelo Pequeno Teorema de Fermat, 211-1 1 mod 11 e, ento, 210 1 mod 11. Por potenciao de
congruncias, 2100 1 mod 11 e, por conseguinte, r(2100, 11) = 1.
c) Pelo Pequeno Teorema de Fermat, temos 710 1 mod 11 e, ento, 71000 1 mod 11. Multiplicando
por 7, 71001 7 mod 11 e, portanto, r(71001, 11) = 7.
 23
Introduo lgebra Abstrata
(solues dos exerccios)
d) Temos 56 1 mod 7 e, portanto, 518 1 mod 7. Como 52 4 mod 7, temos que, multiplicando as
duas congruncias, 520 4 mod 7 e r(520, 7) = 4.
e) Temos 430 = 418 . 412 412 mod 19, pois 18 = 19 - 1, 19 primo e mdc(4, 19) = 1, o que garante que
418 1 mod 19. Agora, 49 = 218 1 mod 19 e 42 (-3) mod 19 e, assim, 412 = 49 . 42 . 4 (-12) mod 19
7 mod 19. Logo r(430, 19) = 7.
f) Temos que 6 (-1) mod 7 e, ento, 611 (-1) mod 7. Como 9 2 mod 7, temos, por multiplicao,
9 . 611 (-2) mod 7 5 mod 7
e, por conseguinte, o resto procurado 5.
7.11. Temos 24 (-1) mod 17 e, portanto, 28 1 mod 17. Por outro lado, para 4 < i < 8,
2i = 24 . 2i-4 (-2i-4) mod 17 (17 - 2i-4) mod 17
e 17 - 2i-4 > 1. Logo i = 8.
7.10. Vamos realizar uma induo sobre n
i) Para n = 1, temos que 15 = 1 1 mod 10.
ii) Suponhamos que n5 n mod 10 e provemos que (n + 1)5 (n + 1) mod 10.
Temos, pela frmula do Binmio de Newton
(n + 1)5 = n5 + 5 . n4 + 10 . n3 + 10 . n2 + 5 . n + 1
o que implica
(n + 1)5 - 1 = n5 + 5 . (n4 + n) + 10 . (n3 + n2).
Porm,
n5 n mod 10 (pela hiptese de induo)
5 . (n4 + n) 0 mod 10 (n4 + n sempre par)
10 . (n3 + n2) 0 mod 10 (evidente),
e somando estas congruncias, temos (n + 1)5 - 1 n mod 10, o que implica o que queramos.
7.11. Se n par, ento n = 2 . k, para algum inteiro k, e, portanto, n2 = 4 . k2. Assim, 4|n . Se n mpar, n =
2 . k + 1, para algum inteiro k, e, portanto, n2 = 4 . k2 + 4 . k + 1 = 4. (k2 + 1) + 1. Assim, r(n2, 4) = 1.

7.12. Como p primo, mdc(i, p) = 1, para todos i = 1, 2, ..., p-1. Da, pela proposio 7.7, 1, 2, ... , p 1

so inversveis em Zp. Do fato de que 1 1

1 e p 1 1 , o que implica p 1
1
p 1 , segue
que no conjunto 2, 3, ... , p 2 esto os inversos destes prprios elementos. Assim,
1 . 2 . ... p 2 . p 1 1 . p 1 1 e, portanto, ( p 1)! 1 e (p - 1)! (-1) mod p.
7.13. Como n composto, pela proposio 5.6, n = p . y, com p primo e 2 y < n. Se y p, p e y so
fatores de (n - 1)! e isto garante que n | (n - 1)!. Se y = p e n > 4, temos p > 2 o que implica 2 . p < p . p,
ou seja, 2 . p < n. Assim, p e 2 . p so fatores de (n - 1)! e, como n = p . p, mais uma vez,
n | (n - 1)!. Observe que este exerccio mostra que a primalidade de p indispensvel para o teorema de
Wilson.
7.14. Seja d = mdc(u, v). Ento pelo algoritmo de Euclides, existem inteiros x e y tais que u . x + v . y = d.
Agora, de au 1 mod n segue, pela proposio 7.3, au . x 1x mod n e de av 1 mod n segue, pela mesma
 24
Introduo lgebra Abstrata
(solues dos exerccios)
proposio, av . y 1y mod n. Da, aplicando o item b da proposio citada, au . x . av . y = 1 . 1 mod n e,
ento, au . x + y . v 1 mod n.
7.15. Pelo modelo equiprobabilstico de probabilidade, basta determinar o nmero de elementos no
x
inversveis de Zn. Se este nmero for indicado por x, a probabilidade procurada . Naturalmente,
n
x = n - (n) = n - (p . q) = n - (p - 1) . (q - 1), onde esta ltima igualdade foi obtida atravs das
aplicaes sucessivas das proposies 7.10 e 7.8. Assim, x = n - p . q + p + q - 1 e ento, como
p q 1 p q 1 1 1 1
n = p . q, x = p + q - 1. Da, a probabilidade pedida .
n p .q q p p .q
7.16. a) De 5 . x + 7 10 mod 15 segue que 15 | (5 . x + 7 - 10) e, portanto, existe um inteiro t tal que
5 . x - 3 = 15 . t. Da, 5 . x - 15 . t = 3. Como mdc(5, 15) = 5, pois 5 | 15, e 5 no divide 3, a proposio 7.8
garante que a congruncia no tem soluo.
b) De 3 . x - 4 0 mod 4 segue que 4 | (3 . x - 4) e, portanto, existe um inteiro t tal que 3 . x - 4 = 4 . t o
que implica 3 . x + 4 . t = 4. Como 1 = 4 - 3 . 1, temos que 4 = 3 . (-4) + 4 . 4 e, ento, x = -4 uma
soluo da congruncia dada.
7.17. Temos que 19 2 mod 17 e, portanto, 194 24 mod 17. Como 24 = 16 e 16 (-1) mod 17, temos que
194 (-1) mod 17. Da, (194)2 (-1)2 mod 17 e, ento, para todo inteiro positivo n, 198 . n 1 mod 17.
7.18. Naturalmente, o algarismo das unidades de um inteiro n igual ao resto da diviso de n por 10. Como
32 = 9 (-1) mod 10, (32)61 (-1)61 mod 10 (-1) mod 10. Como (-1) 9 mod 10, temos que 3122 9 mod
10 e o algarismo das unidades de 3122 9.
7.19. Observao:
Houve um pequeno engano no enunciado da questo. Na verdade da forma em que est enunciada
a questo no tem soluo. Destacando o engano do enunciado, este seria: Determine o menor inteiro
positivo mltiplo de nove ... .
Precisamos resolver o sistema
x 1 mod 2
x 1 mod 5
x 1 mod 7
e depois considerar que x deve ser mltiplo de 9. Da primeira congruncia, temos x = 2 . t + 1, para algum
inteiro t, e, substituindo este valor na segunda, obtemos 2 . t + 1 1 mod 5 e, portanto, 2 . t 0 mod 5.
Como mdc(2, 5), pela proposio 7.4, t 0 mod 5 e, portanto, t = 5 . u, para algum inteiro u. Substituindo t
em x = 2 . t + 1, obtemos x = 10 . u + 1. Agora, substituindo x na terceira congruncia,
10 . u + 1 1 mod 7, de onde resulta 10 . u 0 mod 7. Mais uma vez pela proposio 7.4, como
mdc(10, 7) = 1, obtemos u 0 mod 7 e, ento, u = 7 . v, para algum inteiro v. Segue ento, substituindo u
em x = 10 . u + 1, que x = 70 . v + 1. Como x deve ser mltiplo de nove, existe y tal que
x = 9 . y, e chegamos a equao diofantina 9 . y - 70 . v = 1. Para resolv-la, temos, aplicando o algoritmo
de Euclides
7 1 2
70 9 7 2
7 2 1
e, portanto,
1 = 7 - 3 .2 = 7 - 3 . (9 - 1 . 7) = (-3) . 9 + 4 . 7 = (-3 . 9) + 4 . (70 - 7 . 9) = (-31) . 9 + 4 . 70.
 25
Introduo lgebra Abstrata
(solues dos exerccios)

Da, y = -31. Como para este valor de y, x negativo, consideramos em Z70, y 70 31 39 e, assim, x
= 9 . 39 = 351.
7.20. Precisamos resolver o sistema
x 2 mod 3
x 3 mod 5
x 4 mod 7
Da primeira congruncia, x = 3 . t + 2, para algum inteiro t e, substituindo este valor na segunda,
3 . t + 2 3 mod 5 o que d 3 . t 1 mod 5. Como, em Z5, 3 2 , temos t 2 mod 5. Da, t = 5 . u + 2,
para algum inteiro u. Substituindo t em x = 3 . t + 2, obtemos x = 15 . u + 8. Assim, a terceira congruncia
fica 15 . u + 8 4 mod 7 que se transforma em 15 . u (-4) mod 7 ou 15 . u 3 mod 7. Como, em Z7,
15 1 , obtemos u 3 mod 7. Da, u = 7 . v + 3, para algum inteiro v, cuja substituio em x = 15 . u + 8
gera a equao x = 105 . v + 53. Como queremos o menor inteiro positivo, tomamos v = 0 e, assim,
x = 53.
7.21 a) Como 625 = 54, pela proposio 7.9, (54) = 4 . 53 = 500.
b) (8!) = (2 . 3 . 22 . 5 . (2. 3) . 7 . 23) = 1 . 2 . 2 . 4 . (1 . 2) . 6 . 4 = 768
c) Como 5 900 = 22 . 52 . 59, temos, pelo corolrio 4.7,
(5 900) = 22 - 1 . 52 - 1 . (2 - 1) . (5 - 1) . (59 - 1) = 2 320.
7.22. a) Como 10 = 11 - 1 e 11 primo, temos, pela proposio 8.7, n = 11.
b) Seja n = p1e1 . ... . pkek a decomposio de n em fatores primos. Assim, pelo corolrio 4.7,

p1e1 1 . ... . pkee 1 . ( p1 1) . ... . ( pk 1) 14

e, como 14 = 2 . 7, devemos ter p1 = 2, e1 = 2 e existir algum inteiro positivo i tal que pr = 7 e er = 2. Mas,
deste modo, necessitamos do fator 7 - 1 = 6. Logo, no existe n tal que (n) = 14.
7.23. Como m|n, se a decomposio em fatores primos de m for m = p1e1 . ... . pkek , ento a decomposio
em fatores primos de n ser da forma n = ( p1e1 ) f 1 . ... . ( pkek ) f k . pkek11 . ... . prer . Assim, pelo corolrio 4.7,
m . n = p1e1 . f 1 e1 . ... . pkek . f k ek . pkek11 . ... . prer

(m . n) = p1e1 . f 1 e1 1 . ... . pkek . f k ek 1. pkek11 1 . ... . prer 1 . ( p1 1) . ... . ( pr 1)

ou
(m . n) = p1e1 . p1e1 . f 1 1 . ... . pkek . pkek . f k 1 . ( p1 1) . ... . ( pr 1)
ou, ainda,
(m . n) = ( p1e1 . ... . pkek ) . ( p1e1 . f 1 1 . ... . pkek . f k 1 . ( p1 1) . ... . ( pr 1))
que d (m . n) = m . (n).
 26
Introduo lgebra Abstrata
(solues dos exerccios)

Captulo 9
a c
9.1. a) De segue que a . d = b . c. Da, a . d + b . d = b . c + b . d e, portanto,
b d
a b cd
(a + b) . d = b . ( c + d), o que implica .
b d
a c
b) De segue que a . d = b . c. Da, 2 . a . d = 2 . b . c e, portanto, a . d - b . c = = -a . d + b . c.
b d
Assim, a . d - b . c + a . c - b . d = -a . d + b . c + a . c - b . d, o que implica (a - b) . (c + d) =
a b cd
= (a + b) . (c - d). Dai', .
bd cd
a c
c) De segue que a . d = b . c. Da, a . d - b . d = b . c - b . d e, portanto, (a - b) . d = (c - d) . b, o
b d
a b cd
que implica .
b d
a c
d) De segue que a . d = b . c. Da, a . d + c . d = b . c + c . d e, portanto, (a + c) . d = (b + d) . c, o
b d
ac c
que implica .
bd d
a c a b
e) De segue que a . d = b . c. Da, a . d = c . b e, portanto, .
b d c d
e1 ek
9.2. Seja z = p1 . ... . pk a decomposio do inteiro z em fatores primos. Como a equao x2 - z = 0 no
tem soluo em Z existe um inteiro i tal que ei mpar. Seja ento z = p1e1 . ... . piei . ... . p kek . Agora,
suponhamos que a equao x2 - z = 0 tem soluo em Q. Assim, existem inteiros a e b, com mdc(a, b) = 1,
a2
tais que 2 z . Da, a2 = z . b2 e, como pi|z, pi|a2. Segue ento da proposio 6.3, que pi|a. Assim
b
a = pi . x1, para algum inteiro x1 e, portanto, ( pi . x1 ) 2 ( p1e1 . ... . piei . ... . p kek ) . b 2 , o que implica
( x1 ) 2 ( p1e1 . ... . piei 2 . ... . p kek ) . b 2 . Logo, pi|(x1)2 e, ento, pi|x1. Portanto, x1 = pi . x2, para algum
inteiro x2, e, assim, ( pi . x 2 ) 2 ( p1e1 . ... . piei 2 . ... . p kek ) . b 2 , o que implica
ei 4
( x 2 ) ( p . ... . p
2 e1
1 . ... . p ) . b .
i
ek
k
2
Continuando este raciocnio, obteremos
( x ei 1 ) ( p1 . ... . pi . ... . p ) . b . Da, pi |(x ei 1 ) , o que implica pi | x ei 1 . Logo, x ei 1 pi . x ei ,
2 e1 2 ek
k
2

para algum inteiro x ei , e, ento, ( pi . x ei ) 2 ( p1e1 . ... . pi . ... . p kek ) . b 2 , que gera
pi . ( x ei ) ( p . ... . p ) . b . Assim, pi|b2 e, por conseguinte, pi|b. Mas isto uma contradio, pois
2 e1
1
ek
k
2

supomos mdc(a, b) = 1 e obtivemos pi|a e pi|b, com pi primo.

a a'
9.3. De segue que a . b' a' . b. Da, aplicando a compatibilidade com a multiplicao da relao
b b'
de ordem em Z e considerando que d2 > 0, a . b' . d2 a' . b . d2. Agora, aplicando a compatibilidade com a
adio em Z, a . b' . d2 + b . c . b' . d a' . b . d2 + b . c . b' . d. Assim, pela distributividade em Z,
 27
Introduo lgebra Abstrata
(solues dos exerccios)
a . d b c a ' . d b' . c
(a . d + b . c) . (b' . d) (a' . d + b' . c) . (b . d) e, por conseginte, . Da,
b.d b' . d
a c a' c
, como queramos.
b d b' d
p p'
9.4. Sejam a e b . Temos que a > b > 0 se e somente se p . q' > p' . q > 0 se e somente se
q q'
q' q
0 se e somente se b-1 > a-1 > 0.
p' p
9.5. Seja D um domnio de integridade finito. Precisamos mostrar que se a D e a 0, ento a
inversvel. Seja, ento, a D com a 0 e considere a funo de D em D definida por fa(x) = a . x. Pelo
item c do exerccio 2.9, fa injetora e, como D finito, o corolrio 3.6 garante que fa sobrejetora. Assim,
existe x0 D tal que fa(x0) = 1, o que d que existe x0 D tal que a . x0 = 1 e, portanto, a inversvel.
r1 r2 r1 r2 r1 r2 2 . r1 r2 r1
9.6. Seja r . Temos que r r1 r1 0 , sendo esta
2 2 2 2
ltima desigualdade decorrente de r1 r2 . Da, r r1 . Do mesmo modo,
r r r r
r2 r r2 1 2 2 1 0 , o que mostra que r r2 .
2 2
9.7. Suponhamos que S tem um elemento mnimo e. Assim, e > 0 e, ento, pelo exerccio anterior,
e
0 e . Da, e no elemento mnimo de S.
2