UNIDADE 01

PROPOSIO 1
Sejam a. b. c Z. Tem-se que:
i) 1|a, a|a e a|0
ii) se a|b e b|c, ento a|c

PROPOSIO 2
Se a, b, c, d Z, ento a|b e c|d ==>a.c|b.d

PROPOSIO 3
Sejam a, b, c Z, tais que a|(bc). Ento a|b
<==>a|c

PROPOSIO 4
Se a, b, c Z so tais que a|b e a|c, ento a|(xb +
yc), para todo x, y Z.

PROPOSIO 5
Dados a, b Z, temos que a|b ab

PROPOSIO 6
Sejam a.b Z e n N. Temos que a-b|a
n
-b
n


PROPOSIO 7
Sejam a, b Z e n N. Temos que a+b|a
2n+1
+b
2n+1


PROPOSIO 8
Sejam a, b Z e n N. Temos que a+b|a
2n
-b
2n



UNIDADE 02

TEOREMA 1
Sejam a, b Z-{0}. Existem q, r Z, tais que
b=a.q+r, com 0r<|a|

COROLARIO 2
Dados a, b N, existe n Z tal que nab<(n+1)a


UNIDADE 03

TEOREMA 1
Sejam a, b N, com b >1, existem nmeros
naturais c
0
, c
1
, ..., c
n
menores do que b,
univocamente determinados, tais que
a=c
0
+c
1
b+c
2
b
2
+...+c
n
b
n
.

PROPOSIO 2
Seja a = r
n
...r
1
r
0
um nmero apresentado no
sistema decimal. Uma condio necessria e
suficiente para que a seja divisvel por 5
(respectivamente por 10) que r
0
seja 0 ou 5
(respectivamente 0).

PROPOSIO 3
Seja a = r
n
...r
1
r
0
um nmero apresentado no
sistema decimal. Uma condio necessria e
suficiente para que a seja divisvel por 3 ou por 9
que r
n
+...+r
1
+r
0
seja divisvel por 3 ou por 9,
respectivamente.

COROLRIO 4
Todo nmero natural se escreve de modo nico
como soma de potncias distintas de 2.


UNIDADE 05

LEMA DE EUCLIDES
Sejam a, b, n Z. Se existe (a, b-na), ento (a, b)
existe e (a, b) =(a, b-na).

ALGORITMO DE EUCLIDES EXTENDIDO
Sejam a, b Z. Existe (a, b) =ma +nb, n, m Z.


UNIDADE 06

TEOREMA 1
Sejam a, b Z no ambos nulos. Se d =minI(a, b)
N, ento:
i) d mdc de a e b; e
ii) I(a, b) =dZ (={Id; I Z})

COROLRIO 2
Quaisquer que sejam a, b Z, no ambos nulos e
n N, (na, ma) =n(a, b).

COROLRIO 3
Dados a, b Z, no ambos nulos, tem-se
(
a
(a,b)
,
b
(a,b)
) =1.
PROPOSIO 4
Dois nmeros inteiros a e b so primos entre si se,
e somente se, existem nmeros inteiros n e m tais
que ma+na=1.

TEOREMA 5
Sejam a, b, c nmeros inteiros. Se a|b.c e (a, b) =1,
ento a|c.

COROLRIO 6
Dados a, b, c Z, com b e c no ambos nulos,
temos que b|a e c|a
bc
(b,c)
|a.

COROLRIO 7
Dados nmeros inteiros a
1
, a
2
, ..., a
n
, no todos
nulos, existe o seu mdc e (a
1
, ..., a
n
) =(a
1
, ..., (n
a-1
,
a
n
)).


UNIDADE 07

PROPOSIO 1
Dados dois nmeros inteiros a e b, ambos no
nulos, temos que [a, b] existe e [a, b](a, b) =|ab|.

COROLRIO 2
Se a e b so nmeros inteiros primos entre si,
ento [a, b] =|ab|.

PROPOSIO 3
Sejam a
1
, ..., a
n
nmeros inteiros no nulos. Ento
existe o nmero [a
1
, ..., a
n
] e [a
1
, ..., a
n-1
, a
n
] =
[a
1
, ..., [a
n-1
, a
n
]].


UNIDADE 08

PROPOSIO 1
Sejam a, b Z\{0} e c Z. A equao aX +bY =
c admite soluo em nmeros inteiros se, se
somente se, (a, b)|c.

PROPOSIO 2
Seja x
0
, y
0
uma soluo da equao aX +bY =c,
onde (a, b) =1. Ento, solues x, y em Z da
equao so x =x
0
+tb e y =y
0
ta, t Z.

PROPOSIO 3
Sejam a, b N, com (a, b) =1. Todo nmero
natural c pode ser escrito de modo nico da
seguinte forma: c = na + mb, com 0 n < b e m
Z.

PROPOSIO 4
c S(a, b) se, e somente se, existem n, m
N{0}, com n<b (univocamente determinados)
tais que c =na+mb.

COROLRIO 5
Temos que L(a, b) ={na+mb N, n, m N, n<b}.

TEOREMA 6
A equao aX +bY =c, onde (a, b) =1, tem
soluo em nmeros naturais se, e somente se, c
L(a, b) {na+mb N, n, m N, n<b}se, e
somente se, existem n, m N{0}, com n<b
(univocamente determinados) tais que c =na+mb.

PROPOSIO 7
Suponha que a equao aX +bY =c, com (a, b) =
1, tenha soluo e seja x
0
=n, y
0
=m a soluo
minimal. As solues x, y da equao so dadas
pelas frmulas x =n+tb e y =m-ta, t N{0}, m-
ta 0.


UNIDADE 10

PROPOSIO 1
Dada uma sequncia (a
n
)
n
tal que todo m n,(a
m
,
a
n
) =(a
n
, a
r
), onde r o resto da diviso de m por n,
ento tem-se que (a
m
, a
n
) =(a
m
, a
r
).

PROPOSIO 2
Se n, m, a N, com a 2, ento (a
m
1, a
n
1),
ento (a
m
1, a
n
1) =a
d
1, onde d =(m, n).

LEMA 3
Sejam a, m, n, q, r N, com a 2, tais que n =
mq +r, ento (a
n
+1, a
m
1) =(a
m
1,a
r
+1).

LEMA 4
Sejam a, m, n, q, r N, com a 2, tais que n =mq
+r, ento (a
m
1, a
n
+1) =
* (a
n
+1,a
r
1), se q par.
* (a
n
+1,a
r
+1), se q mpar.
LEMA 5
Sejam a, m, n, q, r N, tais que n =mq +r, ento
(a
m
+1, a
n
+1) =
* (a
n
+1,a
r
+1), se q par.
* (a
n
+1,a
r
1), se q mpar.

PROPOSIO 6
Sejam n, m N, com m|n e
m
n
par. Se a N,
ento, (a
m
+1, a
n
+1) =
* 1, se a par.
* 2, se a mpar.

TEOREMA 7
Se a, n, m N, com a 2, ento, (a
m
1, a
n
1) =
a
(m, n)
1 e (a
m
1, a
n
+1) pode apenas assumir
um dos seguintes valores: 1, 2 ou a
(m, n)
+1.

COROLRIO 9
Tem-se que (a
m
+1, a
n
+1) =
* a
(m, n)
+1, se
[m,n]
(m,n)
mpar.
* 2, se
[m,n]
(m,n)
par e a mpar.
* 1, se
[m,n]
(m,n)
e a so pares.

COROLRIO 10
Se a N, tem-se que (a
m
1, a
n
+1) =
* a
(m, n)
+1, se
m
(m,n)
par e
n
(m,n)
mpar.
* 2, caso contrrio e a mpar.
* 1, caso contrrio e a par.


UNIDADE 11

LEMA 1
Dois nmeros consecutivos da sequncia de
Fibonacci so primos entre si.

LEMA 2
Se n, m, N so tais que n|m, ento, u
n
|u
m
.

TEOREMA 3
Seja (u
n
)
n
a sequncia de Finacci, ento (u
m
, u
n
) =
u
(m, n)
.

COROLRIO 4
Na sequncia de Fibonacci, temos que u
n
divide
u
m
se, e somente se, n divide m.

MA14
RESUMO AV2
Unidade 12
Se p e q so primos e a Z, temos:
a) se p|q p =q;
b) se p |a (p, a) =1.
Proposio: Sejam a, b Ze p primo. Se p|ab, ento p|a ou p|b.
Corolrio: Sejam p, p
1
, . . . , p
n
primos. Se p|p
1
. . . p
n
, ento
p =p
i
, para algum i =1, . . . , n.
Teorema Fundamental da Aritmtica: Todo nmero natural
maior do que 1 ou primo ou se escreve de modo nico (a
menos da ordem dos fatores) como um produto de nmeros
primos.
Teorema: Seja n Z, n =0, 1, 1, existem primos p
1
< . . . < p
r
e

1
, . . . ,
r
N, univocamente determinados tais que
n =p

1
1
. . . p

r
r
.
Proposio: Seja n =p

1
1
. . . p

r
r
um natural. Se n

|n, ento
n

=p

1
1
. . . p

r
r
,
com 0
i

i
, para i =1, . . . , r.
O nmero de divisores de n, denotado por d(n), dado por
d(n) =(
1
+1) . . . (
r
+1).
Teorema: Sejam a = p

1
1
. . . p

n
n
e b = p

1
1
. . . p

n
n
. Pondo

i
=min{
i
,
i
} e
i
=max{
i
,
i
}, com i = 1, . . . , n, tem-se que
(a, b) =p

1
1
. . . p

n
n
e [a, b] =p

1
1
. . . p

n
n
.
Proposio: Seja n >4 composto e p o menor primo que divide
n; ento n|(np)!.
Proposio: Se m, n N, ento m = n E
p
(m) = E
p
(n) para
todo nmero primo p.
Teorema: Existem innitos nmeros primos.
Lema: Se n N, n > 1 tal que p |n para todo primo p, com
p
2
n, ento n primo.
Unidade 13
Lema: Seja p primo. Os nmeros
_
p
i
_
, com 0 < i < p, so todos
divisveis por p.
Pequeno Teorema de Fermat: Seja p primo. Tem-se que
p|a
p
a, a Z.
Corolrio (Pequeno Teorema de Fermat): Seja p primo e a N,
com p |a, ento p|a
p1
1.
Unidade 15
Proposio: Sejam a, n N, com a >1, n >1. Se a
n
+1 primo,
ento a par e n =2
m
, com m N.
Um nmero da forma F
n
=2
2
n
+1, com n =0, 1, 2, . . . , dito N-
mero de Fermat. Se F
n
primo, ento F
n
dito Primo de Fermat.
Proposio: Sejam a, n N, com a >1, n >1. Se a
n
1 primo,
ento a =2 e n primo.
Os Nmeros de Mersenne so os nmeros da forma M
p
=2
p
1,
com p primo.
Teorema de Dirichlet: Numa progresso aritmtica de nmeros
naturais, com (a
1
, r ) =1, existem innitos primos.
Proposio: Na progresso aritmtica
3, 7, 11, 15, . . . , 4n+3, . . .
existem innitos nmeros primos.
Lema: Seja x N, com x 2. Todo divisor mpar de x
2
+1 da
forma 4n+1.
Proposio: Na progresso aritmtica
1, 5, 9, 13, . . . , 4n+1, . . .
existem innitos nmeros primos.
Unidade 16
Seja S(n) a soma de todos os divisores naturais do nmero natu-
ral n, com S(1) =1.
Proposio: Seja n =p

1
1
. . . p

r
r
. Ento
S(n) =
p

1
+1
1
1
p
1
1
. . .
p

r
+1
r
1
p
r
1
.
Corolrio: A funo S(n) multiplicativa, isto , se (n, m) = 1,
ento S(n, m) =S(n) S(m).
Um natural n chamado de nmero perfeito se S(n) = 2n. Ou
ainda, se n for igual soma de seus divisores naturais, exceto ele
mesmo.
Teorema de Euclides-Euler: n N um nmero perfeito par se,
e somente se, n = 2
p1
(2
p
1), com 2
p
1 sendo um primo de
Mersenne.
Unidade 17
Se a, b N, denotamos por
_
a
b
_
o quociente de a por b na divi-
so euclidiana.
1
Proposio: Sejam a, b, c N. Temos
_
_
_
_
a
b
_
c
_
_
_=
_
a
bc
_
.
Teorema de Legendre: Sejam n natural e p primo. Ento,
E
p
(n!) =
_
n
p
_
+
_
n
p
2
_
+
_
n
p
3
_
+. . .
Lema: Sejam a
1
, . . . , a
m
, b N. Tem-se que
_
a
1
b
_
+. . . +
_
a
m
b
_

_
a
1
+. . . +a
m
b
_
<
_
a
1
b
_
+. . . +
_
a
m
b
_
+m.
Corolrio: Se a
1
, . . . , a
m
, b N, ento natural o nmero
(a
1
+. . . +a
m
)!
a
1
! . . . a
m
!
.
Teorema: Sejam p, n Z, com p primo. Se
n =n
r
p
r
+n
r 1
p
r 1
+. . . +n
1
p +n
0
a representao p-dica de n, ento
E
p
(n!) =
n(n
0
+n
1
+. . . +n
r 1
+n
r
)
p 1
.
Sejam dados os nmeros naturais m = m
s
p
s
+. . . +m
1
p +m
0
e
=
t
p
t
+. . . +
1
p +
0
, escritos na sua expanso p-dica, e seja
n =m+ comexpanso p-dica n =n
r
p
r
+. . .+n
1
p+n
0
. Para de-
terminar os n
i
em funo de m
i
e
i
, introduziremos a seguinte
notao:

0
=
_
0, se m
0
+
0
<p
1, se m
0
+
0
p
e para i >0,

i
=
_
0, se m
i
+
i
+
i 1
<p
1, se m
i
+
i
+
i 1
p
.
Pondo
1
=0, para 0 i r, temos n
i
=m
i
+
i
+
i 1

i
p.
Corolriode Kummer: E
p
__
n
m
__
=
r

i =0

i
.
Unidade 18
Sejam a, b Z. Se a b mod m, ento m|a b, ou a e b deixam
o mesmo resto quando divididos por m. Se a b mod m, ento
dizemos que a e b so incongruentes mdulo m.
Proposio: Seja m N. Para todos a, b, c Z, tem-se que
i) a a mod m;
ii) se a b mod m, ento b a mod m;
iii) se a b mod m e se b c mod m, ento a c mod m.
Proposio: Sejam a, b, m Z, com m>1. Tem-se que
a b mod mm|a b.
Sistema Completo de Resduos Mdulo m todo conjunto de
nmeros inteiros cujos restos da diviso por m so os nmeros
0, 1, . . . , m1, sem repeties e numa ordem qualquer.
Para todo a Z existem inteiros q e r univocamente determi-
nados tais que a = mq +r, com r R. Nessa situao, dizemos
tratar-se da diviso com resto em R. A diviso euclidiana corres-
ponde ao caso em que R ={0, 1, . . . , m1}.
Se tomarmos
R =
_
r Z;
m
2
m<
m
2
_
,
que um conjunto de m inteiros consecutivos, a correspon-
dente diviso ser chamada de diviso commenor resto.
Proposio: Sejam a, b, c, d m Z, com m>1.
i) se a b mod m e c d mod m, ento a +c b +d mod m;
ii) se a b mod m e c d mod m, ento a c b d mod m.
Corolrio: Para todos n N, a, b Z, se a b mod m, ento
a
n
b
n
mod m.
PequenoTeoremade Fermat: Se p primo e a Z, ento a
p
a
mod p. Alm disso, se p |a, ento a
p1
1 mod p.
Proposio: Sejam a, b, c, m Z, com m>1. Tem-se que
i) a +c b +c mod ma b mod m;
ii) ac bc mod m a b mod
m
(c, m)
. Se (c, m) = 1, ento
ac bc mod ma b mod m.
Proposio: Sejam a, k, m Z, com m > 1 e (k, m) = 1. Se
a
1
, . . . , a
m
um sistema completo de resduos mdulo m, ento
a +ka
1
, . . . , a +ka
m
tambm um sistema completo de resduos
mdulo m.
Proposio: Sejam a, b Z, e m, n, m
1
, . . . , m
r
inteiros maiores
do que 1. Temos
i) se a b mod m e n|m, ento a b mod n;
ii) a b mod m
i
, i =1, . . . , r a b mod[m
1
, . . . , m
r
];
iii) se a b mod m, ento (a, m) =(b, m).
Unidade 20
Proposio: Sejam a, m Z, com m > 1. A congruncia aX 1
mod m possui soluo se, e somente se, (a, m) = 1. Alm disso,
se x
0
Z uma soluo, ento x uma soluo da congruncia
se, e somente se, x x
0
mod m.
2
Um Sistema Reduzido de Resduos Mdulo m um conjunto de
nmeros inteiros r
1
, . . . , r
s
tais que
a) (r
i
, m) =1, i =1, . . . , s;
b) r
i
r
j
modm, se i = j ;
c) Para cada nZ tal que (n, m)=1, existe i tal que
n r
i
mod m.
Designamos por (m) o nmero de elementos de um sistema
reduzido de resduos mdulo m > 1, que corresponde quanti-
dade de naturais entre 0 e m1 que so primos com m. Pondo
(1) = 1, dene-se a funo : N N, chamada Funo Fi de
Euler.
Pela denio, temos (m) < m1, m 2. Tambm vale a
igualdade (m) =m1 se, e somente se, m primo.
Proposio: Seja r
1
, . . . , r
(m)
um sistema reduzido de resduos
mdulo m e seja a Z tal que (a, m) =1. Ento ar
1
, . . . , ar
(m)

um sistema reduzido de resduos mdulo m.
Teorema de Euler: Sejam m, a Z com m > 1 e (a, m) = 1. En-
to, a
(m)
1 mod m.
Corolrio (Pequeno Teorema de Fermat): Sejam a Z e p um
primo, tais que (a, p) = 1. Tem-se que a
p1
1 mod p, pois
(m) =p 1.
Proposio: Seja m Z livre de quadrados, ento a Z e
k N, tem-se que a
k(m)+1
a mod m.
Proposio: Sejam m, m

N tais que (m, m

) = 1. Ento
(m, m

) =(m)(m

).
Proposio: Se p um primo e r N, ento tem-se que
(p
r
) =p
r
p
r 1
=p
r
_
1
1
p
_
.
Teorema: Seja m>1, com m= p

1
1
. . . p

n
n
sendo a decomposi-
o de m em fatores primos. Ento
(m) =p

1
1
. . . p

n
n

_
1
1
p
1
_
. . .
_
1
1
p
n
_
=p

1
1
1
. . . p

n
1
n
(p
1
1) . . . (p
n
1)
Proposio: Sejam dados a, m Z, com m > 1. Existe h N tal
que a
h
1 mod m se, e somente se, (a, m) =1.
Suponha que a, m Z, com m > 1 e (a, m) = 1. Pela proposi-
o anterior, sabemos que {i N; a
i
1 mod m} = . Portanto,
vamos denir a ordem de a com respeito a m, como sendo o n-
mero natural ord
m
(a) =min{i N; a
i
1 mod m}.
Lema: Sejam a, m Z, com m>1 e (a, m) =1. Temos
a
n
1 mod mord
m
(a)|n.
Corolrio: Sejam a, m Z, com m > 1 e (a, m) = 1. Temos
ord
m
(a)|(m).
Proposio: Todo divisor natural de F
n
da forma 2
n+1
k +1,
com k N{0}.
Corolrio: Na progresso aritmtica com a
1
= 1 e r = 2
s
, para
s N xo, existem innitos nmeros primos.
Teorema de Lucas: Sejam a, m N, com m > 1 e (a, m) = 1.
Se a
m1
1 mod m e a
k
1 modm, k, k < m1; ento m
primo.
Teorema de Wilson: Se p primo, ento (p 1)! 1 mod p.
Proposio (Recproca do Teorema de Wilson): Seja p 2 um
inteiro. Se (p 1)! 1 mod p, ento p primo.
Teorema (Generalizao do Teorema de Wilson): Sejam p
um primo e m, n N{0} tais que m+n = p 1. Tem-se que
m!n! (1)
n+1
mod p.
Unidade 21
Proposio: Dados a, b, m Z, com m > 1, a congruncia
aX b mod m possui soluo se, e somente se, (a, m)|b.
Teorema: Sejam a, b, m Z, com m > 1 e (a, m)|b. Se x
0
uma
soluo da congruncia aX b mod m, ento
x
0
, x
0
+
m
d
, x
0
+2
m
d
, . . . , x
0
+(d 1)
m
d
,
com d = (a, m), formam um sistema completo de solues da
congruncia, duas a duas incongruentes mdulo m.
Corolrio: Se (a, m) = 1, ento a congruncia aX b mod m,
possui uma nica soluo mdulo m. Essa soluo ser cha-
mada de inverso multiplicativo mdulo m.
Corolrio: Sejam m > 1 e R

um conjunto reduzido de resduos

mdulo m. Se b Z, ento, r R

, a congruncia
r X b mod m
possui uma nica soluo em R

.
Observao: Toda congruncia aX b modm, que possui solu-
o equivalente a uma congruncia da forma
X c modn.
Teorema de Thue: Sejam m > 1 um natural no quadrado e
a Z, com (a, m) = 1. A congruncia aX Y mod m possui
uma soluo (x, y) Z
2
tal que 0 <|x| <

m e 0 <|y| <

m.
Teorema Chins dos Restos: Se (m
i
, m
j
) = 1, m
i
, m
j
, com
i = j , ento o sistema
X c
i
mod m
i
, i =1, . . . , r
possui uma nica soluo mdulo
M =m
1
m
2
. . . m
r
.
As solues so
x =M
1
y
1
c
1
+. . . +M
r
y
r
c
r
+t M,
com t Z, M
i
=
M
m
i
e y
i
soluo de
M
i
1 modm
i
, i =1, . . . , r.
3
Proposio: O sistema de congruncias
X c
1
mod m
1
, X c
2
mod m
2
admite soluo se, e somente se, c
2
c
1
mod (m
1
, m
2
). Alm
disso, dada uma soluo a do sistema, um nmero a

tambm
uma soluo se, e somente se, a

a mod [m
1
, m
2
].
Teorema Chins dos Restos Generalizado: O sistema de con-
gruncias
X c
i
mod m
i
, i =1, . . . , r
admite soluo se, e somente se,
c
i
c
j
mod (m
i
, m
j
), i , j =1, . . . , r.
Nesse caso, a soluo nica mdulo [m
1
, . . . , m
r
].
Lema: Existem inteiros x
1
, . . . , x
r
tais que
x
1
M
1
+. . . +x
r
M
r
=1,
com M =[m
1
, . . . , m
r
] e M
i
=
M
m
i
, i =1, . . . , r.
Lema: Para todos i , j =1, . . . , r, tem-se que m
j
|M
i
(m
i
, m
j
).
Teorema: Se o sistema X c
i
mod m
i
, i =1, . . . , r admite solu-
o, as solues so dadas por
x =c
1
x
1
M
1
+. . . +c
r
x
r
M
r
+t M,
com t Z e x
1
, . . . , x
r
so tais que x
1
M
1
+. . . +x
r
M
r
=1.
Unidade 22
O conjunto [a] = {x Z; x a mod m} chamado classe re-
sidual mdulo m do elemento a de Z. O conjunto de todas as
classes residuais mdulo m ser representado por Z
m
. Portanto,
Z
m
={[0], [1], . . . , [m1]}.
Proposio: As classes residuais possuem as seguintes proprie-
dades:
i) [a] =[b] a b mod m;
ii) Se [a] [b] =, ento [a] =[b];
iii)

aN
[a] =Z.
Dado [x] de Z
m
, um nmero inteiro a tal que [x] = [a] ser de-
nominado de representante de [x].
Proposio: Para cada a Z existe um, e somente um, r Z,
com 0 r <m, tal que [a] =[r ].
Corolrio: Existem exatamente m classes residuais distintas
mdulo m, a saber, [0], [1], . . . , [m1].
EmZ
m
podemos denir as seguintes operaes:
Adio: [a] +[b] =[a +b]
Multiplicao: [a] [b] =[a b]
Para todos [a], [b], [c] Z
m
, temos as seguintes propriedades.
Propriedades da Adio:
A1) Associatividade ([a] +[b]) +[c] =[a] +([b] +[c]);
A2) Comutatividade [a] +[b] =[b] +[a];
A3) Existncia de Zero [a] +[0] =[a];
A4) Existncia do Simtrico [a] +[a] =[0].
Propriedades da Multiplicao:
M1) Associatividade ([a] [b]) [c] =[a] ([b] [c]);
M2) Comutatividade [a] [b] =[b] [a];
M3) Existncia de Unidade [a] [1] =[a];
AM) Distributividade [a] ([b] +[c]) =[a] [b] +[a] [c].
Anel todo conjunto munido das operaes de adio e de
multiplicao com as propriedades acima. Portanto, Z
m
, com
as operaes acima, um anel, chamado anel das classes residu-
ais mdulo m, ou anel dos inteiros mdulo m.
Um elemento [a] de Z
m
ser dito invertvel, quando existir
[b] Z
m
tal que [a] [b] = 1. Nesse caso, diremos que [b] o
inverso de [a].
Um elemento a = 0 de um anel A chamado de divisor de zero
se existir b =0 em A tal que a b =0.
Observao: Um divisor de zero nunca invertvel.
Um anel em que todo elemento no nulo possui um inverso
multiplicativo chamado de corpo (Z
2
, Z
3
e Z
5
so, mas Z
4
no
).
Proposio: Um elemento [a] Z
m
invertvel se, e somente se,
(a, m) =1.
Corolrio: Z
m
um corpo se, e somente se, m primo.
4 Produzido em L
A
T
E
X