Tarea #3

Teoría de números
Nombre: Dagoberto Pineda Cédula: 3-753-2124
1- Considere el anillo 2 Z (es un subanillo de Z no unitario). Explique
porque 6 no es divisible en este anillo.
Solución: El anillo 2 Z consiste en el conjunto de todos los números
enteros pares, es decir 2 Z={…−8 ,−6 ,−4 ,−2 ,0 , 2 , 4 , 6 , 8 … }.
Para probar que 6 no es divisible en el anillo 2 Z debemos mostrar que
no existe ningún elemento a en 2 Z tal que 6 sea divisible por a, es
decir no existe ningún a en 2 Z tal que exista un b en 2 Z donde a ∙ b=6.
En el anillo 2 Z como ya dijimos todos los elementos son números
enteros pares, si consideramos a¿ 2 en el anillo 2 Z entonces b debe ser
un número entero par para que a ∙ b sea par, pero para que a ∙ b=6
debemos tomar b¿ 3, entonces tenemos que a ∙ b=2∙ 3=6, pero 3 no es
un número par y por lo tanto no pertenece al anillo 2 Z , entonces
podemos concluir que no existe ningún elemento en el anillo 2 Z que
divida a 6 y por lo tanto 6 no es divisible en el anillo 2 Z .
2- Establezca que 53103+ 10353 es divisible por 39.

Solución: Debemos probar que 39 | 53 + 103

103 53

Como 39¿ 13 ∙3 , probaremos que 13 | 53103 + 10353 y 3 | 53103 + 10353. Tenemos

lo siguiente:
53 ≅ 1 ( mod 13 )

( 53 )103 ≅ (1 )103 ( mod 13 ) ,entonces

103
53 ≅ 1 ( mod 13 ) , luego
103 ≅−1(mod 13)
53 53
(103) ≅ (−1 ) ( mod 13 ) , entonces

10353 ≅−1 ( mod 13 ) , luego

53103 + 10353 ≅ 1+ (−1 ) ( mod 13 ) , es decir

103 53
53 + 103 ≅ 0 ( mod 13 ) , por lo tanto
 103 53
13∨53 +103

Por otra parte tenemos:

53 ≅−1 ( mod 3 )

( 53 )103 ≅ (−1 )103 ( mod 3 ) , entonces

53103 ≅−1 ( mod 3 ) , luego

103 ≅ 1(mod 3)

( 103 )53 ≅ ( 1 )53 ( mod 3 ) , entonces

53
103 ≅ 1 ( mod3 ) ,luego

53103 + 10353 ≅−1+1 ( mod 3 ) , es decir

53103 + 10353 ≅ 0 ( mod 3 ) , por lotanto

103 53
3∨53 +103

Como 13 | 53103+ 10353 y 3 | 53103+ 10353, entonces podemos concluir que

39 | 53103+ 10353 y por lo tanto 53103 + 10353 es divisible por 39.
3- Supongamos que n∈ N y que a1, a2, …, an es un sistema completo
de residuos modulo n. Asuma además que mcd(b, n)=1. Establezca
que ba1, ba2, …, ban es un sistema completo de residuos modulo n.
Un conjunto de números a1, a2, …, an se dice que forma un sistema
completo de residuos modulo n si los números (clases) a 1+n Z 1, a2+n Z 2,
…, an+n Z n son todos distintos.
Solución: Para demostrar que ba1, ba2, …, ban es un sistema
completo de residuos modulo n, debemos mostrar 2 cosas, primero
que los elementos ba1, ba2, …, ban son residuos modulo n y segundo,
mostrar que son distintos entre sí.
Primero verificaremos que los elementos ba1, ba2, …, ban son residuos
modulo n. Por definición sabemos que un residuo modulo n es un
entero que deja el mismo residuo cuando se divide por n. Tomaremos
cualquier elemento de la lista, por ejemplo ba i divide a bai (mod n), es
decir, que existe n entero k tal que bai¿k∙n+bai (mod n). Por hipótesis
sabemos que a1, a2, …, an es un sistema completo de residuos modulo
n, lo que significa que cada uno de los a1, a2, …, an deja un residuo
diferente cuando se divide por n. Por lo tanto, podemos escribir cada a i
como ai¿c∙n+ai (mod n), donde c es un entero y ai (mod n) es el residuo
que deja ai al dividirlo por n.
Ahora, al multiplicar ambos lados de la ecuación por b, obtenemos que
bai¿b∙(c∙n+ai (mod n))¿(b∙c)∙n+b∙ai (mod n). Llamaremos a (b∙c) como k,
un nuevo entero. Entonces tenemos bai¿k∙n+b∙ai (mod n), lo que
muestra que bai es un residuo modulo n.
Ahora debemos demostrar que los elementos ba1, ba2, …, ban son
distintos entre sí. Supongamos que existen dos índices i y j (1 ≤i¿j≤n)
tales que bai≅ baj (mod n). Esto implica que n divide a (bai-baj), es decir,
existe un entero k tal que (bai-baj)¿ k∙n. Sin embargo, podemos
reescribir bai y baj como bai¿k1∙n+bai (mod n) y baj¿ k2∙n+baj (mod n),
donde k1 y k2 son enteros y bai (mod n) y baj (mod n) son los residuos
correspondientes.
Sustituyendo estas expresiones en la ecuación (ba i-baj)¿k∙n,
obtenemos (k1∙n+bai (mod n)) - (k2∙n+baj (mod n))¿ k∙n. Simplificando,
bai (mod n) - baj (mod n) ¿ (k1 - k2)∙n. Esto significa que bai (mod n) y baj
(mod n) tienen la misma diferencia que n, que es imposible ya que a 1,
a2, …, an son residuos diferentes modulo n. Por lo tanto, los elementos
ba1, ba2, …, ban son distintos entre sí.
En conclusión, hemos demostrado que ba1, ba2, …, ban es un sistema
completo de residuos modulo n, ya que cada elemento es un residuo
modulo n y los elementos son distintos entre sí.
4- Justifique que el conjunto Z [√−5] es un dominio de integridad. Nota
que Z [√−5] ¿ {a+b√−5 ∕ a, b∈ Z }. La norma en Z [√−5], denotada por ¿∨¿
a+b√−5∨¿ se define por a 2+5 b 2 .
Solución: Para demostrar que el conjunto Z [√ −5] es un dominio de
integridad, debemos mostrar 2 cosas: primero que es un anillo
conmutativo y segundo, que no contiene divisores de cero.
Vamos a mostrar primero que es un anillo conmutativo:
El conjunto Z [ √−5] es cerrado bajo las operaciones de la suma y
multiplicación. Para demostrar la conmutatividad, debemos verificar
que se cumplen las propiedades de conmutatividad para estas
operaciones.
 Con respecto a la suma: Dados 2 elementos a+b√−5 y c+d√ −5
en Z [ √−5], la suma se define componente por componente. Por
lo tanto (a+b√−5) +¿ (c+d√−5) ¿ (a+c) +¿ (b+d)√−5. Esto cumple la
propiedad conmutativa de la suma.
 Con respecto a la multiplicación: Dados 2 elementos a+b√−5 y
c+d√−5 en Z [√ −5], la multiplicación se define como (a+b√ −5)(c+d
√−5) ¿ (ac−¿5bd)+¿(ad+bc)√−5. Nuevamente, esto cumple la
propiedad pero ahora para la multiplicación.
Por lo tanto Z [ √−5] es un anillo conmutativo.
Ahora mostraremos que no contiene divisores de cero.
Para demostrar que Z [ √−5] no contiene divisores de cero, debemos
verificar que si el producto de dos elementos es cero, entonces ambos
elementos deben ser cero.
Supongamos que (a+b√−5)(c+d√ −5)=0, donde a, b, c, d∈ Z . Esto
implica que (ac−¿5bd)+¿(ad+bc)√−5 = 0. Para que esto se cumpla,
necesitamos que ambas partes de la suma sean cero.
Esto nos lleva al sistema de ecuaciones:

{ac−5 bd=0
ad +bc=0

Asumamos que a, b, c, d son todos distintos de cero, podeos resolver

el sistema de ecuaciones. Si embargo si observamos la ecuación de la
norma ¿∨¿a+b√−5∨¿=a 2+5 b 2, notamos que el lado derecho de las
ecuaciones es siempre no negativo. Por lo tanto, las ecuaciones solo
pueden ser satisfechas si a¿b¿c¿d¿0. Esto implica que si el producto de
dos elementos en Z [ √−5] es cero, entonces ambos elementos debe ser
cero. Por lo tanto Z [√ −5] no contiene divisores de cero.
En conclusión, hemos demostrado que Z [ √−5] es un dominio de
integridad, ya que es un anillo conmutativo y no contiene divisores de
cero.
4.1 Establezca que los elementos 6 y 2+2√−5 no admiten máximo
común divisor ni mínimo común múltiplo.
Solución: Para demostrar que los elementos 6 y 2+2√−5 en Z ¿] no
admiten máximo común divisor (mcd) ni mínimo común múltiplo
(mcm), vamos a asumir lo contrario y mostrar una contradicción en
cada caso.
 Máximo Común Divisor (mcd):
Supongamos que existe un mcd para 6 y 2+2√−5 en Z ¿], denotado
como d. Esto significa que d divide tanto a 6 como a 2+2√−5, y
cualquier otro divisor común de 6 y 2+2√−5 también divide a d.
Podemos observar que la norma de 6 es ||6|| = 36, y la norma de 2+2
√−5 es ||2+2√−5 || = 24
Si d es un divisor común de 6 y 2+2√−5, entonces la norma de d debe
ser un divisor común de 36 y 24. Sin embargo, los únicos posibles
divisores comunes de 36 y 24 son 1, 2, 3 y 6.
Si d=1, no hay contradicción ya que 1 es divisor común de 36 y 24.
Si d = 2, la norma de d es ||2|| = 4, que no es divisor común de 36 y
24. Por lo tanto, d = 2 no es un divisor común válido.
Si d = 3, la norma de d es ||3|| = 9, que tampoco es divisor común de
36 y 24. Por lo tanto, d = 3 no es un divisor común válido.
Si d = 6, la norma de d es ||6|| = 36, que es divisor común de 36 y 24.
En este caso, tendríamos un posible mcd.
Sin embargo, si calculamos el mcm (mínimo común múltiplo) de 6 y
2+2√−5, encontramos que es 72. Dado que el mcd y el mcm están
relacionados por la fórmula mcd(a, b) ∙ mcm(a, b) = |a ∙ b|, tendríamos
que 2 ∙ 72 = 144, que es distinto de 6 ∙ (2+2√ −5) = 36. Esto lleva a una
contradicción, lo que implica que 6 y 2+2√−5) no pueden tener un mcd
en Z [ √−5].
 Mínimo Común Múltiplo (mcm):
Supongamos que existe un mcm para 6 y 2+2√−5 en Z [√ −5], denotado
como m. Esto significa que m es un múltiplo común de 6 y 2+2 √−5, y
cualquier otro múltiplo común de 6 y 2+2√−5 también es múltiplo de
m.
Podemos observar que 6 y 2+2√−5 no tienen múltiplos comunes en
Z [ √−5] que sean enteros. Los múltiplos de 6 serían 6, 12, 18, 24, ... y
los múltiplos de 2+2√−5 serían (2+2√ −5), (4+4√−5), (6+6√−5), (8+8√ −5
), ..., pero ninguno de estos múltiplos coincide.
Por lo tanto, no existe un mínimo común múltiplo (mcm) para 6 y 2+2
√−5 en Z [ √−5].
En resumen, hemos demostrado que los elementos 6 y 2+2√ −5 en
Z [ √−5] no admiten máximo común divisor (mcd) ni mínimo común
múltiplo (mcm).
4.2 Establezca que 6 no se puede factorizar de manera única en
Z [ √−5].

Solución: Para demostrar que el número 6 no se puede factorizar de

manera única en Z [ √−5], debemos encontrar dos factorizaciones
distintas de 6 en términos de elementos de Z [√ −5].
Supongamos que 6 tiene una factorización única en Z [ √−5], es decir, 6
= αβ , donde α y β son elementos de Z [ √−5] y no son unidades
(elementos invertibles). Si pudiéramos demostrar que α y β no son
irreducibles (no se pueden factorizar en elementos no triviales),
entonces podríamos encontrar una factorización no única de 6.
Consideremos α = 2+√−5 y β = 3. Ambos elementos pertenecen a
Z [ √−5] y ninguno de ellos es una unidad. Ahora verifiquemos si α y β
son irreducibles o no.
Calculando las normas, tenemos:
||α || = 9
||β|| = 9
Observamos que tanto ||α || como || β || son primos en Z , lo que implica
que ni α ni β se pueden factorizar en elementos no triviales de Z [ √−5].
Por lo tanto, α y β son irreducibles en Z [ √−5].
Sin embargo, podemos ver que:
6 = (2+√−5)(3)
Aquí tenemos dos factorizaciones distintas de 6 en términos de
elementos de Z [ √−5]. Por lo tanto, hemos demostrado que 6 no se
puede factorizar de manera única en Z [ √−5].
4.3 En general si R es un anillo conmutativo, se dice que a divide a b y
se escribe a | b si existe un elemento r∈ R tal que b=ar.
Equivalentemente se dice que b es divisible por a y se dice que a es
un divisor o factor de b. Si R no admite divisores de cero tal elemento
b
(el resultado a | b) está unívocamente determinado r¿ a .

Solución: Supongamos que existen dos elementos r1 y r2 en R tales

que b = ar1 y b = ar2. Queremos mostrar que r1 = r2.
Tenemos:
ar1 = ar2
Podemos restar ar2 en ambos lados de la ecuación:
ar1 −¿ ar2 = 0
Factorizando a en ambos términos:
a(r1 −¿ r2) = 0
Dado que R no admite divisores de cero, esto implica que r 1 −¿ r2 = 0,
es decir, r1 = r2.
Por lo tanto, si a | b en un anillo conmutativo R sin divisores de cero, el
b
resultado está unívocamente determinado por el cociente r ¿ a .

4.4 Se dice que 2 elementos a y b están asociados si a | b y b | a y se

escribe a ~ b. Establezca que ~ es una relación de equivalencia en R
(dominio de integridad)
Solución: Para demostrar que la relación "~" es una relación de
equivalencia en un dominio de integridad R, debemos demostrar que
cumple con las propiedades de reflexividad, simetría y transitividad.
 Empecemos con la reflexividad:
Para mostrar que la relación es reflexiva, debemos demostrar que para
todo elemento a en R , a ~ a. Dado que estamos en un dominio de
integridad, no hay divisores de cero. Esto implica que a siempre divide
a sí mismo (a | a), ya que podemos tomar r = 1 en la definición de
divisibilidad (a = ar, donde r = 1). Por lo tanto, la relación "~" es
reflexiva.
 Sigamos con la simetría:
Para mostrar que la relación es simétrica, debemos demostrar que si a
~ b, entonces b ~ a para cualquier par de elementos a, b en R . Si a ~
b, esto significa que a | b y b | a. Esto implica que existen elementos r 1
y r2 en R tales que b = ar1 y a = br2.
Podemos ver que b = (ar1)r2 = a(r1r2), lo cual implica que b | a. De
manera similar, a = (br2)r1 = b(r2r1), lo cual implica que a | b. Por lo
tanto, si a ~ b, entonces b | a y a | b, lo que significa que b ~ a. Por lo
tanto, la relación "~" es simétrica.
 Por último la transitividad:
Para mostrar que la relación es transitiva, debemos demostrar que si a
~ b y b ~ c, entonces a ~ c para cualquier trío de elementos a, b, c en
R . Si a ~ b, esto implica que a | b y b | a. Esto implica que existen
elementos r1 y r2 en R tales que b = ar1 y a = br2. Si b ~ c, esto implica
que b | c y c | b. Esto implica que existen elementos r3 y r4 en R tales
que c = br3 y b = cr4. Sustituyendo b en la primera ecuación, tenemos c
= (ar1)r3 = a(r1r3), lo cual implica que c | a. De manera similar,
sustituyendo b en la segunda ecuación, tenemos a = (cr 4)r2 = c(r4r2), lo
cual implica que a | c. Por lo tanto, si a ~ b y b ~ c, entonces c | a y a |
c, lo que significa que a ~ c. Por lo tanto, la relación "~" es transitiva.
En conclusión, hemos demostrado que la relación "~" es una relación
de equivalencia en un dominio de integridad R , ya que cumple con las
propiedades de reflexividad, simetría y transitividad.
4.5 Establezca que a ~ b si y solo si existe u∈ R x tal que b=au.
Solución: Debemos demostrar la implicación en ambas direcciones:
 Primera dirección: Supongamos que a ~ b. Esto significa que a |
b y b | a.
Si a | b, entonces existe un elemento r1 en R tal que b = ar1.
Si b | a, entonces existe un elemento r2 en R tal que a = br2.
Sustituyendo b = ar1 en la ecuación a = br2, obtenemos a = (ar1)r2.
Dado que estamos en un dominio de integridad, no hay divisores de
cero y podemos cancelar el elemento común "a" en la expresión.
Esto nos da 1 = r1r2, lo cual implica que r1 y r2 son elementos invertibles
en R (pertenecen a R x).
Por lo tanto, si a ~ b, entonces existe u = r1r2 ∈ R x tal que b = au.
 Segunda dirección: Supongamos que existe u ∈ R x tal que b = au.
Dado que u ∈ R x, significa que u es invertible en R . Por lo tanto, existe
un elemento v ∈ R tal que uv = 1 (el elemento identidad).
Si b = au, podemos multiplicar ambos lados por v para obtener bv =
a(uv) = a(1) = a. Esto implica que a | b, ya que podemos tomar r = v en
la definición de divisibilidad (b = ar).
Además, dado que uv = 1, también tenemos que a = bv, lo cual implica
que b | a. Por lo tanto, si existe u ∈ R x tal que b = au, entonces a | b y b
| a, lo cual implica que a ~ b.
Hemos demostrado la implicación en ambas direcciones, lo que
establece que a ~ b si y solo si existe u ∈ R x tal que b = au.
4.6 Un factor a de b se dice factor propio si a no es una unidad ni
elemento asociado de b. Si consideramos 6∈ Z los factores propios son
± 2 ,± 3. Impropios ± 1, ± 6. Establezca que los factores propios de 6 en
Z [ √−5] no son asociados.

Solución: Para establecer que los factores propios de 6 en Z [ √−5] no

son asociados, debemos demostrar que ningún par de factores
propios de 6 puede ser asociado, es decir, no pueden ser múltiplos el
uno del otro ni tener una relación de divisibilidad no trivial.
Los factores propios de 6 en Z [ √−5] son ±2 y ±3, como se mencionó
anteriormente. Supongamos que existe un par de factores propios, por
ejemplo, a y b, de 6 en Z [ √−5] que son asociados. Esto implicaría que
a divide a b y b divide a a, lo que significa que a | b y b | a.
Si a | b, entonces existe un elemento r1 en Z [√ −5] tal que b = ar1.
Si b | a, entonces existe un elemento r2 en Z [√ −5] tal que a = br2.
Sustituyendo b = ar1 en la ecuación a = br2, obtenemos a = (ar1)r2.
Dado que estamos en Z [√ −5], donde no hay divisores de cero,
podemos cancelar el elemento común "a" en la expresión. Esto nos da
1 = r1r2, lo cual implica que r1 y r2 son elementos invertibles en Z [√−5].
Sin embargo, en Z [ √−5]., los únicos elementos invertibles son ±1. Esto
significa que r1 y r2 deben ser ±1. Si r1 = ±1, entonces b = ar1 = a(±1) =
±a, lo cual implicaría que a y b son elementos asociados. Pero
estamos considerando factores propios de 6, que por definición no
pueden ser unidades ni elementos asociados de 6. Por lo tanto, la
suposición de que existe un par de factores propios asociados de 6 en
Z [ √−5]. conduce a una contradicción. Por lo tanto, podemos concluir
que los factores propios de 6 en Z [ √−5]. no son asociados.
5- Encuentre todas las soluciones del sistema de ecuaciones
(congruencia).
x≅ 3 (mod 5)
x≅ 5 (mod 7)
x≅ 7 (mod 11)
Solución: Tenemos que x≅ 3 (mod 5), por lo tanto x=5∙ p+3 con p∈ Z
Ahora tenemos que x≅ 5 (mod 7), sustituyendo x tenemos:
5∙ p+ 3 ≅ 5 (mod 7)
5p+7≅ 9 (mod 7), sumando 4 a ambos lados
5p≅ 9 (mod 7)
20p≅ 36 (mod 7), multiplicando por 4 ambos lados
(21p+ p ¿ ≅ (35+¿1) (mod 7)
Luego eliminando 21 y 35 por ser múltiplos de 7 tenemos:
−¿ p≅ 1 (mod 7)

p≅−¿1 (mod 7), multiplicando por (−¿1) ambos lados

p≅ 6 (mod 7), sumando 7 al lado derecho
p=7q+6 con q∈ Z
Ahora sustituyendo p en x=5p+3=5(7q+6)+3=35q+33. Por lo tanto,
ahora, x=35q+33.
Ahora tenemos que x≅ 7 (mod 11), sustituyendo x tenemos:
35q+33≅ 7 (mod 11)
35q≅ 7 (mod 11), eliminando 33 por ser múltiplo de 11
33q+2q≅ 7 (mod 11), descomponiendo el 35 q
2q≅ 7 (mod 11), eliminando 33 por ser múltiplo de 11
q≅ 7(2)−1 (mod 11), buscando φ (11)
q≅ 7(2)9 (mod 11), aplicando el teorema de Euler
q≅ 3584 (mod 11)
q≅ 3575+9 (mod 11)
q≅ 9 (mod 11), eliminando 3575 por ser múltiplo de 11
q=11r+9
Ahora sustituyendo q en x, tenemos:
X=35(11r+9)+33=385r+348 con r∈ Z .