0.

Preliminares
Divisibilidad en Z

Definición 1
1. Un entero t distinto de cero divide a un entero s, si existe un
entero u tal que s = tu. En este caso, escribimos t | s (se lee
“t divide a s”). Cuando t no divide a s, escribimos t ∤ s.
2. Un número primo es un entero positivo mayor que 1 cuyos
únicos divisores positivos son 1 y él mismo.
3. Un entero s es un múltiplo de un entero t, si existe un entero
u tal que s = tu o, de manera equivalente, si t divide a s.

Teorema 1 (Algoritmo de la división)

Dados dos enteros a y b con b ̸= 0, existen enteros únicos q y r
con la propiedad que
a = bq + r, donde 0 ≤ r < |b|.

Axioma 2 (Principio del buen orden)

Todo conjunto no vacío de enteros positivos contiene un elemento
mínimo.

Esquema de la demostración del algoritmo de la división.

Para demostrar el algoritmo de la división se considera el conjunto
S = {a − bx : x ∈ Z, a − bx ≥ 0}.
Si 0 ∈ S, existe q ∈ Z tal que a − bq = 0, o equivalentemente, a = bq + 0.
Esto probaría el teorema.

1
Si 0 ∈/ S, se supone b ≥ 1 y se muestra que a − (−|a|)b ∈ S. Por el prin-
cipio del buen orden, S tiene un elemento minimal, digamos r = a − bq.
Si b < 1, se usa la parte anterior para −b > 1 y se obtiene r = a − b(−q).
Luego, se prueba que 0 ≤ r < b. Por la forma en que se ha obtenido r,
r ≥ 0. Si r ≥ b, se muestra que r − b ∈ S, lo que contradice la minimali-
dad de r dado que r − b < r. Así, se concluye que 0 ≤ r < b.
Finalmente, se prueba la unicidad de r y q suponiendo que existen r′ y
q ′ que satisfacen a = bq ′ + r′ con 0 ≤ r′ ≤ b, y estimando |r − r′ |. □

Definición 2
1. Sean a y b dos enteros. Un entero c ̸= 0 es llamado divisor
común de a y b, si c | a y c | b.
2. El máximo común divisor de dos enteros no ambos nulos a y b,
es el mayor de todos los divisores comunes de a y b. Denotamos
este número entero por mcd(a, b).
3. Dos enteros a y b son primos relativos si mcd(a, b) = 1.

Observar que, por definición, el máximo común divisor de dos enteros

no ambos nulos es siempre mayor que cero.

Teorema 3 (Lema de Bezout)

Sean a y b enteros con a ̸= 0 o b ̸= 0, entonces a y b tienen un
máximo común divisor positivo. Más aún, existen números enteros
s y t tales que
mcd(a, b) = as + bt.
Además, mcd(a, b) es el entero positivo más pequeño de la forma
as + bt.

Esquema de demostración.
Para demostrar el Lema de Bezout, se supone a ̸= 0 (si a = 0, b ̸= 0 y la
demostración sería análoga). Se considera el conjunto
S = {as + bt : s, t ∈ Z, as + bt > 0}.

2
Como a2 = aa + b0 > 0, a2 ∈ S y S ̸= ∅. Por el principio del buen orden,
S tiene un elemento minimal, digamos
d = sa + bt.
Luego, usando el algoritmo de la división, se prueba que d | a y de forma
análoga que d | b. Finalmente, se prueba que si d′ es divisor común de a
y b, entonces d′ ≤ d, por lo que se concluye que d = mcd(a, b). □

Ejemplo 4
Notar que los enteros que existen según el teorema anterior, no
necesariamente son únicos. Por ejemplo,
mdc(45, 126) = 9 pero
9 = 3 · 45 + (−1)126 = 129 · 45 + (−46) · 126

Corolario 5
Dos enteros a y b son primos relativos si y solo si existen enteros
s y t tales que
1 = as + bt.

Ejemplo 6
Determinar enteros s y t tales que mcd(45, 126) = r · 45 + s · 126

Solución.
126 = 2 · 45 + 36
45 = 1 · 36 + 9
36 = 4 · 9 + 0

9 = 45 − 1 · 36
= 45 − 1 · (126 − 2 · 45)
= 45 · 3 + (−1) · 126

3
 r = 3 y s = −1
Lema 7
Sean a, b y c enteros con c ̸= 0. Si c | ab y, a y c son primos
relativos, entonces c | b.

Lema 8 (Euclides)
Sean a y b enteros. Si p es un primo que divide a ab, entonces p
divide a a o p divide a b.

Corolario 9
Sean a1 , a2 , . . . , an ∈ Z y sea p un entero primo. Si p | a1 a2 · · · an ,
entonces p | ai para algún i, 1 ≤ i ≤ n.

Teorema 10 (Teorema fundamental de la aritmética)

Todo entero n mayor que 1 tiene una factorización en forma única
(salvo el orden) de la forma
n = pe11 pe22 · · · perr
donde p1 , p2 , . . . , pr son primos distintos y e1 , e2 , . . . er son enteros
positivos.

Demostración. Primero probaremos que todo entero se factoriza como

producto de primos. Procedamos por inducción sobre n.
Si n = 2, no hay nada que probar.
Supongamos que para todo entero k < n se cumple que k = pe11 pe22 · · · perr ,
donde p1 , p2 , . . . , pr son primos distintos y e1 , e2 , . . . er son enteros positi-
vos.
Veamos que n se factoriza como producto de primos.
Si n es primo, no hay nada que probar. Supongamos que n no es primo,
entonces existen enteros a y b mayores que 1 tales que n = ab. Nótese

4
que a y b deben ser menores que n. Luego, por hipótesis inductiva,
a = q1m1 q2m2 · · · qrmr
donde q1 , q2 , . . . , qr son primos distintos y m1 , m2 , . . . mr son enteros po-
sitivos y
m′ m′ m′
b = q′1 1 q′2 2 · · · q′r l
donde q1′ , q2′ , . . . , qr′ son primos distintos y m′1 , m′2 , . . . m′l son enteros po-
sitivos. Luego,
m′ m′ m′
n = ab = (q1m1 q2m2 · · · qrmr )(q ′ 1 1 q ′ 2 2 · · · q ′ r l )
Si qi = qj′ para algún i y algún j, entonces reemplazamos qi qj′ por q i+j .
De ahí se sigue que
n = pe11 pe22 · · · perr ,
donde p1 , p2 , . . . , pr son primos distintos y e1 , e2 , . . . er son enteros positi-
vos.
Para probar unicidad, también procederemos por inducción sobre n.
Si n = 2, claramente, la factorización es única. Supongamos que todo
2 ≤ k < n se factoriza en forma única (salvo el orden) como producto de
potencias positivas de primos. Veamos que n se factoriza en forma única
(salvo el orden) como producto de potencias positivas de primos. Sea
n = pe11 pe22 . . . pess = q1c1 q2c2 . . . qtet . Si n es primo, entonces s = t = 1
y e1 = 1 = c1 . Supongamos que n no es primo. Entonces, pn1 ≥ 2.
n = pe11 pe22 . . . pess = q1c1 q2c2 . . . qtet
Ahora, p1 | q1c1 q2c2 . . . qtet . Luego p1 | qici , para algún 1 ≤ i ≤ t, implicando
que p1 | qi , pero qi es primo, entonces p1 = qi . Sin perder generalidad,
podemos suponer que qi = q1 (reordenando el producto, si es necesario).
De modo que
n
= pe11 −1 pe22 . . . pess = pc11 −1 q2c2 . . . qtet
p1
Nótese que si e1 − 1 = 0, c1 − 1 = 0.
Por hipótesis inductiva, reordenando si es necesario, tenemos que s = t,
pi = qi , ∀i, 1 ≤ i ≤ s , e1 − 1 = c1 − 1 y ei = ci , ∀i 2 ≤ i ≤ s. Esto es, la
factoriazación es única, salvo el orden. □

5
 Aritmética Modular

Sea n un entero positivo. En Z se define la relación de equivalencia

módulo n por
a ≡n b ⇔ n | b − a.
Otra notación que se usa para denotar que a ≡n b es
a mód n = b, o a mód n = b mód n, o a ≡ b( mód n)

Proposición 11
El conjunto cociente de la relación de congruencia módulo n,
Z/ ≡n , tiene exactamente n elementos.

Solución. Veamos que Z/ ≡n tiene a los más n elementos. Sea m ∈ Z.

Por el algoritmo de la división, existen enteros únicos q, r tales que
m = nq + r, con 0 ≤ r < n.
Así, m − r = nq, esto es n | m − r o equivalentemente, m ≡n r, con
0 < r ≤ n. Por tanto, Z/ ≡n = {[0], [1], . . . , [n − 1]}. Ahora, supongamos
que existen k1 , k2 ∈ Z con 0 ≤ k1 < k2 < n tales que [k1 ] = [k2 ].
[k1 ] = [k2 ] ⇒ k1 ≡n k2
⇒ n | k2 − k1
⇒ k2 − k1 = nq, q ∈ Z
⇒ k2 = nq + k1 ≥ n, ( pues k2 > k1 así q ≥ 0) (Contradicción)
Luego, Z/ ≡n tiene exactamente n elementos. □

Al conjunto Z/ ≡n se le denota por Zn .

Si no hay lugar a confusión, se escribe
Zn = {0, 1, . . . , n − 1}
Este conjunto es llamado el conjunto de enteros módulo n.
Por ejemplo, Z2 = {0, 1}, Z3 = {0, 1, 2}, Z4 = {0, 1, 2, 3}.