Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
La teoría algebraica de los números es la rama de la teoría de los números en la cual el concep-
to de número se expande a los números algebraicos, los cuales son las raíces de los polinomios
con coeficiente racional.
Un campo de números algebraicos es una extensión finita, algebraica, del campo de los núme-
ros racionales. El anillo de enteros de un campo de números algebraicos es la cerrazón de los
enteros en dicho campo, es decir, el subconjunto del campo que consiste en los elementos que
son raíces de polinomios con coeficientes enteros.
Se puede ver, y tratar, a un campo de números algebraicos como un análogo de los racionales,
y a su anillo de enteros como análogo de sus enteros, ahora bien, la analogía no es perfecta:
algunas de las propiedades familiares de los racionales y los enteros no se conservan, por
ejemplo la factorización única.
Los campos de números algebraicos, así como los campos de funciones, son llamados campos
globales. Gran parte de la teoría se puede desarrollar de manera paralela para ambos tipos de
objetos. La localización consiste en el pasaje de un campo global a un campo local: en el caso
de los campos de funciones, este procedimiento consiste simplemente en dirigir la mirada a un
punto en particular de la superficie o variedad estudiada, y concentrarse en cómo las funcio-
nes se comportan en su vecindad inmediata.
Un anillo es una terna ( A, +,i) en la que A es el conjunto y +, i son las leyes internas en A, de
modo que se cumplan las siguientes propiedades:
1
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Un dominio euclídeo es un dominio íntegro A tal que existe una función φ : A ∖ {0} → ℕ que
cumpla lo siguiente:
Si a, b son elementos de φ (a) c φ (ab). A no nulos.
Si D, d son elementos de A con d ≠ 0, entonces existen c y r en A de manera que
D = dc + r con r = 0 o bien 0 c φ (r ) < φ (d ).
La función φ se llama norma euclidea.
Es obvio que ℤ es un dominio euclídeo con la norma φ dada por φ (a) = a . Ahora bien, obser-
vemos que el cociente y el resto no son únicos. Por ejemplo, para dividir 8 entre 3 podemos
hacer 8 = 3 ⋅ 2 + 2 o bien 8 = 3 ⋅ 3 − 1, en ambos casos, r < d .
Un elemento a de un dominio A es una unidad si existe un elemento b en A tal que ab = 1.
Dicho elemento b está determinado por a , ya que si ab = 1 = ac, entonces
b = b1 = bac = ac = c1. Este único elemento lo llamaremos inversos de a y lo representaremos
por a −1.
Obviamente 1 es una unidad y 1−1 = 1. En cambio 0 no puede ser una unidad. Una unidad no
puede ser divisor de cero, pues si a es una unidad y ab = 0, entonces b = b1 = a −1 0 = 0.
Las unidades de ℤ son exactamente 1 y −1. Un anillo de división es un anillo unitario con
1 ≠ 0 en el que todo elemento no nulo es una unidad.
Un cuerpo es un anillo de división conmutativo. En particular todo cuerpo es un dominio ínte-
gro.
Observemos también que todo cuerpo Κ es un dominio euclídeo tomando como norma la
aplicación constante 1, pues la división euclidea puede realizarse siempre con resto 0, es de-
cir, D = d ( D d ) + 0.
Las operaciones entre números enteros y los elementos de un anillo, pueden ser definidas de
la siguiente forma:
Sea A un anillo unitario y a, b elementos de A. Sean m y n números enteros. Se cumple:
1. m(a + b) = ma + mb.
2. (m + n)a = ma + na.
3. (−ma ) = −(ma) = m(−a).
4. m(na ) = (mn)a.
5. Si ab = ba, entonces (ab)m = a m bm .
6. a m+n = am an
7. (a m ) n = a mn .
8. a − m = ( a − 1) m = (a m )−1 .
Un número algebraico es cualquier número real o complejo que es solución de una ecuación
polinómica de la forma
an x n + an −1 x n −1 + an − 2 x n − 2 + … + a1 x + a0 = 0
donde n > 0(an ≠ 0), es el grado del polinomio y ai ∈ ℤ, son números enteros coeficientes del
polinomio.
2
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Todos los números racionales son algebraicos, porque toda fracción de la forma a b es solu-
ción de bx − a = 0.
Algunos números irracionales como 21 2 , raíz cuadrada de 2, y 31 3 / 2, la mitad de la raíz cúbi-
ca de 3, también son algebraicos porque son soluciones de x 2 − 2 = 0 y 8 x3 − 3 = 0, respecti-
vamente.
No todos los números reales son algebraicos. Los casos más conocidos son π y e.
Si un número real o complejo no es algebraico, se dice que es un número trascendente.
Si un número algebraico es solución de una ecuación polinómica de grado n, pero no puede
serlo de una ecuación polinómica de grado menor, entonces se dice que es un número alge-
braico del grado n. Teniendo en cuenta esta circunstancia, los números racionales no pueden
ser números algebraicos de primer grado, pues no existe por ejemplo, una ecuación polinómi-
ca de grado uno con coeficientes enteros, cuya solución sea la raíz cuadrada de 2.
Las propiedades de la clausura podemos definirlas:
1. La suma, diferencia, producto o cociente de dos números algebraicos vuelve a ser al-
gebraico, y por lo tanto los números algebraicos constituyen un cuerpo matemático.
2. Como consecuencia de lo anterior, todos los números que pueden escribirse a partir
de los racionales empleando solamente las operaciones aritméticas +, −, ∗, /, potencias
y raíces, son algebraicos. Sin embargo, existen números algebraicos que no pueden es-
cribirse de esta forma, y son todos de grado > 5. Ésta es una consecuencia de la Teoría
de Galois.
3. Puede demostrarse que si los coeficientes ai son números algebraicos cualesquiera, la
solución de la ecuación volverá a ser número algebraico. En otras palabras, el campo
de los números algebraicos es algebraicamente cerrado. De hecho, los números alge-
braicos son el campo algebraicamente cerrado más pequeño que contiene los raciona-
les.
Un número algebraico que satisface una ecuación polinómica de grado n con an = 1 se deno-
mina entero algebraico. Algunos ejemplos de enteros algebraicos son: 3 ⋅ 21 2 + 5 ó 6i − 2. La
suma, diferencia y producto de enteros algebraicos vuelve a ser un entero algebraico, lo que
significa que los enteros algebraicos forman un anillo. El nombre de entero algebraico provie-
ne del hecho de que los únicos números racionales que son enteros algebraicos, son los ente-
ros.
3
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Suma: Para sumar dos números complejos se suman, por una parte las partes reales y, por
otra, las imaginarias. Por ejemplo:
(a + bi ) + (c + di ) = (a + c) + (b + d )i
(5 + 4i) + (3 + 2i) = (5 + 3) + (4 + 2)i = 8 + 6i
Resta: Para restar dos números complejos se restan, por una parte las parte reales y, por otra,
las imaginarias. Por ejemplo:
(a + bi) − (c + di ) = (a − c) + (b − d )i
(5 + 4i ) − (3 + 2i) = (5 − 3) + (4 − 2)i = 2 + 2i
(a + bi )(c + di ) = ac + adi + bci + bdi 2 = ac + (ad + bc)i + bd (−1) = (ac − bd ) + (ad + bc)i
(5 + 4i)(3 + 2i ) = 15 + 10i + 12i + 8i 2 = 15 + 22i + 8(−1) = 7 + 22i
Dividir: Para dividir dos números complejos, se multiplican el numerador y el denominador por
el conjugado del denominador y se sustituye i 2 por −1. Por ejemplo:
a + bi ac bd ad bc
= 2 − 2 + 2 + 2 i
c − di c + d 2
c +d c +d
2 2
c + d2
2+i (2 + i )(4 + 3i ) 8 + 6i + 4i + 3i 2 5 + 10i 5(1 + 2i ) 1 2i
= = = = = +
4 − 3i (4 − 3i )(4 + 3i ) 16 − 9i 2 25 25 5 5
i 2 = −1
i 3 = i 2 ⋅ i = (−1)i = −i
i 4 = (i 2 ) 2 = (−1) 2 = 1
i5 = i 4 ⋅ i = 1⋅ i = i
i 6 = i 4 ⋅ i 2 = 1(−1) = −1,
y así sucesivamente.
Una raíz n-ésima de la unidad es cualquiera de los números complejos z que satisfacen a la
ecuación z n = 1. Las n raíces de la unidad son los números e 2π i k n , donde k y n son coprimos
y representan n a la raíz y k numerando las correspondientes soluciones para los enteros
comprendidos entre k = 0 y k = n − 1. El número de raíces primitivas diferentes viene deter-
minado por la función Euler, ϕ (n). Por ejemplo, para z1 = 1 sólo hay una raíz primera de la
unidad, igual a 1. Para z 2 = 1 hay dos raíces: z1 = e2π i1/2 = −1 y z2 = e2π i 2/2 = 1. Para z 3 = 1 hay
−1 + i 3 −1 − i 3
tres raíces: z1 = e2π i 3/3 = 1, z2 = e 2π i1/3 = y z3 = e 2π i 2/3 = .
2 2
4
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Las raíces de la unidad de la ecuación cúbica corresponden a los llamados enteros de Eisens-
tein, en honor a Ferdinand Gotthold Eisenstein (1823-1852), y se representan como
±1, ± ω , ± ω 2 .
Como los ceros del polinomio p( z ) = z n − 1 son precisamente las raíces n-ésima de la unidad,
cada uno con multiplicidad 1, el polinomio ciclotómico n-ésimo está definido por el hecho de
que sus ceros son, precisamente, las raíces primitivas n-ésima de la unidad, cada una con mul-
tiplicidad 1.
lo que nos demuestra la factorización no única de los enteros de Gauss, aunque con divisores
finitos en el anillo ℤ [i ]. Efectivamente, los divisores de 10 vienen representados en el conjun-
to:
z = (1 + i )(1 − i ) = 12 + 12 = 2 y w = (2 + i )(2 − i) = 22 + 12 = 5
y
w = (2 + i)(1 + 2i)(−i ) = 22 + 12 = 5 ó w = (2 − i )(1 − 2i )(i) = 22 + 12 = 5
entonces
5
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
o bien
(1 + i )(2 − i ) = (3 + i ) y (1 − i )(2 + i ) = (3 − i )
entonces
zw = (3 + i )(3 − i) = 32 + 12 = 10
(1 + 3i)(3 + i )(−i ) = 32 + 12 = 10
Para calcular los divisores gaussianos de 10, operamos del siguiente modo:
10 10 10
= 5 − 5i = 5(1 − i), = 4 − 2i = 2(2 − i), = 3−i
1+ i 2+i 3+i
6
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
1+ i 1− i 2+i
2−i (1 + i )(1 − i) = 2 (1 + i)(2 + i) = 1 + 3i
(1 + i )(2 − i ) = 3 + i (1 − i)(2 + i ) = 3 − i (1 − i)(2 − i) = 1 − 3i
(2 + i )(2 − i) = 5 2(2 + i) = 4 + 2i 2(2 − i) = 4 − 2i
5(1 + i ) = 5 + 5i 5(1 − i) = 5 − 5i 10
1
Cómo 386 = 2 ⋅193 y 193 = 4k + 1 = 4 ⋅ 48 + 1 = 122 + 72 , ambos números (2 y 193) son enteros
de Gauss y, por tanto, pertenecen al anillo ℤ [i ]. Así que tenemos
con lo que
1, 1+i, 2, 5+19i, 7+12i, 12+7i, 14+24i, 19+5i, 24+14i, 193, 193+193i, 386
Pero 386 es distinto a z = 19 + 5i, por tanto no es esto lo que se nos pide.
Sabemos que z = 19 + 5i puede ser divisible por (1 + i ) ó (1 − i). Veamos:
Si
19 + 5i 19 + 5i
= 12 − 7i ó = 7 + 12i
1+ i 1− i
entonces
19 + 5i 19 + 5i 263 73i
=1+ i ó = -
12 − 7i 12 + 7i 193 193
7
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
z = 19 + 5i = (1 + i)(7 + 12i)(−i)
y sus divisores
1, 1 + i , 7 + 12i, 19 + 5i
(3 + 4i ) = (2 + i )(2 − i)
1, 2 + i , 3 + 4i
−45 + 105i
= −15 + 35i
3
de donde
8
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Probamos con (2 ± i) :
Divisiones exactas lo que demuestran que (2 + i ), (1 + 17i) y (-13 + 11i) son divisores de
−15 + 35i.
5 205i
( −15 + 35i ) (5 + 2i ) = - + y (-15 + 35i) (5 − 2i) = −5 + 5i
29 29
Aquí los divisores de (−15 + 35i) son (5 + 2i ) y ( −5 + 5i ). Este último es un asociado con facto-
rización simétrica con unidad, por lo que los divisores serían (2 + 5i ) y (5 + 5i).
Como el producto de los divisores conocidos es 3 (1 + i )( 2 + i )( 2 + 5i ) = -39 + 33i y el cociente
con (−45 + 105i ) es (−45 + 105i) (−39 + 33i) = 2 − i, la factorización de z = −45 + 105i resulta
La factorización canónica es 136 = 23 ⋅ 17, dos factores primos principales que son enteros
gaussianos, ya que z = (1 + i )(1 − i ) = 12 + 12 = 2 y w = (4 + i )(4 − i ) = 42 + 12 = 17, luego la facto-
rización gaussiana de 136 vendrá determinada por
es la factorización simétrica con unidad y que (1 + i ) ( 4 + i )(1 + 4i )( -1) = 34, para la factoriza-
2
Con un poco de paciencia se pueden encontrar los divisores gaussianos del número 136, que
son
9
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
El conjugado de z = −48 + 97i es (−48 + 97i )(−48 − 97i ) = 11713 = 13 ⋅ 17 ⋅ 53. La estructura de
cada uno de estos factores es la siguiente:
Todos los factores primos son enteros de Gauss, por lo que la factorización gaussiana resulta
Para (-48 + 97i ) (1 + 4i ) = 20 + 17i y para (20 + 17i ) (2 + 7i ) = 3 - 2i donde el último es el con-
jugado de (3 + 2i ) y que es (3 − 2i)(i ) = 3 + 2i.
De acuerdo con lo expuesto, la factorización gaussiana es
z = (1 + 4i )( 3 - 2i )( 2 + 7i ) = -48 + 97i
o bien
z = (1 + 4i )( 2 + 3i )( 2 + 7i )( -i ) = -48 + 97i
10
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
En el número algebraico z = -48 + 97i no existen factores primos, por lo que sus divisores son
todos gaussianos, a saber
Observamos que el Máximo Común Divisor de 84 y 63 es mcd (84,63) = 21, luego el número
algebraico planteado tiene una primera representación como z = 21(4 + 3i), un número aso-
ciado.
Cómo
( 4 + 3i )( 4 - 3i ) = ( 4 + 3i )( 3 + 4i )( -i ) = 25
y el número 25 admite también como factorización gaussiana
25 = ( ( 2 + i )(1 + 2i ) ) ( -1)
2
4 + 3i = (1 + 2i ) 2 (−i)
y, por tanto
z = 84 + 63i = 3 ⋅ 7 ⋅ (1 + 2i )2 (−i )
Teniendo en cuenta lo comentado sobre los números asociados en el supuesto anterior, ob-
serven que entre los divisores de z = 84 + 63i hayamos algunos, como por ejemplo
Sean a y b dos números enteros o algebraicos tales que al menos uno de ellos sea distinto de
cero. El Máximo Común Divisor de a y b, que denotaremos como mcd (a, b) = d , donde d es
el único entero positivo que satisface a las dos condiciones siguientes:
11
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
A partir de este Algoritmo de Euclides, el Teorema de Bézout, descubierto por Etienne Bézout
(1730-1783), asegura que existen otros dos enteros s y t tales que el mcd (a, b) = d = as + bt.
Este teorema o identidad nos proporciona una forma lineal dentro del anillo.
Para z = 4 + 6i : z = (1 + i) 2 (2 + 3i )(−i ) = 4 + 6i
Para w = 7 − i : w = (1 + i )(1 + 2i ) ( -1) = 7 - i
2
mcd (4 + 6i,7 − i) = 1 + i
Claramente podemos observar que el número que divide a ambos algebraicos es el (3 + 2i).
Comprobamos:
10 + 11i
= 4 + i → 10 + 11i = (3 + 2i)(4 + i)
3 + 2i
8+i
= 2 − i → 8 + i = (3 + 2i)(2 − i)
3 + 2i
12
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
entonces
I. N (r ) ≤ N ( rs ) para todo r , s ∈ D *.
II. Para todo t , s ∈ D , s ≠ 0, existen c, r ∈ D tales que t = cs + r , con r = 0 ó
N (r ) < N ( s ).
z = ( z w) w = cw + [ (r − m) + ( s − n)i ] w
[(r − m) + (s − n)i ] w = z − cw ∈ ℤ [i ]
entonces
( )
N ( r − m) + ( s − n)i w = N ( (r − m) + ( s − n)i ) N ( w) ≤ (1 4) + (1 4) N ( w) < N ( w)
(3 + 2i ) (1 − i ) = (1 2) + (5 2)i
Si c = 2i , resulta para
de donde
N (1) = 1 < 2 = N ( w)
13
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Como z = (2i )(1 − i ) + 1 = 3 + 2i y N (1) < N (1 − i) = 1 < 2, la solución se ajusta la división eucli-
dea de polinomios.
z (7 − 5i )(3 − 4i ) 1 − 43i
= = = (1 25) + (−2 + 7 25)i
w (3 + 4i )(3 − 4i ) 25
(7 - 5i ) - (3 + 4i)(-2i ) = -1 + i
de donde
z = (3 + 4i )(-2i ) + (-1 + i ) = 7 − 5i
por lo que
z 20 + 17i
= == (165 41) + (32 41)i
w 4 + 5i
de donde
14
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
por lo que
El primer polinomio admite más de una factorización, luego es reducible. El segundo polinomio
sólo admite la factorización de la norma, luego es un primo irreducible. Efectivamente, el
Máximo Común Divisor y la forma lineal de estos polinomios son
3.6 Sean z = 44 + 5i, w = 33 − 13i dos números algebraicos. Calcular la división eu-
clidea tal que z w = r + si .
No existe ningún factor común, por tanto el Máximo Común Divisor resulta:
de donde
Observemos que, mientras 1961 y 1258 no son coprimos, pues ambos son divisibles por 37,
z = 44 + 5i y w = 33 − 13i sí son coprimos. El culpable de este desencuentro lo tiene el número
37 = 62 + 12 = (6 + i )(6 − i ). Efectivamente, si
15
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
el primero admite como factor gaussiano a (6 − i ) y el segundo como (6 + i), números distin-
tos pero que ambos generan el conjugado 37.
La división gaussiana viene determinada como
z 44 + 5i (1 + 6i)(7 + 2i )
= == (1387 1258) + (737 1258)i =
w 33 − 13i (1 + i )(4 + i )(6 + i)
Para c = 1 + i, tenemos
Como
Como
16
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Como
N ( −1 + 5i ) < N (5 + 2i ) = 26 < 29
con lo que se demuestra que los números algebraicos propuestos no tienen un factorización
única.
Tenemos que
z 50 + 13i (1 + 4i)(11 + 6i )
= == (239 25) + (98 25)i =
w 4 + 3i (1 + 2i ) 2
Si c = 9 − 4i, r = 2 + 2i
con
Si c = 10 − 4i, r = −2 − i
con
N ( −2 − i) < N (4 + 3i ) = 5 < 25
Si c = 10 − 4i, r = 2 + 2i
con
17
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
a + b D si D ≡ 2,3(mód .4)
(1 + D )
a + b si D ≡ 1(mód .4)
2
con a, b ∈ ℤ.
El entero algebraico es raíz del polinomio x 2 + bx + c ∈ ℤ [ x ].
El valor de la norma es z = N (2 + 19i ) = (2 + 19i )(2 − 19i) = 23. Ahora procedemos a la di-
visión euclidea.
z 23
= = (46 5 − 23 5i) ≃ (9, 2 − 4, 6i )
w 2+i
Para c = 9 − 4i
23 − (2 + i )(9 − 4i) = 1 − i
z = (2 + i )(9 − 4i ) + (1 − i ) = 23 = N (2 + 19i )
Para c = 9 − 6i
18
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Para c = 9 − 5i
23 − (2 + i )(9 − 5i) = i
z = (2 + i)(9 − 5i ) + (i ) = 23 = N (2 + 19i )
x 2 -12 x + 43 = x(−12) x + 43 = ( x − 6) 2 + 7
x = 6 ± 7i
z 43
= = (86 13 + 129 13i) ≃ (6,61 + 9,92i )
w 2 − 3i
r = 43 − (2 − 3i)(6 + 10i ) = 1 − 2i
w = N (6 − 7i) = x 2 − 12 + 43
o lo que es lo mismo
19
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Si hacemos operaciones
43 = x 2 − 12 x + 43
= ( x − 12) x + 43
de donde
12 x − x 2 = 0 = 36 − ( x − 6) 2
por lo que
x = 0,12
x 2 − 18 x + 37 = ( x − 18) x + 37 = ( x − 9) 2 − 44
z 37 (6 + i )(1 + 6i )(−i )
= = = (37 5 + 37 10i ) ≃ (7,4 + 3,7i )
w 4 − 2i (1 + i) 2 (1 + 2i)(−1)
r = 37 − (4 − 2i )(7 + 4i) = 1 − 2i
de donde
z = (4 − 2i)(7 + 4i ) + (1 − 2i ) = 37 = N (9 − 2 11) = x 2 − 18 x + 37
(4 − 2i )(7 + 4i ) + (1 − 2i ) = x 2 − 18 x + 37
37 = x 2 − 18 x + 37 = ( x − 18) x + 37
81 − ( x − 9)2 = 0 = 18 x − x 2
20
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
La norma genera 109 como número entero y un polinomio de x 2 − 30 x + 109 = 0 que tiene
como raíces x = 15 ± 2 29, un conjugado real.
Para la división euclidea, tenemos
ya que
7 + 195i
4.5 Sean z = N y w = 5 − 4i dos elementos de ℚ D . Encontrar
2
c , r ∈ ℤ [i ]. tales que z = cw + r con r = 0 ó N (r ) < N ( w).
z 61 (6 + 5i)(5 + 6i)(−i )
= = = (305 41 − 244 41i) ≃ (7,44 + 5,95i)
w 5 − 4i (4 + 5i )(−i )
z = (5 − 4i)(7 + 6i) + (2 − 2i ) = 61 = x 2 − 7 x + 61
21
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
2
49 7
− x − = 0 = 7 x − x2
4 2
de donde x = 0,7.
10 − 4 18i
4.6 Sean z = N y w = 2 − 8i dos elementos de ℚ D . Encontrar
2
c , r ∈ ℤ [i ]. tales que z = cw + r con r = 0 ó N (r ) < N ( w).
z 97 (9 + 4i )(4 + 9i )(−i )
= = = (97 34 − 194 17i ) ≃ (2,85 + 11, 41i)
w 2 − 8i (1 + i ) 2 (4 + i)( −1)
10 − 4 18i
z = (2 − 8i)(3 + 11i ) + (3 + 2i ) = 97 = N = x − 10 x + 97
2
2
22
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
{ }
entero libre de cuadrados, d ≠ 1. Si O = x = a + b d : x 2 - sx + p = 0, s, p ∈ℤ . Si x ∈O y
k = ℤ [ω ] es el anillo de K = ℚ D , entonces
O
D+ D
ω = D si D T 1(mód .4) y ω = si D ≡ 1(mód .4)
2
D+ D D ( D − 1)
Como ∈ Ok es raíz del polinomio x 2 − Dx + ∈ ℤ [ x ] , se satisface que
2 4
D + D
k = ℤ
O
2
( )
N a + b − D = a 2 + Db2 , si es un cuerpo cuadrático imaginario ó
N (a + b D ) = a 2
− Db 2 , si es un cuerpo cuadrático real
Así, la diferencia entre un cuerpo cuadrático imaginario o complejo y un cuerpo cuadrático real
es que, el discriminante del primero es negativo y el del segundo positivo. Cuando D < 0 hay
una cantidad finita de valores de a y b, si D > 0, los valores de a y b son infinitos.
La suma y diferencia de los dos números algebraicos se obtienen como
x2 − 6 x + 29 = ( x − 6) x + 29 = ( x − 3) 2 + 20
23
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
D = b 2 − 4ac = 62 − 4 ⋅ 29 = −80 = −5 ⋅ 42 → ∆ = −5
y, por tanto
−b ± b 2 − 4ac 6 ± 62 − 4 ⋅ 29 6 ± −80 6 ± 4 −5
x= = = = = 3 ± 2 5i
2a 2 2 2
6 = (a 2 + 5b2 ) = (c 2 + 5d 2 )
Si a + 5b es un número no negativo, a 2 + 5b 2 = 1, 2, 3 ó 6.
2 2
D = b 2 − 4ac = 42 − 4 ⋅ 1 ⋅ 6 = −8 = −22 2 → ∆ = −2
D = b 2 − 4ac = 62 − 4 ⋅ 1 ⋅ 6 = 12 = 223 → ∆ = 3
24
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
N (3 + 6) = (3 + 6)(3 − 6) = 3
N (2 + 6) = −(2 + 6)(2 − 6) = 2
N (3 − 6) = (3 − 6)(2 + 6) = 6
Si
(2 + 6) (3 − 6) = (5 + 2 6) = p1
(2 + 6) (2 − 6) = (−5 − 2 6) = p2
entonces
3 = (3 − 6)2 p1 = (3 − 6)2 (5 + 2 6)
2 = −(2 − 6) 2 p2 = −(2 − 6) 2 (−5 − 2 6)
6 = (3 − 6)(2 − 6) p2 = (3 − 6)(2 − 6)(−5 − 2 6
de donde
( 6)2 ⋅ 3 ⋅ (1 + i )2 (−i ) = 12 + 12 + 22 = 6 = 2 ⋅ 3
Para N (a + b 3) = 33, admite como solución 33 = (6 + 3)(6 − 3). Si tenemos en cuenta que
3 ⋅11 3 ⋅11 = 33, obtenemos 33 = (6 + 3)(6 − 3 ) = 3 ⋅ 11 3 ⋅ 11.
25
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
z = N (1 + 2 −5) = 21 y w = N (2 + −5) = 9
Sea
z2 9
= (1 + 2 −5) 2 (2 + −5) = −2 + 3 −5 y = 9 (2 + −5) = 2 − −5
w w
Los números algebraicos generados pertenecen al anillo ℚ −5, mientras que z ∈ℤ.
Como w = 2 + −5
(
2 1 + 2 −5 ) 1 + 2
( ) 12 − 3 −5
w = − −5 − 3 = 2 + −5
(2 + −5 ) (
2 + −5
)
3 = − w − w ' = 2 + −5 2 − −5
7 = −k −k ' = 2 + 3 −5 2 − 3 −5
de donde
21 = − w − w ' −k −k ' = 2 + −5 2 − −5 2 + 3 −5 2 − 3 −5 = 3 ⋅ 7
2
1 1
∆ (1, ω ) = (−1 + −3) (−1 − −3) = (−i −3) = 3
2
2 2
26
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
libre de cuadrados.
libre de cuadrados.
27
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
3
(2 + 2)(2 − 2) = 8
1 ± 7i
esto nos lleva a un polinomio mínimo de x 2 − x + 2 = 0, con x = y una norma de
2
1 + −7
N =2
2
3 3
8 = (2 + 2)(2 − 2) = (5 + 23)(5 − 23) = 23
En la obra de los profesores Alaca y Willians, Introductory Algebraic Number Theory, encon-
tramos la siguiente solución:
α 3 = (5 + 17) + 3(5 + 17) 2/3 (5 − 17)1/3 + 3(5 + 17)1/3 (5 − 17) 2/3 + (5 − 17)
= 10 + 3(5 + 17)1/3 (5 − 17)1/3 ((5 − 17)1/3 ) + (5 − 17)1/3
= 10 + 3((5 + 17)(5 − 17))1/3 α
= 10 + 81/ 3 α
= 10 + 6α
3i 1
2 −
3i 1
( )
1
2 2
x1 = + 17 + 5 3 − − ,
2 2
( )
1
17 + 5 3
3i 1
2 − −
3i 1
( ) ( )
1 1
2 2 2
x2 = 17 + 5 3
− + , x3 = 17 + 5 3
+
( ) ( )
1 1
2 2
17 + 5 3
17 + 5 3
1/3
Como (5 + 17)(5 − 17 ) = 2, la factorización de 8 es
(5 + 17 )(5 − 17) = 8
28
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
nombre al problema de la división del círculo en n partes iguales que equivale a la resolución
de la ecuación Φn ( z) = 0. Las fórmulas siguientes representan la factorización del polinomio
z n − 1 en sus factores irreducibles
z1 − 1 = z − 1
z 2 − 1 = ( z − 1)( z + 1)
z 3 − 1 = ( z − 1)( z 2 + z + 1)
z 4 − 1 = ( z − 1)( z + 1)( z 2 + 1)
z 5 − 1 = ( z − 1)( z 4 + z 3 + z + 1)
z 6 − 1 = ( z − 1)( z + 1)( z 2 + z + 1)( z 2 − z + 1)
z 7 − 1 = ( z − 1)( z 6 + z 5 + z 4 + z 3 + z 2 + z + 1)
z8 − 1 = ( z − 1)( z + 1)( z 2 + 1)( z 4 + 1)
z 9 − 1 = ( z − 1)( z 2 + z + 1)( z 6 + z 3 + 1)
z10 − 1 = ( z − 1)( z + 1)( z 4 − z 3 + z 2 − z + 1)( z 4 + z 3 + z 2 + z + 1)
Φ n ( z ) = ∏ ( z n d − 1) µ ( d )
d |n
29
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Φ1 ( z ) = z − 1
Φ 2 ( z ) = ( z 2 − 1)( z − 1) −1 = z + 1
Φ 3 ( z ) = ( z 3 − 1)( z − 1)−1 = z 2 + z + 1
Φ 4 ( z ) = ( z 4 − z )( z 2 − 1)−1 = z 2 + 1
Φ 5 ( z ) = ( z 5 − 1)( z − 1) −1 = z 4 + z 3 + z 2 + z + 1
Φ 6 ( z ) = ( z 6 − 1)( z 3 − 1) −1 ( z 2 − 1) −1 ( z − 1) = z 2 − z + 1
Φ 7 ( z ) = ( z 7 − 1)(( z − 1)−1 = z 6 + z 5 + z 4 + z 3 + z 2 + z + 1
Φ8 ( z ) = ( z8 − 1)( z 4 − 1)−1 = z 4 + 1
Φ 9 ( z ) = ( z 9 − 1)( z 3 − 1) −1 = z 6 + z 3 + 1
Φ10 ( z ) = z10 − 1)( z 5 − 1) −1 ( z + 1)−1 = z 4 − z 3 + z 2 − z + 1
En las siguientes tablas se recogen valores para las funciones de Euler y Mӧbius:
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
ϕ ( n) 1 1 2 2 4 2 6 4 6 4 10 4 12 6 8 8 16 6 18 8
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
µ ( n) 1 -1 -1 0 -1 1 -1 0 0 1 -1 0 -1 1 1 0 -1 0 -1 0
z n − 1 n −1 k
Φn ( z ) = = ∑z
z − 1 k =0
De hecho, por el teorema de Moivre, para la ecuación z n − 1 = 0, las raíces n-ésimas de la uni-
dad son
propuestos.
30
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Para Φ 6 ( z ) = ∏ ( z 6 d − 1) µ ( d ) , tenemos
d |n
o bien
( z 6 − 1)( z − 1) ( z 6 − 1)
z6 −1 = = = z2 − z + 1
( z 3 − 1)( z 2 − 1) ( z − 1)( z + 1)( z 2 + z + 1)
z12 − 1 z12 − 1 z6 + 1 4
Φ12 ( z ) = = = = z − z2 + 1
(ϕ1ϕ 2ϕ3ϕ6 )ϕ 4 ( z 6 − 1)( z 2 + 1) z 2 + 1
o bien
( z12 − 1) z6 + 1 4
z12 − 1 = = = z − z2 + 1
( z − 1)( z + 1) z + 1
6 2 2
z12 − 1 z14 − 1 z7 + 1 6
Φ14 ( z ) = = 7 = = z − z5 + z4 − z3 + z 2 − z + 1
(ϕ1ϕ 7 )ϕ 2 ( z − 1)( z + 1) z + 1
o bien
z14 − 1 z7 + 1 6
z14 − 1 = = = z − z5 + z 4 − z3 + z2 − z + 1
(z 7
)
− 1 ( z + 1) z +1
o bien
( z15 − 1) z10 + z 5 + 1 8
z15 − 1 = = = z − z7 + z5 − z 4 + z3 − z + 1
( z − 1)( z + z + 1)
5 2
z + z +1
2
31
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
z16 − 1
Φ16 ( z ) = = z8 + 1
ϕ1ϕ2ϕ4ϕ8
o bien
( z16 − 1) ( z16 − 1)
z16 − 1 = = = z8 + 1
( z 8 − 1) ( z − 1)( z + 1)( z 2 + 1)( z 4 + 1)
6.3 Calcular algunas de las raíces de la unidad de los polinomios ciclotómicos indi-
cados.
La ecuación z n = 1, donde las soluciones ω = e2π ik / n son las raíces de la unidad, a veces llama-
das números de Moivre en honor a Abraham de Moivre (1667-1754). Gauss demostró que la
ecuación ciclotómica se puede reducir a la solución de una serie de ecuaciones de segundo
grado cada vez que es un primo de Fermat. En 1836 el matemático francés Pierre Wantzel
(1814-1848) demostró que esta condición no es sólo suficiente, sino también necesaria. Una
"irreductible" ecuación ciclotómica es una expresión de la forma
z p −1
= z p −1 + z p − 2 + ... + 1 = 0
z −1
(− ) ( ) ( ) =1
3 3 3
3 ( −1) = 1 y (−1)2/3 = − 3 (−i )2
32
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
(− ( −i ) ) =( −1) = −1.
5
5 4 5
(e 2π i4 6
) = − 12 + 3i
2
( 1
ó − e2π i4 6 = −
2 2
3i
)
donde comprobamos que
1 + 3i 1 − 3i 1 + 3i 1 − 3i
z − z− = z − z + 1 y = 1
2
2 2 2 2
1+ 3i 1− 3i
Las soluciones a la ecuación z 4 − z 2 + 1, son z = ± , z=± que comproba-
2 2
mos
33
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
z − 1 + 3i z − − 1 + 3i = z 2 − 3i 1
−
2 2 2 2
1 − 3i 1 − 3i 3i 1
z − z − − = z2 + −
2 2 2 2
2 3i 1 2 3i 1
z − −
z + − = z 4 − z 2 + 1
2 2 2 2
( ) (
i i + 3 i i − 3
) =1
2 2
Empecemos por eliminar el coeficiente independiente 8. Para ello calculamos la forma lineal
entre 8 y 41, a saber mcd (8, 41) = 1 = 8(−5) + 41(1). Si ahora multiplicamos la equivalencia plan-
teada, tenemos
34
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
x3 - 4 x 2 - 7 x + 5 ≡ x3 + 15 x 2 + 12 x + 5(mód .19)
Vamos a comprobar a partir de la primera ecuación si este resultado es cierto. Para ello utiliza-
remos la Regla de Ruffini.
1 0 0 -3 -4
6 6 36 216 1278
1 6 36 213 1274 ֏ x3 + 6 x 2 + 10 x + 5 ≡ 0(mód .13)
1 6 10 5
12 12 216 2712
1 18 226 2717 ֏ x 2 + 5 x + 5 T 0(mód .13)
35
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
Para z 6 = 1, tenemos
1
3i 1 3i
ρ = cos(π 3) + sen (2π 3)i = i + , ρ 2 = cos(2π 3) + sen (2π 3)i = − i +
22 2 2
1 3i
ρ 3 = cos(π ) + sen(π )i = −1, ρ 4 = cos(4π 3) + sen (4π 3)i = − −
2 2
1 3i
ρ 5 = cos(5π 3) + sen (5π 3)i = − , ρ 6 = cos(π ) + sen(π )i = 1
2 2
1 3i 4 1 3i
De éstas, ρ 3 = − 1 y ρ 6 = 1 son raíces cuadradas de 1 y ρ 2 = − + ,ρ = − − y ρ6 =1
2 2 2 2
son raíces cúbicas de 1.
El mcd (10, 43) = 1 = 10(13) + 43(-3), por lo que z10 − 1 ≡ z10 + 42 ≡ 0(mód .43) y tiene como so-
luciones z ≡ 1, 42(mód .43).
Las raíces enésimas de la unidad vienen determinadas por Cos(2tπ / 10) + Sen(2tπ / 10)i
z1 =
1
4
( ) 5
1+ 5 + i −
8 8
5
, z2 =
1
4
( )
5 −1 + i
5
+
8 8
5 1
( ) 5
, z3 = 1 − 5 + i +
4 8 8
5
z4 =
1
4
(−1 − 5 + i )
5
−
8 8
5 1
, z5 = −1, z6 = −1 − 5 − i
4
5
−
8 8
5
(
, )
z7 =
1
4
( )
1− 5 − i
5
+
8 8
5
, z8 =
1
4
( )
5 −1 − i
5
+
8 8
5
, z9 =
1
4
(
1+ 5 −i) 5
−
8 8
5
, z10 = 1
36
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
kiπ
o por e 5
iπ 2i π 3i π 4iπ
z1 = e , z2 = e
5 5
, z3 = e 5
, z4 = e 5
, z5 = −1,
4iπ 3i π 2iπ iπ
− − − −
z6 = e 5
, z7 = e 5
, z8 = e 5
, z9 = e 5
, z10 = 1
7.8 Demostrar que ( z + 1)2 ( z 2 − 1)( z 2 + z − 1) ≡ ( z − 1)( z + 1)3 ( z 2 + z − 1)(mód .19) no es una
equivalencia ciclotómica.
( z + 1) 2 ( z 2 − 1)( z 2 + z − 1) = z 6 + 3z 5 + z 4 − 4 z 3 − 3z 2 + z + 1
( z − 1)( z + 1)3 ( z 2 + z − 1) = z 6 + 3z 5 + z 4 − 4 z 3 − 3z 2 + z + 1
En ambos casos obtenemos una ecuación idéntica, por tanto, queda demostrada la equivalen-
cia algebraica, cuya solución es
−1 ± 5
z= , z = ±1
2
z n − 1 n −1
= z + z n − 2 +,..., +1 = 0
z −1
z 6 + 3z 5 + z 4 + 15 z 3 + 16 z 2 + z + 1 ≡ 0(mód .19)
37
Rafael Parra Machío FACTORIZACIÓN GAUSSIANA Y CUERPOS CUADRÁTICOS
BIBLIOGRAFÍA
ALACA and KENNETH, Introductory Algebraic Number Theory, ISBN: 0-521-54011-9
ALEGRE ESPADA, Miguel y otros, Problemas sobre Funciones de Variable Compleja, ISBN: 84-89607-30-3
ALLENBY, R.B.J.T., Rings, Fields and Groups An Introduction to Abstract Algebra, ISBN: 0-340-54440-6
AYRES, Frank Jr., Álgebra Moderna, ISBN: 968-422-917-8
BIRKOHFF y MAC LANE, Álgebra Moderna, ISBN: 84-316-1226-6
COHN, Harvey, Advanced Number Theory, ISBN: 0-486-64023-X
DICKSON, Leonard, Algebraic Theories, ISBN: 0-489-49573-6
DORRONSORO y HERNÁNDEZ, Números, Grupos y Anillos, ISBN: 84-7829-009-5
IVORRA CASTILLO, Carlos, Matemáticas, Apuntes en PDF, libres de descarga en Internet
IVORRA CASTILLO, Carlos, Teoría de Números, Apuntes en PDF, libres de descarga en Internet
KRASNOV, KISELIOV y MAKÁRENKO, Funciones de Variable Compleja, ISBN: 5-354-01102-7
POLLARD, Harry, The Theory of Algebraic Numbers, ISBN: 0-88385-000-1
SHIDLOVSKI,A.B., Aproximaciones Diofánticas y Números Transcendentes, ISBN: 84-7585-156-8
SPIEGEL, Murray R., Variable Compleja, ISBN: 968-422-883-X
VERA LÓPEZ, Antonio, Problemas y Ejercicios de Matemática Discreta, ISBN: 84-605-4351-X
APOYO INTERNET
http://en.wikipedia.org/wiki/Algebraic_number
http://en.wikipedia.org/wiki/Gaussian_integer
http://en.wikipedia.org/wiki/Quadratic_integer
http://en.wikipedia.org/wiki/Table_of_Gaussian_integer_factorizations
http://wims.unice.fr/wims/ (Calculadora en línea)
http://www.alpertron.com.ar/GAUSIANO.HTM (Calculadora en línea)
http://es.wikipedia.org/wiki/Cuerpo_ciclot%C3%B3mico
http://es.wikipedia.org/wiki/Ra%C3%ADz_de_la_unidad
http://es.wikipedia.org/wiki/Polinomio_ciclot%C3%B3mico
http://www.youtube.com/watch?v=1LCiuis7rZE&feature=related (Video sobre multiplicación y
división de complejos)
http://mathworld.wolfram.com/deMoivreNumber.html
38