Tarea 2
Uso de álgebras modernas para seguridad
y criptografía
Alejandro Rendón De Jesús
Profesor: Iván Ongay Valverde
Ingeniería en ciencia de datos y matemáticas
MA2006B
Tecnológico de Monterrey
02 de mayo del 2025
Contenidos
Contenidos 2
1 Ejercicio 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Pregunta 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3 Pregunta 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4 Pregunta 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.a Z4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.b Z20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
5 Pregunta 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
6 Pregunta 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
7 Pregunta 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
8 Pregunta 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
9 Pregunta 9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
10 Pregunta 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2
Tarea 3
1 | Ejercicio 1
Sea S Ă Cr0,1s el conjunto de funciones continuas de r0, 1s a R, donde f ` g y f g están
definidas de la manera usual. Sean 0 y 1 las funciones constantes 0 y 1 respectivamente.
Mostrar que:
1. pS, `, ¨q es un anillo conmutativo con unidad.
2. S tiene divisores de cero distintos a cero.
3. S no tiene elementos idempotentes fuera de 0 y 1 (recuerda que x es idempotente
si y sólo si x2 “ x).
4. Sea a P r0, 1s, entonces el conjunto T “ t f P S | f paq “ 0u es un ideal de S.
Demostración.
1. pS, `, ¨q es un anillo conmutativo con unidad
■ Clausura bajo suma y producto:
Si f , g P S, entonces f ` g y f g son funciones continuas que van de r0, 1s a R,
por lo que se verifica la cerradura bajo ambas operaciones.
■ Asociatividad de ` y ¨:
Por extensión de los números reales, se cumple la asociatividad.
■ Conmutatividad de ` y ¨:
Nuevamente, por extensión de los números reales, se cumple este apartado,
pues la suma y producto en los números reales son conmutativos.
3
MA2006B Tarea 2
■ Neutro aditivo:
La función constante 0 es el neutro aditivo, pues f ` 0 “ f , @ f P S.
■ Inverso aditivo:
Para toda f P S, la función ´ f pxq es continua y cumple que f pxq ` p´ f pxqq “
0.
■ Distributividad:
Dado que f ¨ pg ` hq “ f ¨ g ` f ¨ h se cumple en el contexto de funciones y
por propiedades de los números reales, se verifica este apartado.
■ Elemento unidad:
La función constante 1 P S, cumple que f ¨ 1 “ 1 ¨ f “ f , @ f P S.
2. S tiene divisores de cero distintos a cero
Sean f , g P S definidas de la siguiente forma:
$ $
&0 x P r0, 21 s &1 ´ x x P r0, 12 s
f pxq “ , gpxq “ 2
%x ´ 1 x P p 1 , 1s %0 x P p 21 , 1s
2 2
se puede ver que f , g continuas y que f ¨ g “ 0, pero f ‰ 0 y g ‰ 0, por lo que tiene
divisores de 0 distintos de 0.
3. S no tiene elementos idempotentes fuera de 0 y 1
Sea f P S, idempotente. Entonces
f2 “ f
Operando:
f 2 “ f “ñ f 2 ´ f “ 0 “ñ f p f ´ 1q “ 0
Por lo que las únicas soluciones tales que @x, f pxq “ f 2 pxq, son f “ 1 o f “ 0.
Si f no fuera constante, entonces violaría el principio de continuidad o, por el
teorema del valor intermedio, existiría c P r0, 1s tal que f pcq ‰ 0 y f pcq ‰ 1, lo que
contradice nuestro resultado.
4. T “ tf P S : fpaq “ 0u es ideal
■ Clausura bajo suma:
Si f , g P T, entonces f paq ` gpaq “ 0 ` 0 “ 0, por lo que se verifica que
f ` g P T.
4
MA2006B Tarea 2
■ Clausura bajo producto con elementos de S
Si f P T y g P S, entonces gpaq ¨ f paq “ gpaq ¨ 0 “ 0, por lo que f ¨ g P T.
2 | Pregunta 2
Mostrar que los siguientes son subanillos de C:
?
1. A “ ta ` b ´1 | a, b P Zu
?
2. B “ ta ` b 3 | a, b P Z o a, b son cada uno la mitad de un número impar }
Condiciones para verificar que algo es subanillo:
■ @a, b P S, a ` b P S
■ @a, b P S, a ¨ b P S
■ 0R P S
■ @a P S, ´a P S
1. A “ ta ` bi | a, b P Zu
■ Dados c1 “ a1 ` ib1 , c2 “ a2 ` ib2 P A
c1 ` c2 “ pa1 ` a2 q ` ipb1 ` b2 q P A
■ .
Dados c1 “ a1 ` ib1 , c2 “ a2 ` ib2 P A, c1
c1 ¨ c2 “ pa1 ` ib1 q ¨ pa2 ` ib2 q “ pa1 ¨ a2 ´ b1 ¨ b2 q ` ipa1 ¨ b2 ` b1 ¨ a2 q P A
■ Dado que 0 P Z, entonces 0 ` i0 “ 0 P A.
■ Dado c “ a ` ib P Z se tiene que ´a, ´b P Z, por lo que c1 “ ´a ´ ib P A.
Nótese que c1 es inverso aditivo de c, pues c ` c1 “ a ´ a ` ipb ´ bq “ 0.
?
2. B “ ta ` b 3 | a, b P Z o a, b son cada uno la mitad de un número imparu
? ?
■ Dados c1 “ a1 ` b1 3, c2 “ a2 ` b2 3 P B
? ? ?
c1 ` c2 “ a1 ` b1 3 ` a2 ` b2 3 “ a1 ` a2 ` pb1 ` b2 q 3
Si ai , bi P Z se verifica que c1 ` c2 P B puesto que la suma de enteros es entera.
5
MA2006B Tarea 2
Si para algún ci , tómese c1 , se tiene que a1 “ 2k`1
2 y b1 “ 2s`1
2 , donde k, s P Z,
y a2 , b2 P Z, entonces
ˆ ˙
2k ` 1 2s ` 1 ?
c1 ` c2 “ ` a2 ` ` b2 3
2 2
ˆ ˙
2k ` 2a2 ` 1 2s ` 2b2 ` 1 ?
“ ` 3
2 2
ˆ ˙
2pk ` a2 q ` 1 2ps ` b2 q ` 1 ?
“ ` 3PB
2 2
2k i `1 2si `1
Si para ambos ci , ai “ 2 y 2 , entonces
ˆ ˙
2k1 ` 1 2k2 ` 1 2s1 ` 1 2s2 ` 1 ?
c1 ` c2 “ ` ` ` 3
2 2 2 2
?
1 3
“ p2pk1 ` k2 ` 1qq ` p2ps1 ` s2 ` 1qq
2 2
?
“ k1 ` k2 ` 1 ` ps1 ` s2 ` 1q 3 P B
? ?
■ Dados c1 “ a1 ` b1 3, c2 “ a2 ` b2 3 P B
? ? ?
c1 ¨ c2 “ pa1 ` 3b1 q ¨ pa2 ` 3b2 q “ a1 ¨ a2 ` 3b1 ¨ b2 ` 3pa1 b2 ` a2 b1 q
Si ai , bi P Z se verifica este punto, pues multiplicación y suma de enteros da
un entero.
Si a1 , b1 mitades de un número impar y a2 , b2 P Z, entonces
ˆ ˙
2k ` 1 2s ` 1 ? 2k ` 1 2s ` 1
c1 ¨ c2 “ ¨ a2 ` 3 ¨ b2 ` 3 ¨ b2 ` a2
2 2 2 2
ˆ ˙
a2 p2k ` 1q ` 3b2 p2s ` 1q ? b2 p2k ` 1q ` a2 p2s ` 1q
“ ` 3
2 2
ˆ ˙
2pka2 ` 3sb2 ` b2 q ` a2 ` b2 ? 2pkb2 ` sa2 q ` a2 ` b2
“ ` 3 PB
2 2
Pues si a2 ` b2 es par, entonces los nuevos a, b P Z, y si a2 ` b2 es impar,
entonces los nuevos a y b son mitades de números impares.
6
MA2006B Tarea 2
Si todos los ai y bi son mitades de un número impar, entonces
ˆ ˙ˆ ˙ ˆ ˙ˆ ˙
2k1 ` 1 2k2 ` 1 2s1 ` 1 2s2 ` 1
c1 ¨ c2 “ `3
2 2 2 2
„ˆ ˙ˆ ˙ ˆ ˙ˆ ˙ȷ
? 2k1 ` 1 2s2 ` 1 2k2 ` 1 2s1 ` 1
` 3 `
2 2 2 2
p2k1 ` 1qp2k2 ` 1q 3p2s1 ` 1qp2s2 ` 1q
“ `
„ 4 4 ȷ
? p2k1 ` 1qp2s2 ` 1q ` p2k2 ` 1qp2s1 ` 1q
` 3
4
4k1 k2 ` 2k1 ` 2k2 ` 1 ` 12s1 s2 ` 6s1 ` 6s2 ` 3
“
4
? 4k1 s2 ` 2k1 ` 2s2 ` 1 ` 4k2 s1 ` 2k2 ` 2s1 ` 1
` 3¨
4
4pk1 k2 ` 3s1 s2 q ` 2pk1 ` k2 ` 3s1 ` 3s2 q ` 4
“
4
? 4pk1 s2 ` k2 s1 q ` 2pk1 ` k2 ` s1 ` s2 q ` 2
` 3¨
4
ˆ ˙
k1 ` k2 ` 3s1 ` 3s2
“ k1 k2 ` 3s1 s2 ` `1
2
ˆ ˙
? k 1 ` k 2 ` s1 ` s2 1
` 3 k 1 s2 ` k 2 s1 ` ` PB
2 2
3 | Pregunta 3
Sea e un elemento idempotente en un anillo R distinto a 0 y 1. Demuestra que existen
divisores de cero en R.
Demostración. Dado que e es un elemento idempotente, se tiene que
e2 “ e “ñ e2 ´ e “ 0 “ñ e ¨ pe ´ 1q “ 0
Como e ‰ 0 y e ‰ 1 pero e ¨ pe ´ 1q “ 0, implica que existen dos elementos no nulos cuya
multiplicación es cero, lo que significa que existen divisores de cero en R.
4 | Pregunta 4
Determinar los elementos idempotentes, nilpotentes e invertibles de Z4 y Z20 .
7
MA2006B Tarea 2
4.a | Z4
■ Idempotentes: x2 “ x
02 ” 0, 12 ” 1 pmod 4q
Elementos idempotentes: t0, 1u
■ Nilpotentes: x n “ 0, n ě 1
01 ” 0, 22 ” 0 pmod 4q
Elementos nilpotentes: t0, 2u
■ Invertibles: x ¨ y “ 1
1 ¨ 1 ” 1, 3 ¨ 3 ” 1 pmod 4q
Elementos invertibles: t1, 3u
4.b | Z20
■ Idempotentes: x2 “ x
02 ” 0, 12 ” 1, 52 ” 5, 162 ” 16 pmod 20q
Elementos idempotentes: t0, 1, 5, 16u
■ Nilpotentes: x n “ 0, n ě 1
01 ” 0, 22 ” 0, 42 ” 0, 51 ” 0, ..., 182 ” 0 pmod 20q
Elementos nilpotentes: t0, 2, 4, 5, 6, 8, 10, 12, 14, 15, 16, 18u
■ Invertibles: x ¨ y “ 1
1 ¨ 1 ” 1, 3 ¨ 7 ” 1, 9 ¨ 9 ” 1, ..., 19 ¨ 19 ” 1 pmod 20q
Elementos invertibles: t1, 3, 7, 9, 11, 13, 17, 19u
8
MA2006B Tarea 2
5 | Pregunta 5
Mostrar que la característica de un dominio entero (un anillo sin divisores de cero)
es 0 o p, con p un primo.
Demostración. Sea D un dominio entero y charpDq “ n ě 0 su característica. Probaremos
que n es 0 o un primo p.
Caso 1: n “ 0
Por definición, n “ 0 significa que no existe ningún entero positivo m tal que m ¨ 1D “ 0.
Aquí, se verifica trivialmente el enunciado.
Caso 2: n ą 0
Supongamos que n es el menor entero positivo tal que n ¨ 1D “ 0.
Si n no fuera primo, existirían enteros a, b con 1 ă a, b ă n tales que n “ ab. Entonces:
pa ¨ 1D qpb ¨ 1D q “ pabq ¨ 1D “ n ¨ 1D “ 0.
Como D es dominio entero, no tiene divisores de 0, y por consiguiente se tiene que
a ¨ 1D “ 0 o b ¨ 1D “ 0. Esto contradice que n sea el menor entero positivo tal que
n ¨ 1D “ 0.
Por tanto, n es primo.
6 | Pregunta 6
Sea R un anillo conmutativo con unidad. Supongamos que R no tiene ideales no
triviales. Probar que R es un campo.
Demostración. Para demostrar que R es un campo, verificaremos que todo elemento no
nulo de R posee inverso multiplicativo.
Sea a P R tal que a ‰ 0. Si consideramos el ideal principal de dicho elemento
paq “ tra : r P Ru
tenemos que paq “ R, puesto que R no tiene ideales no triviales y a ‰ 0.
Por lo anterior, sabemos que Dr P R tal que ra “ 1, y como R es conmutativo
ar “ ra “ 1
Esto, implica que r “ a´1 es inverso multiplicativo de a. Entonces R es un campo.
9
MA2006B Tarea 2
7 | Pregunta 7
Mostrar que Zrxs{px2 ` 1q – Zris, donde Zris es el conjunto A del ejercicio 2, lla-
mado conjunto de enteros Gaussianos.
Demostración. Estableciendo el siguiente homomorfismo suprayectivo de anillos
ϕ : Zrxs Ñ Zris
ppxqÞÑ ppiq
Puede verse que el kerpϕq será el ideal formado por px2 ` 1q, puesto que
ϕpppxqpx2 ` 1qq “ ppiqpi2 ` 1q “ ppiqp0q “ 0
y que además Impϕq “ Zris, por lo que aplicando el siguiente teorema:
Teorema fundamental de homomorfismos (Anillos)
Sea f : R Ñ S un homomorfismo de anillos. Entonces:
R{ kerp f q – Imp f q
donde:
■ kerp f q “ tr P R | f prq “ 0S u es el núcleo de f ,
■ Imp f q “ t f prq P S | r P Ru es la imagen de f
se tiene que
Zrxs{px2 ` 1q – Zris
8 | Pregunta 8
Encontrar un polinomio no nulo en Z p rxs que se anule en cada punto de Z p .
Queremos encontrar algún qpxq P Z p rxs tal que qpnq “ 0, @n P Z p .
Por el siguiente teorema:
10
MA2006B Tarea 2
Pequeño teorema de Fermat
En un cuerpo finito Z p (con p primo), el pequeño teorema de Fermat establece que
para todo a ‰ 0 en Z p :
a p´1 ” 1 mod p
podemos operar y obtener lo siguiente
a p´1 ” 1 mod p
a p ” a mod p
a p ´ a ” 0 mod p
Por lo que el polonomio qpxq “ x p ´ x es un polinomio no nulo que se anula en cada
a P Zp.
9 | Pregunta 9
Calcula la dimensión de Vpx ` xy, y ` xy, x2 , y2 q (también llamado Zrx ` xy, y `
xy, x2 , y2 s). Mostrar que Vpx ` xy, y ` xy, x2 , y2 q – Vpx, yq (esto también puede escribirse
como Zrx ` xy, y ` xy, x2 , y2 s – Zrx, ys).
Sea R “ Zrx ` xy, y ` xy, x2 , y2 s. Para calcular su dimensión de trascendencia sobre
Z:
Dado un punto pa, bq que pertenece a la variedad VpIq, los cuatro polinomios gener-
adores del ideal deben satisfacerse:
■ De la ecuación x2 “ 0 se deduce que a2 “ 0, lo cual implica:
a“0
■ Análogamente, de y2 “ 0 se obtiene b2 “ 0, por tanto:
b“0
■ Al evaluar x ` xy “ 0 con a “ 0:
0`0¨b “ 0
se satisface trivialmente.
11
MA2006B Tarea 2
■ Similarmente, para y ` xy “ 0 con b “ 0:
0`a¨0 “ 0
también se cumple automáticamente.
Esto nos lleva a la conclusión de que la única solución posible es:
pa, bq “ p0, 0q
En consecuencia, la variedad algebraica determinada por estos polinomios es:
Vpx ` xy, y ` xy, x2 , y2 q “ tp0, 0qu
Esta variedad coincide exactamente con:
Vpx, yq
Al tratarse de un único punto en el espacio afín, su dimensión como variedad alge-
braica es:
dim VpIq “ 0
10 | Pregunta 10
Muestra que el ideal px3 y6 q no es radical y que el ideal px3 y2 q sí es radical. En gen-
eral, muestra que el ideal px n ym q es radical si y sólo si m y n son coprimos (su máximo
común divisor es 1).
Un ideal I Ď krx, ys es radical si cumple que
@ f P krx, ys, si existe k ě 1 tal que f k P I, entonces f P I
Demostración.
1. px3 y6 q no es radical:
Sea f “ xy2 P krx, ys, entonces es claro que
f 3 “ pxy2 q3 “ x3 y6 P px3 y6 q
pero para que xy2 P px3 y6 q, se tiene
1
h ¨ x3 y6 “ xy2 “ñ h “ R krx, ys
x 2 y4
12
MA2006B Tarea 2
2. pxm yn q radical ðñ MCDpm, nq “ 1
ñ Procediendo por contradicción, supongamos que MCDpm, nq “ d ą 1. En-
tonces Da, b P Z` tales que n “ ad y m “ bd. Tenemos que
f “ x a yb R px n x m q
pues si h ¨ x n x m “ x a x b “ñ h “ x a´n yb´m , pero a ´ n, b ´ m ă 0, por lo que
h R krx, ys.
Sin embargo
f d “ x ad ybd “ x n ym P I
por lo que I no es radical. !
ð Procediendo por contradicción, supongamos que px n ym q no es radical, por lo
que
D f k P px n ym q tal que f R px n ym q
Para el caso trivial de k “ 1 vemos que se verifica la implicación. Ahora supong-
amos k ą 1. Entonces, sea f k “ hk ¨ x n ym , donde h P krx, ys. Por la suposición
f “ hpx n ym q1{k “ h ¨ x n{k ym{k , pero puesto que f P krx, ys
n m
, P Z`
k k
Sin embargo, por hipótesis MCDpn, mq “ 1 y llegamos a que k ą 2 divide a n y m
simultaneamente. !
3. px3 y2 q es radical:
Por la demostración anterior, se tiene que px3 y2 q es radical, puesto que MCDp3, 2q “
1.
13
