Números Enteros - Universidad de Buenos Aires
Números Enteros - Universidad de Buenos Aires
Números Enteros - Universidad de Buenos Aires
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
• No hay Existencia <strong>de</strong> Inverso multiplicativo : Los únicos elementos inversibles a <strong>de</strong> Z para<br />
el producto, o sea que verifican que existe a −1 ∈ Z <strong>de</strong> manera que a · a −1 = 1 son el 1 y el<br />
−1 .<br />
La propiedad siguiente relaciona el producto con la suma:<br />
• Distributividad <strong>de</strong>l producto sobre la suma : Para todo a, b, c ∈ Z , a · (b + c) = a · b + a · c .<br />
Estas propieda<strong>de</strong>s <strong>de</strong> la suma y el producto en Z hacen que Z tenga una estructura <strong>de</strong> Anillo<br />
Conmutativo (estructura que conviene estudiar en general por las mismas razones que conviene<br />
estudiar la <strong>de</strong> Grupo).<br />
Recor<strong>de</strong>mos otras propieda<strong>de</strong>s que ya conocemos <strong>de</strong> Z o también <strong>de</strong> subconjuntos <strong>de</strong> Z :<br />
• Z es un conjunto inductivo, que contiene estrictamente a N y para el cual no vale así nomás<br />
el principio <strong>de</strong> inducción ya que no tiene primer elemento por el cual empezar la inducción.<br />
• Si fijamos n0 ∈ Z , en Zn0 := {m ∈ Z; m ≥ n0} vale el principio <strong>de</strong> inducción empezando en<br />
n0 . Por ejemplo en N0 := N ∪ {0} vale el principio <strong>de</strong> inducción.<br />
• Equivalentemente, Zn0 y N0 son conjuntos bien or<strong>de</strong>nados, o sea, cualquier subconjunto no<br />
vacío <strong>de</strong> Zn0 o N0 tiene primer elemento o mínimo (un elemento en el subconjunto menor<br />
o igual que todos los <strong>de</strong>más).<br />
2 Divisibilidad<br />
El hecho que los números enteros no son divisibles (con cociente entero) por cualquier otro número<br />
entero hace interesante estudiar la noción y consecuencias <strong>de</strong> la divisibilidad. (Este estudio no se<br />
justifica por ejemplo <strong>de</strong> la misma manera en Q o R don<strong>de</strong> todo número racional o real es divisible<br />
(con cociente racional o real) por cualquier otro número racional o real no nulo.)<br />
Definición 2.1 (Divisibilidad)<br />
Sean a, d ∈ Z con d = 0 . Se dice que d divi<strong>de</strong> a a (o que a es divisible por d , o que a es<br />
múltiplo <strong>de</strong> d ) si existe un elemento k ∈ Z tal que a = k · d (o sea si el cociente a<br />
d es un número<br />
entero).<br />
Se nota d | a (con una barrra vertical, no confundir con la barra <strong>de</strong>l cociente / ). O sea:<br />
d | a ⇐⇒<br />
<strong>de</strong>f ∃ k ∈ Z : a = k · d.<br />
En caso contrario, se dice que d no divi<strong>de</strong> a a , y se nota d ∤ a . Eso es cuando el cociente a<br />
d /∈ Z ,<br />
o sea no existe ningún entero k ∈ Z tal que a = k · d .<br />
El conjunto <strong>de</strong> los divisores positivos y negativos <strong>de</strong> un entero a se notará por Div (a) y el <strong>de</strong> los<br />
divisores positivos por Div+ (a) .<br />
(Nota : en algunos libros no se excluye el caso d = 0 pero se conviene que 0 divi<strong>de</strong> únicamente<br />
al 0 . Igualmente en este curso excluiremos el caso d = 0 para no “dividir por 0 ”.)<br />
Ejemplos<br />
• 7 | 56 pues 56 = 8 · 7 .<br />
• 7 | − 56 , −7 | 56 , −7 | − 56 .<br />
2