Escolar Documentos
Profissional Documentos
Cultura Documentos
Jaime Evaristo
Mestre em Matemtica
Professor Adjunto
Instituto de Computao
Universidade Federal de Alagoas
Eduardo Perdigo
Doutor em Matemtica
Professor Aposentado
Instituto de Matemtica
Universidade Federal de Alagoas
Introduo lgebra
Abstrata
Segunda Edio
Formato Digital
Macei, fevereiro de 2011
Sumrio
Prefcio (da primeira edio)...............................................................................................................6
Prefcio (da atual edio).....................................................................................................................7
1. Conjuntos e Funes.........................................................................................................................8
1.1 Entes primitivos ........................................................................................................................8
1.2 Conjuntos ..................................................................................................................................8
1.3 Igualdade....................................................................................................................................8
1.4 Subconjuntos..............................................................................................................................9
1.5 Uma representao de conjuntos...............................................................................................9
1.6 As expresses se ento e se e somente se....................................................................10
1.7 Igualdade de conjuntos............................................................................................................10
1.8 Par ordenado e produto cartesiano...........................................................................................11
1.9 Relaes binrias.....................................................................................................................11
1.10 Funes..................................................................................................................................13
1.11 O Conjunto Vazio...................................................................................................................14
1.12 Operaes ..............................................................................................................................14
1.13 Operaes com predicados (operaes lgicas)....................................................................16
1.14 Operaes com conjuntos......................................................................................................18
1.15 Uma operao com funes...................................................................................................18
1.16 Funes inversveis................................................................................................................19
1.17 Exerccios...............................................................................................................................21
2. Os nmeros naturais.......................................................................................................................24
2.1 Axiomas, teorias axiomticas, objetos construdos axiomaticamente.....................................24
2.2 O conjunto dos nmeros naturais.............................................................................................24
2.3 Operaes no conjunto dos nmeros naturais..........................................................................25
2.4 Equaes no conjunto dos nmeros naturais...........................................................................28
2.5 Uma relao de ordem no conjunto dos nmeros naturais......................................................30
2.6 Conjuntos finitos......................................................................................................................31
2.7 Exerccios.................................................................................................................................33
3. Os nmeros inteiros........................................................................................................................35
3.1 Introduo................................................................................................................................35
3.2 Anis........................................................................................................................................35
3.3 Elementos inversveis..............................................................................................................40
3.4 Igualdade de anis: anis isomorfos .......................................................................................40
3.5 Domnios de integridade..........................................................................................................41
3.6 Anis ordenados.......................................................................................................................42
3.7 Domnios bem ordenados........................................................................................................43
3.8 O conjunto dos nmeros inteiros.............................................................................................44
3.9 Inversibilidade no domnio dos inteiros...................................................................................48
3.10 Sequncias estritamente decrescentes de inteiros .................................................................49
3.11 Os naturais e os inteiros.........................................................................................................50
3.12 Exerccios...............................................................................................................................50
4. Algoritmos......................................................................................................................................53
4.1 Introduo................................................................................................................................53
4.2 Exemplos.................................................................................................................................54
4.3 Exerccios.................................................................................................................................56
5. Representao dos nmeros inteiros: sistemas de numerao........................................................57
5.1 Introduo................................................................................................................................57
5.2 A relao b divide a..................................................................................................................57
5.3 Diviso euclidiana....................................................................................................................58
1. Conjuntos e Funes
1.1 Entes primitivos
Segundo o Dicionrio Aurlio, definir enunciar os atributos essenciais e especficos de
(uma coisa), de modo que a torne inconfundvel com outra. Para que o objetivo de uma definio
seja atingido, devem ser observados dois aspectos: uma definio s pode conter termos que foram
definidos previamente e uma definio de um objeto no pode conter um termo cuja definio
contenha referncia ao prprio objeto. Exemplos claros de definies que pecam em relao ao
segundo aspecto levantado so: um ponto a interseo de duas retas e uma reta um conjunto de
pontos. Com estas definies, para se entender o que um ponto seria necessrio saber o que era
uma reta e para compreender o que uma reta indispensvel se saber o que um ponto.
Em alguns livros de Matemtica do ensino mdio encontra-se a seguinte "definio" de
conjunto: conjunto uma coleo de objetos. O problema agora que esta "definio" d margem
seguinte pergunta: e o que uma coleo de objetos? A resposta no poderia ser conjunto pois
cairamos no outro problema.
Algumas cincias, como a Matemtica e a Fsica, necessitam considerar entes, relaes ou
grandezas que no so definidos, ditas ento entes primitivos, grandezas primitivas ou relaes
estabelecidas primitivamente. Por exemplo, ponto, reta e plano so entes primitivos da Geometria
Euclidiana enquanto que o tempo, a distncia e a massa so grandezas primitivas da Mecnica
Newtoniana.
Estabelecidos os entes primitivos de uma cincia, pode-se ento se definir novos objetos, e a
partir destes, definir-se novos outros objetos, e assim por diante. Por exemplo, a partir das
grandezas fsicas da Mecnica pode-se definir velocidade como o quociente entre a distncia
percorrida e o tempo gasto para percorr-la implicando no fato de que velocidade no uma
grandeza primitiva. A partir da grandeza fsica no primitiva velocidade e da grandeza primitiva
tempo pode-se definir acelerao como sendo a variao da velocidade na unidade de tempo.
1.2 Conjuntos
Em Matemtica, conjunto um ente primitivo e portanto no definido. Entendemos
conjunto como uma coleo de objetos, no sentido coloquial do termo. Os objetos que compem a
coleo que est sendo considerada um conjunto so chamados elementos do referido conjunto.
De um modo geral, conjuntos so representados por letras maisculas e seus elementos por
letras minsculas. Se A designa um conjunto e a um dos elementos, dizemos que a pertence a A,
isto sendo simbolizado por a A. Estabelecemos ento, tambm de forma primitiva, a relao de
pertinncia entre um conjunto e seus elementos. Naturalmente, se um objeto no est na coleo
que se est considerando como um conjunto dizemos que tal objeto no pertence ao tal conjunto,
sendo utilizado o smbolo para negar a relao de pertinncia.
Introduzido o conceito primitivo de conjunto podemos apresentar um exemplo de um objeto
da Matemtica que definido a partir dos entes primitivos ponto, reta, plano e conjunto e da
grandeza primitiva distncia: dados um plano , um ponto p pertencente a e um nmero real r, a
circunferncia de centro p, de raio r e contida no plano o conjunto dos pontos do plano
situados a uma distncia r do ponto p.
1.3 Igualdade
Na linguagem coloquial, dois objetos so ditos iguais quando so do mesmo tipo e tm a
mesma aparncia. No tem sentido se dizer que uma cadeira igual a um sof; se dito que duas
cadeiras so iguais elas so praticamente indistinguveis a uma simples espiada.
1.4 Subconjuntos
Sejam A e B dois conjuntos. Por definio, dizemos que o conjunto A subconjunto do
conjunto B se todo elemento de A tambm elemento de B. Quando isto acontece, escrevemos
A B, que lido A subconjunto de B ou A est contido em B. Neste caso, tambm podemos
escrever B A, que lido B contm A. A negao de A B indicada por A B e, evidentemente,
verdadeira se A possuir pelo menos um elemento que no pertena a B.
As seguintes afirmaes so claramente verdadeiras:
1. A A, qualquer que seja o conjunto A.
2. Se A B e B C ento A C, quaisquer que sejam os conjuntos A, B e C.
A afirmao 1 justificada pelo fato bvio de que todo elemento do conjunto A elemento do
conjunto A. A afirmao 2 se justifica com o seguinte argumento: de A B segue que todo elemento
de A elemento de B; porm, como B C, temos que todo elemento de B elemento de C. Logo,
todo elemento do conjunto A elemento do conjunto C, mostrando que A C. Qualquer argumento
que justifica a veracidade de uma afirmao matemtica chamado demonstrao daquela
afirmao.
Observe que se A e B so dois conjuntos tais que A B pode ocorrer que se tenha A = B.
Quando dois conjuntos A e B so tais que A B e A B, dizemos que A subconjunto prprio de B.
1.10 Funes
Estamos agora interessados em relaes entre dois conjuntos A e B em que cada elemento de
A esteja relacionado com um nico elemento de B. Uma relao que satisfaz a esta propriedade
chamada funo, definida formalmente como segue.
Sejam A e B dois conjuntos. Uma funo de A em B uma relao binria f entre A e B tal que
para cada x A existe um nico y B tal que (x, y) f. Assim, para que uma relao binria f entre
dois conjuntos A e B seja uma funo de A em B necessrio e suficiente que para todo x A exista
y B tal que (x, y) f e que se (x, y1) f e (x, y2) f ento y1 = y2.
Por exemplo, se A o conjunto das vogais e B o conjunto das consoantes, a relao entre A e
B dada por f = {(a, b), (e, f), (i, j), (o, p), (u, v)} uma funo de A em B. Por outro lado, se
A = {a, b, c}, a relao I = {(X, Y) (A)x(A)| X Y} no uma funo de (A) em (A) pois
({a}, {a, b}) I e ({a}, {a, c}) I e como {a, b} {a, c}, o elemento X = {a} estaria relacionado
com Y1 = {a, b} e Y2 = {a, c}.
Como j vimos fazendo, utilizaremos letras minsculas f, g, h, etc., para representar funes e
escreveremos y = f(x), para indicar que (x, y) f. Neste caso diremos que y a imagem do objeto x
pela funo f.
Se f uma funo de um conjunto A em um conjunto B, A chamado domnio e B chamado
contradomnio de f. O subconjunto do contradomnio cujos elementos so imagens de objetos
chamado imagem da funo, indicada por f(A).
Uma funo de A em B dada por y = f(x) pode ser indicada por
f:A B
x f(x).
Nesse caso, y = f(x) fixa a regra que ser utilizada para se associar um nico y B a cada
x A.
Nada impede que a regra que associa uma nica imagem a cada objeto seja constituda de
vrias sub-regras, de acordo com os diversos valores dos objetos. Por exemplo, se A o alfabeto
podemos definir a funo g de A em A por g(x) = a, se x = z e g(x) a letra sucessora de x se x z.
Num caso como este, pode-se utilizar expresses como caso contrrio, seno, em outra hiptese
para indicar as situaes em que a ltima sub-regra ser aplicada. Isto ser utilizado na seo 1.13.
importante verificar se uma pretensa definio define realmente uma funo, caso em que
se diz que a funo est bem definida. Naturalmente, para que uma funo f esteja bem definida
necessrio e suficiente que para todos os elementos k e j do domnio de f existam f(k) e f(j) e se
f(k) f(j), se tenha k j.
Como foi dito anteriormente, ao se estudar um novo objeto matemtico devemos estabelecer
quando dois destes objetos sero considerados iguais. Para funes temos a seguinte definio.
Duas funes f e g so iguais quando possuem os mesmos domnio e contradomnio e para todo
objeto x do domnio se tem f(x) = g(x). Isto significa que duas funes iguais so, na verdade, a
mesma funo.
Dois exemplos de funes que sero utilizadas em exemplos e demonstraes futuras so
apresentadas a seguir. Seja A um conjunto. A funo de A em A definida por I(x) = x chamada
funo identidade do conjunto A e simbolizada por IA.
Sejam A e B dois conjuntos, f uma funo de A em B e C um subconjunto de A. A funo
g : C B definida por g(x) = f(x) chamada de restrio de f ao subconjunto C e indicada por f/C.
Por exemplo, se A o conjunto das letras do alfabeto, g a funo de A em A que associa a cada
1.12 Operaes
Desde a nossa tenra idade, deparamo-nos com o aprender a realizar operaes: somar,
subtrair, multiplicar, etc. Nesta seo, o conceito de operaes ser formalizado.
Por definio, uma operao num conjunto A uma funo do produto cartesiano AxA no
prprio conjunto A. Por exemplo, no conjunto das vogais podemos definir a operao f dada pela
tabela a seguir, na qual o elemento da linha i e da coluna j fornece a imagem do par (i, j),
pq
q p
pq
( p q) ( q p)
o que mostra que a composio de funes associativa. Observe tambm que o exemplo anterior
mostra que a composio de funes no comutativa.
Se A e B so dois conjuntos representa-se por (A, B) o conjunto das funes de A em B. Se C
um terceiro conjunto, a operao composio de funes pode ser generalizada para se associar
a um par de funes (g, f) (A, B)x(B, C) uma funo de (A, C).
Se g uma funo de A em B e f uma funo de B em C, a composta das funes f e g a
funo f g de A em C definida por (f g)(x) = f(g(x)).
Observe que esta definio no atende plenamente o conceito de operao num conjunto dada
na seo 1.9, o que justifica as aspas utilizadas na palavra generalizada acima. De fato, f e g so
elementos de dois conjuntos distintos e f g elemento de um terceiro conjunto.
(e elemento neutro)
(y'' simtrico de x e, portanto, x # y'' = e)
(# associativa)
(y' simtrico de x, e, portanto, y' # x = e)
(e elemento neutro)
Assim, se um elemento x tem simtrico em relao a uma operao associativa, este simtrico
nico. Para algumas operaes, o simtrico do elemento x continua sendo chamado simtrico de x
e representado por -x. Para outras operaes, o simtrico dito inverso de x, caso em que
representado por x-1.
Como vimos na seo anterior, a composio de funes definida em (A) tem elemento
neutro IA. Vamos discutir em que condies uma funo f de (A) possui simtrico em relao
composio. Ou seja vamos discutir as condies em que dada uma funo f de (A) existe uma
funo g de (A) tal que f g = g f = IA . Como a composio de funes associativa, quando
esta funo g existe ela nica e chamada inversa da funo f, sendo representada por f -1. Nesse
caso, dizemos que f inversvel.
Por exemplo, se A o conjunto das vogais, a funo f (A), f = {(a, e), (e, i), (i, o), (o, u),
(u, a)} inversvel e f -1 = {(e, a), (i, e), (o, i), (u, o), (a, u)}. De fato,
(f f -1)(a) = f (f -1(a))= f(u) = a,
1.17 Exerccios
1.1. Verifique se cada uma das relaes abaixo, definidas no conjunto de habitantes da terra
(com os significados usuais da linguagem coloquial), reflexiva, simtrica ou transitiva.
a) x ama y.
b) x primo de y.
c) x chefe de y.
1.2 D um exemplo de uma relao binria definida no conjunto A = {a, b, c} que no seja
reflexiva, seja simtrica e transitiva e no seja total.
1.3 Apresente um contraexemplo que mostre que a afirmao se R uma relao simtrica e
transitiva, ento R reflexiva falsa.
1.4. Mostre que se p, q e r so predicados num conjunto A ento
a) p (q r) = (p q) (p r) (isto , a conjuno distributiva em relao
disjuno)
b) p (q r) = (p q) (p r) (isto , a disjuno distributiva em relao
conjuno)
1.5. A negao de um predicado p o predicado indicado por ~p tal que
(~p)(x) =
Observe que a negao uma funo de Pred(A) em Pred(A), associando um predicado em A
a outro predicado em A. Por analogia a uma operao, diz-se que a negao uma operao unria
em Pred(A). Mostre que
a) p (~p) = c (contradio)
b) p (~p) = t (tautologia).
1.6. Prove as leis de Morgan: se p e q so predicados num conjunto A ento
a) ~(p q) = (~p) (~q).
b) ~(p q) = (~p) (~q)
1.7. Sejam p e q predicados num conjunto A. Mostre que (p q) = (~p) q.
2. Os nmeros naturais
2.1 Axiomas,
axiomaticamente
teorias
axiomticas,
objetos
construdos
Vimos na seo 1.1 que alguns objetos matemticos so admitidos de forma primitiva, no
sendo definidos. Um conjunto um ente primitivo, enquanto que uma funo no o , sendo
definida como o foi na seo 1.10.
Uma outra forma de se conceber objetos matemticos se estabelecer propriedades s quais
aquele objeto deve satisfazer, independentemente de qualquer conceituao anterior. Neste caso,
tais propriedades so chamadas axiomas ou postulados e diz-se que tal objeto foi construdo
axiomaticamente.
Axiomas tambm so utilizados para o estabelecimento de teorias matemticas. Para tal,
objetos so concebidos de forma primitiva e se estabelecem as propriedades (os axiomas) a que
estes objetos devem satisfazer. Uma teoria assim obtida dita uma teoria axiomtica e o exemplo
mais conhecido a Geometria Euclidiana, que foi construda a partir dos entes primitivos ponto,
reta e plano e de axiomas (chamados Postulados de Euclides) como os seguintes:
(definio da multiplicao)
(hiptese indutiva)
(distributividade "ao contrrio")
(definio de multiplicao)
(definio de sucessor)
(associatividade da adio)
(hiptese indutiva)
(associatividade da adio)
(lema 1.2)
(associatividade da adio)
(definio de sucessor)
(definio de multiplicao)
(hiptese indutiva)
(n = n . 1 = 1 .n)
(demonstrao acima)
2.7 Exerccios
2.1. Defina uma funo sobrejetiva de em , diferente da funo identidade.
2.2. Considere o seguinte predicado definido em :
p(n) = V se n nmero pequeno.
Temos que p(1) = 1, pois 1 um numero pequeno. Alm disto, se p(n) = V, bvio que p(s(n))
= V, pois se n um nmero pequeno, ento n + 1 um nmero pequeno. Assim, pelo Princpio da
Induo, todo nmero natural pequeno. O que h de errado com esta demonstrao?.
2.3. Mostre que, quaisquer que sejam os naturais a e b,
a) 2 . a = a + a.
b) (a + b)2 = a2 + 2 . a . b + b2.
2.4. Mostre que a relao definida em x por (m, n) (p, q) se e somente se m + q = n + p
uma a relao de equivalncia.
2.5. Mostre que, qualquer que seja o natural n,
a) 1 + 3 + ... + (2 . n 1) = n2.
b) 2 + 4 + ... + 2 . n = n . (n + 1).
2.6. Em definamos a operao n m = n + m + n . m. Mostre que comutativa,
associativa e no possui elemento neutro.
2.7 Uma sequncia (ou uma sucesso) de elementos de um conjunto A uma funo do
conjunto dos nmeros naturais em A. Uma sequncia f de elementos de um conjunto A indicada
por (xn) = (x1, x2, x3, ..., xn, ...), onde xn = f(n). Neste caso, a expresso que identifica x n chamada
termo geral da sequncia.
a) Represente a sequncia de nmeros naturais cujo termo geral xn = 2 . n 1.
b) Sejam x1 e r dois nmeros naturais. A Progresso Aritmtica (PA) de primeiro termo
x1 e razo r a sequncia de nmeros naturais (x1, x2, x3, ) tal que xk + 1 = xk + r, qualquer que seja
o valor de k = 1, 2, 3, . Mostre que, nestas condies, o termo geral de uma PA dado por
xn = x1 + (n 1) . r.
2.8. Representemos por n m a soluo da equao solvel m + x = n e consideremos um
natural p. Mostre que
a) n m = (n + p) (m + p).
b) Se n m = p, ento n p = m.
c) (n m) . p = n . p m . p.
d) Se n = m + p, ento n p = m.
2.9. Sejam a, b, c, d . Mostre que
a) Se a + c b + c, ento a b.
b) Se a b e c d, ento a + c b + d.
c) Se a . c b . c, ento a b
2.10. Sejam a, b, c . Mostre que
a) Se a < b e b < c, ento a < c.
b) Se a < b e b c, ento a < c.
c) Se a < b, ento a + c < b + c.
3. Os nmeros inteiros
3.1 Introduo
No captulo anterior introduzimos a noo de equao no conjunto dos nmeros naturais
e vimos que uma equao n + x = m tem soluo se e somente se n < m. H situaes na prtica em
que necessitamos investigar uma equao do tipo n + x = m, com n > m. Um exemplo bem simples
o seguinte. Uma criana, cuja mesada administrada pela me, tem um saldo de R$ 5,00. Se ela
convence a me a comprar um sorvete que custa R$ 7,00, ela fica devendo (para ser descontado da
mesada do prximo ms) R$ 2,00. A questo : como expressar numericamente este dbito em
relao ao saldo da sua mesada? Para que possamos fazer isto necessrio "ampliarmos" o conjunto
dos nmeros naturais, obtendo ento o nosso velho conhecido conjunto dos nmeros inteiros.
A partir dos nmeros naturais, o conjunto dos inteiros pode ser construdo atravs de
definies. Vamos optar, por enquanto, em construir os inteiros tambm de forma axiomtica,
deixando o estabelecimento dos inteiros por definio para o captulo 8. Esta opo se deve ao fato
de que as definies necessrias, embora fceis, requerem uma maior maturidade matemtica.
Uma outra razo para construirmos os inteiros axiomaticamente que, nesta construo, o
Princpio da Induo Matemtica agora ser um teorema enquanto que o Princpio da Boa
Ordenao ser um axioma, ao contrrio da construo axiomtica dos nmeros naturais. Esta
mudana permitir uma nova maneira de ver as coisas.
Alm disso, a construo axiomtica dos inteiros requer o estudo de algumas estruturas
algbricas, que so tambm utilizadas em outros ramos da Matemtica. Uma estrutura algbrica
consiste de um conjunto munido de uma ou mais operaes que gozem de propriedades
preestabelecidas. Estudaremos os anis e outras estruturas algbricas "derivadas".
3.2 Anis
Um anel a estrutura algbrica que consiste de um conjunto A munido de duas operaes,
chamadas adio (operador: +, denominao: mais) e multiplicao (operador: . ou ,
denominao: vez(es)), que satisfazem s seguintes propriedades.
(A1) A adio associativa: a + (b + c) = (a + b) + c, quaisquer que sejam a, b, c A.
(A2) A adio comutativa: a + b = b + a, quaisquer que sejam a, b A.
(A3) A adio possui elemento neutro: existe e A tal que a + e = a, qualquer que seja a A.
(A4) Todo elemento possui simtrico em relao adio: para todo a A existe a A tal
que
a + a = e.
(M1) A multiplicao associativa: a . (b . c) = (a . b) . c, quaisquer que sejam a, b, c A.
(M2) A multiplicao comutativa: a . b = b . a, quaisquer que sejam a, b A.
(M3) A multiplicao possui elemento neutro: existe f A, f e, tal que a . f = a, qualquer
que seja a A.
(AM) A multiplicao distributiva em relao adio: a . (b + c) = a . b + a . c, quaisquer
que sejam a, b, c A.
Trs horas aps este instante o ponteiro estar sobre a marca das 2 horas;
Naturalmente, podemos expressar estes fatos atravs de uma operao definida no conjunto
I12 = {1, 2, 3, ..., 12} pondo
11 + 3 = 2
11 + 6 = 5
11 + 11 = 10
Imagine agora que o ponteiro das horas esteja sobre a marcao das doze horas. Decorrido
trs vezes o intervalo de tempo de sete horas, o ponteiro ocupar a marca das nove horas o que
justifica a igualdade 3 . 7 = 9.
Isto mostra que, de forma natural, pode-se definir uma adio e uma multiplicao em I 12 de
acordo com as seguintes tabelas, onde o elemento da linha i e da coluna j, representa i + j na
primeira e i . j na segunda.
+
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
1
1
2
3
4
5
6
7
8
9
10
11
12
2
2
4
6
8
10
12
2
4
6
8
10
12
3
3
6
9
12
3
6
9
12
3
6
9
12
4
4
8
12
4
8
12
4
8
12
4
8
12
1
2
3
4
5
6
7
8
9
10
11
12
Adio em I12
5
6
7
8
6
7
8
9
7
8
9
10
8
9
10
11
9
10
11
12
10
11
12
1
11
12
1
2
12
1
2
3
1
2
3
4
2
3
4
5
3
4
5
6
4
5
6
7
5
6
7
8
Multiplicao em I12
5
6
7
8
5
6
7
8
10
12
2
4
3
6
9
12
8
12
4
8
1
6
11
4
6
12
6
12
11
6
1
8
4
12
8
4
9
6
3
12
2
12
10
8
7
6
5
4
12
12
12
12
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
1
2
3
4
5
6
7
8
9
10
11
12
9
9
6
3
12
9
6
3
12
9
6
3
12
10
10
8
6
4
2
12
10
8
6
4
2
12
11
11
10
9
8
7
6
5
4
3
2
1
12
12
12
12
12
12
12
12
12
12
12
12
12
12
Naturalmente, o leitor est pensando que muito difcil executar estas operaes. No captulo
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
2
Adio em I7
3
4
5
4
5
6
5
6
7
6
7
1
7
1
2
1
2
3
2
3
4
3
4
5
6
7
1
2
3
4
5
6
7
1
2
3
4
5
6
7
1
1
2
3
4
5
6
7
2
2
4
6
1
3
5
7
Multiplicao em I7
3
4
5
6
3
4
5
6
6
1
3
5
2
5
1
4
5
2
6
3
1
6
4
2
4
3
2
1
7
7
7
7
7
7
7
7
7
7
7
7
1
2
3
4
5
6
7
(0 = 0 + 0)
(distributividade da multiplicao)
(observao anterior: se k + k = k, ento k = 0)
A prxima proposio estabelece o que, no futuro, poder ser visto como uma regra de
sinais.
Proposio 2.3
Seja A um anel. Para todos a, b A,
a) (-1) . a = -a.
b) (-a) . b = a . (-b) = -(a . b).
c) (-a) . (-b) = a . b.
Demonstrao:
a) Pelo conceito de elemento simtrico, basta provar que (-1) . a + a = 0. Temos
(-1) . a + a = (-1) . a + 1 . a
(-1) . a + a = ((-1) + 1) . a
(-1) . a + a = 0 . a
(-1) . a + a = 0,
(a = a . 1)
(colocando a em evidncia)
((-1) + 1 = 0)
(proposio anterior)
(definio)
(1D ~ 1D = 0D)
(hiptese de induo)
(comutatividade)
(base de induo).
(a + b) = -((~m) (a + b))
(a + b) = -(((-m) a) + ((-m) b))
(a + b) = -((~m) a) + (-((-m) b)
(a + b) = (m a) + (m b)
(definio)
(-m > 0D)
(distributividade no anel)
(definio)
a = ((m * n) # m) a
a = ((m * n) a) + (m a)
a = m (n a) + (m a)
a = m ((n a) + a)
a = m ((n # 1D) a)
(distributividade no domnio)
(item b)
(hiptese de induo)
(item c)
(item b)
a = -((~(m * n)) a)
a = -(((~m) * n) a)
a = -((~m) (n a))
a = -(- (m (n a)))
a = m (n a)
(definio)
(-(m * n) = (-m) * n)
((-m) . n > 0)
(item a)
(-(-x) = x no anel).
(a . b) = m (a . b) + a . b
(a . b) = (m a) . b + a . b
(a . b) = (m a + a) . b
(a . b) = ((m # 1D) a) . b
(item b)
(hiptese indutiva)
(distributividade no anel)
(item b)
c) Se z 0, ento |z| = z -|z|, pois -|z| sempre negativo. Da, |z| z -|z|. Se z 0, ento |z|
= -z, -|z| = z |z|, pois |z| sempre positivo e estamos na hiptese de que z negativo. Segue ento a
afirmao.
d) Suponhamos inicialmente que |z| < y. Assim -y < -|z| e ento -y < -|z| z |z| < y, onde nas
segunda e terceira desigualdades foi utilizado o item (c) anterior.
Reciprocamente, suponhamos que -y < z < y. Se z 0, ento |z| = z e, assim, |z| < y. Se z 0,
temos |z| = - z e, ento, |z| < y, pois da hiptese -y < z segue que -z < y.
Corolrio 4.3
Sejam z, y . Se y 0, ento |z . y| |z|.
3.12 Exerccios
3.0 Construa um anel (A, +, .), em que A um conjunto finito de cardinalidade mnima.
3.1 Sejam A um anel e a, b, c A. Mostre que
a) Se a + c = b + c, ento a = b.
b) Se a + b = a para algum a A, ento b = 0.
3.2 Sejam A um anel e a, b A. Mostre que
a) -(a + b) = -a - b.
b) a2 b2 = (a + b).(a b)
3.3 Mostre que dois elementos a e b de um anel so inversveis se e somente se a . b
inversvel.
3.4 Sejam (A, +, .) um anel e A' um subconjunto de A. O subconjunto A' dito um subanel de
A se (A', +A', .A') um anel tal que 1A' = 1A (naturalmente, as operaes +A' e .A' so as restries de + e
de . ao conjunto A'xA').
a) Sejam A um anel e A' um subconjunto de A. Mostre que A' um subanel de A se e
somente se
i) 1A A'.
ii) a b A' e a . b A' quaisquer que sejam a, b A
b) Sejam A e B dois anis e f um homomorfismo de A em B. Mostre que f(A) um
subanel de B.
3.5. Alguns autores no incluem a comutatividade da multiplicao como axioma para a
construo de um anel. Para estes, quando a comutatividade existe, o anel dito comutativo ou
booleano. Para aqueles que incluem a comutatividade da multiplicao como axioma, um conjunto
munido de duas operaes que gozem das propriedades (A 1), (A2), (A3), (A4), (M1), (M3,), (M4) e
(AM) um anel no comutativo. Seja A um conjunto no vazio e (A) o conjunto das funes de A
em A. Dadas f, g em (A), defina a adio f + g pela funo dada por (f + g)(x) = f(x) + g(x).
Verifique se (A) munido da operao definida acima e da composio de funes um anel no
comutativo.
3.6. Seja D um domnio de integridade. Mostre que
a) Se a2 = 0, ento a = 0.
b) Se a . b = a ento a = 0 ou b = 1.
c) Se a2 = a, ento a = 0 ou a = 1.
3.7. Sejam A um anel e a A, com a 0. Considere a funo fa : A A, definida por
fa(x) = a . x.
a) Mostre que fa sobrejetora se e somente se a inversvel.
b) Mostre que se A um domnio de integridade, ento fa injetora.
3.8 Sejam A um anel ordenado e a, b, c, d A. Mostre que
3.19. Seja
Mostre que se A e B so dois conjuntos finitos no vazios e |A| = |B| = n, ento o nmero de
bijees de A em B n!.
3.23. Seja um inteiro z tal que z -1. Mostre que se n um inteiro positivo, ento
(1 + z)n 1 + n . z, desigualdade conhecida como Desigualdade de Bernoulli.
3.24. O jogo conhecido como Torre de Hani consiste de n discos de dimetros diferentes,
perfurados, e dispostos numa haste vertical origem na ordem decrescente dos seus dimetros. . O
objetivo do jogo mover todos os discos da haste origem para uma outra haste destino, utilizando
uma terceira haste auxiliar, devendo-se mover um disco de cada vez e no sendo permitir dispor um
disco sobre outro de dimetro maior. Por exemplo, se n = 1, basta se deslocar este disco da origem
para o destino; se n = 2, os movimentos seriam:
origem auxiliar
origem destino
auxiliar destino.
Mostre que, se an o nmero mnimo de movimentos para se concluir a Torre de Hani, ento,
a) para n 2, an = 2an-1 + 1.
b) an = 2n - 1, para todo inteiro n 1.
3.25. Seja A um conjunto finito, com |A| = n. Mostre que |(A)| = 2n.
4. Algoritmos
4.1 Introduo
Tendo definido axiomaticamente os inteiros e obtido algumas de suas propriedades bsicas,
apresentaremos, no prximo captulo, formas de represent-los. Para tal necessitaremos demonstrar
algumas outras propriedades destes elementos, dentre elas a existncia de inteiros que gozem de
uma propriedade especfica. Neste captulo, discutiremos uma tcnica utilizada em demonstraes
de existncia de objetos matemticos que satisfazem determinada propriedade. A ideia a
seguinte: para se provar que existe, por exemplo, um inteiro que satisfaa a uma propriedade
especfica apresenta-se uma receita de como encontrar tal inteiro. Em matemtica e cincia da
computao, uma receita com este ou qualquer outro objetivo chamada de algoritmo.
A definio formal de algoritmo desenvolvida no campo da Teoria da Computao e
envolve conceitos que fogem do objetivo deste livro. Aqui, consideraremos informalmente um
algoritmo como uma sequncia de instrues, que podem ser executadas com preciso por uma
mquina ou por um ser humano, de tal forma que ao final da execuo uma tarefa tenha sido
realizada, exatamente aquela tarefa para a qual o algoritmo foi desenvolvido.
No dia a dia, uma receita de bolo, o roteiro para instalao ou para utilizao de um
equipamento eletrnico so algoritmos. Uma partitura musical tambm um algoritmo. Uma receita
de bolo comea com a relao dos ingredientes e continua com instrues do tipo misture, aquea,
bata as claras at o ponto de neve, etc.. Um roteiro para instalao de um equipamento eletrnico
comea - embora isto fique implcito - com o prprio equipamento eletrnico, com cabos,
conectores, antenas, etc., e continua com instrues do tipo ligue o cabo X ao conector A, se for
usar antena externa ligue o cabo Z ao conector B, etc. Os ingredientes de um receita de bolo e um
equipamento eletrnico, os cabos e os conectores no roteiro para instalao do tal equipamento so
as entradas dos algoritmos correspondentes. Aparecem em seguida as instrues e finalmente temse a sada do algoritmo que, nestes dois exemplos, so o bolo pronto e o equipamento instalado.
Isto significa que, de um modo geral, o desenvolvimento de um algoritmo requer que seja fixada
sua entrada e sua sada, que , exatamente, a realizao da tarefa para a qual o algoritmo foi
desenvolvido. O algoritmo propriamente dito constitudo do conjunto de instrues que
executadas sobre a entrada fornece a sada esperada.
Naturalmente, como a linguagem da cincia deve ser precisa, as instrues de um algoritmo
devem satisfazer a algumas condies:
1. Uma instruo no pode conter nenhum tipo de ambiguidade, que permita que sua
execuo dependa de algum tipo de subjetividade do executor.
2. Aps a execuo de uma instruo, no deve haver ambiguidade relativa a qual instruo
ser executa a seguir.
3. Toda instruo deve ser executada num intervalo de tempo finito, o que significa que a
execuo do algoritmo deve parar em algum momento.
Se, alm do exigido acima, exigirmos que as instrues de uma algoritmo sejam executadas
sequencialmente, sempre na ordem em que elas esto escritas, uma instruo tendo sua execuo
iniciada somente aps a concluso da execuo da instruo anterior, o algoritmo ser dito
estruturado e desta forma que os algoritmos sero aqui apresentados. Assim suporemos sempre
que ao final da execuo da ltima instruo, a execuo do algoritmo estar encerrada.
As entradas dos nossos algoritmos, nmeros basicamente, sero armazenadas em variveis
que so representadas por letras ou nomes sugestivos em relao ao seu objetivo. A instruo que
indicar que haver uma entrada e que esta ser armazenada na varivel x ser escrita leia(x); e
chamada comando de entrada. A sada do algoritmo ser dada atravs do comando
escreva(x/mensagem); que exibir o contedo da varivel x ou a mensagem pretendida (quando se
tratar de uma mensagem, ela ser colocada entre apstrofos).
4.2 Exemplos
1. Considerando conhecido o conceito de mdia aritmtica o algoritmo abaixo recebe como
entrada trs nmeros e fornece como sada a mdia aritmtica de trs nmeros.
algoritmo Media de trs nmeros;
leia(x, y, z);
media := (x + y + z)/3;
escreva(media);
2. Naturalmente, a extenso do algoritmo acima para o clculo da mdia de muitos nmeros
(5 000, por exemplo), seria impraticvel (imagine como ficariam as primeira e segunda instrues!).
A soluo seria utilizar uma nica varivel x para receber todos os nmeros, s recebendo um
prximo quando o anterior j estivesse sido processado (somado com os anteriores). Para isto
utiliza-se uma outra varivel que vai armazenado as somas parciais, recebendo esta varivel o valor
4.3 Exerccios
4.1. O algoritmo Ordena dois nmeros acima possui uma sequncia de comandos que troca o
contedo de duas variveis x e y. Para tal era utilizada uma varivel aux como varivel auxiliar, que
armazenava temporariamente o contedo de x, para que este no fosse perdido quando x
recebesse o contedo de y. Escreva uma sequncia de comandos de atribuio que, sem utilizar uma
terceira varivel, realiza a troca de contedos de duas variveis.
4.2. Escreva um algoritmo que ordena trs nmeros dados.
4.3. Um inteiro positivo z dito quadrado perfeito se existe um inteiro x tal que x2 = z, caso
em que x chamado raiz quadrada de z, indicado por z Por exemplo, 9 = 3. Escreva um
algoritmo que verifica se um inteiro dado um quadrado perfeito e retorne sua raiz quadrada.
4.4 Escreva um algoritmo que fornea o maior de trs nmeros dados.
11
2
3
4
5
6
5
n
5
p
1
3
9
27
81
243
i
1
2
3
4
5
6
.
Fazendo p1 = z a , teremos
0
e, fazendo p 2 = z 2 . p1 , obtemos
Naturalmente, obtemos uma sequncia p1, p2, ..., ps tal que ps = zn.
Observe que se qi = as . 2s-i + as-1 . 2s-(i+1) + ... + ai ento, se qi-1 par, q i =
mpar, q i =
qi1 1
qi1
e, se qi-1
2
.
2
2
1
Para z = 3 e n = 13, por exemplo, teramos, 313 = 31. 2 1. 2 0. 2 1 = 32 1. 2 1 . 20 .1 . 31 e,
ento, p1 = 3.
2
Continuando, 313 =
1. 2 11. 1
2 2
0
13
. 3 2 . p 1 ; p2 = 1 . p1 = 3 e 3 =
2
5.7 Exerccios
5.1. Determine os quocientes e os restos das seguintes divises.
a) 7 12.
b) (-8) 3
c) 11 (-4)
d) (-10) (-3)
1 .1
4 2
1
2 2
3 . 3 . p
o que
5.26. Encontre um critrio para verificar se um dado nmero representado no sistema de base
3 par.
5.27. Considerando o exerccio 5.9, o teorema 2.5 e o conceito de sistemas de numerao,
podemos ter um sistema de numerao de base 3', com algarismos 0, 1 e 1, com 1 representando o
inteiro -1. Converta (52)10 para o sistema de base 3'.
5.28. Mostre que com n pesos de 1 g, 3 g, 9 g, ..., 3 n-1 g e uma balana de dois pratos podese avaliar qualquer massa de at (1 + 3 + 32 + ... + 3n-1) g.
84
4
60
1
24
2
12
2
41
3
37
1
4
9
tambm o .
Dessa forma o algoritmo abaixo verifica, sem fatoraes se um inteiro dado primo.
algoritmo Primo
leia(k)
a := 2;
repita enquanto (Resto(ak-1 1, k) = 0) e (a < k 1))
a := a + 1;
se (a = k 1)
escreva(k primo')
seno
escreva(k composto);
Agora mostraremos que os primos geram todos os nmeros inteiros, no sentido de que todo
inteiro o produto de potncias de primos.
Teorema 3.6 (Teorema Fundamental da Aritmtica)
e1
e2
ek
Todo inteiro z 2 se escreve, de modo nico, na forma z = p 1 . p 2 .. . .. p k , onde p1, p2, ..., pk
so nmeros primos tais que p1 < p2 < ... < pk e e1, e2, ..., ek so inteiros positivos.
Demonstrao
Consideremos o seguinte algoritmo:
algoritmo Fatorao
leia(z);
i := 1;
ni := z;
qi := 2;
repita enquanto ni > 1
repita enquanto (qi no divide ni)
qi := qi + 1;
escreva qi;
i := i + 1;
n i :=
n i 1
q i 1
qi := qi-1;
O algoritmo da proposio 5.6 garante que a estrutura de repetio interna para com qi sendo
n1 > n2 > > nk > 1 e, ento, pelo corolrio 6.3, a estrutura de repetio externa para. Logo, o
algoritmo acima para fornecendo os primos q1, q2, , qk, com q1 q2 qk tais que
z = q1 . q2 . . qk.
Para escrever a fatorao na forma expressa no teorema, basta fazer, quando
ei
Para provar a unicidade, seja S o conjunto dos inteiros positivos que podem ser fatorados de
duas maneiras distintas e suponhamos que S .
Como S limitado inferiormente, pelo Princpio da Boa Ordenao, S tem um elemento
e
e
e
f
f
f
mnimo n. Assim, n = p 1 . p 2 .. . .. p k =q 1 . q 2 .. . .. q l , onde os primos da fatorao do primeiro
membro so distintos dos primos da fatorao do segundo membro ou, se os primos das duas
fatoraes so iguais, os expoentes correspondentes so diferentes. Ora, como p1|n, temos que
f
f
f
p1|( q 1 . q 2 . .. .. q l ) e, ento, pela propriedade fundamental dos primos apresentada na proposio
4.6 (aplicada duas vezes), p1|qj para algum ndice j. Da, p1 = qj e, portanto
e
e
e
f
f
l
f
n = p 1 . p 2 .. . .. p k =q 1 . q 2 .. . .. p 1 .. .. . q l .
Aplicando a lei da cancelamento igualdade acima, dividindo-a por p1, obtemos
1
e 1 1
m = p1
e2
ek
l j 1
. p 2 . .. .. p k =q 1 . q 2 . .. . p 1
1
. ql
fl
e, portanto, encontramos um inteiro m, m < n (pois m = p ) e que possui duas fatoraes distintas,
1
pois as duas suas fatoraes acima advieram, pela simplificao por p1, das fatoraes de n que, por
hiptese, so distintas. Assim, m S o que um absurdo, pois n o menor elemento de S e
m < n.
Por exemplo, o algoritmo acima para a entrada z = 5.292 geraria a tabela a seguir.
i
ni
qi
5292
2646
1323
2
3
441
2
3
147
2
3
49
2
...
7
2
...
7
e2
ek
Apresentamos nesta seo trs algoritmos sobre nmeros primos. O primeiro verifica se um
dado nmero primo, o segundo gera todos os primos menores que um inteiro dado e o terceiro
decompe um inteiro dado nos seus fatores primos. Outra questo a ser discutida em relao aos
nmeros primos quanto quantidade deles. Para isto estabelecemos a seguinte definio. Seja p
um inteiro primo positivo. O fatorial primo (ou primorial) de p definido por p# = 2, se p = 2 e
p# = p . q#, onde q o maior primo menor que p, se p > 2. Por exemplo, 3# = 3 . 2# = 3 . 2 = 6 e
5# = 5 . 3# = 5 . 6 = 30. Observe que esta definio diz trivialmente que, para p > 2, p# o produto
de todos os primos positivos menores ou iguais a p.
Proposio 7.6
O conjunto dos nmeros primos infinito.
Demonstrao
Se o conjunto dos nmeros fosse finito haveria um primo p maior do que todos os outros
primos. Naturalmente, p > 2. Considere o inteiro a definido por a = p# - 1. Pela proposio 5.6, a
possui um divisor primo positivo q. Como estamos supondo que p o maior primo, temos que q p
e, portanto, q um dos fatores de p#. Assim, q|(p#) e ento, como q|a, temos que q|1, o que um
absurdo.
Sendo o nmero de primos infinito uma questo seguinte a ser levantada como os primos se
distribuem ao longo do conjunto dos inteiros. Na verdade, a distribuio dos nmeros primos
bastante irregular, podendo a diferena entre dois deles ser igual a 2, como 3 e 5, 5 e 7, 17 e 19, 239
e 241, ou ser qualquer nmero inteiro, pois, para todo inteiro n, os n inteiros (n + 1)! + 2, (n + 1)! +
3, ..., (n + 1)! + (n + 1) so nmeros compostos, pois 2|((n + 1)! + 2), 3|((n + 1)! + 3), ...,
(n+1)|((n + 1)! + (n + 1)).
Quando a diferena de dois primos igual a 2, os primos so chamados primos gmeos. No
se sabe at hoje se o nmero de pares de primos gmeos ou no finito, embora haja a conjectura
que este nmero seja infinito. Em agosto de 2009 foi encontrado um par de primos gmeos com
100.355 dgitos ( http://primes.utm.edu/top20/page.php?id=1 acessado em 11/02/2010).
p#
2
6
30
210
2310
(p#) +1
3
7
31
211
2311
n
pois 12 12n 1 .
1
z 2 1 =z n 1
m
6.9 Exerccios
6.1. Mostre que, qualquer que seja o inteiro n maior que 1, os pares de inteiros abaixo so
primos entre si.
a) 2 . n + 1 e 3 . n + 1.
b) n e n2 + 1
c) n! + 1 e (n + 1)! + 1.
6.2. Mostre que 361 e 160 so primos entre si e encontre os inteiros t e u tais que
361 . t + 160 . u = 1.
6.3. Por uma generalizao muito razovel, o mximo divisor comum de vrios nmeros o
maior inteiro que divisor dos nmeros. Mostre que, se a1, a2, ..., an so inteiros, ento
mdc(a1, a2, ..., an) = mdc(mdc(a1, a2), a3, ..., an).
z
6.4. Sejam z e y inteiros no nulos e d = mdc(z, y). Mostre que d e d so primos entre si.
6.5. Sejam a, b e c nmeros inteiros. Mostre que se a e c so primos entre si, ento
mdc(a . b, c) = mdc(b, c).
6.6. Sejam a e b inteiros. Mostre que, se a e b so primos entre si, ento am e bn so primos
entre si, quaisquer que sejam os inteiros positivos m e n.
6.7. Mostre que se p primo, ento p e (p-1)! so primos entre si.
6.8. Mostre que se n > 4 composto, ento n|(n 1)!.
6.9. O mnimo mltiplo comum de dois inteiros z e y (simbologia: mmc(z, y)) o menor inteiro
que mltiplo de z e mltiplo de y.
z. y
a) Mostre que mmc(z, y) =
mdc z, y
b) Mostre que se a um inteiro tal que z|a e y|a, ento mmc(z, y)|a.
6.10. Sejam a e b dois inteiros. Mostre que se a e b forem positivos ento o conjunto das
solues positivas da equao a . x + b . y = c finito.
6.11. Uma pessoa foi ao banco para descontar um cheque no valor de x reais e y centavos.
O caixa do banco errou na leitura do valor do cheque e pagou y reais e x centavos. A pessoa guardou
o dinheiro no bolso sem verificar a quantia. No caminho de casa, ela gastou cinco centavos e
quando chegou em casa verificou que tinha exatamente o dobro do valor do cheque. Determine o
valor do cheque, sabendo-se que essa pessoa no levou dinheiro nenhum consigo quando foi ao
banco.
7. Os inteiros mdulo n
7.1 Introduo
Consideremos um conjunto infinito de pontos (ponto, ente primitivo da Geometria Euclidiana,
como visto no captulo 1) P = {p0, p1, p2, .., pn, ...} de uma reta (reta, idem) de tal forma que: (1) os
pontos da forma p2 . k + 1 esto situados direita de p0, com p2 . (k + 1) + 1 direita de p2 . k + 1 (k = 0, 1,
2, ...); (2) os pontos da forma p2 . k esto situados esquerda de p0, com p2 . (k + 1) esquerda de p2 . k
(k = 0, 1, 2, ...); (3) a distncia entre dois pontos consecutivos constante (distncia, grandeza
i+1
primitiva da Fsica) e definamos uma funo f de P em por f(pi) =
, se i mpar, e
2
f(pi) = - i , se par. De maneira natural, a funo f pode ser representada na figura abaixo,
2
chamada reta dos inteiros.
Neste captulo, vamos mostrar como obter um novo anel, a partir dos inteiros e de um inteiro
n > 1 dado. Estes anis sero indicados por n, so chamados, para cada n, anel dos inteiros mdulo
n, formalizam matematicamente os anis I 12 e I7 estudados no captulo 3 e so fundamentais para o
entendimento do sistema de criptografia RSA, objetivo final do captulo.
"Geometricamente" falando, os anis n so obtidos transformando a reta dos inteiros numa
circunferncia, como mostra a figura abaixo que apresenta a transformao para o caso n = 6.
10 3
102 30 2
103 20 6
104 60 4
105 40 5
106 50 1,
e, ento, 1045 106 . 7 + 3 (106)7 . 103 1 . 6 6 e, portanto, 1045 mod 7 = 6.
Evidentemente, os truques acima so utilizados se no se dispe de um computador. Na
prtica, potncias de congruncias so calculadas por um programa que implemente um algoritmo
semelhante ao algoritmo potncia apresentado na seo 5.5. Naturalmente, a nica adaptao a
fazer efetuar as operaes mdulo n, obtendo ento o seguinte algoritmo para calcular ze mod n.
Algoritmo potncia mdulo n;
leia(z, e, n);
b := z; m := e; p := 1;
repita enquanto m 0
se resto(m, 2) 0
p := b . p mod n;
m := quociente(m, 2);
b := (b . b) mod n;
escreva(p);
e
99
n
29
b
3
r(3 . 3, 29) = 9
r(9 . 9, 29) = 23
r(23 . 23 , 29) = 7
r(7 . 7, 29) = 20
r(20 . 20, 29) = 23
r(23 . 23, 29) = 7
r(7 . 7, 29) = 20
m
99
q(99, 2) = 49
q(49, 2) = 24
q(24, 2) = 12
q(12, 2) = 6
q(6, 2) = 3
q(3, 2) = 1
q(1, 2) = 0
p
1
r(1 . 3, 29) = 3
r(9 . 3, 29) = 27
. 0
0 0
0 0
1 1
1 0
. 0
0 0
0 0
1 1
1 0
2 2
2 0
. 0
0 0
0 0
1 1
1 0
2 2
2 0
3 3
3 0
63
2
50
1
13
3
11
1
2
5
13
3
6
1
2
3
2
3
4
5
3
4
5
6
4
5
6
7
e1 1
(z) = p 1
ek 1
. . .. . p k
. p 1 1 . . .. . p k 1
Demonstrao
a) Se (p) = p 1, ento 1 , 2 , . . . , p1 so inversveis e, portanto, para todo 1 < i < p,
mdc(p, i) = 1. Isto mostra que p no tem divisores diferentes de 1 e de p e, por conseguinte, p
primo.
A recproca decorre de imediato do corolrio 4.7.
b) Seja k = pn. O corolrio 5.7 afirma que os elementos no inversveis de k so p, 2 . p,
3 . p, ..., pn-1 . p e, portanto, existem pn-1 elementos de k no inversveis. Da, (pn) = pn pn-1 =
= pn-1 . (p 1), como queramos demonstrar.
c) Seja M = (aij)mxn definida, para i = 0, 1, ..., m 1 e j = 0, 1, ..., n 1, por aij = x tal que
0 x m .n 1, x i mod m e x j mod n. Pelo teorema do resto chins, a matriz M est bem
definida e todos os seus elementos so distintos. Seja x = aij. Se x tem inverso em
m.n, ento existe k tal que (x . k) 1 mod (m . n) o que implica, pela proposio 4.7,
(x . k) 1 mod m. Da, multiplicando x i mod m por k e aplicando a transitividade, temos que
(i . k) 1 mod m e, ento, i inversvel em m. Da mesma maneira se prova que se x
inversvel em m.n, ento j inversvel em n.
Reciprocamente, suponhamos que x = aij e i e j so inversveis em m e em n,
respectivamente. Sejam i , o inverso de i em m e j , o inverso de j em n. Pelo teorema do
resto chins existe um inteiro y tal que 0 y m . n 1 com y i mod m e y j mod n. Da, segue
a . a i . a 1 . a i =a . a i . a 1 . a i =1
7
713
temos 1 = 4 992 + 7 (-713), o que implica d = 7-1 = 4 992 - 713 = 4 279. Dessa forma, a chave de
decodificao (5 141, 4 279).
Para um outro exemplo, consideremos os primos p = 127 e q = 193. Temos:
n = 127 193 = 24 511,
(n) = 126 192 = 24 192,
c = 5 (podemos escolher c = 5, pois 5 e 24 192 so primos entre si).
Dessa forma, (24 511, 5) uma chave de codificao, com chave de decodificao assim
determinada:
24 192
5
2
1
4 838
2
1 = 5 2 2 = 5 (24 192 5 4 838) 2,
1 = (-2) 24 192 + 5 9 677,
d = 9 677.
A
65
B
66
C
67
D
68
E
69
F
70
G
71
H
72
I
73
J
74
K
75
P
80
Q
81
R
82
S
83
T
84
U
85
V
86
W
87
X
88
Y
89
Z
90
L
76
M
77
N
78
O
79
Espao em branco
32
Exemplos
Para se enviar a mensagem EU TE AMO para a usuria de chave (5.141, 7), realizaramos as
seguintes aes:
1. Ascii-codificao da mensagem: 698532846932657779.
2. Quebra da mensagem ascii-codificada em blocos: B1 = 698, B2 = 532, B3 = 84, B4 = 693,
B5 = 2657, B6 = 77, B7 = 9.
3. Verificao de que mdc(Bi, n) =1, para i = 1, 2, 3, 4, 5, o que pode ser constatado facilmente
pelo leitor.
4. Aplicao da funo de codificao
Cod(698) = 6987 mod 5 141 = 249,
Cod(532) = 5327 mod 5 141 = 3.944,
Cod(84) = 847 mod 5 141 = 298,
Cod(693) = 6937 mod 5 141 = 4 671,
Cod(2 657) = 2 6577 mod 5 141 = 347,
Cod(77) = 777 mod 5.141 = 3 852,
Cod(9) = 97 mod 5.141 = 1 839,
Desta forma, a mensagem que seria enviada destinatria seria
249#3944#298#4671#347#3852#1839.
Para um exemplo de decodificao, imagine que a destinatria de chave de decodificao
(2.117, 1.613) receba a mensagem1579#1145#1196#995#1272#20. Temos
Dec(1 579) = 1 5791 613 mod 2 117 = 776
Dec(1 145) = 1 1451 613 mod 2 117 = 98
Dec(1 196) = 1 1961 613 mod 2 117 = 53
Dec(995) = 9951 613 mod 2 117 = 265
Dec(1 272) = 1 2721 613 mod 2 117 = 777
Dec(20) = 201 613 mod 2 117 = 982,
e a mensagem
7769853265777982
M EU AMOR
Vale observar que os clculos acima, aparentemente astronmicos, foram realizados por
calculadoras que acompanham os sistemas operacionais de computadores mais modernos.
7.11 Exerccios
7.1. Sejam n, u e v inteiros maiores que 1, d = mdc(u, v) e a um inteiro qualquer. Prove que
se au 1 mod n e av 1 mod n, ento ad 1 mod n.
7.2. Mostre que adio ab=a+b no est bem definida para a relao de equivalncia
a b se e somente se a e b possuem o mesmo nmero de divisores primos.
7.3. Mostre que se i= j em n, ento mdc(i, n) = mdc(j, n).
7.4. Pelo teorema 1.7 temos que se a n , ento -( a ) = na . Mostre que
= -( a ) = na .
7.5. Mostre que em n n1 sempre inversvel com ( n1 )-1 = n1 .
7.6. Mostre que se p primo, ( a )-1 = ( a ) e 0 < a < p, ento a = 1 ou a = p - 1.
7.7. Utilizando o conceito de classes residuais, apresente uma outra demonstrao do
Pequeno Teorema de Fermat (aqui escrito na linguagem de congruncias), j discutido no captulo
anterior:
9. Os nmeros racionais
9.1 Introduo
Os nmeros inteiros no so suficientes para resolver todas as questes do dia a dia. Por
exemplo, se uma av pretende distribuir 15 reais com seus dois netos no existir uma quantia
inteira de reais que resolva esta questo. Ou seja, existem equaes do tipo m . x = n, com m e n
inteiros que no so solveis, como, por exemplo, 2 . x = 5. Neste captulo, vamos definir o
conjunto dos nmeros racionais no qual para m 0 a equao acima solvel. Para isto
necessitamos definir um nova estrutura algbrica, chamada corpo.
Um corpo um anel no qual todo elemento no nulo inversvel. O anel dos inteiros no
um corpo, pois os nicos elementos inversveis dos inteiros so 1 e -1. J o anel 5 um corpo pois,
como para todo inteiro 0 < a < 5, mdc(a, 5) = 1, temos que a inversvel em 5, qualquer que seja
a 5, a 0 . Por seu turno, 12 no um corpo pois, por exemplo, 6 no inversvel. A
caracterizao dos anis n em relao a ser ou no um corpo muito simples, como mostra a
seguinte proposio.
Proposio 1.9
n um corpo se e somente se n primo.
Demonstrao
Se n um corpo, ento todo elemento a , no nulo, inversvel e, portanto, pela proposio
7.7, mdc(a, n) = 1. Assim, para todo inteiro z, 1 < z < n, temos que mdc(z, n) = 1. Logo n primo,
pois no existe inteiro z, 1 < z < n tal que z|n.
Reciprocamente, suponhamos que n primo e seja a um elemento no nulo de n. Seja b
um representante da classe a tal que 1 < b < n. Com n primo, temos que mdc(b, n) = 1 e, ento,
pela mesma proposio 7.7, b inversvel. Como a=b , temos que a inversvel e n um
corpo.
Lembremos que um anel A um domnio de integridade se gozar da seguinte propriedade: se
a, b A e a . b = 0, ento a = 0 ou b = 0. Por exemplo, ainda para lembrar, e 3 so domnios de
integridade, enquanto 4 no o , pois, neste anel, 2 . 2=0 .
Proposio 2.9
Todo corpo um domnio de integridade.
Demonstrao
Sejam K um corpo e a, b K tais que a . b = 0. Se a 0, ento existe a-1 tal que a . a-1 = 1.
Assim, multiplicando a igualdade a . b = 0 por a-1, temos a-1 . (a . b) = a-1 . 0, o que implica b = 0.
a c a . db . c
=
.
b d
b.d
a. c a.c
=
Multiplicao:
.
b d b.d
Adio:
Como fizemos em sees anteriores, necessrio que provemos que estas operaes esto
bem definidas no sentido de que uma soma ou um produto independe do particular representante da
classe. Alm disso necessrio verificar que toda soma e todo produto so elementos de K. Para
isto, basta ver que, como b 0, d 0 e A um domnio de integridade, a propriedade (M 4) do
captulo 2 garante que b . d 0.
Para provar que os resultados independem dos representantes das classes, suponhamos
a a'
c c'
=
e =
. Temos que a . b = a . b e c . d = c . d e multiplicando a primeira destas
b b'
d d'
igualdades por d . d, obtemos a . b . d . d = a . b . d . d e multiplicando a segunda por b . b,
obtemos b . b . c . d = b . b . c . d que, somadas, resultam (a . d + b . c) . b . d = (a. d + b . c) .
a . d b . c a ' . d ' b' . c '
a c a' c'
=
b . d e, portanto,
o que mostra que =
.
b.d
b' . d '
b d b' d '
Deixamos como exerccio mostrar que a multiplicao est bem definida.
Teorema 1.9
Nas condies anteriores e munido das operaes definidas acima, K um corpo, chamado
corpo de fraes do domnio de integridade A.
Demonstrao
Temos que provar que K uma anel no qual todo elemento no nulo inversvel. A
demonstrao de que a adio e a multiplicao so associativas e comutativas e que a
multiplicao distributiva em relao adio so triviais. Por exemplo, levando em conta que
c 1
= , qualquer que seja c A, c 0, a distributividade da multiplicao em relao soma pode
c 1
ser demonstrada da seguinte forma.
a
b
c e
a c . f d . e a . c . f a . d . e . b
= .
=
d f
b d . f
b.d. f
b
a . c . b . f b . d . a . e a . c a . e
=
=
b . d . b . f
b.d b. f
a c a e
= . .
b d b f
(isto , =
) e o elemento
1
b
b
b
b
1
a
neutro da multiplicao
. Falta mostrar que todo elemento tem inverso. Para isto seja
no
1
b
b
a.b a.b 1
a
=
= temos que
nulo. Ento a 0 e, por conseguinte, K . Como
inversvel e
a
b a b.a 1
b
1
a
b
= .
b
a
Proposio 3.9
Seja A um domnio de integridade e K o seu corpo de fraes. Ento, para todo b A, b 0,
a)
b)
a a
=
b b
a a
=
b b
Demonstrao
a a a . b b . a
0
0
=
= 2 = e a igualdade a ser provada segue.
b b
b . b
b 1
b) Basta lembrar que a proposio 2.3 garante que (-a) . b = a . (-b).
a) Temos
ab a b
= = j(a) + j(b),
1
1 1
a.b a.b
=
= j(a) . j(b)
j(a . b) =
1
1 1
j(a + b) =
1
= 1K, mostrando que j um homomorfismo. Para mostrar que j injetivo, suponhamos
1
a b
que a, b A e a b. Da, a . 1 b . 1 o que implica . Logo j(a) j(b) e j injetivo.
1 1
Deste modo A e j(A) so isomorfos e, portanto, so algebricamente iguais Isto nos permite
a
identificar a A com
K.
1
e j(1) =
Proposio 5.9
Seja um racional
a
, com b > 0. Ento existem inteiros a e b tais que mdc(a, b) = 1 e
b
a' a
= .
b' b
Demonstrao
a
b
e b =
. Pela observao acima, a e b so inteiros e
d
d
a' a
= .
pelo exerccio 6.4, mdc(a, b) = 1. Alm disso, a . b = a. d . b = a . b e, ento,
b' b
a
c
e
no corpo , com b > 0 e d > 0. Definimos uma relao binria por
b
d
a c
se e somente se a . d b . c em Z,
b d
onde, por enquanto, o primeiro simboliza a relao que estamos definindo e o segundo a relao
a b
de ordem em . Se a b, em , temos a . 1 b . 1, em , e portanto , em . Isto significa
1 1
que se a b em ento a b como "elementos" de , justificando assim a utilizao do mesmo
smbolo para as duas relaes.
Sejam
Proposio 6.9
munido da relao definida acima um domnio ordenado.
Demonstrao
Precisamos mostrar que a relao reflexiva, antissimtrica, transitiva, total e, ainda,
compatvel com a adio e com a multiplicao.
. Da,
relao reflexiva. Para a antissimetria, suponhamos que
e que
b d
d b
a c
a . d b . c e b . c a . d, em . Como , em , antissimtrica b . c = a . d e, portanto, = .
b d
a c
c e
Para mostrar a transitividade, suponhamos que e . Da, a . d b . c e c . f d . e.
b d
d f
Como estamos supondo que b > 0 e f > 0, temos pela compatibilidade com a multiplicao de em
, que a . d . f b . c . f e b . c . f b . d . e. Da, pela transitividade de em Z, a . d . f b . d . e.
a e
Como d > 0, o item (b) do exerccio 3.7 garante que a . f b . e, donde se conclui que .
b f
a
c
Para verificar que em total, basta ver que se
e
so elementos de , ento, pela
b
d
a c
c a
totalidade de em , a . d b . c ou b . c a . d. Da, ou .
b d
d b
A demonstrao de que definida acima compatvel com a adio em ser deixada
a a'
c
como exerccio. Para mostrar a compatibilidade com a multiplicao, sejam
,
,
tais
b b' d
a c
a'
que
e
0. Assim, a . d b . c e a' 0 e, ento, pela compatibilidade com a
b d
b'
multiplicao de em , a . d . a' b . c . a'. Como estamos supondo que todo denominador
positivo, pela propriedade de em e arrumando para o que queremos,
(a . a') . (d . b') (b . b') . (c . a').
a . a' c ' . a'
a . a' c . a'
Da,
e, finalmente,
.
b . b d . b'
b b' d b'
Sendo um domnio ordenado, podemos utilizar todas as propriedades desta estrutura
algbrica obtidas no captulo 3.
Demonstrao
Suponhamos por absurdo que
p no racional.
2
m
m
segue que p = 2 e, por conseguinte, m2 = p . n2. Da, p|m2 e,
n
n
portanto, p|m, pois p primo. Segue ento que m = k . p, para algum inteiro k ou, ainda, m2 = k2 . p2,
para algum inteiro k. Substituindo m2 em m2 = p . n2, temos que k2 . p2 = p . n2 e, ento, pela lei do
cancelamento, k2 . p = n2, o que mostra que p|n2, donde segue que p|n. Porm esta concluso
absurda pois, assim, p seria fator comum de m e n e estamos supondo que m e n so primos entre si.
p =
1
n
m
r
m
m
=q (lembre que m= ). Dai, como n > 0 e r 0, temos que
q . Por outro
n
q
1
n
r
m
m
q1 . Logo q q1 , o que
lado, como de 0 r < n segue que 0 1 , temos que
n
n
n
m
mostra que =q .
n
obtemos
m m 1
2
2 2
Demonstrao
m
m
k 1
=k . Portanto, =k . Como, k a
2
2
2 2
m 2k1
1
=
=k . Assim
desigualdade segue. Se m mpar, m = 2k + 1, para algum inteiro k, e
2
2
2
m
=k e a desigualdade segue da mesma forma.
2
A funo acima definida crescente no sentido de que se x, y B2 e x > y, ento lg2 x >
Demonstrao
0 r2 < b
0 r3 r2
0 r4 < r3
..
rn > 0 e rn+1 = 0.
Pondo r1 = b, pela proposio 4.5, temos que, para todo i = 1, 2, ..., n-1, ri+2 <
Assim, levando em conta o fato de que rn 1, 1 rn <
e, portanto 2
r n2 r n4
. ..
2
2
ri
2
n1
b
2
n1
n1
2
2
n1
b .
n1
, temos
lg2 2 2 lg2 b 2 . Da,
2
2
2
2
2
2
lg2
2 donde segue, n 2 . (1 + lg2
2 ).
Por exemplo, para se calcular mdc(325.678, 125.786) temos b = 125.786, 125 .786 2 =
= 131.072 e lg2 125 .786 2 = 17 e n < 36.
Cabe alertar que as funes maior potncia de dois e logartmica restrita s potncias de dois
no fazem parte da literatura matemtica. Provavelmente, o leitor conhece a funo logartmica
definida nos reais e deve estar estranhando a introduo destas funes. A nossa inteno foi manter
a filosofia de s utilizar conceitos estudados previamente (e o conjunto dos reais ainda no o foi) e
dar uma ideia de como pode ser desenvolvida uma pesquisa (com certeza, ingnua) em matemtica,
quando novas definies so formuladas em funo do que se pretende provar.
9.7 Exerccios
9.1. Sejam a, b, c e d nmeros inteiros, com b 0 e d 0. Mostre que se
ab cd
=
.
b
d
ac c
= .
b)
bd d
ab cd
=
c)
.
b
d
ab cd
=
d)
, se a b e c d.
ab cd
a)
a c
= , ento
b d
0 < (1/n), podemos concluir que para n > n0, 0 < (1/n) < . Isso pode ser interpretado da seguinte
maneira: a sequncia (1/n) fica to pequena quanto for exigido, ou que (1/n) se aproxima de zero
quando n fica suficientemente grande.
Exemplo 2. Uma sequncia bem conhecida na Matemtica do ensino mdio a das somas
parciais Sn de uma progresso geomtrica (P.G.). Quanto uma tal P.G. possui razo 0 < q < 1, l dse um significado ao que se chama soma infinita, que pode ser representada por S e mostra-se que
S = a1/(1 q). Esta frmula decorre da observao de que na frmula de S n, uma das parcelas se
comporta de forma semelhante da sequncia do exemplo 1.
Daremos agora a definio que formaliza a ideia contida nos dois exemplos acima. Uma
sequncia (an) S() dita convergente para um elemento a se, para cada , com > 0,
existir n0 tal que se n no, ento |an a| < . Este elemento a chamado limite da sequncia e
escreve-se lim an = a.
Assim, no exemplo 1 a sequncia (1/n) converge para zero, enquanto que no exemplo 2, a
sequncia (Sn) converge para S, ou seja, lim (1/n) = 0 e lim Sn = S.
Proposio 1.10
Se limite de (an) existe, ele nico
Demonstrao
Sejam lim an = a1 e lim an = a2. Ento, para = |a1 a2|/2, existem no e n'o tais que se n no,
|an a1| < e se n n'o, |an a2| < . Tomando n1 = max {no, n'o} teremos que se n n1, |a1 a2| =
= |a1 a2 + an an| |a1 an| + |an a2 | < 2 . = |a1 a2|, o que uma contradio.
Exemplo 3. A sequncia (an), onde an = (-1)n, no convergente. Com efeito, suponhamos que
(2 + a n 1 ) (2 + a n )
a n 1 a n
1
1
1
=
=
a n an 1
2 + an 2 + a n 1
(2 + a n ) . (2 + a n 1 )
(2 + a n ) . (2 + a n 1 ) 4
e ento,
| a3 a 2 |
1
| a 2 a1 |,
4
| a 4 a3 |
1
1
| a3 a 2 | | a 2 a1 |
4
4
.
.
.
1
| a n + 1 a n |
4
n 1
| a 2 a1 |
1
n+ p 2
n 1
1
4
1
| a n+ p an | | an+ p a n+ p 1 | + . . . + | an+ 1 an |
+ ...+
| a 2 a1 |
| a 2 a1 |
4
1
4
1
4
o que mostra que a sequncia (an) de Cauchy, pois fcil ver que
n 1
1
4
lim
| a 2 a1 | = 0
1
1
4
O exemplo acima e a proposio 2.10 so dois resultados sobre os quais a construo do reais
em grande parte se baseia. A ideia usar as sequncias de Cauchy para a construo de elementos
de um conjunto e dar a este conjunto uma estrutura de corpo. Tal conjunto, com um certo abuso de
linguagem, conter os racionais (ver proposio 2.10) e as lacunas existentes em sero
preenchidos via sequncias do tipo apresentado no exemplo 4.
para todo natural n0 existiria um natural m tal m n0 e a n . Mas, como (an) de Cauchy,
2
existe um natural n0 tal que a ma n , se m, n > n0. Assim, para n > n0, teramos
2
a n=a ma m +a na n a ma m = e (an) pertenceria a S0() o que uma contradio.
2 2
Agora, considere um a , a 0. Ento a= a n onde (an) S0(). Pela proposio que
acabamos de provar, existe n0 tal que an 0, para todo n > n0. Ento construa (an) tal que an =1, se
n < n0, e an = an, para n n0. claro que a n = a n ' e portanto a= a n ' . Mas todo an diferente
= a1 '
n
As proposies 2.10 e 3.10 implicam que para cada r , a sequncia constante (r, r, ..., r, ...)
um elemento do conjunto Sc(). Assim para cada r podemos associar a classe de equivalncia
r R . Esta associao determina uma bijeo entre e um subconjunto ' de R. Identificamos r
com r e passamos a considerar como um subconjunto de R. Os elementos de R que no esto
em ' so chamados de nmeros irracionais.
Para definir uma relao de ordem em , vejamos o seguinte lema.
Lema 1.10
Seja (an) Sc ( ). Se (an) So () e existe no tal que para n no, tem-se an > 0, ento
existem , > 0, e n tais que se n n1 ento an > .
Demonstrao
Suponha que o resultado fosse falso. Ento, para cada , > 0, e n1 , existiria
m , com m > n1 e 0 < am < . Mas (an) de Cauchy e, portanto, para cada , > 0, existe
no tal que |am an | < , se m, n > n0. Assim, |an | |an am| + |am | < 2, o que significaria
an So (), contrariando hiptese.
Dizemos que uma sequncia (an) possui a propriedade P se (an) satisfaz s condies do lema
1.10 e deixamos para o leitor a prova do seguinte lema.
Lema 2.10
Sejam (an) e (bn) elemento de Sc(). Se (an) (bn) e (an) possui a propriedade P, ento (bn)
1
1
. j n b n
n
2
2
(1)
Lema 4.10
Suponha que (an) de Cauchy em . Ento a n converge em .
Demonstrao
Considere a= a n . Vamos mostrar que lim a n =a . Cada an naturalmente
identificado com a classe da sequncia constante, an = (an, an, , an, ). Ento
aa 1= 0, a 2a 1 , a 3a1 , . . . , a n a1 , . . . ,
aa 2 = a 1a 1 , 0, a 3a 2 , . . . , a n a 2 , . . . ,
. . .
aa m= a 1 a m , a 2 a m , . . . , a n a m , . . . ,
Bibliografia
Albertson,
M.
O.
e
Hutchinson,
J.
with Algoritms. John Wiley & Sons, Inc., USA, 1998.
P.,
Discrete
Mathematic
Birkhoff, G e MacLane S., lgebra moderna bsica. Guanabara Dois, Rio de Janeiro, 1980.
Castrucci, B., Fundamentos da geometria: estudo axiomtico do plano euclidiano. Livros
Tcnicos e Cientficos, Rio de Janeiro, 1978.
Coutinho, S. C., Nmeros Inteiros e Criptografia RSA. IMPA/SBM (Srie de Computao e
Matemtica), Rio de Janeiro, 1997.
Evaristo, J., Programando com Pascal. Terceira
(www.ic.ufal.br/professor/jaime), Macei, 2008.
Edio.
Edio
Digital
Figueiredo, D. G., Anlise I. Livros Tcnicos e Cientficos. Editora, Rio de Janeiro, 1975.
Gonalves, A., Introduo lgebra. IMPA (Projeto Euclides), Rio de Janeiro, 1979.
Hefez, A., Curso de lgebra, Volume 1. Instituto de Matemtica Pura e Aplicada (Coleo
Matemtica Universitria), Rio de Janeiro, 1993.
Knuth, D. E., The Art of Computer Programming, volume 2, Seminumerical Algorithms.
Addison-Wesley Publishing Company, USA, 1988.
Jacy Monteiro, L. H., Elementos
e Cientfico S. A., Rio de Janeiro, 1969.
de
lgebra.
Ao
Livro
Tcnico
ndice remissivo
A
A. Shamir............................................................................................................................................96
Adio.................................................................................................................................................34
Algarismos..........................................................................................................................................58
Algoritmo do resto chins..................................................................................................................93
Algoritmo fatorao............................................................................................................................73
Algoritmo potncia mdulo n.............................................................................................................87
Algoritmos..........................................................................................................................................52
Anis isomorfos..................................................................................................................................39
Anis ordenados.................................................................................................................................41
Anis Zn.............................................................................................................................................88
Anel....................................................................................................................................................34
Antissimtrica.....................................................................................................................................11
Aritmtica...........................................................................................................................................79
Aritmtica Modular....................................................................................................................82, 101
Arquimediano...................................................................................................................................116
Associativa.........................................................................................................................................14
Associatividade...................................................................................................................................14
Axiomas..............................................................................................................................................23
B
Base da induo..................................................................................................................................43
Bem definidas.....................................................................................................................................89
Bijeo................................................................................................................................................19
Binary digit.........................................................................................................................................62
Binmio de Newton............................................................................................................................67
Bit.......................................................................................................................................................62
C
C.........................................................................................................................................................63
Casa das unidades...............................................................................................................................59
Classe de equivalncia........................................................................................................................88
Classes residuais mdulo n.................................................................................................................88
Codificao.........................................................................................................................................96
Cdigo ASCII.....................................................................................................................................63
Comando de atribuio.......................................................................................................................53
Comando de deciso...........................................................................................................................53
Comando de entrada...........................................................................................................................52
Comandos de repetio.......................................................................................................................53
Compatibilidade com a adio...........................................................................................................41
Compatibilidade com a multiplicao................................................................................................41
Compiladores......................................................................................................................................63
Complementar....................................................................................................................................21
Composio de funes...................................................................................................................17p.
Composta............................................................................................................................................18
Comutativa.........................................................................................................................................14
Comutatividade...................................................................................................................................14
Conceitos primitivos.............................................................................................................................7