Nmeros enteros

El conjunto de los nmeros enteros est formado por la unin de tres

conjuntos: el conjunto de los nmeros naturales, el conjunto formado por el
0 y el conjunto de los inversos aditivos de los nmeros naturales o sea
Z = N { 0 } N

Z = {.., !, ", #, 0, #, ", !, ..$

En este conjunto podemos definir la suma, la resta y la multiplicacin %ue
resultan ser cerradas, &su resultado vuelve a ser un nmero entero'. (ero no
podemos dividir, por eso tiene sentido el concepto de divisi)ilidad.
DEF.
*ados a Z y ) Z, con ) 0, se dice %ue ) divide a a sii e+iste un
nmero c Z tal %ue a = ) . c y lo notamos ) a.
,am)i-n se dice %ue a es mltiplo de ) o %ue ) es divisor de a.
b a sii c Z / a = b . c
Algoritmo de divisin
*ados a Z y ) Z, con a 0, e+isten nicos enteros % y r, tal %ue
a = b.q r con 0 r < b
% se llama el cociente y r el resto de la divisin de a por ).
*ada la unicidad del anterior al.oritmo, podemos usar el concepto de resto
para o)tener resultados muy interesantes, osea el anlisis de los resto de
una divisin es muy efica/ para ciertos resultados
0otacin:
r
b
!a" = resto de dividir a #or b
(ropiedades
r
)
&a 1 c' = r
)
&r
)
&a' 1 r
)
&c''
r
)
&a .c' = r
)
&r
)
&a' . r
)
&c''
r
)
&a
n
' = r
)
&r
)
&a''
n
'
E$istencia del %a$imo comn divisor
*ados a Z y ) Z, definimos &a . )' como el mayor de todos los
divisores positivos comunes de a y ).
&a . )' = d sii
i' da y d )
ii' 2i e+iste c Z 3 c a y c ) entonces c d.
iii' d > 0
Algoritmo de E&clides
*ados a Z y ) Z, con ) > 0aplicando reiteradamente el al.oritmo de
divisin, se puede o)tener el &a : )'
a = ) . %# 1 r# con 0 r# < )
) = r#. %" 1 r" con 0 r" < r#
r# = r". %! 1 r! con 0 r! < r"
..
Este proceso es finito por lo %ue en al.n momento se lle.a a
r4 = r4 1 #. %4 1 " 1 0
entonces el &a : )' = r4 1 #
5 sea %ue es el ltimo resto no nulo66
DEF
*ados a Z y ) Z, se dice %ue a y ) son corrimos sii &a : )' = #
Es decir %ue no tiene divisores en comn, salvo el # %ue divisor de todos
los nmeros enteros.
'()
2i &a : )' = #, entonces e+isten nicos enteros s y 7 tal %ue # = s.a 1 7.)
DEF
8n entero no nulo p se dice primo sii admite nicamente dos divisores
positivos: # y p.
8n nmero %ue tiene ms de dos divisores positivos se llama compuesto.
Ej: ", !, 9, :, ##,.son nmeros primos
, ;. <. =, #0, #",son nmeros compuestos
*ro#iedades
#' 2i un primo es divisor de un producto de dos factores, entonces es
divisor de uno de ellos
"' 2i un nmero es divisor de un producto de so factores y es coprimo con
uno de ellos, entonces divisor del otro factor>
!'2i dos enteros corrimos son divisores de un tercero, entonces su producto
es divisor de -ste.
+eorema
*ado un entero a, e+iste un primo %ue lo divide
+eorema de ,actori-acin
,odo entero mayor %ue # se puede descomponer como producto de factores
primos positivos elevados a e+ponentes. ,al descomposicin es nica,
salvo el orden de los factores.
Es decir %ue:
)i a Z . a > /0 entonces a #
i
# *
+eorema de E&clides
E+isten infinitos primos positivos.
+eorema de Fermat
2ean a Z y p un primo positivo. Entonces:
i" a
#
a!#"
ii" )i !a 1 #" = / ent. a
#/
/!#"
2ongr&encia
2ean a, ) y m, nmeros enteros y m 0. 2e dice %ue a es con.ruente a )
mdulo m sii m a ).
Notacin1 a ) &m' &a es con.ruente a ) mdulo m'
?a con.ruencia es en realidad una notacin introducida pos @auss, %ue
facilita los clculos.
*ro#iedades1
#' a ) &m' y c d &m' ent. a 1 c ) 1 d &m' .
"' a ) &m' y c d &m' ent. a . c ) . d &m'
!' a ) &m' y c Z ent. c.a c.) &m'
' a ) &m' y d divide a los tres a, ), m entonces a3d )3d &m3d'
2ongr&encias . restos
2ean a, ), m nmeros enteros:
#' a ) &m' ent. r
m
&a' = r
m
&)'
"' a r
m
&a' &m'
!' a r
m
&)' y a < m ent. a = r
m
&)'
Ec&acin lineal de congr&encia
2ean a, ) y m nmeros enteros.
a.+ )&m' es la ecuacin %ue intenta encontrar los + enteros tal %ue
multiplicados por a resultan con.ruentes a ) mdulo m.
?a ecuacin a.+ )&m' admite solucin sii &a : m' )
3esol&cin de la ec&acin lineal de congr&encia1
i' se reempla/an a y ) por nmeros convenientes mdulo m, si es
necesario, para tra)ajar con nmeros positivos y menores %ue m
ii' se decide si la ecuacin admite solucin.
iii' se divide todo por &a : )' &se coprimi/a la ecuacin' y se o)tiene otra
ecuacin del tipo aA .+ )A &mA' con &aB: mA' = #
iv' se escri)e a # = aA.r 1 mA.s
v' se multiplica todo por )A y resulta )A = aA. &r.)A' 1 mA. &s.)A'
vi' +
0
= r.)A
vii' todas las soluciones son +
0
1 4. mA, con 0 4 &a : m' #
5 sea 7ay e+actamente &a : m' soluciones en el intervalo C0, m'