Tema 0

Números enteros. Aritmética

modular.

Denotamos por Z al conjunto de los números enteros

Z = {. . . , −3, −2, −1, 0, 1, 2, 3, . . . }.

En los números enteros hay dos operaciones bien conocidas: la suma + y el producto ·. Los
enteros con la suma (Z, +), y los enteros con la suma y el producto (Z, +, ·), son dos ejemplos
de estructuras algebraicas. En el primer caso (Z, +) es un ejemplo de grupo abeliano o
conmutativo. En el segundo, (Z, +, ·) es un ejemplo de anillo conmutativo con unidad. En
este curso se verán y estudiarán otros ejemplos de grupos abelianos y de anillos conmutativos.
Es importante dominar los casos de Z y Z módulo n, para entender los conceptos que vendrán
en el curso y para tener ejemplos. Aquı́ vamos a recordar algunos resultados que se asumirán
durante el curso y se debe haber cubierto en la asignatura de Elementos de matemáticas y
aplicaciones. También servirá para fijar la terminologı́a que se usará durante el curso.

Divisibilidad
El siguiente teorema probablemente es de los primeros resultados que has aprendido.

Teorema 0.1 (Teorema de la división). Para todo a, b ∈ Z con b ̸= 0, existen únicos q ∈ Z y

r ∈ {0, 1, . . . , |b| − 1} tales que a = bq + r.

A los números a, b, q, r se les llama respectivamente dividendo, divisor, cociente y resto

de la división.

Demostración. Demostremos primero la existencia de q y r. Fijemos primero b ̸= 0 y probemos

el teorema para este b en particular. Supongamos primero que a ≥ 0 y hagamos la prueba por
inducción en a.
La base de la inducción serán los casos 0 ≤ a ≤ |b| − 1, donde podemos tomar q = 0 y
r = a. Para el caso general, supongamos que a ≥ |b| y por inducción asumimos que para todo
0 ≤ a′ < a, existen q ′ ∈ Z y r′ ∈ {0, . . . , |b| − 1} tales que a′ = bq ′ + r′ .
Como a ≥ |b|, tenemos que 0 ≤ a − |b| < a y por inducción existen q ′ ∈ Z y r′ ∈
{0, . . . , |b| − 1} tales que a − |b| = q ′ b + r′ . En particular tenemos que a = b(q ′ + ϵ) + r′ dónde
ϵ = b/|b|. Y podemos tomar q = q ′ + ϵ y r = r′ . Esto concluye la existencia de q y r en el caso
en el que a ≥ 0.

3
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

Si a < 0, observamos que existen q ′ y r′ ∈ {0, 1, . . . , |b| − 1} tales que −a = q ′ b + r′ y por

tanto
b
a = (−q ′ )b − r′ = (−q ′ − ϵ)b + (ϵb − r′ ) donde ϵ = .
|b|
Por nuestra elección de ϵ se tiene que ϵb − r′ ∈ {0, 1, . . . , |b| − 1}. Y la existencia en este caso
se obtiene tomando q = −q ′ − ϵ y r = ϵb − r′ .
Esto concluye la prueba de la existencia para este elemento b fijado. Dado que no hemos
usado ninguna propiedad de b más allá que b ̸= 0, la existencia de q y r queda probado para
todo b ̸= 0 y para todo a ∈ Z.
Para probar la unicidad, supongamos que a = bq + r = bq ′ + r′ con r, r′ ∈ {0, 1, . . . , |b| − 1}.
Observemos que b(q ′ − q) = r − r′ . Si q ̸= q ′ , tenemos que |q − q ′ | ≥ 1 y por tanto |r − r′ | ≥ |b|
lo que es imposible, ya que r, r′ ∈ {0, 1, . . . , |b| − 1}. Por tanto, q = q ′ , con lo que r = r′ .

Ejercicio 0.2. Demuestra que el resto de dividir a2 por 4 es sólo puede ser 0 o 1.

Recordemos la definición de orden parcial.

Definición 0.3 (Orden parcial). Una relación de orden parcial ≺ en un conjunto A, es una
relación binaria que es

1. reflexiva: ∀a ∈ A, a ≺ a;

2. antisimétrica: a ≺ b y b ≺ a implica a = b;

3. transitiva: a ≺ b y b ≺ c implica a ≺ c.

Dados a, b ∈ Z decimos que a divide a b, y escribimos a | b, si existe c ∈ Z tal que a · c = b.

Ejercicio 0.4. Demuestra que la relación de divisibilidad es una relación de orden parcial en
los naturales N = {0, 1, 2, 3, . . . }. Es decir, se cumplen

1. (reflexividad) para todo a ∈ Z, a | a.

2. (antisimetrı́a) a | b y b | a implica que a = b.

3. (transitividad) a | b y b | c implica a | c.

Decimos que d es un divisor común de a, b si d | a y d | b. Decimos que d es un máximo

común divisor de a y b si para todo c que satisface c | a y c | b entonces se tiene que c | d. Si d
es un máximo común divisor positivo, escribimos d = mcd(a, b).

Observación 0.5. El adjetivo máximo de máximo común divisor se refiere a ser máximo en
el orden parcial dado por la relación de dividir |.

Ejercicio 0.6. Demuestra que el máximo común divisor positivo de a y b existe y es único.

Ejercicio 0.7. Más propiedades de la divisibilidad. Prueba las siguientes afirmaciones:

1. si a | b y c | d, entonces ac | bd;

2. si a | b y b ̸= 0, entonces |a| ≤ |b|;

3. si a | b y a | c, entonces a | xb + yc para cualquier x, y ∈ Z.

4
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

Algoritmo de Euclides e identidad de Bezout

Lema 0.8. Sea n > a > 0 y escribimos n = aq + r con 0 ≤ r ≤ a − 1. Entonces mcd(a, n) =
mcd(a, r).
Demostración. Sea d = mcd(a, n). Por tanto d | a y d | n. Tenemos que a = ds y n = dt. Sin
embargo, dt = n = aq + r = dsq + r y r = d(t − sq) y por tanto d | n − aq = r. Obtenemos que
mcd(a, n) | mcd(a, r).
Sea D = mcd(a, r). Argumentando de manera similar a la anterior, obtenemos que D |
aq + r = n y concluimos que mcd(a, r) | mcd(a, r).
Por tanto d = ±D y como tanto d y D son positivos, deben ser iguales.

Algoritmo de Euclides El algoritmo de Euclides permite calcular el máximo común divisor

de dos números enteros. Dado que mcd(a, b) = mcd(−a, b) = mcd(a, −b) = mcd(−a, −b),
podemos restringirnos al caso a > b > 0. El teorema de la división nos garantiza que siempre
que tengamos a > b > 0, se puede aplicar el lema anterior. Pongamos r−1 = a y r0 = b.
Para i ≥ 0 tal que ri ̸= 0, definimos ri+1 como el resto de la división de ri−1 por ri . Por el
teorema de la división ri+1 existe y es único. Observamos que 0 ≤ ri+1 < ri por lo tanto,
existe un t (acotado superiormente por a) tal que rt = 0. Por el lema anterior tenemos que
mcd(r−1 , r0 ) = mcd(r0 , r1 ) = · · · = mcd(rt−2 , rt−1 ) = rt−1 . Este procedimiento nos da un
algoritmo para obtener el máximo común divisor de dos números.

r−1 = a = bq1 + r1 mcd(a, b) = mcd(b, r1 )

r 0 = b = r 1 q 2 + r2 mcd(b, r1 ) = mcd(r1 , r2 )
r1 = r2 q3 + r3 mcd(r1 , r2 ) = mcd(r2 , r3 )
..
.
rt−3 = rt−2 qt−1 + rt−1 mcd(rt−3 , rt−2 ) = mcd(rt−2 , rt−1 )
rt−2 = rt−1 qt + 0 mcd(rt−2 , rt−1 ) = rt−1

Además, agrupando términos y volviendo hacia atrás

rt−1 = rt−3 − rt−2 qt−1

= rt−3 − (rt−4 − qt−3 rt3 )qt−1 = −qt−1 rt4 + (qt−3 − qt−1 )rt−3
= ···
= αa + βb.

para ciertos α y β. Esto prueba el siguiente teorema en el caso a > b > 0.

Teorema 0.9 (Identidad de Bezout). Dados a, b ∈ Z existen α, β ∈ Z tales que αa + βb =
mcd(a, b).
Ejemplo 0.10. Ejemplo: mcd(29, 26).
Algoritmo de Euclides Identidad de Bezout

1 = 29 · 9 − 10 · 26
29 = 26 · 1 + 3 mcd(29, 26) = mcd(26, 3) 1 = (29 − 26 · 1) − (26 − (29 − 26) · 8)
26 = 3 · 8 + 2 mcd(26, 3) = mcd(3, 2) 1 = 3 − (26 − 3 · 8)
3=2·1+1 mcd(3, 2) = mcd(2, 1) 1=3−2·1
2=1·2+0 mcd(2, 1) = 1

5
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

Ejemplo 0.11. Encontremos todas las soluciones enteras de la ecuación diofántica

29x + 26y = 3.
Como hemos visto antes, tenemos la identidad de Bezout 29 · 9 + 26 · (−10) = 1. Por lo
tanto, tomando x0 = 9 · 3 e y0 = (−10) · 3 tenemos que 29x0 + 26y0 = 3, luego (x0 , y0 ) es
una solución particular. Veamos cómo son el resto de las soluciones. Sean α, β ∈ Z tales que
29α + 26β = 3. Entonces
29(α − x0 ) + 26(β − y0 ) = 0 ⇔ 29(α − x0 ) = −26(β − y0 ).
Como mcd(29, 26) = 1 29 ̸ | 26, tenemos que 29 | (β − y0 ) y por tanto β − y0 = 29 · n para
algún n ∈ Z. Tenemos que
29 · (α − x0 ) = −26 · (β − y0 ) ⇒ 29 · (α − x0 ) = −26 · 29 · n ⇒ (α − x0 ) = −26 · n.
De ahı́ concluimos que α = x0 − 26 · n y β = y0 + 29 · n.
Ejercicio 0.12. Sean a, b ∈ Z − {0} y supongamos que d = mcd(a, b). Demuestra que c ∈ Z
se puede escribir como α · a + β · b con α, β ∈ Z si y solo si d | c.
Además si d | c, hay infinitos pares α, β y todos tienen la forma α = α0 + n db y β = β0 − n ad
con n ∈ Z y α0 , β0 una solución particular (i.e. α0 · a + β0 · b = c).

Factorización
Dos conceptos que veremos durante el curso son los de primalidad y los de irreducibilidad.
Veamos cóomo son estos conceptos en el caso de Z.
Definición 0.13. Un número p ∈ Z es primo si p ∈/ {−1, 0, 1} y para todo a, b ∈ Z se tiene
que p | a · b ⇒ (p | a) ∨ (p | b).
Un número p ∈ Z es irreducible si p ∈
/ {−1, 1} y para todo a, b ∈ Z se tiene que p =
a · b ⇒ (a ∈ {−1, 1}) ∨ (b ∈ {−1, 1}).
Es importante resaltar que usualmente, se toma como definición de número primo lo que
aquı́ se ha definido como número irreducible. Pero esta definición es más conveniente para
compararla con conceptos que vendrán en el curso. Además, esto no es realmente un problema,
ya que en este caso, ambas definiciones son equivalentes.
Lema 0.14. Un elemento de Z es primo si y solo si es irreducible.
Demostración. Sea p ∈ Z irreducible. Vemos primero que p ∈ / {−1, 0, 1}. Por definición tenemos
que p ∈/ {−1, 1}. Además 0 no es irreducible ya que 0 = 0 · 0 y 0 ̸= ±1. Por tanto p ∈ / {−1, 0, 1}.
Supongamos ahora que p | a · b con a, b ∈ Z. Si p | a, tenemos que (p | a) ∨ (p | b) es cierto.
Faltarı́a el caso en que p ∤ a. Por la identidad de Bezout, tenemos que existen α, β ∈ Z y d ≥ 1
un máximo común divisor de a y p tales que d = αa + βp. Tenemos que p = dc. Como p es
irreducible, (d ∈ {−1, 1}) ∨ (c ∈ {−1, 1}). Si c ∈ {−1, 1} entonces d ∈ {−p, p}, y dado que d | a
y p ∤ a obtemos una contradicción. Por tanto d ∈ {−1, 1} y podemos suponer que 1 = αa + βp.
Multiplicando por b, obtenemos que b = αab + βbp. Por hipótesis p | ab y por tanto p | αab.
También, p | βpb por definición. Por tanto, p | αab + βbp = b como querı́amos demostrar.
Supongamos ahora que p ∈ Z es primo. Observamos primero que, por definición, p ∈ /
{−1, 1}.
Sean a, b ∈ Z tales que p = ab. En particular p | ab. Por definición de primo se tiene que
(p | a) ∨ (p | b). Si p | a, entonces a = pa′ y juntándolo con p = ab tenemos que p = pa′ b. Esto
implica que a′ b = 1 y por tanto a′ = 1 = b o a′ = −1 = b. En cualquier caso b ∈ {−1, 1}. De
forma analoga se obtiene que si p | b entonces a ∈ {−1, 1}.

6
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

Podemos enunciar el teorema fundamental de la aritmética:

Teorema 0.15 (Teorema fundamental de la aritmética). Todo x ∈ Z distinto de −1, 0, 1 es

igual a un producto de un número finito de irreducibles. Además este producto es único en el
siguiente sentido: si x = p1 p2 · · · pn y x = q1 q2 · · · qm con p1 , . . . , pn , q1 , . . . , qm irreducibles, en-
tonces n = m y después de reordenar los elementos, tenemos que pi = ±qi para i = 1, 2, . . . , n.

Observemos que p es irreducible si y solo si −p es irreducible.

Demostración. Probemos primero que todo entero x positivo distinto de 1 es igual a un pro-
ducto de un número finito de irreducibles. Si x = 2, entonces es irreducible y por tanto es
producto de un números finito de irreducibles. Sea x > 2 y supongamos que para todo y, con
1 < y < x se cumple que y es un producto de un número finito de irreducibles. Ahora, si x
es irreducible, no hay nada que hacer. Por otro lado, si x no es irreducible, entonces existen
a, b ∈ Z tal que x = ab y a, b ∈ / {−1, 1}. Como x es positivo, podemos suponer que a y b son
positivos. Como a y b dividen a x, tenemos que 1 < a < x y 1 < b < x. Por tanto, a y b son
productos de irreducibles, y lo mismo ocurre con x.
Si x < −1 es negativo, entonces −x > 1 es producto de irreducibles, digamos −x =
p1 p2 · · · pn y tenemos que x = (−p1 )p2 · · · pn es un producto de irreducibles.
Para ver la unicidad, supongamos que hay dos maneras de expresar x como producto de
irreducibles x = p1 p2 · · · pn y x = q1 q2 · · · qm . Argumentamos por inducción en máx(n, m). Si
máx(n, m) = 1 entonces p1 = x = q1 . Supongamos ahora que máx(n, m) > 1 y que la unicidad
es conocida para factorizaciones con menos irreducibles. Como p1 · · · pn = q1 · · · qm tenemos
que pn | q1 · · · qm . Por ser pn primo, tenemos que pn | qi para algún i. Reordenando los qj ’s,
podemos suponer que pn | qm . Por tanto qm = pn · c. Por ser qm irreducible, tenemos que
c ∈ {±1}. Por tanto p1 · · · (pn−1 c) = q1 · · · qm−1 son dos productos de irreducibles iguales, pero
con menor número de factores. Ası́ que por inducción, tenemos que m = n y que, después de
reordenar, pi = ±qi para i = 1, . . . , n.

Ejercicio 0.16 (Euclides). Demuestra que hay un número infinito de irreducibles en Z.

√
Corolario 0.17. Sea x > 0 un número entero. Si x ∈ Q entonces x = y 2 para algún y ∈ Z.
√
Demostración. Supongamos que existen enteros a, b tales que x = ab . Por el teorema fun-
damental de la aritmética, existen factorizaciones en irreducibles de a, b y x respectivamen-
√
te. Como x > 0 y suponiendo que x > 0, podemos suponer que todos los irreducibles en
las factorizaciones son positivos. Ası́, permitiendo exponentes igual a cero, podemos escribir
a = pe11 · · · penn , b = pf11 · · · pfnn , x = pg11 · · · pgns como productos de irreducibles distintos y los
exponentes ei , fi , gi ≥ 0 son únicos.
Entonces

a2 p2e
1 · · · pn
1 2en
2(e −f )
x= 2
= 2f 2f
⇒ x = p1 1 1 · · · pn2(en −fn ) = pg11 · · · pgnn .
b 1
q1 · · · q m n

Por la unicidad de la factorización, todos los gi son múltiplos de 2, por lo que podemos tomar
g /2 g /2
y = p11 · · · pnn .

Relaciones de equivalencia, clases de equivalencia y particiones

Dado un conjunto X, una relación de equivalencia es un subconjunto R de X × X con
las siguientes propiedades:

7
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

1. (reflexividad) para todo x ∈ X, (x, x) ∈ R;

2. (simetrı́a) para todo x, y ∈ X, (x, y) ∈ R ⇔ (y, x) ∈ R.

3. (transitividad) para todo x, y, z ∈ X, si (x, y), (y, z) ∈ R entonces (x, z) ∈ R.

Usualmente, escribiremos x ∼ y para indicar (x, y) ∈ R.

La clase de equivalencia de x ∈ X es el subconjunto de X

[x]∼ = {y ∈ X | y ∼ x}.

El conjunto {[x]∼ | x ∈ X} de las clases de equivalencia, se denota por X/ ∼ y recibe el

nombre de cociente de X por la relación de equivalencia.

Ejemplo 0.18. La igualdad = es una relación de equivalencia en Z. Para todo x ∈ Z,

[x]∼ = {x}.

En R×R, la relación (a, b) ∼ (a′ , b′ ) ⇔ 2a−3b = 2a′ −3a′ es una relación de equivalencia.
Dos puntos del plano son equivalentes, si están en la misma recta de la forma y = 3/2x+c.
Cada una de estas rectas, son una clase de equivalencia.

Una partición de un conjunto X es una colección de subconjuntos Yi ⊆ X, i ∈ I que

satisface

1. (colección recubridora) ∪i∈Y Yi = X;

2. (colección disjunta) para todo i, j ∈ I, i ̸= j, Yi ∩ Yj = ∅.

Lema 0.19. Dada una relación de equivalencia ∼ en un conjunto X, las clases de equivalencia
forman una partición de X.

Demostración. La reflexividad implica que todo x ∈ X pertenece a [x]∼ , por lo que la unión
de las clases de equivalencia es todo el conjunto X.
Supongamos que z ∈ [x]∼ ∩ [y]∼ . Entonces z ∼ x y z ∼ y. Sea t ∈ [x]∼ . Tenemos que
t ∼ x ∼ z y por transitividad, t ∼ z. También tenemos que t ∼ z ∼ y y por transitividad,
t ∼ y. Ası́ tenemos que [x]∼ ⊆ [y]∼ .
Argumentando de forma análoga, obtenemos que [y]∼ ⊆ [x]∼ . Por tanto [x]∼ = [y]∼ . Por
tanto la familia de clases de equivalencia es disjunta.

Ejercicio 0.20. Dada una partición {Yi }i∈I de X, la relación x ∼ y ⇔ ∃i ∈ I, x, y ∈ Yi es una

relación de equivalencia.

A la vista del último resultado y el ejercicio, tenemos que toda relación de equivalencia en X
define una partición de X, y viceversa, toda partición de X define una relación de equivalencia.

Aritmética modular
Sea n > 0. Definimos la relación de equivalencia, llamada igualdad módulo n a la siguiente
relación
a ≡ b mód n :⇔ n | a − b.
Es fácil comprobar que ≡ es una relación de equivalencia y las clases de equivalencia son
exactamente [0]≡ , [1]≡ , . . . , [n − 1]≡ .

8
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

Dado a ∈ Z, usamos a + nZ para denotar al subconjunto de Z

a + nZ = {a + nx | x ∈ Z}.

Los conjuntos nZ, 1+nZ, 2+nZ, . . . , (n−1)+nZ forman una partición de Z. Efectivamente,
el algoritmo de la división, nos da que para todo x ∈ Z existe un único q ∈ Z y r ∈ {0, 1, . . . , n−
1} tal que x = r + qn. Además, [x]≡ = x + nZ (compruébalo!) ası́ que ≡ módulo n es una
relación de equivalencia.
Denotamos por Z/nZ al conjunto cociente

Z/ ≡= {nZ, 1 + nZ, 2 + nZ, . . . , (n − 1) + nZ} = {[0]≡ , . . . , [n − 1]≡ }.

Lema 0.21. Dado n ≥ 1, si a ≡ a′ mód n y b ≡ b′ mód n, entonces a + b ≡ a + b mód n,

a′ − b′ ≡ a − b mód n y a′ b′ ≡ ab mód n.

Demostración. Tenemos que a − a′ = nq1 y b − b′ = nq2 . Por tanto, a ± b = a′ ± b′ + n(q1 ± q2 )

y entonces a ± b ≡ a′ ± b′ mód n. También tenemos que ab = a′ b′ + nq1 y + nq2 x + n2 q1 q2 y
por tanto ab ≡ a′ b′ mód n.

Dado x ∈ Z, escribimos x para representar su clase de equivalencia en Z/nZ, i.e. x = x+nZ

y definimos las siguientes operaciones

x+y =x+y

x · y = x · y.

Corolario 0.22. Las operaciones + y · en Z/nZ están bien definidas (i.e. no depende del
representante de la clase).

Teorema 0.23. Sea d = mcd(a, n). Entonces la congruencia

ax ≡ b mód n

tiene solución si y solo si d divide a b.

Demostración. La congruencia ax ≡ b mód n tiene solución si y solo si existe y ∈ Z tal que

ax = b + yn. El resultado ahora se sigue del Ejercicio 0.12.

El teorema anterior nos dice cuando podemos dividir por un número en Z/nZ.

Corolario 0.24. Sea a ∈ Z. Existe b ∈ Z tal que ab = 1 en Z/nZ si y solo si mcd(a, n) = 1.

Para finalizar este repaso, recordamos el teorema Chino de los restos que nos permite
trabajar con varias congruencias lineales simultáneamente.

Teorema 0.25 (Teorema Chino de los restos). Sean n1 , n2 , . . . , nk enteres positivos, con
mcd(ni , nj ) = 1 para todo i ̸= j y sean a1 , . . . , ak enteros cualesquiera. El sistema de ecuaciones


 x ≡ a1 mód n1


x ≡ a mód n2
2

 ...


x ≡ a mód nk
k

tiene solución y forman una única clase de equivalencia módulo n = n1 n2 · · · nk .

9
Estructuras Algebraicas. Grupos M2 y M3. (UCM). Curso académico 24/25
Prohibida la distribución fuera del campus virtual de la UCM Yago Antolı́n

En este curso, veremos generalizaciones de este teorema y formas más elegantes de expre-
sarlo.

Ejemplo 0.26. Busquemos la solución de

x≡2 mód 3, x≡4 mód 5.

Por el teorema, todas las soluciones serán de la forma x = x0 + 15n. Ası́ que debemos buscar
x0 ∈ {0, 1 . . . , 14} tal que x0 ≡ 2 mód 3, es decir x0 = 2 + 3 · k. Necesitamos que 2 + 3 · k ≡ 4
mód 5. Es decir, 3 · k ≡ 2 mód 5. Usando la identidad de Bezout 1 = 3 · 2 + 5 · (−1), tenemos
que 2 = 3 · 4 + 5 · (−2), ası́ que podemos tomar k = 4 y por tanto x0 = 14.

Ejercicio 0.27. Resuelve (si es posible) las siguientes ecuaciones o sistemas de ecuaciones:

1. 3x ≡ 5 mód 7.

2. 7x ≡ 1 mód 11.

3. 12x ≡ 15 mód 22.

4. 12x ≡ 14 mód 22.

5. x ≡ 3 mód 5; x ≡ 2 mód 7.

6. x ≡ 1 mód 4; x ≡ 2 mód 3; x ≡ 3 mód 5.

Ejercicio 0.28. Usa el teorema Chino enunciado en el Teorema 0.25, para deducir la siguiente
versión del Teorema Chino: Sean n1 , n2 , . . . , nk enteros positivos, con mcd(ni , nj ) = 1 para
todo i ̸= j y sean a1 , . . . , ak , b1 , . . . , bk enteros cualesquiera. El sistema de ecuaciones


 a 1 x ≡ b1 mód n1


a x ≡ b mód n2
2 2
. . .



a x ≡ b mód nk
k k

tiene solución si y solo sı́ cada ecuación tiene solución. Además, si el sistema tiene solución
y mcd(ai , ni ) = 1, entonces las soluciones forman una única clase de equivalencia módulo
n = n1 n2 · · · nk .

10