Académique Documents
Professionnel Documents
Culture Documents
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.
4
Introduo lgebra Abstrata
(solues dos exerccios)
b) Seja x A. Ento x CB(A) e, ento, como CB(A') CB(A), x CB(A'). Da, x A'.
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
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
QR
V
V
V
F
V
V
V
F
PQ
V
V
V
V
V
V
F
F
P (Q R) (P Q) R
V
V
V
V
V
V
V
V
V
V
V
V
V
V
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
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
R
V
F
V
F
V
F
V
F
QR
V
V
V
F
V
V
V
F
PQ
V
V
F
F
F
F
F
F
PR
V
F
V
F
F
F
F
F
P (Q R) (P Q) (P R)
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
5
Introduo lgebra Abstrata
(solues dos exerccios)
b)
P
V
V
V
V
F
F
F
F
Q
V
V
F
F
V
V
F
F
QR
V
F
F
F
V
F
F
F
R
V
F
V
F
V
F
V
F
PQ
V
V
V
V
V
V
F
F
PR
V
V
V
V
V
F
V
F
P (Q R)
V
V
V
V
V
F
F
F
(P Q) (P R)
V
V
V
V
V
F
F
F
1.9. a)
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
~Q
F
V
F
V
PQ
V
F
F
F
~(P Q)
F
V
V
V
(~P) (~Q)
F
V
V
V
b)
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
~Q
F
V
F
V
PQ
V
V
V
F
~(P Q)
F
F
F
V
(~P) (~Q)
F
F
F
V
1.10.
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
PQ
V
F
V
V
(~P) Q
V
F
V
V
1.11
P
V
V
F
F
Q
V
F
V
F
~P
F
F
V
V
~Q
F
V
F
V
1.12.
P
V
V
F
F
Q
V
F
V
F
C
F
F
F
F
~Q
F
V
F
V
PQ
V
F
V
V
(~Q) (~P)
V
F
V
V
P (~Q)
F
V
F
F
(P (~Q)) C
V
F
V
V
PQ
V
F
V
V
6
Introduo lgebra Abstrata
(solues dos exerccios)
7
Introduo lgebra Abstrata
(solues dos exerccios)
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.
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)
8
Introduo lgebra Abstrata
(solues dos exerccios)
9
Introduo lgebra Abstrata
(solues dos exerccios)
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.
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)
(a + b) . (a - b) = a . a + b . a + a . (-b) + b . (-b)
(a + b) . (a - b) = a . a + a . b - a .b - b . b
2
(AM)
(AM)
(M2 e proposio. 2.5)
(a + b) . (a - b) = a - b
(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)
(M2)
-1
-1
-1
-1
(a . b) . (a . b ) = ((a . a) . b) . b
(M1)
(definio de inverso)
(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 (M 2) 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 (M 4), a = 0
ou b - 1 = 0, o que d a = 0 ou b = 1.
10
Introduo lgebra Abstrata
(solues dos exerccios)
11
Introduo lgebra Abstrata
(solues dos exerccios)
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.
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 isomorfismo)
(f isomorfismo)
(g isomorfismo)
12
Introduo lgebra Abstrata
(solues dos exerccios)
n+1
n+1
a .a
a .a
(definio de potncia)
= (a . a ) . a
m+n
=a
(comutatividade/associatividade)
.a
(hiptese indutiva)
am . an+1 = am+n+1
(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)
(am)n+1 = am . (am.n)
(hiptese indutiva)
(am)n+1 = am.n+m
(item a)
0
(definio de potncia)
(hiptese indutiva)
(a . b)
m+1
(a . b)
m+1
= (a . a ) . (b . b )
=a
m+1
.b
m+1
(associatividade/comutatividade)
(definio de potncia)
13
Introduo lgebra Abstrata
(solues dos exerccios)
z 2. w
z
. Assim, 2 . x = z + 2 . w e z = 2 . (x - w) o que mostra que x w . Da,
2
2
z
w.
2
1 . (1 1)
e a igualdade verdadeira. Suponhamos que 1 + 2 + ... +
2
z . ( z 1)
( z 1) . ( z 2)
z=
e provemos que 1 + 2 + ... + z + (z + 1) =
. Temos 1 + 2 + ... + z + (z +
2
2
z . ( z 1)
z . ( z 1) 2 . ( z 1) ( z 1) . ( z 2)
1) =
+ (z + 1) =
.
2
2
2
3.19. Induo sobre z. Se z = 1, 1 =
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:
yn1, 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.
14
Introduo lgebra Abstrata
(solues dos exerccios)
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 2 n 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.
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)
(hiptese indutiva)
(distributividade no anel)
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;
15
Introduo lgebra Abstrata
(solues dos exerccios)
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
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)
16
Introduo lgebra Abstrata
(solues dos exerccios)
Captulo 5
a
z.a
a
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
5.1 a) Sejam q '
b) Se q
a
a
, 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.
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 z 2 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
17
Introduo lgebra Abstrata
(solues dos exerccios)
18
Introduo lgebra Abstrata
(solues dos exerccios)
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
a2. k - b2 . k = (a + b) . (a2 . k - 1 - a2 . k - 2 . b + ... +a . b2 . k - 2 - b2 . k - 1)
e provemos que a2. k + 2 - b2 . k + 2 = (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
a2. k + 2 - b2 . k + 2 = (a + b) . (a2 . k + 1 - a2 . k . b + ... +a . b2 . k - 2 - b2 . k + 1) + a2 . b2 . k - b2 . k + 2,
que resulta em
a2. k + 2 - b2 . k + 2 = (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.
5.10. Temos m = n . q + r e, portanto, m - r = n.q. Da,
2 m r 1 2 n . q 1
inteiro (item a do exerccio
n
2n 1
2 1
2 r . ( 2 n 1) .
2 m r 1
2 r . ( 2 m r 1) 2 m 2 r
2n 1
2 m r 1
. 2 n 1 2 r 1 . Resta mostrar que 0 2r - 1 < 2n - 1. A primeira
e portanto 2 m 1 2 r . n
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:
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.
19
Introduo lgebra Abstrata
(solues dos exerccios)
n n1
i 1 i1
e provemos que
n n n n1 n ni i n
(ab) a .ab. . .ab. . b
1 i
20
Introduo lgebra Abstrata
(solues dos exerccios)
n1 n1 n1 n n1 ni1 i n1
(ab) a .a b. .a .b . b
1 i
Temos que
(a + b)n+1 = (a + b) . (a + b)n = (a + b) .
e, portanto,
n n n1 n ni n
(a . a b . . a b . b )
1 i
21
Introduo lgebra Abstrata
(solues dos exerccios)
n1 n1 n n n n1 2 n 21n n n
(ab) (a .a b.a b. .a b .ab)
1 2 n1 n
n n n n1 2 n 21n n n 1
(.a b.a b. .a b .ab ).
0 1 n2 n1
22
Introduo lgebra Abstrata
(solues dos exerccios)
Da,
23
Introduo lgebra Abstrata
(solues dos exerccios)
n1 n1 n n n n1 2
(ab) a ( ).a b( ).a b.
1 0 2 1
n 21n n n 1
( ) . a b ( ) . a b ),
n1 2 n 1
24
Introduo lgebra Abstrata
(solues dos exerccios)
n n n n1 n ni i n
(ab) a .ab. . .ab. . b
1 i
n n
1
0 n
25
Introduo lgebra Abstrata
(solues dos exerccios)
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
7 311 6 831
480
111
14
480
36
4
111
3
3
36
0
12
3
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.
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.
y
z
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.4. Sejam m
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.
26
Introduo lgebra Abstrata
(solues dos exerccios)
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
m
m
z
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,
27
Introduo lgebra Abstrata
(solues dos exerccios)
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 q i 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
2 2 1 2 2 1 . 2 2 1 , temos que
n 1
22
m x
1 22
2 m x 1
m x 1
1 . 2
1 . 22
2 m x 2
m x 1
1 . 2
1 22
2 m x 2
m x 1
1 . 22
1 . ... . 2
2m
m x 2
1 . 2
1 ,
1 . 22
2m
m x 2
1 ...
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.
28
Introduo lgebra Abstrata
(solues dos exerccios)
a
i
a p i 1
7.6. Temos que 102 0 mod 4 e, portanto, 10 i 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, 13 p-1 1 mod p. Logo
r(13p-1, p) = 1.
b) Pelo Pequeno Teorema de Fermat, 2 11-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 7 10 1 mod 11 e, ento, 71000 1 mod 11. Multiplicando por
7, 71001 7 mod 11 e, portanto, r(71001, 11) = 7.
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
29
Introduo lgebra Abstrata
(solues dos exerccios)
5 . (n4 + n) 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
1
1
so inversveis em Zp. Do fato de que 1 1 e p 1 1 , o que implica p 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
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
n = p . q, x = p + q - 1. Da, a probabilidade pedida
p q 1 p q 1 1 1
1
.
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, 19 4 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
30
Introduo lgebra Abstrata
(solues dos exerccios)
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
70
7
7
9
2
1
7
1
2
2
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.
Da, y = -31. Como para este valor de y, x negativo, consideramos em Z70,
= 9 . 39 = 351.
y 70 31 39
e, assim, x
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 p 1 = 2, e1 = 2 e existir algum inteiro positivo i tal que p r = 7 e er = 2. Mas,
deste modo, necessitamos do fator 7 - 1 = 6. Logo, no existe n tal que (n) = 14.
31
Introduo lgebra Abstrata
(solues dos exerccios)
ou
(m . n) =
ou, ainda,
(m . n) =
que d (m . n) = m . (n).
Captulo 9
a
c
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
9.1. a) De
suponhamos que a equao x2 - z = 0 tem soluo em Q. Assim, existem inteiros a e b, com mdc(a, b) = 1,
tais que
a2
. Da, a2 = z . b2 e, como pi|z, pi|a2. Segue ento da proposio 6.3, que p i|a. Assim
2 z
b
( 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 ( x 2 ) 2 ( p1e1 . ... . piei 4 . ... . p kek ) . b 2 .
32
Introduo lgebra Abstrata
(solues dos exerccios)
pi | x ei 1 .
Logo,
x ei 1 pi . x ei ,
para
algum
inteiro
x ei ,
e,
ento,
( pi . x ei ) 2 ( p1e1 . ... . pi ..... p kek ) . b 2 , que gera pi . ( x ei ) 2 ( p1e1 . ... . p kek ) . b 2 . Assim, pi|b2 e, por
conseguinte, pi|b. Mas isto uma contradio, pois supomos mdc(a, b) = 1 e obtivemos pi|a e pi|b, com pi
primo.
a a'
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,
9.3. De
a . d b c a ' . d b' . c
. Da,
b.d
b' . d
a c a' c
, como queramos.
b d b' d
9.4. Sejam a
p
p'
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
r1 r2
r r
r r 2 . r1 r2 r1
. Temos que r r1 1 2 r1 1 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