Enteros1

En este capı́tulo daremos la construcción de los números enteros. Definiremos las operaciones
suma y multiplicación, las nociones de orden, valor absoluto y también veremos las propiedades que
tienen. Por último, mostraremos que existe una inmersión de los naturales en ellos. A lo largo de
este capı́tulo utilizaremos varias propiedades conocidas de los números naturales, para más detalles
sobre el tema referimos a [AC17].

0.1. Construcción
Definición 0.1. Dados n, m, p, q ∈ N escribimos (n, m) ∼ (p, q) si y solo si n + q = m + p. Notemos
que ∼ es una relación definida sobre N × N.
Proposición 0.2. La relación ∼ es una relación de equivalencia.
Demostración. Sean (n, m), (p, q), (r, s) ∈ N × N. Dado que la suma en N es conmutativa tenemos
que n + m = m + n, es decir, (n, m) ∼ (n, m). Además, si (n, m) ∼ (p, q) entonces q + n = n + q =
m + p = p + m. Luego, (p, q) ∼ (n, m). Finalmente, supongamos que (n, m) ∼ (p, q) y (p, q) ∼ (r, s).
Entonces, 
n+q =m+p
(1)
p+s=q+r
sumando s en la primera ecuación de (1) tenemos n + q + s = m + p + s = m + q + r. Por la ley de
cancelación de la suma en N se sigue que n + s = m + r. Por lo tanto, (n, m) ∼ (r, s).
Como ∼ es una relación de equivalencia en N × N esta induce una partición. Denotamos por [(n, m)]
la clase de equivalencia de (n, m) bajo la relación ∼. Esto es,

[(n, m)] := {(p, q) ∈ N × N : (p, q) ∼ (n, m)}

Definición 0.3. El conjunto de números enteros es

Z := {[(n, m)] : (n, m) ∈ N × N}.

0.2. Suma y multiplicación

Definición 0.4. La suma en los enteros es la función + : Z×Z → Z definida por [(n, m)]+[(p, q)] =
[(n + p, m + q)].
Notemos que si (n, m) ∼ (n0 , m0 ) y (p, q) ∼ (p0 , q 0 ) entonces

n + m 0 = m + n0

(2)
p + q 0 = q + p0

sumando ambas ecuaciones en (2) se tiene n + m0 + p + q 0 = m + n0 + q + p0 . Por asociatividad y

conmutatividad en N, tenemos n + p + m0 + q 0 = m + q + n0 + p0 lo cual implica (n + p, m + q) ∼
(n0 + p0 , m0 + q 0 ). Es decir, [(n, m)] + [(p, q)] = [(n0 + m0 )] + [(p0 + q 0 )]. Ası́, podemos concluir que la
suma en Z está bien definida. Notación: 0Z := [(0, 0)].
Proposición 0.5. Los siguientes enunciados se cumplen:
1 Estas notas son un apoyo didáctico para el curso de Algebra Superior II. Mucho del material que se presenta está

basado en [CLRT90].

1
 1. Existe un único θ ∈ Z tal que a + θ = a = θ + a para todo a ∈ Z,
2. Para cualquier a ∈ Z, existe un único ã ∈ Z tal que a + ã = 0Z = ã + a. Denotamos por −a a
dicho elemento y lo llamamos el inverso aditivo de a.
Demostración.
1. Sea a = [(n, m)] ∈ Z. Entonces, a + 0Z = [(n, m)] + [(0, 0)] = [(n, m)] = a. Análogamente,
0Z + a = a. Por otra parte, supongamos que θ satisface la hipótesis. En particular, tenemos
que 0Z = θ + 0Z . Además, θ + 0Z = θ por lo demostrado anteriormente. Por lo tanto, 0Z = θ.
2. Sea a = [(n, m)] ∈ Z. Notemos que, considerando ã := [(m, n)], obtenemos

a + ã = [(n, m)] + [(m, n)] = [(n + m, m + n)] = [(0, 0)] = 0Z .

Análogamente, ã + a = 0Z . Para la unicidad, supongamos que ã y â satisfacen la hipótesis.

Luego,
ã = ã + 0Z = ã + (a + â) = (ã + a) + â = 0Z + â = â.

Proposición 0.6. Para cualesquiera a, b ∈ Z, existe un único c ∈ Z tal que a = b + c.

Demostración. Sean a, b ∈ Z. Definimos c := −b + a. Entonces,

b + c = b + (−b + a) = (b + (−b)) + a = 0Z + a = a.

Además, si c0 también satisface la igualdad anterior tenemos que

c = −b + a = −b + (b + c0 ) = ((−b) + b) + c0 = 0Z + c0 = c0 .

Notemos que en Z se cumple la proposición anterior mientras que en N no es cierto en general.

Gracias a la proposición anterior podemos definir lo siguiente.
Definición 0.7. La resta en los enteros es la función − : Z × Z → Z definida por a − b := −b + a.
Definición 0.8. La multiplicación en los enteros es la función · : Z × Z → Z definida por

[(n, m)] · [(p, q)] := [(np + mq, nq + mp)].

Notemos que, si (n, m) ∼ (n0 , m0 ) entonces n + m0 = m + n0 . Multiplicando por p y por q obtenemos

las siguientes igualdades
np + m0 p = mp + n0 p

(3)
nq + m0 q = mq + n0 q
sumando las ecuaciones en (3) obtenemos

np + m0 p + mq + n0 q = nq + m0 q + mp + n0 p

en N. Usando conmutatividad y asociatividad en N se sigue que

(np + mq) + (n0 q + m0 p) = (nq + mp) + (n0 p + m0 q)

lo cual implica [(np + mq, nq + mp)] = [(n0 p + m0 q, n0 q + m0 p)]. Luego, [(n, m)] · [(p, q)] = [(n0 , m0 )] ·
[(p, q)]. Es decir, la definición no depende del representante del primer factor. Análogamente, se
puede probar que no depende del representante del segundo factor. Por lo tanto, la multiplicación
en Z está bien definida. Notación: 1Z := [(1, 0)].

2
Proposición 0.9. Para cualquier a ∈ Z se cumple a · 1Z = a = 1Z · a.
Demostración. Sea a = [(n, m)] ∈ Z. Entonces, a · 1Z = [(n, m)] · [(1, 0)] = [(n1 + m0, n0 + m1)] =
[(n, m)] = a. Análogamente, 1Z · a = a.
Definición 0.10. El conjunto de los enteros positivos es
Z+ := {[(n, m)] ∈ Z : m < n}.
Proposición 0.11. Para cualquier a ∈ Z, se cumple una y solo una de las siguientes condiciones:
a ∈ Z+ o a = 0Z o −a ∈ Z+ .
Demostración. Sea a = [(n, m)] ∈ Z. Notemos que m < n si y solo si a ∈ Z+ , n = m si y solo si
a = 0Z , y n < m si y solo si −a = [(m, n)] ∈ Z+ . Luego, el resultado se sigue por tricotomı́a en
N.
Definición 0.12. El conjunto de enteros negativos es
Z− := {[(n, m)] ∈ Z : n < m}.
Proposición 0.13. Para cualesquiera a, b ∈ Z, si a = 0Z o b = 0Z entonces a · b = 0Z .
Demostración. Supongamos que a = 0Z . Como 0Z + 0Z · b = 0Z b = (0Z + 0Z ) · b = 0Z · b + 0Z · b
tenemos por la ley de cancelación de la suma en Z que 0Z = 0Z · b = a · b. De manera análoga se
hace el caso b = 0Z .
Proposición 0.14. Sean a, b ∈ Z. Los siguientes enunciados se cumplen:
1. (−a) · b = a · (−b) = −(a · b),
2. −(−a) = a,
3. (−a) · (−b) = a · b.
Demostración. Sean a, b ∈ Z.
1. Por conmutatividad de la suma, distributividad y la Proposición 0.13 tenemos que
a · b + (−a) · b = (a + (−a)) · b = 0Z · b = 0Z .
Luego, (−a) · b es el inverso aditivo de a · b y dado que los inversos aditivos son únicos se sigue
que (−a) · b = −(a · b). Análogamente, a · (−b) = −(a · b).
2. Al igual como en el inciso anterior, es suficiente probar que a es el inverso aditivo de −a. En
efecto, esto se sigue de la igualdad a + (−a) = 0Z .
3. Por los incisos anteriores tenemos que (−a) · (−b) = a · (−(−b)) = a · b.

Corolario 0.15. Para cualquier a ∈ Z, se cumple que (−1Z ) · a = −a y (−1Z ) · (−1Z ) = 1Z .

Lema 0.16. Para cualquier a ∈ Z, se tiene que a = 0Z si y solo si −a = 0Z .
Demostración. Por una parte, si a = 0Z entonces a+0Z = 0Z = a+(−a). Por la ley de la cancelación
de la suma en Z se tiene que 0Z = −a. Por otra parte, si −a = 0Z tenemos por lo anterior que
0Z = −(−a) = a.
Teorema 0.17. Para cualesquiera a, b ∈ Z, si a · b = 0Z entonces a = 0Z o b = 0Z .
Demostración. Por el Lema 0.16 tenemos que a · b = 0Z si y solo si −(a · b) = 0Z . Por lo que, usando
las Proposiciones 0.14 y 0.11 podemos suponer que ambos a y b pertenecen a Z+ ∪ {0Z }. En efecto,
sean a, b ∈ Z+ ∪ {0Z } con a · b = 0Z . Luego, existen k, k 0 ∈ N tales que a = [(k, 0)] y b = [(k 0 , 0)].
Como [(0, 0)] = 0Z = a · b = [(kk 0 , 0)] tenemos que kk 0 = 0 en N, lo cual implica k = 0 o k 0 = 0. Por
lo tanto, a = 0Z o b = 0Z .

3
0.3. Orden y valor absoluto
Definición 0.18. Dados a, b ∈ Z decimos que a es menor que b (o que b es mayor que a), lo cual
denotaremos por a < b, si y solo si −a + b ∈ Z+ . Denotamos por a ≤ b en caso de que a < b o a = b.

Lema 0.19. Sean a, b ∈ Z. Entonces, a < b si y solo si existe t ∈ Z+ tal que a + t = b.

Demostración. Por una parte, supongamos que a < b. Considerando t := −a + b ∈ Z+ obtenemos

que a + t = a + (−a + b) = b. Por otra parte, si existe t ∈ Z+ tal que a + t = b entonces −a + b =
(−a + a) + t = 0Z + t = t ∈ Z+ . Por lo tanto, a < b.

Definición 0.20. La operación valor absoluto es la función | · |: Z → Z tal que


a si 0Z ≤ a
| a |:=
−a si a < 0Z

Observación 0.21. De la definición de valor absoluto y por el Lema 0.19 se tiene que | a |=| −a |
y 0Z ≤| a | para todo a ∈ Z.

Lema 0.22. Si a ∈ Z+ entonces a = 1Z o 1Z < a.

Demostración. Como a ∈ Z+ podemos suponer que a = [(k, 0)] con k ∈ N+ . Luego, tenemos dos
casos: k = 1 o 1 < k en N. En el primer caso obtenemos que a = 1Z . Ahora bien, si 1 < k entonces
existe t ∈ N+ tal que 1 + t = k en N2 . Luego, a = [(k, 0)] = [(1, 0)] + [(t, 0)] = 1Z + [(t, 0)] donde
[(t, 0)] ∈ Z+ . Por lo que, el resultado se sigue por el Lema 0.19.

Definición 0.23. Decimos que a ∈ Z tiene inverso multiplicativo (o es unidad) si existe b ∈ Z tal
que a · b = 1Z = b · a.

Teorema 0.24. Los únicos enteros que tienen inverso multiplicativo son 1Z y −1Z .

Demostración. Sea a ∈ Z tal que existe b ∈ Z con a · b = 1Z = b · a. Dado que el valor absoluto de
cualquier entero es mayor o igual a 0Z y | a | · | b |=| a · b |= 1Z , por la Proposición 0.13 tenemos
que | a | y | b |∈ Z+ . Luego, por el Lema 0.22 se sigue que 1Z ≤| a | y 1Z ≤| b |.
Veamos que | a |= 1Z . En efecto, supongamos que 1Z <| a |. Como | a |∈ Z+ y 1Z ≤| b | tenemos
que 1Z <| a |≤| a | · | b |= 1Z lo cual contradice que < sea un orden lineal. Por lo tanto, | a |= 1Z lo
cual implica que a = 1Z o a = −1Z .

0.4. Inmersión de N en Z
Teorema 0.25. Existe una función φ : N → Z que satisface lo siguiente

1. φ es inyectiva, φ(0) = 0Z y φ(1) = 1Z .

2. Para cualesquiera n, m ∈ N se cumple

a) φ(n + m) = φ(n) + φ(m).

b) φ(nm) = φ(n) · φ(m).
c) n < m en N si y solo si φ(n) < φ(m) en Z.

Demostración. Definimos φ : N → Z como φ(n) := [(n, 0)] para cada n ∈ N.

1. Es claro de la definición que φ(0) = 0Z y φ(1) = 1Z . Además, si n, m ∈ N son tales que n 6= m

entonces n + 0 6= 0 + m. Por lo tanto, φ(n) = [(n, 0)] 6= [(m, 0)] = φ(m).
2 Si t ∈ N+ entonces 0 < t en N.

4
2. Sean n, m ∈ N. Entonces,
a) φ(n + m) := [(n + m, 0)] = [(n, 0)] + [(m, 0)] = φ(n) + φ(m).
b) φ(n) · φ(m) = [(n, 0)] · [(m, 0)] = [(nm, 0)] = φ(nm).
c) Por una parte, si n < m en N entonces existe t ∈ N+ tal que n + t = m. Luego,
φ(m) = φ(n) + φ(t) con φ(t) ∈ Z+ . Por el Lema 0.19 se sigue que φ(n) < φ(m).
Por otra parte, supongamos que φ(n) < φ(m) y que no se cumple que n < m. Por
tricotomı́a en N y por lo probado anteriormente tenemos que φ(m) ≤ φ(n) < φ(m) lo que
contradice que < sea un orden lineal en Z. Por lo tanto, n < m.

5
6
Bibliografı́a

[AC17] D. Avella and C. Campero. Curso Introductorio de Algebra I. Colección Papiros, Serie
Textos No. 6, 2017.

[CLRT90] H. Cárdenas, E. Lluis, F. Raggi, and F. Tomás. Algebra superior. Trillas, 1990.