Teoría de números: campos de números y

campos de funciones

Alejandro Aguilar Zavoznik

Mario Pineda Ruelas

Una propiedad importante tanto en el anillo de los enteros 

como en el anillo de polinomios sobre un campo es la factor-
ización única. En Teoría de Números es común considerar anillos
que contienen a alguno de los anteriores, en ocaciones estos
nuevos anillos son dominios de factorización única, pero es Coloquio del
frecuente encontrar casos en los que esta propiedad no se tiene.
Una herramienta importante para librar el problema de no ser Departamento
DFU son los ideales, ya que, ellos sí se factorizan de forma única
como producto de ideales primos. En este taller estudiaremos las
dos familias de ejemplos más importantes donde se utiliza esta
de Matemáticas
herramienta: los anillos de enteros de campos de números y de
campos de funciones, concentrándonos en los campos cuadráti-
cos. Mostraremos algunos ejemplos en los que veremos cómo se
utiliza la factorización de ideales para resolver problemas aritmé-

Teoría de números:
ticos.

campos de números y
campos de funciones
Alejandro Aguilar Zavoznik
Mario Pineda Ruelas
Metepec, Atlixco, Puebla
Enero de 2014
 6to Coloquio del Departamento
de Matemáticas

Introducción a los Campos de Números

y
Campos de Funciones

Alejandro Aguilar Zavoznik

Mario Pineda Ruelas
 Comité Editorial

Dr. Joaquı́n Delgado Fernández

Dr. Mario Pineda Ruelas
Dra. Blanca Rosa Pérez Salvador
Dr. Constancio Hernández García

Publicación del Departamento de Matemáticas de la Universidad Autonóma Metropolitana-

Iztapalapa con el apoyo de la División de Ciencias Básicas e Ingenierı́a y Consejo Nacional
de Ciencia y Tecnologı́a (conacyt).
 Introducción a los
Campos de Números
y
Campos de Funciones

Alejandro Aguilar Zavoznik

Mario Pineda Ruelas

Departamento de Matemáticas, uam-i

Universidad Autónoma Metropolitana

 Contenido

Introducción vii

Capítulo 1. El anillo de los enteros 1

1.1. Z 1

Capítulo 2. Números algebraicos 25

2.1. Discriminante 34
2.2. Campos cuadráticos 40
2.3. Otros ejemplos de bases enteras 42
2.4. El número de clase 44
2.5. Factorización en un campo de números 51
2.6. Grupo de unidades en anillos de enteros de campos
cuadráticos 54

Capítulo 3. Campos cuadráticos de funciones 57

3.1. Campos cuadráticos de funciones 58
3.2. Factorización en campos cuadráticos de funciones 60
3.3. Unidades 63
3.4. Grupo de clases de ideales 65
3.5. Un ejemplo 66
3.6. Distintas factorizaciones de un elemento 70

Bibliografı́a 73

v
 Introducción

Un curso introductorio a la teorı́a de números algebraicos es un reto

si presuponemos una audiencia que no conocemos; sólo por el posible
interés en el tema. De cualquier forma, aceptamos el reto y con nuestra
propuesta haremos lo que esté a nuestro alcance para inducir a nuestro
joven público para que se interese en esta maravillosa disciplina de las
matemáticas: la teorı́a de números.

Estas notas están divididas en tres capı́tulos. El primero contiene

parte de los antecedentes que consideramos necesarios para poder ini-
ciar el estudio del tema. El Segundo capı́tulo es la puerta de entrada a
la teorı́a de números algebraicos y presentamos los resultados funda-
mentales, la mayorı́a con su respectiva demostración, acompañados de
ejemplos ilustrativos que hacen más comprensible la teorı́a. El capı́tulo
3 sigue la misma lógica del capı́tulo anterior y es aquı́ donde através
de ejemplos ilustramos esa otra parte de la teorı́a de números; los
campos de funciones. Todo lo anterior está gobernado por una idea: la
factorización.

Esperamos que nuestra audiencia disfrute los temas de estudio que

proponemos.
La revisión que el comité editorial hizo a nuestras notas mejoró su
contenido y presentación, gracias; de los posibles errores que quedaron
nosotros somos los responsables.

Alejandro Aguilar Zavoznik

Mario Pineda Ruelas
Universidad Autónoma Metropolitana
México 2013.

vii
Capítulo 1
El anillo de los enteros

1.1. Z
Una de las estructuras aritméticas más importantes en toda la
matemática es el anillo de los enteros Z. Podemos partir de la propiedad
más bella ( tal vez por su simplicidad ) que gozan los enteros:

Teorema 1.1. [Algoritmo de la división] Sean a, b, 2 Z con a 6= 0.

Existen enteros q y r únicos tal que b = aq + r donde 0  r < |a|.

Demostración. Prueba rápida: el conjunto

S = {b am 0 para ciertos valores m 2 Z}

es no vacı́o. Por el principio del buen orden (PBO), S contiene

un elemento r que satisface r  n para todo n 2 S. Por tanto,
0  r = b aq para algún q 2 Z. Puesto que a 6= 0, tenemos a 1 ó
a  1. Si a 1 entonces

b a(q + 1) = b aq a<b aq = r,

ası́ que
r a=b a(q + 1) < 0,
y r < a. El caso a  1 se sigue al considerar que b a(q 1) < 0. Por
lo tanto, r < |a|. La unicidad de q y r se deja como ejercicio para el
lector. ⇤

Notemos que si en el enunciado del algoritmo de la división no

pedimos que el residuo r sea positivo, entonces r y q no necesariamente
son únicos:
2 = 11 · 0 + 2 = 11 · 1 + ( 9).
Problema: Redactar y demostrar una versión general del algoritmo de
la división en Z.

Corolario 1.2. Z es un anillo de ideales principales (DIP).

1
2 1. EL ANILLO DE LOS ENTEROS

Demostración. Sea I un ideal en Z y supongamos que I 6= {0}.

Denotamos por n al menor entero positivo contenido en I. Es claro que
nZ = {nz : z 2 Z} ✓ I. Si i 2 I, entonces por el algoritmo de la división
i = nq + r, 0  r  n.
Observamos que i nq = r 2 I. Si r = 6 0, entonces n no es el menor
entero positivo en I. Ası́ que r = 0 y I ✓ nZ. ⇤
Sean a, b 2 Z con a 6= 0. Denotamos por mcd(a, b) al mayor divisor
en común de a, b. Observamos que mcd(a, b) 1. Algunas de las
propiedades más importantes del mcd son:
i) mcd(a, b) es la mı́nima Z-combinación lineal positiva de a y b.
⇣a b⌘
ii) Si mcd(a, b) = g, entonces mcd , = 1. Lo anterior
g g
significa que g contiene en su factorización a todos los
divisores que comparten a y b.
iii) Si a | bc y mcd(a, b) = 1, entonces a | c.
iv) Si a 2 Z y p es un primo (ver definición 1.3, entonces
mcd(a, p) = 1 ó |p|.

Cualquier entero a 6= 0, ±1 tiene al menos cuatro divisores: ±1, ±a.

Si un entero a tiene al menos un divisor b 6= ±a, ±1, entonces a = bd y
d 6= ±a ± 1.

Definición 1.3. Sea p 2 Z con |p| > 1. Diremos que p es un número

primo si p = bd, entonces b = ±1 ó d = ±1.

Los primeros números primos positivos son: 2, 3, 5, 7, 11, ..., pero

también los inversos aditivos de éstos 2, 3, 5, 11, . . . son números
primos. Ası́ que es claro que p es primo si y sólo si p es primo.
Observemos que si a 2 Z y p es cualquier primo, entonces mcd(a, p) = 1
ó |p|. También es fácil notar que si p, q son primos y p | q, entonces
|p| = |q|.
Teorema 1.4. [Euclides] p es primo si y sólo si siempre que p | ab,
entonces p | a ó p | b.
Demostración. Supongamos que p es primo y p | ab. Si p - a,
entonces mcd(a, p) = 1 y por tanto p | b. Inversamente, sea p = ab una
factorización de p. En particular p | ab y por lo tanto p | a ó p | b. Si
p | a se tiene que a = pt, para algún t 2 N. Ası́ que p = ab = ptb. De lo
anterior se sigue que b = 1 y a = p y por lo tanto p es primo. ⇤
El teorema anterior nos autoriza a cambiar la definición de número
primo.
 1.1. Z 3

Definición 1.5. Diremos que p 2 Z es primo si |p| > 1 y siempre

que p | ab, entonces p | a ó p | b. Diremos que un entero ⇡ con |⇡ | > 1
es irreducible si ⇡ = ab, entonces |a| = 1 ó |b| = 1.

En el Teorema 1.4 la definición de primo es equivalente a la definición

de irreducible. Sin embargo, existen anillos que contienen a Z en
donde éstos dos conceptos no son equivalentes. Veremos un ejemplo
inmediatamente después de la definición 1.27.

Teorema 1.6. Cualquier entero m > 1 admite al menos un divisor

primo.

Demostración. Fácil ejercicio para el lector. Se sugiere usar

inducción sobre m. ⇤

Seguramente la propiedad más importante de Z se refiere a la

factorización única de sus elementos.

Corolario 1.7. [Teorema Fundamental de la Aritmética] Todo

entero 6= 0, ±1 se puede expresar en forma única (salvo el orden) como
un producto finito de números primos.

Demostración. Es consecuencia directa del Teorema 1.6 y del

Teorema1.4, es ese orden. ⇤

Corolario 1.8. Si n > 2, entonces existe un primo p tal que

n < p < n!.

Demostración. El número z = n! 1 > 1 tiene un divisor primo

p  z. Si p  n, entonces p | n! y por lo tanto p | 1 lo cual es absurdo.
Ası́ que n < p  n! 1 < n!. ⇤

Corolario 1.9. [Teorema de Euclides] Existen suficientes primos

para factorizar cualquier entero 6= 0, ±1, es decir, existe una infinidad
de números primos.

Demostración. Consideremos n suficientemente grande en el

corolario anterior. ⇤

Nota: Si ab = cn y mcd(a, b) = 1, entonces para ciertos enteros c1 , c2

se tiene que a = cn n
1 y b = c2 . Esto es consecuencia de la factorización
única. Veamos una aplicación de esta inofensiva propiedad.

Teorema 1.10. La ecuación x2 y3 = 1 tiene una única solución en

los enteros positivos: x = 3, y = 2.
4 1. EL ANILLO DE LOS ENTEROS

Demostración. Si x es par, entonces mcd(x 1, x+1) = 1 y además:

(x 1)(x + 1) = y3 .
Por tanto
x 1 = a3 y x + 1 = b3 .
De lo anterior se sigue que b3 a3 = (b a)(b2 + ab + a2 ) = 2 y ası́
b2 + ab + a2 | 2, lo cual es imposible. Por lo tanto, si existiera solución,
necesariamente x = 2t + 1 y y = 2q con t, q 1. Es claro que t = 1
implica x = 3 y y = 2. Si t > 1, tendrı́amos t(t + 1) = 2q3 , lo cual es
imposible porque ningún número triangular es un cubo. ⇤

En una carta fechada en 1844 y dirigida a la revista Journal Crelle,

el matemático belga E. Charles Catalan conjeturó que si
xn ym = 1,
entonces n = 2, m = 3, x = 3, y = 2. Esta conjetura un poco olvidada,
tal vez por el atractivo que tenı́a la conjetura de Fermat, ha sido resuelta
por el matemático rumano Preda Mihailescu (2002). El Teorema 1.10 es
una versión elemental de la conjetura de Catalan.
Regresando a nuestra discusión, el Corolario 1.2 nos asegura que
el anillo Z es de ideales principales. Podemos desarrollar teorı́a general
al respecto, adoptando la definición de primo e irreducible que dimos
en Z.

1.1.1. Un poco de teorı́a general. El objetivo de esta breve sección

es ubicar parte de nuestro trabajo en un contexto general, que algunas
veces es difı́cil aterrizarlo en anillos especı́ficos. Esto se debe a
dificultades ariméticas que no se pueden hacer explı́citas. Por ejemplo,
si A es un anillo ¿quiénes son las unidades de A?
En cualquier anillo conmutativo con unidad A, los elementos que
tienen inverso multiplicativo forman un grupo multiplicativo el cual
denotamos por U(A) y llamaremos grupo de unidades de A. El lector
puede verificar fácilmente que: a = bu para algún u 2 U(A) si y
sólo si a | b y b | a. Cuando esto sucede diremos que a y b son
asociados y escribiremos a ⇠ b. Observemos que hai = hbi si y sólo
si a ⇠ b. El conjunto de asociados al elemento a queda descrito por
{au : u 2 U(A)}. Tenemos las siguientes definiciones en cualquier
dominio entero con 1. Sea ⇡ 2 A, con ⇡ 6= o y ⇡ 62 U(A). Diremos
que ⇡ es primo si ⇡ | ↵ , entonces ⇡ | ↵ ó ⇡ | . Diremos que ⇡
es irreducible si ⇡ = ↵ , entonces ↵ ó es unidad. Es claro que en el
anillo Z el concepto de primo e irreducible coinciden, en general no es
ası́: ¿en qué anillos significan lo mismo primo e irreducible? más aún,
 1.1. Z 5

si los conceptos no coinciden ¿quiénes son los elementos irreducibles?

Estas preguntas serán la guı́a de nuestras exposiciones.

Teorema 1.11. Si ⇡ es primo, entonces ⇡ es irreducible.

Demostración. Vea la demostración del Teorema 1.4. ⇤
Teorema 1.12. En cualquier anillo conmutativo unitario, los ideales
primos principales están generados por elementos primos.
Demostración. Sea P = h⇡i un ideal primo principal y supongamos
que ⇡ | ab. Entonces ab 2 P y, por lo tanto, a 2 P ó b 2 P. Ası́ que
a = ⇡q ó b = ⇡t. Esto significa que ⇡ | a ó ⇡ | b. Por lo tanto, ⇡ es
primo. ⇤
Teorema 1.13. En cualquier dominio entero unitario A, los ideales
máximos principales están generados por elementos irreducibles.
Demostración. Sea M = h⇡i y ⇡ = ab. Debemos mostrar que
a 2 U(A) ó b 2 U(A). Claramente h⇡ i ✓ hai ✓ A. Como h⇡ i es máximo
se tiene h⇡ i = hai o bien hai = A. Si h⇡ i = hai se tiene que a = ⇡t, para
algún t 2 A y de la igualdad ⇡ = ab = ⇡tb se sigue que 1 = tb, de donde
b 2 U(A). Si hai = A = h1i, entonces claramente a 2 U(A). ⇤
Teorema 1.14. Si A es un DIP, entonces cualquier sucesión ascen-
dente de ideales es finita.
Demostración. Sea I1 ⇢ I2 ⇢ · · · ⇢ In ⇢ In+1 · · · cualquier sucesión
[1
ascendente de ideales de A y I = Ij . Claramente I es un ideal de
j=1
A. Por otro lado I = hai para algún a 2 A. Puesto que para algún m
se tiene a 2 Im , se sigue que I ✓ Im ✓ I. Lo anterior significa que
I 2 {Ij }1
j=1 . Ahora sea n m. Entonces I = Im ✓ In ✓ I, ası́ In = Im y la
sucesión es finita. ⇤
Cualquier anillo que satisface el teorema anterior (no necesaria-
mente DIP) lo llamaremos anillo noetheriano. En nuestro caso, cualquier
DIP es noetheriano.
Teorema 1.15. Sea hai ideal de un anillo A que es un DIP. Entonces
existe hmi ideal máximo tal que hai ✓ hmi.
Demostración. Sea Xa = {I ⇢ A : I es un ideal de A tal que hai ✓ I }.
Definimos en Xa la siguiente relación: I ⇠ J si y sólo si I ✓ J. Es claro
que Xa es un conjunto parcialmente ordenado con ⇠. Sea # cualquier
S Xa . Vamos a demostrar que # tiene un elemento máximo.
cadena en
Sea M = I2# I. Es claro que:
6 1. EL ANILLO DE LOS ENTEROS

i) M es un ideal de A.
ii) M =6 A, pues de lo contrario 1 2 Ij para algún j. Por lo tanto
M 2 Xa .
iii) Ij ✓ M.

Lo anterior demuestra que cualquier cadena # tiene una cota

superior en Xa . Entonces por el Lema de Zorn tenemos que Xa tiene al
menos un elemento (un ideal que contiene a hai) máximo M. Falta ver
que M es un ideal máximo de A. Supongamos que M ⇢ I ⇢ A. Si I ( A,
entonces I 2 Xa y M ⇢ I. Por tanto M no es un elemento máximo de
Xa , ası́ tenemos I = A. ⇤

Nota: ¿En dónde usamos que A es un DIP?

Corolario 1.16. Sea A un DIP. Entonces los ideales primos 6= 0 son

máximos.

Demostración. Sea hqi un ideal primo con q 6= 0 y h⇡i algún ideal

máximo tal que hqi ✓ h⇡ i. Vamos a mostrar que hqi = h⇡ i. Sabemos
que q es primo y ⇡ es irreducible. Puesto que q 2 hqi ✓ h⇡ i, tenemos
q = ⇡t para algún t 2 A. En particular q | ⇡t y q | ⇡ ó q | t. Si q | t,
entonces t = qr y de la igualdad q = ⇡t = ⇡qr tenemos que ⇡ 2 U(A),
lo cual no es posible. Ası́ q | ⇡ y ⇡ = qu para algún u 2 U(A). Por lo
tanto h⇡ i = hqi. ⇤

Corolario 1.17. En un DIP primo e irreducible son lo mismo.

Demostración. Fácil ejercicio para el lector. ⇤

Nota: ¿Qué podemos decir si un elemento irreducible es asociado a un

elemento primo?

Antes de continuar precisemos el concepto de factorización única:

Diremos que el anillo A tiene la propiedad de la factorización única si
cualquier elemento a 2 A \ U(A), con a 6= 0 se puede expresar en forma
única como producto finito de irreducibles. Aquı́ la unicidad significa
lo siguiente: Si
a = ⇡1 ⇡2 · · · ⇡r = q1 q2 · · · qk ,
con ⇡j , qs irreducibles, entonces r = k y cada ⇡j es asociado de algún
ql . Por ejemplo, en Z tenemos que 2 · 3 = ( 2) · ( 3) son la misma
factorización, ya que 2 y 2 son asociados y 3 y 3 también lo son.

En seguida tenemos la versión de la factorización única en cualquier

DIP.
 1.1. Z 7

Teorema 1.18. [Teorema Fundamental de la Aritmética en un DIP]

Sea A un DIP. Cualquier elemento a 2 A \ {0} es una unidad o se puede
escribir como producto finito de irreducibles y unidades.
Demostración. Sea a 2 A \ {0} y supongamos que a 62 U(A). Ası́
que hai ⇢ A. Si a es irreducible la afirmación se cumple pues a = a · 1.
Ası́ que podemos suponer que a no es irreducible. Sea M = h⇡1 i algún
ideal máximo de A tal que hai ✓ h⇡1 i. Puesto que a 2 hai ✓ h⇡1 i se
tiene que a = ⇡1 t1 , para algún t1 2 A. Claramente t1 62 U(A) pues de
lo contrario a ⇠ ⇡ y a serı́a irreducible. Sea h⇡2 i algún ideal máximo
de A tal que ht1 i ✓ h⇡2 i. Entonces t1 = ⇡2 t2 para algún t2 2 A. De la
anterior igualdad se sigue que ht1 i ✓ ht2 i. Ası́ a = ⇡1 ⇡2 t2 . Continuando
con este proceso obtenemos una cadena de ideales
ht1 i ✓ ht2 i ✓ ht3 i ✓ . . . .
la cual debe terminar porque A es noetheriano. Ası́ que el proceso es
finito y se sigue el resultado. ⇤
Corolario 1.19. Sea A un DIP. La factorización que asegura el
teorema anterior es única salvo orden y unidades.
Demostración. Ejercicio para el lector ⇤
Para verificar que cierto anillo tiene la propiedad de ser de
factorización única existen varios caminos. Por ejemplo se puede
intentar mostrar que es euclidiano, o que es un DIP, etc. El siguiente
resultado nos proporciona una alternativa.
Teorema 1.20. Sea A un anillo en donde es posible la factorización
finita en irreducibles. Entonces en A la factorización es única si y sólo si
primo e irreducible coinciden.
Demostración. Supongamos que la factorización es única. Sea
⇡ 2 A un elemento irreducible y ↵, 2 A tal que ⇡ | ↵ con ↵ 6= 0 6= .
Entonces ↵ = ⇡ para algún 2 A. Factorizamos ↵, y para obtener
⇡(p1 · · · pr ) = u(q1 · · · qs )(r1 · · · rt ),
donde ↵ = uq1 · · · qs , = r1 · · · rt , = p1 · · · pr , los pi , qj , rk son
irreducibles y u es alguna unidad. Puesto que la factorización es
única, entonces ⇡ es asociado de algún qi ó rj . Cualquiera que sea el
caso, ⇡ | ↵ ó ⇡ | y por tanto ⇡ es primo. Supongamos que cualquier
irreducible es primo y sea
↵ = u1 ⇡1 · · · ⇡k = u2 q1 · · · qs ,
con ⇡i , qj irreducibles en A y u1 , u2 son unidades. Si k = 0, entonces
s = 0 y ↵ es unidad. Si k = 1, entonces tenemos u1 ⇡1 = u2 q1 · · · qs .
Supongamos que s > 1. Entonces ⇡1 | u2 o ⇡1 | qj para algún j.
8 1. EL ANILLO DE LOS ENTEROS

La primera afirmación no es posible, ası́ que qj = u01 ⇡1 , para algún

u01 2 U(A). No perdemos generalidad si suponemos que j = 1 y ası́
tenemos
u1 ⇡1 = u2 u01 ⇡1 q2 · · · qs .
Por lo tanto u1 = u2 u01 q2 · · · qs y q2 , ..., qs 2 U(A) lo cual es absurdo
pues los qj son irreducibles. Ası́ que s = 1 y ⇡1 es asociado de q1 .
Supongamos que si
↵ = u1 ⇡1 · · · ⇡k = u2 q1 · · · qs ,
entonces k = s y cada ⇡i es asociado de algún qj . Consideremos
u1 ⇡1 · · · ⇡k ⇡k+1 = u2 q1 · · · qs ,
con u1 , u2 2 U(A). Entonces ⇡k+1 es asociado de algún qj el cual
podemos suponer que es q1 . Ası́ q1 = u01 ⇡k+1 . Por lo tanto
u1 ⇡1 · · · ⇡k ⇡k+1 = u2 u01 ⇡k+1
0
· · · qs .
Cancelando ⇡k+1 en ambos lados obtenemos
u1 ⇡1 · · · ⇡k ⇡k = u2 u01 q02 · · · qs .
Por lo tanto k = s 1 y ası́ k + 1 = s. ⇤
1.1.2. El anillo de los enteros gaussianos. Consideremos la ex-
tensión de campos Q(i)/Q. Definimos en anillo de los enteros gaus-
sianos como:
Z[i] = {↵ 2 Q(i) : f (↵) = 0 para algún f (x) 2 Z[x] mónico}.
Aunque esta definición no describe explı́citamente a los elementos
de Z[i], se puede probar relativamente fácil que
Z[i] = {a + bi : a, b 2 Z} = Z + iZ.
Más adelante veremos con detalle cómo describir estos anillos que
provienen de manera natural de extensiones cuadráticas del campo Q.

La función norma N : Z[i] ! N0 definida como N(a + bi) = a2 + b2

tiene las siguientes propiedades:

i) N(a + bi) 0 y N(a + bi) = 0 si y sólo si a = b = 0.

ii) N((a + bi)(c + di)) = N(a + bi)N(c + di).
iii) a + bi tienen inverso multiplicativo en Z[i] si y sólo si
N(a + bi) = 1. Concretamente U(Z[i]) = {1, 1, i, i}.
iv) Si a + bi | c + di, entonces N(a + bi) | N(c + di).

La riqueza del anillo Z[i] proviene de la posibilidad de dividir, tal

como sucede en Z.
 1.1. Z 9

Teorema 1.21. [Algoritmo de la división en Z[i]] Si z1 , z2 2 Z[i] con

z2 6= 0, entonces existen k, 2 Z[i] tales que
z1 = z2 k + y 0  N( ) < N(z2 ).
z1
Demostración. Prueba rápida: Escribimos = A + Bi con A, B 2 Q
z2
y elegimos los enteros x, y con la siguiente propiedad:
1 1
|A x|  y |B y|  .
2 2
Los enteros gaussianos k = x + yi y = z1 z2 (x + yi) satisfacen la
afirmación del teorema. ⇤
Puesto que Z[i] es un anillo euclidiano, entonces Z[i] es un dominio
de ideales principales y por tanto es un dominio de factorización única.
En cualquier dominio de factorización única A se cumple la siguiente
afirmación: Sean a, b 2 A tal que mcd(a, b) = u, para algún u 2 U(A)
con ab = zn . Entonces a = xn y b = yn . La definición de primo o
irreducible es la de siempre.

Teorema 1.22. Si N(a + bi) = p, donde p es un primo racional,

entonces a + bi es un primo en Z[i].

Demostración. Supongamos que a + bi = (c + di)(e + fi). Entonces

N(a + bi) = N(c + di)N(e + fi) = p.
Por lo anterior N(c+di) = 1 ó N(e+fi) = 1 y en consecuencia c+di 2 U(A)
ó e + fi 2 U(A). Por lo tanto a + bi es un primo en Z[i]. ⇤
Como ejemplo al teorema anterior, 1 + i es un primo en Z[i] porque
N(1 + i) = 2 y por la misma razón u(1 + i) es un primo para toda
u 2 U(Z[i]).

Teorema 1.23 (Teorema de Fermat). Si p es un número primo en Z

y p ⌘ 1 (mod 4), entonces existen a, b 2 Z tal que p = a2 + b2 .

Demostración. El lector interesado en una demostración, le suger-

imos ver el Teorema 4.3.2 en [25]. ⇤
Observe que si a, b 2 Z, entonces a2 + b2 = (a + bi)(a bi). Por lo
anterior, un primo de Z de la forma 4n + 1 lo podemos escribir como
suma de dos cuadrados y por tanto es factorizable en el anillo Z[i].
Este hecho abonará a la clasificación de los irreducibles (o primos) en
el anillo Z[i].

Teorema 1.24. Los primos en Z[i] son :

i) 1 + i y sus asociados.
10 1. EL ANILLO DE LOS ENTEROS

ii) Los factores a + bi de primos racionales de la forma 4n + 1 y

sus asociados.
iii) Los primos racionales de la forma 4n + 3 y sus asociados.

Demostración. Para la afirmación i) tenemos que N(1 + i) = 2,

entonces 1 + i y sus asociados son primos. Ahora consideremos un
primo racional p de la forma 4n + 1. Sabemos que
p = a2 + b2 = (a + bi)(a bi),
ası́ p = N(a + bi) = N(a bi) y por lo tanto a + bi y a bi son primos.
Para la afirmación iii) consideremos un primo racional p = 4n + 3 y
supongamos que
p = (a + bi)(c + di)
con N(a + bi) > 1 y N(c + di) > 1. Entonces
N(p) = p2 = (a2 + b2 )(c2 + d2 )
implica que p = a2 + b2 ó p = c2 + d2 lo cual es imposible para un primo
racional de esta forma. Por lo tanto p es primo. Ahora mostraremos
que éstos son todos los primos en el anillo Z[i]. Sea ⇡ cualquier primo.
Entonces
¯ = 2 p↵
N(⇡) = ⇡ ⇡ ↵2 ↵s
1 p2 · · · ps q1 q2 · · · qr
1 1 2 r

donde los pi y qj son primos racionales de la forma 4n + 1 y 4n + 3

respectivamente. Por lo tanto

⇡⇡
¯ = (1 + i) (1 i) ⇡1↵1 ⇡¯1 ↵1 ⇡2↵2 ⇡¯2 ↵2 · · · ⇡s↵s ⇡¯s ↵s q1 1 · · · qr r .
En virtud de la unicidad de la factorización tenemos que ⇡ es
asociado de algún primo de la lista
1 + i, 1 i, ⇡1 , ⇡¯1 , . . . , ⇡s , ⇡¯s , q1 , . . . , qr .
Por lo tanto, cualquier primo de Z[i] es alguno de los considerados
en este teorema. ⇤

Problema: Completa los detalles de la demostración del Algoritmo de

la división en Z[i].

Veamos un ejemplo de cómo usar a los enteros gaussianos para

resolver una ecuación diofantina.

Teorema 1.25. La ecuación x2 y3 = 1 tiene como única solución

entera y = 1 y x = 0.

Demostración. Tenemos la factorización:

y3 = (x + i)(x i)
 1.1. Z 11

Ası́ que esto sugiere usar el anillo de los enteros gaussianos Z[i].
El lector interesado puede seguir los siguientes pasos para concluir la
demostración:

i) Se demuestra que mcd(x + i, x i) = 1.

ii) Se concluye que x + i = (a + bi)3 y x i = (a bi)3 !salvo
unidades.

y el resto debe ser rutina. ⇤

Problema: Considerar el anillo Z[2i] = {a + 2bi : a, b 2 Z}. Encuentra
U(Z[2i]). Demuestra que 2 y 2i son irreducibles. ¿Son primos en Z[2i]?
¿Es Z[2i] un anillo de factorización única aún cuando Z[2i] ⇢ Z[i]?

1.1.3. La ecuación de Bachet (1624) x2 y3 = 19. En este

ejemplo veremos cómo un anillo que no tiene la propiedad de ser
de factorización única, está sumergido en un anillo que si es un DFU.
Consideremos la ecuación diofantina x2 y3 = 19. Primero veremos
un critero que nos indique si nuestra ecuación es o no soluble en los
enteros x, y. La igualdad
p p
x2 + 19 = (x + 19)(x 19) = y3 ,
p p
nos sugiere trabajar en el anillo Z[ 19] = {a + b 19 : a, b 2 Z}.
p
En este caso, la función norma está definida comop N(a + b 19) =
a2 + 19b2 . Es fácil mostrar que
p el elemento a + b 19 tiene inverso
multiplicativo en el anillo Z[ 19] si y sólo si a2 + 19b2 = 1. Primeras
consideraciones:

i) Si 19 | y, entonces 19 | y3 y por tanto 19 | x. Ası́

x2 y3 = 192 q = 19 lo cual es imposible en Z. Similarmente
2 - y. En conclusión 19 - y y 2 - y. Ası́ 1 = ry3 + s(2 · 19) en Z.
p
ii) U(Z[ 19]) = {1, 1}.
p p p
iii) Sea µ 2 Z[ p tal que µ | x +
19] 19 y µ | x 19).
Entonces µ | 2 19 y por tanto µ | 2 · 19. Pero µ | y3 ,
µ | ry3 + s2
ası́ que p p · 19 = 1. Ası́ µ = ±1 y por lo tanto
mcd(x p+ 19, x 19) = 1. Notemos que cualquier unidad
en Z[ 19] es un cubo.
p p p
iv) x+ 19 = (a+b 19)3 = (a3 3 · 19ab2 )+(3a2 b 19b3 ) 19.
12 1. EL ANILLO DE LOS ENTEROS

v) El sistema:
x = a3 3 · 19ab2
1 = 3a2 b 19b3 ,
no es soluble en Z.

vi) De lo anterior concluimos que la ecuación x2 y3 = 19 no

es soluble en Z.

A primera vista todas las operaciones que efectuamos son correctas.

Pero
182 73 = 19
¿qué hicimos mal? Observemos la siguiente factorización
p p
35 = 5 · 7 = (4 + 19)(4 19)
¿Por qué son diferentes? ¿o son la misma? Por comodidad recordemos
nuestras definiciones:

Definición 1.26. ⇡ es primo si ⇡ | ↵ , entonces ⇡ | ↵ ó ⇡ | .

Definición 1.27. ⇡ es irreducible si ⇡ = ↵ , entonces ↵ ó es
unidad.

Como ya habiamos observado en el Teorema 1.11, cualquier elemento

primo es irreducible, pero no necesariamente
p pun elemento irreducible
espprimo. En nuestro caso 5, 7, 4 + 19, 4 19 son irreducibles en
Z[ 19] no asociados dos a dos. ! Y no son primos. Por ejemplo, 5 es
irreducible: Si 5 = ↵ , entonces
25 = N(↵)N( )
y por tanto
N(↵) = 5 = N( ) ó
N(↵) = 25 y N( ) = 1.

p caso no es posible y ası́ es unidad. ¿Por qué 5 no es primo

El primer
en Z[ 19]? Primero notemos que
p p
5 | (4 + 19)(4 19).
p p p p
Si 5 | 4 + 19, entonces 4 + 19 = 5(a + b 19) = 5a + 5b p 19.
En particular 5 | 4 en Z, lo cual es imposible. Similarmente 5 - 4 19
y por tanto 5 no es primo.
p
Más adelante veremos que el anillo Z[ 19] está contenido
p en otro
anillo que es de factorización única, aún cuando Z[ 19] no lo es.
¿Cómo explicamos este fenómeno?
 1.1. Z 13

Teorema 1.28. Las soluciones enteras de la ecuación de Bachet

x2 y3 = 19 son: x = ±18 y y = 7.
p
Demostración. Asuma que el anillo Z + Z( 1+ 2 19 ) es de factor-
p
ización única, U(Z + Z( 1+ 2 19 )) = {1, 1}. Después siga las mismas
ideas desarrollando la igualdad
p ⇣ a + bp 19 ⌘3
x+ 19 = . ⇤
2
1.1.4. El problema de las unidades y la factorización. En esencia,
las ideas que hemos utilizado son las mismas. Ahora consideremos la
ecuación x2 18 = y3 . En este caso tenemos
p p p p
x2 18 = (x 18)(x + 18) = (x 3 2)(x + 3 2) = y3 ,
y por lo tanto, parece conveniente trabajar en el anillo
p p
Z[ 2] = {a + b 2 : a, b 2 Z}.
p
Se sabe que Z[ 2] es euclidiano y en consecuencia, es un anillo de
factorización única en donde elemento primo e irreduciblepcoinciden.
Un ejercicio fácil para elplector consiste en mostrar que 2 y 3 son
elementos primos en Z[ 2]. Ahora notemos que si x = 2t y y = 2q,
entonces x2 ⌘ 0 (mod 4) y
x2 ⌘ 4t2 ⌘ 8q3 + 18 ⌘ 2 ⌘ 0 (mod 4),
lo cual no es posible. Obviamente, no puede suceder que x, y
tengan paridad diferente. Por lo tanto, si x, y es cualquier solución,
necesariamente x, y deben ser impares.
p Supongamos que el lector ya
ha verificado que 3 es primo en Z[ 2].
2
p x
Ahora mostraremos que la ecuación 18 = y3 no es soluble.
p
Primero veremosp que los factores x 3 2 y x+3 2 son primos relativos
en el anillo Z[ 2].
p p
Sea ↵ = mcd(x
p 3 2, x + 3 2) yp⇡ algún divisor primo p de ↵.
2 3
Entonces
p ⇡ | 6 2 y puestopque 2 = ( 2) tenemos ⇡ | 3 ·
p ( 2) . Si
⇡ | 2, p tenemos que p⇡ = u 2p para alguna unidad u 2 Z[ 2]. Como
⇡ | x + 3 2, entonces 2 | x + 3 2. Por lo tanto 2 | x y x es par, lo cual
no es posible.
Porpotro lado, si ⇡ | 3, entonces ⇡ = 3uppara alguna unidad
u 2 Z[ 2]. Por lo anterior tenemos que 3 | x + 3 2 y ası́ 3 | y y 3 | x.
Sea y = 3a y x = 3b. Entonces de la igualdad x2 18 = y3 obtenemos
b2 ⌘ 3a3 + 2 ⌘ 2 (mod 3). Puesto que x es impar, necesariamente
b debe ser impar. Si b = 3k + r y k es par, entonces b = 3k + 1 y
por lo tanto b2 ⌘ 1 (mod 3), lo cual no es posible. Análogamente
si k es impar obtenemos un absurdo. Por lo anterior, ⇡ - 3. En
14 1. EL ANILLO DE LOS ENTEROS

conclusión, ↵ no tiene divisores p ası́ ↵ debe ser una unidad.

primos y p
Hemos mostrado que p mcd(x +p3 2, x 3 2) = 1. Por lo tanto cada
factorpde y3 = (xp+ 3 2)(x 3 2) debe ser un cubo. Supongamos que
x + 3 2 = (a + b 2)3 . Entonces
p p p p
x + 3 2 = a3 + 3a2 b 2 + 6ab2 + 2b3 2 = (a3 + 6ab2 ) + (3a2 b + 2b3 ) 2.
De la igualdad anterior surge el sistema
a3 + 6ab2 = x
3a2 b + 2b3 = 3.
La segunda ecuación la podemos escribir como
b(3a2 + 2b2 ) = 3,
la cual evidentemente no tienepsolución pen los enteros a, b. Si
trabajamos con la igualdad x 3 2 = (a + b 2)3 , llegamos a la misma
conclusión. Por lo anterior x2 18 = y3 no tiene soluciones enteras
x, y. Algo hicimos mal: 192 18 = 73 .

Uno de los errores que cometimos fue suponer incorrectamente

que cada factor de p p
y3 = (x + 3 2)(x 3 2)
es unpcubo y por otro lado, desconocemos a los elementos invertibles
en Z[ 2]. Para esto, debemos resolver la ecuación x2 dy2 = ±1 y el
método indicado para encontrar unidades en ésta clase de anillos es la
teorı́a de las fracciones continuas. Una buena exposición de este tema
es [13]. Por lo pronto nos adelantamos
p afirmando sin demostración
que los elementos invertibles en Z[ 2] son:
p
{(±(1 + 2)n : n 2 Z}.
p p
Por ejemplo (1 + 2)2 = 3 + 2 2 satisface
p p p p
y + 3 2 = 19 + 3 2 = (3 2)3 (1 + 2)2 .
p
Regresando
p igualdad y +p
a nuestro error, no debimos explorar la p 3 2=
(a + b 2)3 , aquı́ lo que debimos estudiar
p es y + 3 2 = (a + b 2)3 u,
donde u es alguna unidad del anillo Z[ 2].
p
1.1.5. El anillo Z[ 5] y factorización de ideales. Ahora es-
tudiemos otro ejemplo que nos ilustrarápun método p para factorizar ide-
ales. Supongamospque y3 = x2 +p5 = (x + 5)(x 5). Vamos a traba-
jar en el anillo Z[ 5] = {a + b 5 : a, b 2 Z}, en el cual
p no se cumple
p
la factorización única pues por ejemplo 21 = 3 · 7 = (4 + 5)(4 5).
A nivel de ideales tenemos que
p p
hy3 i = hx + 5ihx 5i
 1.1. Z 15

p p
en donde hx + 5i y hx 5i son ideales primos relativos. En
particular p
hx + 5i = I 3
p
para algún ideal I. El número de clase de Z[ 5] (¿?) pes 2 y I 3 es
principal, entonces I es principal. Digamos que I = ha + b 5i. Ası́
p p
I 3 = h(a + b 5)3 i = hx + 5i.
Por tanto
p p p p
x+ 5 = (a + b 5)3 = a3 + 3a2 b 5 + 3ab2 ( 5) + b3 ( 5) 5
3 2 2 3
p
= (a 15ab ) + (3a b 5b ) 5.
En particular 3a2 b 5b3 = b(3a2 5b2 ) = 1 y b = ±1. Cualquiera
que sea el valor de b nos lleva a que a 62 Z. Por lo tanto la ecuación
y3 = x2 + 5 no tiene soluciones enteras. ¡No tener factorización única
no es grave!
p
1.1.6. El anillo Z[ 10]. En esta sección estudiaremos con detalle
la aritmética del anillo
p p
Z[ 10] = {a + b 10 : a, b 2 Z}.
Veremos, entre otras cosas, que no es un anillo de factorización
única, encontraremos el grupo de unidades y daremos ejemplos de
cómo se comportan distintas factorizaciones de un mismo número.
Comenzaremos definiendo la norma de un elemento. Consideremos la
función p
N : Z[ 10] ! Z
p
definida como N(a + b 10) = a2 10b2 . Observemos que
p p p
N(a + b 10) = (a + b 10)(a b 10).

Teorema 1.29. La función N es multiplicativa.

Demostración.
p p
N(a + b 10)N(c + d 10) = (a2 10b2 )(c2 10b2 )
= a 2 c2 10a2 d2 10b2 c2 + 100b2 d2
= (ac + 10bd)2 10(ad + bc)2
p p
= N((a + b 10)(c + d 10)), ⇤
p p p
Lema 1.30. a + b 10 2 U(Z[ 10]) si y sólo si |N(a + b 10)| = 1.
1
Demostración. Si ↵ es una unidad, entonces ↵ es un elemento
del anillo. Como la norma es multiplicativa, entonces:
1 1
N(↵)N(↵ ) = N(↵↵ ) = N(1) = 1,
16 1. EL ANILLO DE LOS ENTEROS

y debido a que el codominio de la norma es Z, entonces las únicas

posibilidades son
1 1
N(↵) = N(↵ )=1 ó N(↵) = N(↵ )= 1,
en cualquier
p caso, se cumple la afirmación. Recı́procamente, si
N(a + b 10) = 1, entonces
p p
(a + b 10)(a b 10) = 1,
p p
y por lo tanto, a + b 10pes una unidad, pues a pb 10 es p
su inverso
multiplicativo.
p Si N(a+b 10) = 1, entonces (a+bp 10)(a b 10) = 1
y a + b 10 es el inverso multiplicativo de a + b 10. ⇤
Como caso particular del célebre
p Teorema de las Unidades de
Dirichlet sabemos que el anillo Zp[ 10] contiene una unidad especial
✏ > 1 que satisface: si µ 2 U(Z[ 10]), entonces existe n 2 Z tal que
µ = ±✏n . Esta unidad se conoce como
p la unidad fundamental del anillo.
Vamos a demostrar que ✏ = 3 + 10.

p p
Proposición 1.31. Si µ 2 U(Z[ 10]), entonces µ = ±(3 + 10)m , para
algún m 2 Z.
Demostración. Primero
p vamos a mostrar que no existen unidades
µ tal que 1 < µ < 3 + 10. Supongamos que efectivamente, existe al
menos una unidad µ tal que
p
1<µ<3+ 10.
p
Si escribimos µ = a + b 10, entonces podemos suponer sin
p que a, b 2 N (¿por qué?). p
pérdida depgeneralidad Observemos que
1 = |(a + b 10)(a b 10)|. Si escribimos µ̄ = a b 10, entonces es
claro que:
p
i) µ̄ 2 Z[ 10].
ii) |µµ 1 | = |µµ̄| = 1.
iii) µ + µ̄ = 2a 2 2Z.
p
Puesto que 1 < µ < 3 + 10, invirtiendo se tiene
p 1
10 3= p < µ̄ < 1,
3+ 10
y por lo tanto p p
10 2 < µ + µ̄ < 4 + 10,
o equivalentemente
p p
10 µ + µ̄ 10
1< <2+ .
2 2 2
 1.1. Z 17

Con ayuda de una calculadora obervamos que

p p
10 10
1 > .5811 y + 2 < 4.
2 2
Por lo tanto, necesariamente a = 1, 2 ó 3. En cada caso producimos las
ecuaciones
1 10b2 = ±1, 4 10b2 = ±1, 9 10b2 = ±1,

p son solubles en el entero b. Lo anterior significa

las cuales no p que la
unidad 3 + 10 es la menor unidad positiva en el anillo Z[ 10].
p
Ahora fijemos una unidad positiva de Z[ 10], digamos u0 . Como
p p
lim (3 + 10)n = 0 y lim (3 + 10)n = 1,
n! 1 n!+1
p p
y para todo n 2 Z se tiene que (3 + 10)n < (3 + 10)n+1 entonces existe
un único m 2 Z tal que
p p
(3 + 10)m  u0 < (3 + 10)m+1 .
p m
Multiplicando por (3 + 10) obtenemos
0
p m
p
1  u (3 + 10) <3+ 10,
p p
pero no hay ninguna unidad
p m entre 1 y 3+ 10 ası́ que 1 = u0 (3+ 10) m ,
y por lo tanto u = (3 + 10) .
0

Ahora, si u0 espnegativo, multipliquemos por 1, y debe cumplirse

que pu0 = (3 + 10)m para algún m 2 Z; por lo tanto, u0 =
(3 + 10)m . ⇤
p
Problema: Encuentre un isomorfismo entre los grupos U(Z[ 10]) y
Z2 ⇥ Z.
p p
Problema: Sea Z[ 2] = {a + b 2 :pa, b 2 Z}. Demuestre que la unidad
fundamental en éste anillo es 1 + 2.
p
Proposición 1.32. Si ↵, 2 Z[ 10] son asociados, entonces |N(↵)| =
|N( )|.
Demostración. Fácil ejercicio para el lector. ⇤
Problema: Encuentre dos números en Z[i] con la misma norma y no
asociados.
p
Problema: Encuentre dos números en Z[ 10] con la misma norma y no
asociados.
p p
Problema: Demuestre que 2 y 10 no son asociados en el anillo Z[ 10].
18 1. EL ANILLO DE LOS ENTEROS

En conclusión, para que un dominio entero no sea de factorización

única
p basta con encontrar un número irreducible que no sea primo.
p p En
Z[ 10] el número 2 espirreducible, sin embargo 2 · 5 = 10 = 10 10,
ası́ que 2 | 10, pero 2 - 10. Esto último lo podemos demostrar usando
el siguiente lema.
p
Lema 1.33. Si ↵, 2 Z[ 10] y ↵ | , entonces N(↵) | N( ).
Demostración. Fácil ejercicio para el lector. ⇤
Regresemos a nuestra p discusión de primo e irreducible. Por
ejemplo, en el anillo Z[ 10] tenemos que 7 es un elemento primo,
y dos distintas factorizaciones de 70 son:
70 = 2 · 5 · 7
p p
= 10 · 10 · 7
p
en donde 2, 5, 10 son irreducibles, pero no son primos, por lo que
en algunas factorizaciones sı́ aparecen y en otras no; sin embargo 7 sı́
es un elemento primo, y como tal, aparece en las dos factorizaciones
de 70. ¿Será posible
p factorizar (aunque sea teóricamente) cualquier
elemento de Z[ 10]?
p
Teorema 1.34. Si ↵ 2 Z[ 10], con ↵ 6= 0 y no unidad, entonces ↵ se
puede escribir como producto finito de irreducibles.

Demostración. Prueba rápida: Consideremos el conjunto

p
A = {x 2 Z[ 10] \ {0} : x no es unidad y x
no es producto de irreducibles}
y suponga que B = {|N(x)| : x 2 A} =
6 ;. La conclusión es casi
inmediata. ⇤
Problema: Escriba los detalles de la demostración del Teorema 1.34.

Problema: Con respecto a las dos factorizaciones diferentes del número

70 piense usted ¿por qué siempre aparece el 7? Intente formular una
conjetura al respecto.

Aparentemente tenemos algo muy bueno (aunque hasta el momento

es teórico): la certeza de poder factorizar como producto finito de
irreducibles. Ahora surgen otras dudas: ¿sabemos identificar a un
elemento irreducible? ¿sabemos distinguir un irreducible de un primo?
En general y afortunadamente, la respuesta no es muy alentadora y para
muestra basta un botón: El caso del anillo Z, en donde existen muchos
misterios por resolver. Por ejemplo, hasta la fecha, absolutamente
 1.1. Z 19

nadie tiene un algoritmo eficaz para factorizar enteros y más aún, no

se tiene un método o prueba (test) que identifique a los primos de Z.
p
En Z[ 10] el problema de la no factorización única no se hereda al
semigrupo de los ideales 6= 0 del anillo.
p
Teorema 1.35. En Z[ 10] todo ideal distinto de h0i y de h1i se
factoriza de forma única como producto de ideales primos.
Demostración. Usualmente se demuestra que el número de clase
es finito (!!). Luego la conclusión es fácil. Posponemos la demostración
para más adelante porque aún no sabemos qué es el número de
clase. ⇤
Diremos que un ideal I divide al ideal J si existe un tercer ideal
K tal que J = IK (es la misma definición de divisibilidad en un anillo).
Tenemos la siguiente equivalencia importante: I divide a J si y sólo si I
contiene a J, esto es:
I|J si y sólo si I ◆ J.
En Z, todos los ideales son principales y gracias a esto se cumple
haihbi = habi,
ası́ que a | b si y sólo si hai | hbi o equivalentemente
a|b si y sólo si hai ◆ hbi.
Por ejemplo 6 | 18 pues h6i ◆ h18i y h6ih3i = h18i. Ahora daremos
algunos ejemplos para ver cómo podemos utilizar la factorización
única en ideales para factorizar p
los elementos del anillo. Regresemos
al número 70 en el anillo Z[ 10]. Sabemos que 70 tiene dos
factorizaciones como elemento, pero el ideal principal h70i solamente
tiene una factorización en ideales primos:
p p
h70i = h2, 10i2 h5, 10i2 h7i.
p p
Es importante observar que h2, 10i y h5, 10i se describen usando
dos generadores; de hecho, esto es necesario pues estos dos ideales no
son principales. Sin embargo
p p p p p
h2, 10i2 = h2i, h5, 10i2 = h5i, h2, 10ih5, 10i = h 10i,
ası́, de aquı́ se obtienen las dos posibles factorizaciones de 70, la
primera p p
h70i = h2, 10i2 h5, 10i2 h7i = h2ih5ih7i
y la segunda factorización se obtiene agrupando los ideales no
principales de otra forma:
p p p p p p
h70i = h2, 10ih5, 10ih2, 10ih5, 10ih7i = h 10ih 10ih7i.
20 1. EL ANILLO DE LOS ENTEROS

p
El anillo Z[ 10] tiene algunas propiedades que serán muy útiles a
la hora de agrupar ideales como en el ejemplo anterior.
p
Proposición 1.36. Sea ⇡ 2 Z[ 10]
i) ⇡ es primo si y sólo si el ideal principal h⇡ i es primo.
ii) ⇡ es irreducible, pero no primo, si y sólo si h⇡ i = P1 P2 donde
P1 , P2 son dos ideales primos tales que ninguno de los dos es
principal.
El inciso i) es válido en cualquier dominio entero, sin embargo, el
inciso ii) depende del anillo en el que estamos factorizando. Como
consecuencia de lo anterior,
p para poder clasificar los elementos primos
irreducibles de Z[ 10] basta con encontrar todos los ideales de
e p
Z[ 10] y decidir si son o no principales. Por ejemplo
p p p p
I1 = h2, 10i, I2 = h3, 1 + 10i , I3 = h13, 1 + 2 10i, I4 = h37, 18 + 5 10i
son cuatro ideales primos que no son principales (¿por qué?) y
observamos que el producto
p
I1 I2 I3 I4 = h2 + 17 10i
es principal.
p Ası́ que, para encontrar todas las factorizaciones de
2 + 17 10 tendremos que encontrar todas las posibles agrupaciones de
parejas de estos ideales. En total son:
p
I1 I2 = h4 + 10i
p
I1 I3 = h8 + 3 10i
p
I1 I4 = h42 13 10i
p
I2 I3 = h7 + 10i
p
I2 I4 = h19 5 10i
p
I3 I4 = h29 + 6 10i
p p
I1 I2 I3 I4 = h4 + 10ih29 + 6 10i
p p
I1 I2 I3 I4 = h8 + 3 10ih19 5 10i
p p
I1 I2 I3 I4 = h42 13 10ih7 + 10i
Ahora observemos los siguientes productos:
p p p
h4 + 10ih29 + 6 10i = h176 + 53 10i
p p p
h8 + 3 10ih19 5 10i = h2 + 17 10i
p p p
h42 13 10ih7 + 10i = h164 49 10i,
y notemos que
p p p p p
(164 49 10)(3 + 10)2 = (2 + 17 10)(3 + 10) = 176 + 53 10.
 1.1. Z 21

p p
Por lo tanto 164 49 10 ⇠ 176 + 53 10. Ası́pque, para encontrar
todas las factorizaciones en irreducibles de 2 + 17 10 tomamos las tres
factorizaciones de ideales anteriores y multiplicamos por la unidad
correspondiente. Esto no es un ajuste artificial pues en cualquier
anillo conmutativo si u es una unidad y h↵i es un ideal principal,
entonces h↵i = hu↵i; ası́ que lo que pasa es que tenemos los ideales
que necesitamos, pero no están
p representados con los generadores
adecuados. Si al ideal h29 + 6 10i lo hubiéramos expresado como
⌧
p 1 p p
h29 + 6 10i = p (29 + 6 10) = h 27 + 11 10i,
3+ 10
tendrı́amos
p p p
h2 + 17 10i = h4 + 10ih 27 + 11 10i,
p p p
donde ahora sı́, 2 + 17 10p = (4 + 10)( 27 + 11 10). De la misma
forma, si en lugar de h7 + 10i tomamos
p p p p
h7 + 10i = h(7 + 10)(3 + 10)i = h31 + 10 10i
encontramos que
p p p
h2 + 17 10i = h42 13 10ih31 + 10 10i.
Ası́ que, como éstas son las únicas tres posibles agrupaciones
de dos en dos de los ideales
p I1 , I2 , I3 , I4 , entonces las únicas tres
factorizaciones de 2 + 17 10 son:
p p p
2 + 17 10 = (4 + 10)( 27 + 11 10)
p p
= (8 + 3 10)(19 5 10)
p p
= (42 13 10)(31 + 10 10).
Cualquier otra factorización que encontremos será equivalente
de estas tres. Por ejemplo, si tomamos la unidad u =
a alguna p
721 228 10, la primera factorización también la podrı́amos escribir
como:
p p p
2 + 17 10 = (4 + 10)( 27 + 11 10)
p 1 p
= (4 + 10)u ( 27 + 11 10)
u
p
p p 27 + 11 10
= (4 + 10)(721 228 10) p
721 228 10
p p
= (604 191 10)(5613 + 1775 10).
p
De esta formaphemos obtenido
p otra factorización
p de 2 + 17, p
pero
esencialmente (4+ 10)( 27+11 10) y (604 191 10)(5613+1775 10)
22 1. EL ANILLO DE LOS ENTEROS

p p
son la misma
p factorización pues
p 4 + 10 y 604 191 10 son asociados
y 27 + 11 10 y 5613 + 1775 10 también lo son.
p
Finalizamos el estudio del anillo Z[ 10] enunciando algunos
resultados (sin demostración) que más adelante nos permitirán saber
cuáles son los ideales primos del anillo y distinguir si son o no
principales.
p
Proposición 1.37. Dado un ideal primo P de Z[ 10], existe p 2 Z
primo tal que P | hpi.

El resultado anterior nos dice que basta con estudiar cómo se

factorizan los ideales de la forma hpi para todos los primos
p p de Z con
el objeto de encontrar todos los ideales primos de Z[ 10]; que es lo
que tenemos gracias a la siguiente proposición.

Proposición 1.38. El ideal hpi se factoriza como producto de ideales

primos de acuerdo a las siguientes condiciones:
p
i) Si p = 2 ó p = 5, hpi = hp, 10i2 .
ii) Si p ⌘ 1, 3, 9, 13, 27, 31, 37, 39 (mod 40) la ecuación a2 ⌘ 10
(mod
p p) tienep solución, y dado un valor de a, hpi = hp, a +
10ihp, a 10i.
iii) Si p ⌘ 7, 11, 17, 19, 21, 23, 29, 33 (mod 40), entonces hpi es un
ideal primo.

Notemos que cualquier otra posibilidad módulo 40 nos da un

múltiplo de 2 o un múltiplo de 5, que no pueden ser números primos,
por lo que estos dieciocho casos cubren todos los primos de Z módulo
40. Por ejemplo, 53 es un primo congruente con 13 módulo 40, ası́ que
cumple la condición del caso ii). Una solución de a2 ⌘ 10 (mod 53) es
13. Por lo tanto
p p
h53i = h53, 13 + 10ih53, 13 10i.
Por otro plado, 97 ⌘ 17 (mod 40), ası́ que el ideal h97i es un ideal
primo de Z[ 10]. pFinalmente, para poder clasificar los primos y los
irreducibles de Z[ 10] tenemos que saber cuándo un ideal primo es
principal y cuándo no lo es. En el caso del inciso iii) es claro que
los ideales primos hpi son principales, y en el inciso i) el proceso es
finito, por lo que podemos verificar que ninguno de los dos ideales es
principal. Ası́ que el principal problema son los ideales del inciso ii).

Proposición 1.39. Sea P un ideal primo. P es principal si y sólo si se

cumple alguna de las siguientes condiciones:
i) P = hpi con p
p ⌘ 7, 11, 17, 19, 21, 23, 29, 33 (mod 40).
ii) P = hp, a ± 10i con p ⌘ 1, 9, 31, 39 (mod 40).
 1.1. Z 23

P no es principal si y sólo si se cumple alguna de las siguientes

condiciones:
p
iii) P = h2, p10i.
iv) P = h5, 10ip .
v) P = hp, a ± 10i con p ⌘ 3, 13, 27, 37 (mod 40)
Con esto ya sabemos cuándo un ideal es principal y cuándo no lo
es,plo que nos ayuda a encontrar todos los primos y los irreducibles de
Z[ 10], pues sabemos que si P es un ideal primo principal, entonces
cualquier generador de P es un elemento primo, y si P1 , P2 son
dos ideales primos no principales, el producto de ellos va a ser un
ideal principal generado
p por un irreducible
p que no es primo. Por
ejemplo h53, 13 + 10i y h53, 13 10i son ideales primos que no
son principales, pues 53 ⌘ 13 (mod 40), por lo que h53i, que es el
producto de éstos, es un ideal principal que es producto
p de dos ideales
primos no principales, lo que nos indica que en Z[ 10] el número 53 es
irreducible, pero no es un número primo. De hecho, esto mismo sucede
con cualquier primo p de Z congruente con 3, 13, 27 ó 37 módulo 40.

Concluimos con el siguiente criterio, que es consecuencia de todo

lo anterior:
p p
Teorema 1.40. Sean ⇡ = a + b 10 2 Z[ 10] y N(⇡) = a2 10b2 .
Entonces ⇡ es un elemento primo si y sólo si se cumple una de las dos
condiciones siguientes:
i) |N(⇡)| = p, con p un primo de Z, p ⌘ 1, 9, 31, 39 (mod 40).
ii) |N(⇡)| = p2 con p un primo de Z, p ⌘ 7, 11, 17, 19, 21, 23, 29, 33
(mod 40).
y ⇡ es un irreducible si y sólo si ⇡ cumple alguna de las siguientes
condiciones:
i) ⇡ es primo.
ii) |N(⇡)| = pq con p y q dos primo de Z (que pueden ser iguales
o distintos), p ⌘ 2, 3, 5, 13, 27, 37 (mod 40).
Capítulo 2
Números algebraicos
En este capı́tulo desarrollaremos formalmente la teorı́a que sus-
tenta el capı́tulo anterior.
Definición 2.1. Un número complejo z es un entero algebraico
si z es raı́z de algún polinomio mónico con coeficientes enteros
p(x) = xn + an 1 xn 1 + · · · + a1 x + a0 .
Si denotamos por ⁄ = {z 2 C : z es un entero algebraico}, entonces
⁄ es un anillo. Antes de ver una prueba rápida de la afirmación anterior
necesitamos recordar algunos conceptos. Un Z-módulo es un conjunto
W ✓ C tal que:
i) Si 1 , 2 2 W entonces 1 + 2 2 W.
ii) Existen 1 , 2 , . . . , n 2 W tales que W = 1Z + 2Z +···+ n Z.

Proposición 2.2. Sean W un Z-módulo y ! 2 C tal que ! 2 W

para todo 2 W. Entonces ! 2 ⁄.
Demostración. Por hipótesis ! i 2 W para 1 6 i 6 n. Entonces,
Xn
! i = aij j (1)
j=1

con aij 2 Q. Sea ⇢

1 si i = j
ij = ,
0 si i =
6 j
entonces,
n
X
! i = ii ! i = ij ! j (2)
j=1
Igualando (1) y (2) obtenemos que
n
X n
X
aij j = ij ! j ,
j=1 j=1

y por lo tanto
n
X n
X n
X
0= aij j ij ! j = (aij ij !) j .
j=1 j=1 j=1

25
26 2. NÚMEROS ALGEBRAICOS

Si A = (aij Ðijw), observamos entonces que det(A) = 0 y

det(aij ij x) es un polinomio de grado n con coeficientes enteros
del cual ! es raı́z. Por lo tanto, ! 2 ⁄. ⇤

Observe que si W = {0}, entonces la proposición anterior no se

2 2
cumple. Por ejemplo, · 0 2 W y 62 ⁄.
3 3
Teorema 2.3. ⁄ es un anillo.

Demostración. Sean !1 , !2 2 ⁄. Existen r0 , . . . , rn 1 2 Z y

s0 , . . . , rm
1 2 Z tales que

n 1 n 2
!n
1 + rn 1 !1 + rn 2 !1 + · · · + r1 !1 + r0 = 0,
!m
2 + sm 1 !m
2
1
+ sm 2 !m
2
2
+ · · · + s1 !2 + s0 = 0.

Sea V el Z-módulo obtenido al formar todas las Z-combinaciones

j
lineales de elementos !i1 !2 con 0 6 i < n y 0 6 j < m. Para
2 V, tenemos que !1 2 V ya que si
n
X1 m
X1 j
= aij !i1 !2 ,
i=0 j=0

entonces
n
X1 m
X1 n
X1 m
X1
j j
!1 = !1 aij !i1 !2 = aij !i+1
1 !2
i=0 j=0 i=0 j=0
n
X2 m
X1 m
X1
j j
= aij !i+1
1 !2 + a(n n
1)j !1 !2
i=0 j=0 j=0
n
X2 m
X1 m
X1
j j
= aij !i+1 n
1 !2 + !1 a(n 1)j !2
i=0 j=0 j=0
n
X2 m
X1 m
X1
j n j
= aij !i+1
1 !2 + ( rn 1 !1
1
··· r1 ! 1 r0 ) a(n 1)j !2 .
i=0 j=0 j=0
(1.1)

j
Esto es una Z-combinación lineal de elementos !i1 !2 con 1 6 i < n y
1 6 j < m, por lo que !1 2 V. Análogamente !2 2 V.
Por lo anterior !1 + !2 2 V, lo que implica que (!1 + !2 ) se
encuentra en V para todo en V, por lo tanto, aplicando la proposición
anterior, !1 + !2 es un entero algebraico.
 2. NÚMEROS ALGEBRAICOS 27

Multiplicando (1.1) por !2 obtenemos

nX2 m
X1 j
(!1 )(!2 ) = aij !i+1
1 !2
i=0 j=0
m
X1
n 1 j
+ ( rn 1 !1 ··· r1 !1 r0 ) a(n 1)j !2 · !2
j=0
n
X2 m
X2 n
X2
j+1
= aij !i+1
1 !2 + ai(m i+1
1) !1 !2
m

i=0 j=0 i=0

m
X2
n 1 j+1
+ ( rn 1 !1 ··· r1 !1 r0 ) a(n 1)j !2
j=0

+( rn 1 !n
1
1
··· r1 !1 r0 )a(n m
1)j !2
n
X2 m
X2 n
X2
j+1
= aij !i+1
1 !2 + !m
2 ai(m i+1
1) !1
i=0 j=0 i=1
m
X2
n 1 j+1
+ ( rn 1 !1 ··· r1 !1 r0 ) a(n 1)j !2
j=1

+ a(n 1)(m 1) ( rn 1 !n
1
1
··· r1 !1 r0 )
n
X2 m
X2
m 1 j+1
( sn 1 !2 ··· s1 !1 so ) aij !i+1
1 !2
i=0 j=0
n
X2
m 1 i+1
+ ( sm 1 !2 ··· s1 !2 s0 ) ai(m 1) !1
i=1
m
X2
n 1 j+1
+ ( rn 1 !1 ··· r1 !1 r0 ) a(n 1)j !2
j=1

+ a(n 1)(m 1) ( rn 1 !n
1
1
··· r1 !1 r0 )
( sn 1 !m
2
1
··· s1 !1 so ).

Este número es una combinación lineal con coeficientes enteros de

j
elementos de la forma !i1 !2 con 1 6 i < n y 2 6 j < m. Por lo tanto
!1 !2 es un elemento de V, y por la proposición anterior !1 !2 es un
entero algebraico.
Ahora, si ! es un elemento de V \ 0, tenemos

!t + et 1!
t 1
+ · · · + e1 ! + e0 = 0
28 2. NÚMEROS ALGEBRAICOS

con ei 2 Z. El elemento !, satisface entonces la ecuación

t t t 1
( 1) ( !) + ( 1) et 1( !)t 1
+ ··· e1 ( !) + e0 = 0.
Si t es par, entonces es un polinomio mónico con coeficientes en los
enteros. Si t es impar, al multiplicar por 1 queda un polinomio mónico
con coeficientes en Z. Esto implica que ( !) es un entero algebraico.
Debido a todo lo anterior, ⁄ es un anillo. ⇤
p
1±i 3
Ejemplo 2.4. Los números z = son enteros algebraicos,
2
2
pues si f (x) = x + x + 1, entonces f (z) = 0.
Ejemplo 2.5. Las raı́ces del polinomio f (x) = x4 + 1 son
1+i 1 i 1+i 1 i
p , p , p , p .
2 2 2 2
Ejemplo 2.6. Si z 2 Z, entonces el polinomio f (x) = x z tiene
a
como raı́z a z. No cualquier número racional es un entero algebraico.
b
a
Ejemplo 2.7. Demuestra que 2 Q es un entero algebraico si y
b
sólo si b = ±1. Asume desde un principio que mcd(a, b) = 1.
Definición 2.8. Diremos que K es un campo de números si
[K : Q] < 1. El anillo de enteros de un campo de números K es el
conjunto
2K = {x 2 K : x es un entero algebraico}.
El conjunto 2K tiene estructura de anillo pues claramente 2K =
K \ ⁄. Si tenemos un campo de números K, la primera tarea que
quisieramos resolver es saber explı́citamente quién es su anillo de
enteros. Necesitamos más herramientas para responder parcialmente a
nuestra pregunta.
Supongamos que L/K es una extensión finita y sea ↵ 2 L \ {0}. Si
↵1 , . . . , ↵n es una base de L sobre K, entonces ↵↵1 , . . . ↵↵n es también
una base. Escribimos
n
X
↵↵i = aij ↵j .
i=1
Entonces la matriz (aij ) 2 Mn⇥n (K) determina en forma única la
transformación lineal
T↵ : L ! L,
definida como T (x) = ↵x. Una observación sumamente importante
es que la matriz (aij ) tiene entradas en el campo K y por tanto
det((aij )) 2 K y traza((aij )) 2 K. En particular, si K = Q, entonces
det((aij )) y traza((aij )) son números racionales.
 2. NÚMEROS ALGEBRAICOS 29

Definición 2.9. Para ↵ 2 L \ {0} de la discusión anterior, definimos

la norma y la traza de ↵ como N(↵) = det((aij )) y tr(↵) = traza((aij ))
respectivamente.

Es claro que para calcular N(↵) y tr(↵) es necesario tener una base,
pero si calculamos N(↵) y tr(↵) con otra base ¿obtenemos el mismo
resultado?
p
Ejemplo
p p. Sea ↵ = a + b d un elemento tı́pico del campo
2.10
L = Q( d) y {1, d} una base de L sobre Q. Entonces la matriz (aij ) es
✓ ◆
a bd
.
b a
Por lo tanto N(↵) = a2 b2 d y tr(↵) = 2a. Apliquemos la misma
1 p
definición con otra base. Supongamos ahora que la base es , 1 d.
2
Entonces la matriz (aij ) es:
!
a + b 2b(1 d)
b .
a b
2
El lector puede verificar fácilmente que el determinante y la traza
de la matriz anterior coincide con el determinante y la traza de la
matriz que obtuvimos en un principio.

A continuación vamos a ver que efectivamente, la norma y traza no

dependen de la elección de la base.

Teorema 2.11. Sea L/K una extensión finita de campos. La norma

y la traza no dependen de la base.

Demostración. Sean A1 = (aij ) la matriz que se obtiene con la base

B1 = {↵1 , ↵2 , . . . , ↵n }, y A2 = (bij ) la matriz que se obtiene a partir de la
base B2 = { 1 , 2 , . . . , n }. Si N es la matriz cambio de base de B2 a B1 ,
se tiene que
A1 = N 1 A2 N
y aplicando el determinante a cada uno de los lados de la igualdad
1 1
det(A1 ) = det(N A2 N) = det(N ) det(A1 ) det(N) = det(A1 ).
Por lo anterior, tenemos que N(↵) = det(A1 ) = det(A2 ).
Finalmente, la traza de matrices cuadradas satisface la propiedad
general
traza(CD) = traza(DC).
Por lo tanto
1 1
traza(A1 ) = traza(N A2 N) = traza(NN A2 ) = traza(A2 ). ⇤
30 2. NÚMEROS ALGEBRAICOS

Si L/K es separable y [L : K] = n, entonces la norma y traza se

pueden calcular con la ayuda de los K-automorfismos de L.

Teorema 2.12. Supongamos que L/K es una extensión de Galois

de grado n y denotemos por Gal(L/K) = { 1 , . . . , n } al grupo de K-
automorfismos de L. Entonces para ↵ 2 L tenemos que:
n
Y
i) N(↵) = i (↵)
i=1
X n
ii) tr(↵) = i (↵).
i=1

Demostración. Esta demostración la haremos en dos partes. La

primera consiste en demostrar el teorema suponiendo que ↵ es un
elemento primitivo y luego demostraremos el caso general.
Si ↵ es un elemento primitivo, entonces L = K(↵) y {1, ↵, ↵2 , . . .,
n 1
↵ } es una base de la extensión. Supongamos que
n
Y
Irr(↵, K) = (x ↵(i) ) = xn + an 1x
n 1
+ · · · + a2 x2 + a1 x + a0 .
i=1

Se conocen las siguientes relaciones entre las raı́ces de un polinomio y

sus coeficientes:
n
X
an 1 = ( 1)i i
i=1
n
Y
a0 = ( 1)n i
i=1

donde i (1 6 i 6 n) son las distintas raı́ces del polinomio. Por lo

anterior
n
X
an 1 = ( 1) i (↵)
i=1
n
Y
n
a0 = ( 1) i (↵).
i=1

Ahora, como
↵ · 1 = 0 · 1 + 1 · ↵ + 0 · ↵2 + · · · + 0 · ↵n 1

↵ · ↵ = 0 · 1 + 0 · ↵ + 1 · ↵2 + · · · + 0 · ↵n 1

.. .. .. .. ..
. . . . .
↵ · ↵n 2
= 0 · 1 + 0 · ↵ + 0 · ↵2 + · · · + 1 · ↵n 1
,
 2. NÚMEROS ALGEBRAICOS 31

y
↵ · ↵n 1
= a0 · 1 a1 · ↵ a2 · ↵2 ··· an 1 · ↵n 1
,
entonces 0 1
0 0 ··· 0 a0
B1 0 ··· 0 a1 C
B C
(aij ) = B . .. .. .. .. C .
@ .. . . . . A
0 0 ··· 1 an 1
El determinante y la traza de esta matriz son

det((aij )) = ( 1)n a0 y traza((aij )) = an 1.

De esto se sigue que

n
Y n
Y
N(↵) = ( 1)n a0 = ( 1)2n i (↵) = i (↵),
i=1 i=1
n
X n
X
tr(↵) = an 1 = ( 1)i i (↵) = i (↵),
i=1 i=1

lo que demuestra el resultado cuando ↵ es un elemento primitivo.

Ahora sea ↵ 2 L, no necesariamente primitivo. La extensión L/K se
puede dividir en dos partes: la primera K(↵)/K, y la segunda L/K(↵). Se
n
observa que si [K(↵) : K] = d y [L : K] = n, entonces, [L : K(↵)] = = r.
d
Ahora, si {1, ↵, . . . , ↵d 1 } es una base de K(↵)/K y { 1 , 2 , . . . , r }
es una base de la extensión L/K(↵), entonces
j
{ k↵ : 1  k  r, 0  j  d 1}

es una base de L/K, la cual se puede escribir como una unión de

subconjuntos de la siguiente manera
j j
{ k↵ } ={ 1↵ :0jd 1}[
j j
{ 2↵ :0jd 1} [ · · · [ { r↵ :0jd 1}.

Observemos que ↵( k ↵j ) = k (↵↵j ). Además, las entradas de la

matriz (aij ) con respecto a K(↵)/K se encuentran tomando en cuenta
que
d
X1
j
↵↵ = a(i+1)(j+1) ↵j .
i=0

Ası́,
d
X1 d
X1
j
↵( k↵ ) = k a(i+1)(j+1) ↵j = a(i+1)(j+1) j
k↵ .
i=0 i=0
32 2. NÚMEROS ALGEBRAICOS

d
X1
j j j
Sea l = k↵ . Entonces ↵ l = a(i+1)(j+1) k↵ y k↵ = dk+j . Sea
i=0
clm = aij con l ⌘ i (mod d) y m ⌘ j (mod d) con kd  l, m < (k + 1)d.
Se puede observar que
0 1
A 0 ··· 0
B 0 A ··· 0 C
B C
(cij ) = B .. .. .. .. C
@ . . . . A
0 0 ··· A
es la matriz asociada a la transformación T↵ con respecto a la base
{ k ↵j }, donde A es la matriz de T↵ con la base {1, ↵, . . . , ↵d 1 } con
respecto a la extensión de campos K(↵)/K. Ası́ que
trL/K (↵) = r · traza(A) y NL/K (↵) = (det(A))r
Cada automorfismo de K(↵)/K se pueden extender a L/K r-veces.
Ası́ que si tomamos un automorfismo de K(↵)/K, digamos i (x),
existen r automorfismos de L/K, los cuales escribimos como ij (x)
con 1  j  r, tales que al restringirlos a K(↵)
ij (x)|K(↵) = i (x).

Utilizando ésta cualidad de los automorfismos se puede calcular la

traza y la norma de ↵ de la siguiente manera
d
X X
trL/K (↵) = r · tr(A) = r · trK(↵)/K (↵) = r · i (↵) = ij (↵)
i=1 1id
1jr

d
Y Y
NL/K (↵) = (det(A))r = (NK(↵)/K (↵))r = ( i (↵))
r
= ij (↵)
i=1 1id
1jr

que es el resultado que se buscaba. ⇤

Para extensiones finitas separables el teorema anterior también se
cumple. El lector interesado puede consultar los teoremas 26 y 27 en
[19]

Una observación importante es que en extensiones separables la

traza no es la función idénticamente 0. En efecto pues si [L : K] = n,
entonces
0 1
1 0 ··· 0
B 0 1 ··· 0 C
B C
tr(1) = traza B .. .. .. .. C = n = [L : K].
@ . . . . A
0 0 ··· 1
 2. NÚMEROS ALGEBRAICOS 33

Si car(K) = 0, entonces tr(1) = n 6= 0. Si L tiene q = pn elementos, la

traza de un elemento ↵ del campo L es la suma de sus conjugados, esto
1 2 n 1
es ↵ + ↵p + ↵p + · · · + ↵p , ya que el automorfismo de Frobenius xp
es el generador del grupo de Galois de una extensión finita de campos
finitos. El polinomio
1 2 n 1
f (x) = x + xp + xp + · · · + xp
satisface que f (↵) = tr(↵) y f (x) es de grado pn 1 , ası́ que tiene a
lo más pn 1 raı́ces en L, esto quiere decir que no hay más de pn 1
elementos del campo L que tengan traza igual a cero, y como L tiene
pn elementos, existe alguno tal que su traza es diferente de cero.
p
Ejemplo 2.13. En el campo K = Q( 10) los dos monomorfismos
p p de
K a C son la identidad
p 1 y la conjugación 2 (a + b 10) = a b 10.
Ası́ que si ↵ = a + b 10 entonces
p p p p p
tr(a+b 10) = 1 (a+b 10)+ 2 (a+b 10) = (a+b 10)+(a b 10) = 2a,
y
p p p
N(a + b 10) = 1 (a + b 10) 2 (a + b 10)
p p
= (a + b 10)(a b 10) = a2 10b2 .

Proposición 2.14. Sea K un campo de números tal que [K : Q] = n.

Si ↵, 2 K y c 2 Q, entonces:
i) tr(↵ + ) = tr(↵) + tr( ).
ii) N(a ) = an N( ).
iii) tr(a↵) = a tr(↵).
iv) N(↵ ) = N(↵)N( ).
v) N(1) = 1.
vi) N(↵ 1 ) = N(↵) 1 , si ↵ 6= 0.
Demostración. i) tr(↵) es la traza de la matriz (aij ). Por lo
tanto, la propiedad se sigue a partir de que la traza de matrices
es lineal.
ii) N(a↵) = det(a · aij ) = an det(aij ) = an N(↵).
iii) Se sigue debido a que la traza de matrices es lineal.
n
X n
X n
X
iv) Si ↵↵i = aij ↵j , ↵i = bij ↵j , ↵ ↵i = cij ↵j , entonces
j=1 j=1 j=1
n
X n
X n
X
cij ↵j = ↵( ↵i ) = ↵ bij ↵j = bij ↵↵j
j=1 j=1 j=1
n
X n
X n X
X n
= (bij ajk ↵k ) = bij ajk ↵k .
j=1 k=1 j=1 k=1
34 2. NÚMEROS ALGEBRAICOS

Se puede cambiar el orden de las sumas ya que

n X
X n n
X
bij ajk ↵k = bij aj1 ↵1 + · · · + bij ajn ↵n
j=1 k=1 j=1

= (bi1 a11 ↵1 + · · · + bi1 a1n ↵n ) + · · ·

+ (bin an1 ↵1 + · · · + bin ann ↵n )
n
X n X
X n
= bi1 a1k ↵k + · · · + bin ank ↵k = bij ajk ↵k .
k=1 k=1 j=1

n
X n X
X n
Entonces cij ↵j = bij ajk ↵k , y por lo tanto
j=1 k=1 j=1
0 1
n
X
(cik ) = @ bij ajk A = (bik )(aik ).
j=1

Ası́ tenemos
N(↵ ) = det(cik ) = det((bik )(aik )) = det(bik ) det(aik )
= N( )N(↵) = N(↵)N( ).
v) La matriz (aij ) asociada a 1 es la identidad, y por lo tanto
N(1) = 1.
vi) Por el inciso anterior tenemos 1 = N(1) = N(a · a 1 ) =
N(a) · N(a 1 ), y por lo tanto N(a 1 ) = N(a) 1 . ⇤

Una propiedad importante de los enteros algebraicos es la siguiente:

Proposición 2.15. Si ↵ 2 K es un entero algebraico, entonces tr(↵)

y N(↵) 2 Z.

Demostración. Sea f (x) = a0 + a1 x + · · · + xr 2 Z[x] tal que f (↵) = 0

y un Q-automorfismo de K. Entonces f (↵) = 0 y
0= (f (↵)) = a0 + a1 (↵) + a2 (↵)2 + · · · + (↵)r .
Por lo tanto, (↵) es un entero algebraico y ası́, tr(↵) es suma de enteros
algebraicos y N(↵) es producto de enteros algebraicos. Por lo anterior,
tr(↵) y N(↵) son enteros algebraicos. Por otro lado, tr(↵), N(↵) 2 Q,
entonces por el ejercicio 2.7 tenemos que tr(↵), N(↵) 2 Z. ⇤

2.1. Discriminante
Sea L/K una extensión finita de campos. Ahora definiremos el
concepto de discriminante de una n-áda de elementos de L, que además
está intimamente relacionado con la norma y la traza.
 2.1. DISCRIMINANTE 35

Definición 2.16. Definimos el discriminante del subconjunto

{↵1 , . . . , ↵n } ✓ L como —(↵1 , . . . , ↵n ) = det(tr(↵i ↵j )).

Proposición 2.17. Sea L/K una extensión de grado n. Si

—(↵1 , . . . , ↵n ) 6= 0, entonces {↵1 , . . . , ↵n } es una base de L/K. Si
L/K es separable y {↵1 , . . . , ↵n } es una base de la extensión, entonces
—(↵1 , . . . , ↵n ) 6= 0.

Demostración. Supongamos que ↵1 , . . . , ↵n son linealmente

Pn de-
pendientes. Entonces existen a1 , . . . , an 2 K tales que i=1 ai ↵i = 0 y
algún ai 6= 0. Multiplicando por ↵j obtenemos que
n
X
ai tr(↵i ↵j ) = 0, j = 1, 2, . . . , n.
i=1

Observamos que la n-áda a1 , a2 , . . . , an es una solución no trivial del

sistema homogéneo
n
X
xi tr(↵i ↵j ) = 0, j = 1, 2, . . . , n.
i=1

Esto muestra que la matriz (tr(↵i ↵j )) es singular, por lo que su

determinante es cero, y consecuentemente —(↵1 , . . . , ↵n ) = 0. Por lo
tanto {↵1 , . . . , ↵n } son linealmente independientes.
Para la segunda afirmación supongamos que —(↵1 , . . . , ↵n ) = 0.
Entonces el sistema
n
X
xi tr(↵i ↵j ) = 0, j = 1, . . . , n.
i=1

tienePal menos una solución no trivial en K, xi = ai . Elegimos

n
↵ = i=1 ai ↵i 6= 0. Multiplicando ↵ por cada uno de los ↵j y aplicando
la traza se observa que
n
X
tr(↵↵j ) = ai tr(↵i ↵j ) = 0, j = 1, . . . , n
i=1
P
ya quePlos ai son solución del sistema. Si 2Ly = i bi ↵i , entonces
↵ = i bi ↵↵i y por lo tanto
X
tr(↵ ) = bi tr(↵↵i ) = 0.
i

La identidad anterior es válida para cualquier 2 L, en particular si

= ↵ 1 . Ası́ tenemos que
1
tr(↵↵ ) = tr(1) = n = [L : K] = 0,
lo cual no puede ser porque la extensión es separable. ⇤
36 2. NÚMEROS ALGEBRAICOS

Podemos relacionar el discriminante de dos bases de la extensión

L/K por medio de la matriz cambio de base.

Pn ón 2.18. Si {↵1 , . . . , ↵n } y {

Proposici 1 , · · · , n } son bases de L/K
y ↵j = i=1 aij i , entonces —(↵1 , . . . , ↵n ) = det(aij )2 —( 1 , . . . , n ).
n
X n
X
Demostración. Escribimos ↵i = aij j y ↵k = akl l. Multipli-
j=1 l=1
cando se obtiene
0 1 !
Xn n
X
↵i ↵k = @ aij j
A akl l
j=1 l=1
n n
! n X
n
X X X
= akl l aij j = aij akl j l.
j=1 l=1 j=1 l=1

Tomando la traza en ambos lados se observa que

0 1
n X
X n
tr(↵i ↵k ) = tr @ aij akl j l
A.
j=1 l=1

Sean A = (tr(↵i ↵j )), B = (tr( i j )) y C = (aij ). Entonces A = CBC T ya

que
n
X
entij CB = aik tr( k j ),
k=1
Xn n X
X n
entij (CB)C T = (entil CB) entlj C T = aik ajl tr( k l)
l=1 l=1 k=1
n X
n
!
X
= tr aik ajl ( k l)
l=1 k=1
" n
! n
!#
X X
= tr aik k ajl l = tr(↵i ↵j ) = entij A.
k=1 l=1

Por lo tanto
—(↵1 , . . . , ↵n ) = det(A) = det CBC T = det(C) det(B) det C T
= (det(aij ))2 —( 1, . . . , n ). ⇤
Proposición 2.19. Sean L/K Galois, finita de grado n y {↵1 , . . . , ↵n }
2
✓ L. Entonces —(↵1 , . . . , ↵n ) = det j (↵i ) , donde j 2 Gal(L/K).
Demostración. De acuerdo al Teorema 2.12
tr(↵i ↵j ) = 1 (↵i ) 1 (↵j ) + ··· + n (↵i ) n (↵j ).
 2.1. DISCRIMINANTE 37

Si B = j (↵i ) , entonces
0 10 1
1 (↵1 ) 2 (↵1 ) ··· n (↵1 ) 1 (↵1 ) 1 (↵2 ) ··· 1 (↵n )
B 1 (↵2 ) 2 (↵2 ) ··· n (↵2 ) C B
CB 2 (↵1 ) 2 (↵2 ) ··· 2 (↵n ) C
C
B
B .. .. .. .. CB .. .. .. .. C=
@ . . . . A@ . . . . A
1 (↵n ) 2 (↵n ) ··· n (↵n ) n (↵1 ) n (↵2 ) ··· n (↵n )

0 1
tr(↵1 ↵1 ) tr(↵1 ↵2 ) ··· tr(↵1 ↵n )
B tr(↵2 ↵1 ) tr(↵2 ↵2 ) ··· tr(↵2 ↵n ) C
B C
B .. .. .. .. C = BBT
@ . . . . A
tr(↵n ↵1 ) tr(↵n ↵2 ) ··· tr(↵n ↵n )
El discriminante de {↵1 , . . . , ↵n } es el determinante de esta última
matriz. Por lo tanto
2 2
—(↵1 , . . . , ↵n ) = det BBT = (det(B)) = det j (↵i ) . ⇤

Si se conoce un elemento primitivo de una extensión separable L/K

se puede conocer el discriminante de la base generada por éste.

Proposición 2.20. Sean 1, , , . . . , n 1 2 L linealmente indepen- 2

dientes sobre K y f (x) = Irr( , K). Si L/K es separable, entonces

(n)(n 1)
n 1
—(1, , . . . , ) = ( 1) 2 N(f 0 ( ))

donde f 0 (x) es la derivada formal de f (x).

Demostración. Definamos la matriz A como

0 1
( 1 ( ))0 ( 2 ( ))0 ··· ( n ( ))0
B ( 1 ( ))1 ( 2 ( ))1 ··· ( n ( ))1 C
B C
A=B .. .. .. .. C,
@ . . . . A
( 1 ( ))n 1 ( 2 ( ))n 1 · · · ( n ( ))n 1

y la matriz B como
0 10 1
( ))0
1( ··· ( n( ))0 ( ))0
1( ··· ( ))n
1(
1

B ( 1 1 CB 0 n 1C
B 1 ( )) ··· ( n ( )) C B( 2 ( )) ··· ( 2 ( )) C
B=B .. .. .. CB .. .. .. C
@ . . . A@ . . . A
( 1 ( ))n 1 ··· ( n( ))n 1
( n ( ))0 ··· ( n ( ))n 1
0 0 0 0 1 0 n 1
1
tr( ) tr( ) ··· tr( )
B tr( 1 n 1
B
0
) tr( 1 1
) ··· tr( 1
) C
C
=B .. .. .. .. C = AAT .
@ . . . . A
n 1 0 n 1 1 n 1 n 1
tr( ) tr( ) ··· tr( )
38 2. NÚMEROS ALGEBRAICOS

Entonces det(B) = —(1, , . . . , n 1 ) = (det(A))2 . La matriz A es una

matriz tipo Vandermonde, por lo que
Y
det(A) = j( ) i( ) .
i<j

n
X n
X1 (n 1)(n 2)
Existen (i 1) = i = pares de enteros (i, j) con
2
i=1 i=1
(n 1)(n 2)
1  i, j  n tales que i < j. Sea a = ( 1) 2 . Entonces podemos
escribir
Y Y Y
j( ) i( ) =a i( ) j( ) =a j( ) i( ) .
i<j i<j i>j

La última igualdad se obtiene intercambiando j por i. Ası́

0 12
Y
(det A)2 = @ j( ) i( ) A
i<j
0 10 1
(n 1)(n 2) Y Y
= ( 1) 2 @ j( ) i( )
A@ j( ) i( ) A
i<j i>j
(n 1)(n 2) Y
= ( 1) 2
j( ) i( ) .
i6=j

Por lo tanto
(n 1)(n 2) Y
2 n
—(1, , ,..., ) = ( 1) 2
j( ) i( ) . ⇤
i6=j

En lo que sigue, vamos a justificar la existencia de ciertas bases de

la extensión K/Q con propiedades importantes.

Lema 2.21. Sea en K. Entonces, existe b 2 Z \ {0} tal que b 2 2K .

Demostración. satisface algún polinomio bn xn + bn 1 xn 1 + · · · +

b0 con bi 2 Z y bn 6= 0. Multiplicamos este último polinomio por bn
n
1
.
Se observa que
(bn )n + bn 1 (bn )n 1
+ (bn 2 · bn )(bn )n 2
+ · · · + b0 · bn
n
1
= 0.
Por lo tanto bn es un entero algebraico. ⇤
Corolario 2.22. Sean 1, . . . , n 2 K. Existe b 2 Z tal que
b 1, . . . , b n
2 2K .
Demostración. Por el Lema 2.21, existen b1 , . . . , bn 2 Z tales
que bi i 2 2K . Si b = mcm(b1 , . . . , bn ), entonces es claro que
b 1 , . . . , b n 2 2K . ⇤
 2.1. DISCRIMINANTE 39

Corolario 2.23. Cada ideal I 6= {0} de 2K contiene una base de K

sobre Q.

Demostración. Sea { 1 , 2 , . . . , n } una base de K sobre Q. Por el

Corolario 2.22 existe b 2 Z, b 6= 0 tal que b 1 , b 2 , . . . , b n 2 2K . Si
↵ 2 I, ↵ 6= 0, entonces {b 1 ↵, . . . , b n ↵} ✓ I es una base de K sobre
Q. ⇤

Resaltamos algunos hechos sobresalientes acerca del discriminante

de una base particular de un campo de números K/Q:

1. Un número racional es un entero algebraico si y sólo si es un

entero.
2. Si ↵ 2 OK , entonces N(↵), tr(↵) 2 Z.
3. Si ↵1 , . . . , ↵n 2 2K , entonces —(↵1 , . . . , ↵n ) 2 Z.
La siguiente proposición muestra que cada ideal I contiene una
base de generadores como Z-módulo.

Proposición 2.24. Sea I un ideal en 2K y {↵1 , . . . , ↵n } ✓ I una

base de K/Q, tal que |—(↵1 , . . . , ↵n )| es mı́nimo. Entonces, I =
Z↵1 + Z↵2 + · · · + Z↵n .
Demostración. Sea ↵ 2 I, tal que ↵ = 1 ↵1 + 2 ↵2 + · · · + n ↵n ,
con i 2 Q. Mostraremos que i 2 Z. Supongamos que algún i 2 / Z.
Sin pérdida de generalidad supongamos que 1 2 / Z. Podemos escribir
1 = m + ✓ con m 2 Z y 0 < ✓ < 1.
Sea 1 = ↵ m↵1 , 2 = ↵2 , . . . , n = ↵n . Se puede ver que
{ 1 , . . . , n } es una base de K/Q. En particular 1 2 2K ya que ↵ y
m↵i son elementos de 2K . Ası́ { 1 , . . . , n } ⇢ 2K . La matriz cambio
de base entre estas dos base es
0 1
✓ 2 3 ··· n
B0 1 0 ··· 0 C
B C
B0 0 1 ··· 0 C
B C,
B .. .. .. .. .. C
@. . . . . A
0 0 0 ··· 1

y su determinante es ✓. Usando la Proposición 2.18 tenemos

|—( 1, . . . , n )| = ✓2 |—(↵1 , . . . , ↵n )| < |—(↵1 , . . . , ↵n )|,

lo cual no es posible ya |—(↵1 , . . . , ↵n )| es mı́nimo. Lo anterior significa

que i 2 Z para 1  i  n y por lo tanto I ⇢ Z↵1 + Z↵2 + · · · + Z↵n . La
otra contención es evidente. Por lo tanto

I = Z↵1 + Z↵2 + · · · + Z↵n . ⇤

40 2. NÚMEROS ALGEBRAICOS

Definición 2.25. Si {↵1 , . . . , ↵n } ⇢ I es una base de K/Q tal que

I = Z↵1 + · · · + Z↵n , entonces diremos que {↵1 , . . . , ↵n } es una base
entera de I.

Corolario 2.26. Si I es un ideal de 2K y ! y @ son bases enteras

arbitrarias de I, entonces el discriminante de ! es igual al de @.

Demostración. Sean ! = {↵1 , . . . , ↵n } y @ = { 1 , . . . , n } dos bases

enteras del ideal I. Por la Proposición 2.24 el valor absoluto de los
discriminantes de ! y @ son mı́nimos, y además se sabe que son
enteros positivos. Por consiguiente son iguales. ⇤
Definición 2.27. El discriminante de un ideal I denotado por —(I)
es el discriminante de una base entera de I. Al discriminante de 2K se
le llama el discriminante de K y se denota por K .

Definición 2.28. Sea ↵1 , . . . , ↵n una base entera del campo K. Sea

M la matriz (aij ) donde aij = tr(↵i ↵j ). El discriminante del campo K se
define como K = det(M).

El discriminante de un campo es un concepto muy importante pues

nos ayuda a identificar cuándo un conjunto de elementos de 2K es
una base entera y además nos da información sobre la factorización de
algunos ideales de 2K .
Existen algoritmos para encontrar una base entera y el discrim-
inante de cualquier campo de números, sin embargo, un problema
interesante es encontrar una base entera explı́cita para alguna familia
de campos. A continuación daremos algunos ejemplos.

2.2. Campos cuadráticos

Un campo cuadrático es un campo de números K tal que [K : Q] p
= 2.
Se puede ver que cualquier campo cuadrático es de la forma K = Q( d)
con d un entero
p libre de cuadrados y los elementos de K son de la
forma a + b d con a, b 2 Q. Si d es positivo, diremos que K es un
campo cuadrático real ya que K ✓ R, y en el caso d < 0 lo llamaremos
campo cuadrático imaginario, debido a que una parte del campo no cae
en R . Los dos monomorfismos que van de Kp a los números
p complejos
son la identidad 1 y la conjugación 2 (a + b d) = a b d, ası́ que
p p
tr(a + b d) = 2a, N(a + b d) = a2 db2 .
p p
Lema 2.29. Sea K = Q( d) y ↵ = a + b d 2 K con a, b 2 Q.
Entonces, ↵ 2 2K si y sólo si 2a, 2b 2 Z y (2a)2 (2b)2 d ⌘ 0 (mod 4).

Demostración. Supongamos que ↵ 2 2K . Sabemos que tr(↵),

N(↵) 2 Z, esto es 2a 2 Z y a2 b2 d 2 Z. Ası́, 4(a2 b2 d) 2 Z,
 2.2. CAMPOS CUADRÁTICOS 41

es decir, (2a)2 (2b)2 d ⌘ 0 (mod 4). Falta ver que 2b 2 Z. Como

2
(2a) (2b) d 2 Z y (2a)2 2 Z, entonces (2b)2 d 2 Z. Escribimos
2

x x2
(2b)2 d = t y 2b = con mcd(x, y) = 1. Por lo anterior, 2 d = t si y sólo
y y
si x2 d = y2 t, si y sólo si y2 | 1 y y = ±1. Por tanto 2b 2 Z.
Recı́procamente, si 2a, 2b 2 Z y (2a)2 (2b)2 d ⌘ 0 (mod 4),
2 2 2
entonces a b d 2 Z. Por lo tanto p(x) = x 2ax + (a2 b2 d)p2 Z[x]
es un polinomio mónico con coeficientes enteros tal que p(a + b d) = 0
y ↵ 2 2K . ⇤
p
Corolario 2.30. Consideremos el campo K = Q( d) con d libre de
cuadrados. Si d ⌘ 2, 3 (mod 4), entonces una )
( p base entera de 2K es
p 1+ d
{1, d}. Si d ⌘ 1 (mod 4) entonces 1, es una base entera
2
de 2K .
p
Demostración. Sea ↵ = a + b d 2 2K . Si d ⌘ 2 ⌘ 2 (mod 4),
entonces

0 ⌘ (2a)2 (2b)2 d ⌘ (2a)2 + 2(2b)2 (mod 4),

y si d ⌘ 3 ⌘ 1 (mod 4), entonces

0 ⌘ (2a)2 (2b)2 d ⌘ (2a)2 + (2b)2 (mod 4).

En cualquiera de los dos casos, 2a y 2b tienen que ser enteros pares,

y por lo tanto a, b 2 Z, esto quiere decir que a y b son enteros. Por lo
tanto, usando el lema anterior, tenemos que p ↵ es un entero algebraico
si y sólo si a, b 2 Z, y una base entera es {1, d}.
Ahora supongamos que d ⌘ 1 (mod 4). Tenemos que (2a)2
(2b)2 d ⌘ (2a)2 (2b)2 ⌘ 0 (mod 4). Entonces (2a)2 ⌘ (2b)2 (mod 4) y
2a ⌘ 2b (mod 2).
Podemos escribir
p p
p
2(a + b d) 2a 2b 2b + 2b d
↵=a+b d= = +
2 2 2
p
2a 2b 1+ d
= + 2b ,
2 2
2a 2b ⇣ p ⌘
1+ d
y ya que , 2b 2 Z, entonces se cumple que 2K ✓ Z + Z 2
.
2 p
1+ d
Para la otra contención es suficiente mostrar que 2 2K . Puesto
2
1 d 1 d
que 2 Z, se tiene f (x) = x2 + x + 2 Z[x] es irreducible
4 ⇣ 4p ⌘
1+ d
por el criterio de Eisenstein. Además f 2
= 0 y por lo tanto
42 2. NÚMEROS ALGEBRAICOS

p
1+ d
2 2K . Esto quiere decir que una base entera de 2K es
( 2 p )
1+ d
1, . ⇤
2

Usando el resultado
p del corolario anterior, calcularemos el discrimi-
nante de K = Q( d).
p
Corolario 2.31. Sea el discriminante de K = Q( d) con d un
K
entero libre de cuadrados. Si d ⌘ 2, 3 (mod 4), entonces K = 4d. Si
d ⌘ 1 (mod 4), entonces K = d.
p
Demostración.pSi d ⌘ 2, 3 (mod 4) sabemos que 2K = Z + Z d.
Sean ↵1 = 1 y ↵2 = d. Entonces, como {↵1 , ↵2 } es una base entera de
2K , se tiene que
✓ p ◆ ✓ ◆
t(1)
p t( d) 2 0
K = det(t(↵ ↵
i j )) = det = det = 4d.
t( d) t(d) 0 2d
p !
1+ d
Si d ⌘ 1 (mod 4) entonces 2K = Z + Z . Sean ↵ = 1 y
2
p
1+ d
↵2 = . Entonces
2
0 p ! 1
1+ d
B t(1) C t
B C 2
B 1C 0
K = det(t(↵i ↵j )) = det B p ! p !2 C
B 1+ d 1+ d C
@t t@ AA
2 2

!
2 1
det 1+d = d.
1
2
⇤

2.3. Otros ejemplos de bases enteras

Existen otros ejemplos en los que se tiene explı́citamente una base
entera de una familia de campos de números.

Proposición 2.32. Sean ⇠ = e(2⇡i/n) una raı́z n-ésima primitiva de la

unidad y K = Q(⇠). Entonces [K : Q] = (n) donde es la función de
Euler y
{1, ⇠, ⇠2 , . . . , ⇠ (n) 2
,⇠ (n) 1
}
es una base entera de K.
 2.3. OTROS EJEMPLOS DE BASES ENTERAS 43

Por ejemplo, ⇠ = e(2⇡i/5) es una raı́z quinta primitiva de la unidad,

y K(⇠) es una extensión de Q de grado 4, por lo que es un campo de
números. Una base entera de K es
{1, ⇠, ⇠2 , ⇠3 } = {1, e(2⇡i/5) , e(4⇡i/5) , e(6⇡i/5) }.
El elemento ⇠4 también es un elemento de K, pero no está en la base
entera. De hecho, no es necesario agregarlo pues 1 + ⇠ + ⇠2 + ⇠3 + ⇠4 = 0,
y por lo tanto
⇠4 = 1 ⇠ ⇠2 ⇠3 ,
ası́ que se puede escribir como combinación lineal de los elementos de
la base entera usando coeficientes enteros.
Si ⇠ es una raı́z n-ésima primitiva de la unidad, la intersección de
Q(⇠) con R es una extensión de grado (n)/2, tomando en cuenta que
1
(n) es par si n 3. Sea " = ⇠ + . Una base entera de Q(⇠) \ R es
⇠
{1, ", "2 , . . . , "( (n) 1)/2
}.
Cuando existe ↵ tal que la base entera de un campo de números
es de la forma {1, ↵, . . . , ↵k } se dice que ésta es una base entera de
potencias, y el anillo de enteros es igual a Z[↵], es decir, los polinomios
con coeficientes enteros evaluados en ↵. Todos los ejemplos que hemos
dado son campos de números que tienen una base entera de potencias,
sin embargo, éstas no son tan frecuentes, de hecho, se sabe que hay
una infinidad de campos que no tienen una base entera de potencias.
Algunos de éstos se dan en los campos cúbicos.

Proposición 2.33. Sean dp= ab2 un entero libre de cubos, con a, b

libres de cuadrados, y K = Q( d). Una base entera de K es:
3

i) Si d ⌘ 1 (mod 9),
( p p )
p
3
p3
3 3
1 + ab2 + a2 b4
ab2 , a2 b,
3

es una base entera de K.

ii) Si d ⌘ 8 (mod 9), entonces
( p p )
p
3
p
3 1
3
ab2 +
3
a2 b4
ab2 , a2 b,
3

es una base entera de K.

iii) Si d 6⌘ 1, 8 (mod 9), entonces
n p p o
3 3
1, ab2 , a2 b

es una base entera de K.

44 2. NÚMEROS ALGEBRAICOS

Aunque p en este
p caso si hay bases enteras de potencias, como por
ejemplo {1, 5, ( 5)2 }, es muy fácil encontrar algunos que no tienen
3 3

bases de este tipo. El lector interesado puede consultar el Theorem

2.10 y la nota 8 al final del Capı́tulo 2 en [22].

2.4. El número de clase

Como siempre, K es un campo de números y 2K el anillo de enteros
de K.

Lema 2.34. Si I ✓ 2K es un ideal 6= 0, entonces, I \ Z 6= (0).

Demostración. Sea ↵ 2 I \ {0} y sea p(x) = xr + · · · + a1 x + a0 2 Z[x]
6 0 y a0 = ↵r · · · a1 ↵ 2
tal que p(↵) = 0, con r mı́nimo. Entonces a0 =
2K . ⇤

Proposición 2.35. Para cada ideal I 6= {0} de 2K , el cociente 2K /I es

finito.

Demostración. Por el Lema 2.34 existe un entero a > 0 en I. Sea

hai el ideal principal generado por a en 2K y ' la función
' : 2K /hai ! 2K /I

'(x + hai) = x + I.
Si x + hai = y + hai, entonces '(x + hai) = x + I, '(y + hai) = y + I. Como
x y 2 hai ✓ I, entonces (x y) + I = I y por lo tanto x + I = y + I.
Ası́ '(x + hai) = '(y + hai) y por lo tanto ' es función y además es
suprayectiva.
Por lo anterior |2K /hai| |2K /I |. Para probar que 2K /I es finito,
basta mostrar que 2K /hai lo es. Sea {!1 , . . . , !n } una base entera en
2K . Consideremos el conjunto
( n )
X
S= i !i :0 i <a .
i=1

Observa que |S| = an porque los !i están fijos y los únicos que varı́an
son los i . Mostraremos que S es un conjunto de representantes de
2K /hai, es decir
2K /hai = {x + hai : x 2 S}.
Sea ! 2 2K = Z!1 + · · · + Z!n . Entonces, existen únicos
m1 , . . . , mn 2 Z tales que
n
X
!= mi !i .
i=1
 2.4. EL NÚMERO DE CLASE 45

Por el algoritmo de la división, mi = qi a + i con 0  i < a. Vamos a

n
X
mostrar que ! + hai = i !i + hai 2 2K /hai. Tenemos que
i=1
n
X n
X n
X n
X n
X
! i !i = mi !i i !i = (mi i )!i = aqi !i 2 hai.
i=1 i=1 i=1 i=1 i=1
n
X
Por lo tanto ! + hai = i !i + hai y ası́ cualquier elemento de 2K /hai
i=1
contiene un representante en S. Ahora vamos a ver que los elementos
del conjunto S son distintos. Supongamos que
n
X n
X
0
i !i + hai = i !i + hai.
i=1 i=1
n
X n
X
0 0
Entonces ( i i )!i 2 hai y por lo tanto ( i i )!i =a para
i=1 i=1
algún 2 2K . Ahora escribimos
n
X
= bi !i ,
i=1
n
X n
X n
X
0
i )!i = a bi !i = abi !i . Entonces = abi .
0
ası́ que ( i i i
i=1 i=1 i=1
Como 0  i <ay0 0
i < a, entonces
0
a< i i < a,
y ası́ bi = 0 para i = 1, . . . , n. Entonces i = 0
i y por lo tanto,
cualesquiera dos elementos de S son diferentes. Ası́
nX o
|S| = i !i |0  i <a = an ,

lo que significa que 2K /hai es finito, y 2K /I es finito para todo ideal 6= 0

de 2K . ⇤
Definición 2.36. Sea K un campo de números y 2K el anillo de
enteros de K, I =6 {0} ideal de 2K . Definimos la norma del ideal I como
|2K /I |.
Corolario 2.37. 2K es un anillo Noetheriano.
Demostración. Sea I1 ✓ I2 ✓ . . . una cadena ascendente de ideales
en 2K . Ya que 2K /I1 es finito, se sigue que 2K /I1 sólo contiene un
número finito de ideales. Por lo tanto, sólo existe un número finito de
ideales de 2K que contienen a I1 . Ası́ que la cadena I1 ✓ I2 ✓ · · · se
estaciona y por lo tanto 2K es Noetheriano. ⇤
46 2. NÚMEROS ALGEBRAICOS

Corolario 2.38. Cada ideal primo diferente de (0) de 2K es máximo.

Demostración. Sea P un ideal primo. Entonces 2K /P es un dominio
entero finito y por lo tanto 2K /P es un campo. ⇤
Los anillos de enteros son anillos ı́ntegramente cerrados (si ↵ 2 K
satisface un polinomio mónico en 2K [x], entonces ↵ 2 2K ), son
noetherianos y en ellos cualquier ideal primo es máximo. Estos anillos
se llaman dominios de Dedekind.

Lema 2.39. Sea I ✓ 2K un ideal. Si 2 K \ {0} es tal que I ✓ I,

entonces 2 2K .
Demostración. Sea {↵1 , . . . , ↵2 } una base entera de I. Entonces
I = Z↵1 + · · · + Z↵n . Como 2 I para todo 2 I, entonces, por la
Proposición 2.2, es un entero algebraico. ⇤
Lema 2.40. Si I, J son ideales de 2K tales que IJ = I, entonces J = 2K .
Demostración. Sea {↵1 , . . . , ↵n } una base entera de I. Como I = IJ,
se pueden encontrar elementos bij 2 J tales que cada elemento de la
n
X
base se pueda escribir como ↵i = bij ↵j . Entonces se cumple que
j=1
0 10 1 0 10 1
b11 b12 ··· b1n ↵1 1 0 ··· 0 ↵1
B b21 b22 ··· b2n C B ↵2 C B0 1 ··· 0C B ↵2 C
B CB C B CB C
B .. .. .. .. CB .. C = B .. .. .. .. CB .. C,
@ . . . . A@ . A @ . . . . A@ . A
bn1 bn2 ··· bnn ↵n 0 0 ··· 1 ↵n
0 10 1
b11 1 b12 ··· b1n ↵1
B b21 b22 1 ··· b2n CB ↵2 C
B CB C
B .. .. .. .. CB .. C = 0
@ . . . . A@ . A
bn1 bn2 ··· bnn 1 ↵n
y de esto se sigue que det(bij ij ) = 0.
Si calculamos el determinate con el primer renglón de la matriz, es
decir, con {b11 1, b12 , . . . , b1n }, observamos que el menor de cada uno
de estos, excepto posiblemente del primero es un elemento de J:
det(bij ij ) = (b11 1)| | + b12 | | + . . . b1n | |.
Excepto tal vez el primer sumando, los demás pertenecen a J porque
las entradas de cada determinante son elementos de 2K . Sólo nos falta
hacer una observación de |(b11 1)|. El menor de b11 1 es de la forma
( 1)n + r con r 2 J. Entonces todo el determinante es de la forma
( 1)n + s = 0 donde s 2 J.
 2.4. EL NÚMERO DE CLASE 47

Lo anterior implica que ( 1)n = s es un elemento de J, lo que

significa que J = 2K . ⇤
Proposición 2.41. Sean I, J ✓ 2K ideales y supóngase que 2 2K es
tal que I = JI. Entonces 2K = J.

Demostración. Primero demostraremos que I ✓ I con 2 J. Sea

↵ 2 I. Entonces ↵ 2 IJ = I. Puesto que los elementos de I son de la
forma ↵0 con ↵0 2 I, tenemos ↵ = ↵0 para algún ↵0 2 I. Debido a
esto = ↵0 2 I para todo ↵ 2 I. Entonces I ✓ I.

Usando el Lema 2.39 se observa que 2 2K , y entonces 2 2K .

1
De aquı́ se sigue que J ✓ 2K y por esto J ✓ 2K . Observemos que
1 1
J es un ideal de 2K . En efecto, un elemento de J es de la forma
1 1 1
con 2 J. Para q 2 2K , se tiene ( )q = ( q) y como 2 J,
entonces q 2 J, por lo que ( 1 )q 2 1
J, ası́ 1
J es un ideal de 2K .
1 1
Por hipótesis I = IJ, ası́ que I = JI. Por el Lema 2.40 J = 2K
y por lo tanto J = 2K . ⇤
A continuación definiremos una relación de equivalencia entre
los ideales 6= 0 del anillo de enteros, la cual dará lugar a un grupo.
Dos ideales I, J ✓ 2K son equivalentes (I ⇠ J) si existen dos ideales
principales ↵2K , 2K ✓ 2K tales que (↵2K )I = ( 2K )J. Demostraremos
que esta relación es de equivalencia. Las clases de equivalencia se
llaman clases de ideales.

Proposición 2.42. ⇠ es de equivalencia.

Demostración. Sean I, J, K ✓ 2K ideales. La reflexividad y la
simetrı́a son evidentes. Para la transitividad supongamos que I ⇠ J
y J ⇠ K. Entonces existen ideales principales, ↵1 2K , 1 2K , ↵2 2K y 2 2K ,
tales que (↵1 2K )I = ( 1 2K )J y (↵2 2K )J = ( 2 2K )K. Multiplicando por ↵2 la
primera igualdad y por 1 la segunda tenemos (↵2 ↵1 2K )I = (↵2 1 2K )J,
( 1 ↵2 2K )J = ( 1 2 2K )K. Por lo tanto (↵2 ↵1 2K )I = ( 1 ↵2 2K )J =
( 1 2 2K )K, lo que implica que I ⇠ K, y por lo tanto la relación es
transitiva. ⇤
Definición 2.43. Sea Cl(K) = {I : Ies ideal 6= 0 de 2K }. El número de
clase de K es la cardinalidad de Cl(K) el cual denotaremos como hK .

Vamos a mostrar que hK es finito, pero antes necesitaremos del

célebre Lema de Hurwitz.

Lema 2.44. [Lema de Hurwitz] Sea K un campo de números. Existe

un entero positivo M, el cual depende únicamente del campo K y con
48 2. NÚMEROS ALGEBRAICOS

la siguiente propiedad: dados ↵, 2 2K con 6= 0, existe otro entero

racional 1  t  M, y ! 2 2K tal que
|N(t↵ ! )| < |N( )|.
↵
Demostración. Sea = 2 K. Es suficiente probar que para todo
2 K existe M tal que |N(t !)| < 1 para algún 1  t  M y
un ! 2 2K . Esto es cierto pues |N(t↵ ✓ ! )| < ◆ |N( )| si✓y ◆
sólo si
|N(t↵ ! )| |N( )| t↵ !
< . Por lo tanto N < N si y
N| | N| |
sólo si |N(t !)| < 1.
n
X
Sea {!1 , . . . , !n } una base entera de 2K . Si 2 K, = i !i con
i=1
i 2 Q. El valor absoluto de la norma de cumple con
0 1
n
Y Xn
@ (j) A
|N( )| = i !i
i=1 j=1
0 1
n
Y Xn
@ (j) A
 i !i
i=1 j=1
n X
Y n ⇣ ⌘
= | i | !(j)
i
(1.2)
i=1 j=1
n ✓
n X
Y ◆
(j)
 max | i | !i
i
i=1 j=1
2 !3 ✓
Yn n
X ◆n
(j)
=4 !i 5 max | i |
i
j=1 i=1

Definimos !
n
Y n
X (j)
C= !i ,
j=1 i=1
p
C y M = mn .
n
y m al menor número entero tal que m >
n
X
Sea 2 K. Entonces = i !i . Escribimos i = ai + bi donde
i=1
n
X n
X
ai 2 Z y 0  bi < 1. Si [ ] = ai !i y { } = bi !i entonces
j=1 i=1
n
X n
X n
X n
X
=[ ]+{ }= ai ! i + bi !i = (ai !i + bi !i ) = i !i .
j=1 i=1 j=1 j=1
 2.4. EL NÚMERO DE CLASE 49

Además, como ai 2 Z y {!1 , . . . , !n } es una base entera, entonces

[ ] 2 2K y { } tiene coordenadas entre 0 y 1.
Sea ÿ : K ! Rn definido como ÿ( ) = ( 1 , 2 , . . . , n ). Observemos
que
ÿ({ }) = (b1 , . . . , bn )
está en un cubo unitario de dimensión n. Dividimos a este cubo en mn
subcubos de lado 1/m.
Por el principio de Dirichlet, existen k < k0 con 1  k, k0  mn + 1
tales que ÿ(k ) y ÿ(k0 ) están en el mismo subcubo.
Si t = k0 k, entonces t = k0 k = t[ ]+ {k0 } {k }. Observemos
que 0
= {k } {k } tiene coordenadas en valor absoluto menores o
0

iguales a 1/m pues están en el mismo subcubo. Además

1  k  mn + 1 y 1  k0  mn + 1, (1.3)

1 k0 mn 1 (1.4)
n
Sumando las desigualdades (1.3) y (1.4) se obtiene m  k k0 
m . Por lo tanto |t|  mn = M. Tambı́en notemos que ! = t[ ] 2 2K
n

pues t es un entero y [ ] un entero algebraico.

Por (1.2) tenemos que
|N( )|  C max{ i }n  C(1/m)n = 1
y como t = ! + , entonces =t ! y finalmente |N(t !)| 
|N( )|  1 que es el resultado buscado. ⇤
El concepto de número de clase es tal vez, uno de los más
importantes en teorı́a de números algebraicos.

Teorema 2.45. hK < 1.

Demostración. La idea de la demostración consiste en probar que
un ideal dado, sólo puede ser equivalente a uno de una lista finita de
ideales.
Sea I un ideal de 2K . Para cada base entera en I se tiene que
N(↵) 2 Z para todo ↵ 2 I. Por lo tanto, |N(↵)| 0. Elegimos 2 I,
6= 0, tal que |N( )| es mı́nimo. Por el Lema de Hurwitz, existe t con
1  t  M y M como se definió en el mismo Lema de Hurwitz, de tal
forma que para ↵ 2 I se cumple
|N(t↵ ! )| < |N( )|,
para algún ! 2 2K . Puesto que |N( )| es mı́nimo, entonces N(t↵ ! ) =
0 y ası́ t↵ = ! . Como 1  t  M, entonces de la igualdad
1
t↵ = ! se tiene que M!I ✓ 2K . Es claro que J = M!I es un
50 2. NÚMEROS ALGEBRAICOS

1
ideal y J ✓ 2K . Entonces J = M!I = M!I y por tanto, los ideales
I, J están relacionados. Notemos que cualquier elemento de J es de la
1
forma M! , para 2 I, en particular, si = temenos que M! 2 J.
Si I 6= J, entonces 2K /I 6= 2K /J. Como 2K /hM!i es finito, solamente hay
un número finito de subanillos de 2K /hM!i, entonces solamente hay un
número finito de ideales que contienen a hM!i que son los mismos que
tienen a M! como elemento.
Sean J1 , J2 , . . . , Jr los ideales de 2K tal que M! 2 Ji con 1  i  r.
Hemos probado que I ⇠ Js para algún 1  s  r. Por lo tanto hay un
número finito de clases de ideales.
⇤
Corolario 2.46. Para todo ideal I de 2K , existe un entero 1  k  hK
tal que I k es un ideal principal.
Demostración. Dado un ideal I de 2K , consideremos el conjunto
de ideales
( = {I i : 1  i  hK + 1}.
Por el principio de Dirichlet, existen ideales I i , I j tales que I i ⇠ I j , con
1  i < j  hF + 1. Ası́ que, para ciertos ↵, 2 2K \ {0} tenemos:
(↵2K )I i = ( 2K )I j (1.5)
j i
Mostraremos que I es principal. Multiplicando ambos lados de la
1
igualdad (1.5) por obtenemos que
↵ i
I = Ij .

↵ ↵
Por lo anterior I j ✓ I i , es decir, I i = I j ✓ I i . Si = , por el Lema
2.39, 2 2K . Como I i = I j = I j i I i , entonces por la Proposición 2.41,
2K = I j i y por lo tanto, si k = j 1, I k es un ideal principal. ⇤
Sea Cl(K) = {I : I 6= {0} es ideal de 2K }. Definimos un producto en
Cl(K): para I, J 2 Cl(K) tenemos I J = IJ. La operación está bien definida
pues si I = I 0 y J = J0 , entonces existen ↵, ↵0 , , 0 2 2K tales que
(↵2K )I = (↵0 2K )I 0 y ( 2K )J = ( 0 2K )J0 .
Ası́ (↵ 2K )IJ = (↵0 0 2K )I 0 J0 , y por lo tanto, I J = I 0 J0 . Notemos que este
producto es asociativo pues el producto de ideales lo es. La clase 2K
satisface que I 2K = I. Puesto que cualesquiera dos ideales principales
están relacionados y por tanto h↵i = 2K , del corolario 2.46 I k 1 es el
inverso de I. Como el anillo de enteros es conmutativo, entonces Cl(K)
es un grupo abeliano finito. Por el Teorema de Lagrange y el Corolario
2.46, I hF es un ideal principal para cualquier I.
 2.5. FACTORIZACIÓN EN UN CAMPO DE NÚMEROS 51

Definición 2.47. El grupo Cl(K) lo llamaremos el grupo de clases

de ideales de K.

Corolario 2.48. hK = 1 si y sólo si 2K es un dominio de ideales

principales.

Demostración. Sea I 6= {0} ideal de 2K . Si hK = 1, entonces para

ciertos ↵, 2 2K se cumple que ↵I = 2K , ası́ I = ↵ 1 2K . Por
lo tanto ↵ 1 2 I y ↵ 1 I ✓ I. Por el Lema 2.39 ↵ 1 2 2K y
I = ↵ 1 2K = h↵ 1 i. Recı́procamente, sean I, J dos ideales de 2K .
Entonces I = 2K , J = 2K para ciertos , 2 2K . Como h iI = h iJ,
entonces cualesquiera dos ideales 6= {0} de 2K están relacionados, por
lo tanto hK = 1. ⇤

2.5. Factorización en un campo de números

p
Ya vimos en el caso de Z[ 10] que para encontrar los ideales primos
basta con factorizar los ideales de la forma hpi para todos los primos
p de Z. Lo mismo sucede en todos los anillos de enteros. Ya vimos
cómo se factorizan estos ideales en el caso de los campos cuadráticos.
El siguiente resultado nos ayuda a resolver este problema de una forma
mucho más general.

Teorema 2.49. [Teorema de Kummer] Sean K = Q(↵) un campo de

números de grado n con
2K = Z[↵] = Z + ↵Z + ↵2 Z + · · · + ↵n 1
Z,
p un primo en Z y f (x) el irreducible de ↵ en Q y f (x) el polinomio f
considerado en Z/pZ usando el mapeo natural. Entonces f (x) se puede
factorizar como
f (x) = g1 (x)e1 · · · gr (x)er ,
donde g1 (x), . . . , gr (x) son polinomios mónicos irreducibles distintos en
Z/pZ[x] y e1 , . . . , ee son enteros. Para cada i tomemos un polinomio
gi (x) en Z[x] tal que el mapeo natural manda gi (x) a gi (x), y definamos
Pi = hp, gi (↵)i.
Todos los Pi son ideales primos con norma N(Pi ) = pgr(gi ) , y además
podemos factorizar al ideal hpi como
hpi = P1e1 · P2e1 · · · Prer .
En los campos cuadráticos, podemos aplicar el resultado anterior y
obtener:

p ón 2.50. Sea p 2 Z un primo impar y

Proposici K el discriminante
de K = Q( d).
52 2. NÚMEROS ALGEBRAICOS

i) Si p - K y la congruencia x2 ⌘ d (mod p) tiene solución en

Z, entonces hpi = P1 P2 donde P1 , P2 son dos ideales primos
distintos.
ii) Si p - K y la congruencia x2 ⌘ d (mod p) no tiene solución en
Z, entonces hpi es un ideal primo.
iii) Si p | K entonces hpi = P 2 , para un ideal primo P.

Proposición 2.51. Sea p = 2 y K el discriminante de K.

i) Si 2 - K y d ⌘ 1 (mod 8), entonces h2i = P1 P2 donde P1 , P2 son
dos ideales primos distintos.
ii) Si 2 - K y d ⌘ 5 (mod 8), entonces h2i es primo.
iii) Si 2 | K , esto es, d ⌘ 2, 3 (mod 4), entonces h2i = P 2 donde P
es un ideal primo.

Para demostrar estos dos resultados, podemos usar el hecho de

que la base de un campo cuadrático es de la forma 1, ↵, y por lo tanto,
cumple la hipótesis del Teorema de Kummer.
Podemos dar los generadores de los ideales primos que nos indican
las dos proposiciones anteriores. Por ejemplo, si d ⌘ 1 (mod 8),
* p +* p +
1+ d 1 d
h2i = 2, 2, ,
2 2
p
y si d ⌘ 2 (mod 4), h2i = h2, di2 ; y finalmente, si d ⌘ 3 (mod 4)
entonces
p
h2i = h2, 1 + 2i2 .
En el caso de los primos impares, si existe a 2 Z tal que a2 ⌘ d
(mod p), entonces
p p
hpi = hp, a + dihp, a di.

Y si p | K entonces p | d y
p
hpi = hp, di2 .
p p
Por ejemplo, el anillo de enteros de K = Q( 10) es Z[ 10]. En 2K ,
p p
h2i = h2, 10i2 , h5i = h5, 10i2 .
Si p = 3, 12 ⌘ 10 (mod 3), entonces
p p
h3i = h3, 1 + 10ih3, 1 10i.

Finalmente, x2 ⌘ 10 (mod 7) no tiene solución, entonces h7i es un ideal

primo.
Ahora consideremos el campo K = Q(⇠), donde ⇠ = e2⇡i/5 . Ya
mencionamos que una base entera de K es 1, ⇠, ⇠2 , ⇠3 , por lo que
 2.5. FACTORIZACIÓN EN UN CAMPO DE NÚMEROS 53

podemos utilizar el Teorema de Kummer. El polinomio irreducible de ⇠

es
f (x) = x4 + x3 + x2 + x + 1.
Ası́, si queremos encontrar la factorización de h2i, debemos de
factorizar f (x) en Z/2Z[x]. En este caso, el polinomio sigue siendo
irreducible, por lo tanto h2i es un ideal primo. Lo mismo sucede con
h3i. Por otro lado, en Z/5Z[x], el polinomio se factoriza como:
x4 + x3 + x2 + x + 1 = (4 + x)4 .
El teorema nos dice que, en este caso,
h5i = h5, 4 + ⇠i4 .
Por otro lado, en Z/11Z[x]
x4 + x3 + x2 + x + 1 = (2 + x)(6 + x)(7 + x)(8 + x),
entonces
h11i = h11, 2 + ⇠ih11, 6 + ⇠ih11, 7 + ⇠ih11, 8 + ⇠i.
En Z/19Z[x]
x4 + x3 + x2 + x + 1 = (1 + 5x + x2 )(1 + 5x + x2 ),
por lo que
h19i = h1 + 5⇠ + ⇠2 ih1 + 15⇠ + ⇠2 i.
p
Ahora hagamos algunos ejemplos en el anillo de enteros de
p Q(p 5), 3

3 3
que como ya dijimos, una base entera de este campo es 1, 5, 25,
y cumple las condiciones
p del Teorema de Kummer. El polinomio
5 es x3
3
irreducible de 5, ası́ que tenemos que factorizar este
polinomio en algunos campos finitos para poder factorizar los primos
de Z. Por ejemplo, módulo 2
x3 5 = (1 + x)(1 + x + x2 )
y por lo tanto
p
3
p
3
p
3
h2i = h2, 1 + 5ih2, 1 + 5+ 25i.
3 3
En Z/3Z, x 5 = (1 + x) por lo que
p
5i3 .
3
h3i = h3, 1 +
Módulo 7, el polinomio x3 5 es irreducible, entonces h7i es un ideal
primo. Y en Z/13Z[x] el polinomio se factoriza
x3 5 = (2 + x)(5 + x)(6 + x),
ası́ que
p
3
p
3
p
3
h13i = h13, 2 + 5ih13, 5 + 5ih13, 6 + 5i.
54 2. NÚMEROS ALGEBRAICOS

2.6. Grupo de unidades en anillos de enteros de campos cuadráticos

En esta sección vamos a estudiar el grupo depunidades del anillo
de enteros de un campo cuadrático. Sea K = Q( d). El primer caso
que estudiaremos será cuando d es negativo. En este caso el grupo de
unidades es un grupo finito. Posteriormente veremos lo que sucede en
el caso d positivo. Iniciamos dando un criterio para identificar unidades
en un anillo de enteros.
p
Proposición 2.52. Sea K = Q( d) y ↵ 2 2K . Entonces ↵ es una
unidad si y sólo si |N(↵)| = 1.

pDemostración. La demostración es igual que la que dimos en

Z[ 10], por lo que se deja como ejercicio. ⇤

Ya que tenemos un criterio para saber si un entero algebraico es

unidad, procederemos a encontrar el grupo de unidades de los anillos
de enteros que nos interesan. Empezaremos con el caso d < p0 y libre
de cuadrados. Denotemos al grupo de unidades de 2K = Q( d) como
Ud .

Proposición 2.53. Sea d < 0 un entero racional libre de cuadrados.

Entonces
i) U 1 = {±1, ±i}. p
2 1+ 3
ii) U 3 = {±1, ±!, ±! } donde ! = .
2
iii) Ud = {±1} para d = 2 ó d < 1.

Demostraci
p ón. En el caso d ⌘ 2, 3 (mod 4) sabemos que 2K =
Z + Z d,ppor lo que cualquier unidad ↵ se puede escribir como
↵ = a + b d con a, b 2 Z. Si d = 1, sabemos que el valor absoluto de
la norma de ↵ es igual a 1 si y sólo si a2 + b2 = 1. Las soluciones enteras
de esta ecuación son a = ±1, b = 0 y a = 0, b = ±1. Por lo tanto,

U 1 = {±1, ±i}.

Si d < 1, tenemos que a2 + |d|b2 = 1. Ası́ que necesariamente

b = 0. Por lo tanto, las únicas soluciones son a = ±1, b = 0. Esto
justifica la afirmación iii) cuando d ⌘ 2, 3 !
(mod 4).
p
1+ d
Si d ⌘ 1 (mod 4), 2K = Z + Z . Entonces las unidades las
2
podemos escribir como
p
a+b d
↵=
2
con a, b 2 Z y a ⌘ b (mod 2). Ahora, |N(↵)| = 1 si y sólo si a2 + |d|b2 = 4.
 2.6. GRUPO DE UNIDADES EN ANILLOS DE ENTEROS DE CAMPOS CUADRÁTICOS 55

Si d = 3 tenemos que resolver la ecuación, a2 + 3b2 = 4. Las únicas

soluciones enteras son a = ±2, b = 0 y a = ±1, b = ±1. Si a = ±2, b = 0
entonces ±1 son unidades. Si a = 1 y b = 1, entonces
p
1+ 3
!=
2

es unidad y por lo tanto ±!, ±!2 2 U 3 .

Si d < 3 tenemos la igualdad a2 + |d|b2 = 4. Como |d| > 4,
necesariamente b = 0. Por lo tanto a = ±2, lo que nos da el resultado
iii) con d ⌘ 1 (mod 4). ⇤ ⇤

Notemos que en los tres casos, el grupo de unidades es cı́clico.

Ahora encontraremos el grupo de unidades de un anillo de enteros
de un campo cuadrático real. Estos dependen de una unidad a la que
llamaremos unidad fundamental.
p
Proposición 2.54. Sea K = Q( d) con d > 0 y libre de cuadrados.
Existe una unidad ✏ > 1 (unidad fundamental) tal que U(2K ) = {±✏n :
n 2 Z}.

Demostración. Esta demostración se deja como ejercicio. Se deben

de seguir los siguientes pasos.
i) Vamos a dar por hecho que la Ecuación de Pell, x2 dy2 = 1,
tiene al menos una solución en Z con x 1 y y 1 (ver [37],
pag. 88).
ii) Usando estos valores,
p podemos garantizar que existe una
unidad M = x + y d que es mayor que 1. p
iii) Demostrar que en el anillo de enteros de Q( d) hay un número
finito de elementos ↵ tales que p M  ↵  M.
p a+b d
iv) Sea µ = a + b d ó µ = una unidad. Pruebe que
p p 2p
a b d, a + b d y a b d también son unidades (en
el segundo caso, dividiendo entre 2). Además, pruebe que
exactamente una de éstas es mayor que 1.
v) Usando la información anterior, podemos asegurar que hay un
número finito de unidades µ tales que 1 < µ  M.
vi) Sea ✏ la menor de las unidades que se encuentran en este
intervalo (¿Por qué existe una mı́nima?). p
vii) Use el procedimiento que se usópen Z[ 10] para demostrar
que en el anillo de enteros de Q( d), cualquier unidad es de
la forma ±✏n (✏ es la unidad fundamental).
⇤
56 2. NÚMEROS ALGEBRAICOS

K Unidad fundamental de 2K
p p
Q(p2) 1 + p2
Q(p3) 2 + p3
Q(p 7) 8 + 3p7
Q(p11) 10 + p
3 11
Q(p15) 4 + 15 p
Q(p22) 197 + 42 p 22
Q(p31) 1520 + 273 31p
Q( 94) 2143295 + p221064 94
p 13 + 165
Q( 165)
p 2 p
Q( 166) 1700902565 + 132015642 22
Capítulo 3
Campos cuadráticos de funciones

En este capı́tulo estudiaremos otra clase de campos cuadráticos,

similares a los campos de números. Nuestro objetivo será mostrar
herramienta suficientes para poder encontrar todas las factorizaciones
de un elemento en el anillo de enteros de alguno de estos campos.

Definición 3.1. Consideremos un campo k. El campo de funciones

racionales en una variable con coeficientes en k se define como
⇢
p1 (x)
F = k(x) = : p1 (x), p2 (x) 2 k[x], p2 (x) 6= 0 .
p2 (x)
Al campo k le llamaremos el campo de constantes.

En otras palabras, los elementos de un campo de funciones

racionales son cocientes de polinomios con constantes en un campo.

Definición 3.2. Un campo de funciones algebraicas K es una ex-

tensión finitamente generada sobre un campo de funciones racionales F.

Definición 3.3. K es un campo de funciones congruente en una

variable si, con la notación anterior, k = Fq el campo finito con q
elementos, F = Fq (x) y K es una extensión finita de F.

Observemos que la definición de campo de funciones congruentes

es similar a la de campo de números, usando al campo de funciones
racionales en lugar del campo de los números racionales. La razón por
la que nos concentraremos en esta familia de campos de funciones es
debido a que existe un gran parecido con los campos de números.
Si F es un campo de funciones racionales denotaremos por 2F al
anillo de polinomios en una variable de F, es decir 2F = Fq [x].

Definición 3.4. Sea K un campo de funciones congruente sobre

un campo de funciones racionales F. El anillo de enteros de K es la
cerradura entera de 2F en K, es decir, los elementos ↵ 2 K tales que
existe un polinomio mónico f (T ) con coeficientes en 2F tal que f (↵) = 0.
A este anillo lo denotaremos con 2K .

57
58 3. CAMPOS CUADRÁTICOS DE FUNCIONES

Ejemplo 3.5. Sea F = F3 (x). Algunos elementos de este campo son

2x2 + x + 2 1
x2 + x + 1, y .
x3 + 2x + 1 x5 + x4 + x2 + 2x
Consideremos el polinomio f (T ) = T 2 + 2x + 2 con coeficientes en 2F .
Una raı́z de este polinomio es la función
p
y= x + 1,
ası́ que el campo
K = F(y)
es una extensión finita sobre F, es decir, K es un campo de funciones
congruente. Los elementos
p
3 2
p x2 + x+1
x + x + 2x + (x + 1) x + 1 y p
2x3 +x+2+ (x4 + x2 + 2) x + 1
están en K.
Ejemplo 3.6. Sea F = F5 (x) y consideremos el polinomio
f (T ) = T 4 + xT 3 + (3x2 + 1)T 2 + 4x5 T + x2 + 4x + 2,
y sea y una función tal que f (y) = 0. Observemos que los coeficientes
del polinomio f (T ) son, a su vez, polinomios con variable x y
coeficientes en F5 . Ası́, el coeficiente del término de grado 2 de
f (T ) es 3x2 + 1 y el término independiente es x2 + 4x + 2.
Tomemos el campo K = F(y). Como la función y es raı́z de un
polinomio de grado 4, entonces la extensión K/F es una extensión de
grado menor o igual a 4. De esta forma, K es un campo de funciones
congruente.

Nos enfocaremos en casos similares al que tenemos en el Ejemplo

3.5, es decir, en los campos cuadráticos.
Una propiedad importante de los anillos de polinomios con
coeficientes en un campo es la siguiente:
Proposición 3.7. Sea F un campo. Entonces F[x] es un dominio de
factorización única.

3.1. Campos cuadráticos de funciones

En la definición que sigue, el– lector podrá notar alguna similitud
con los campos de números cuadráticos.
Definición 3.8. Un campo de funciones cuadrático es un campo
de funciones congruente K sobre un campo de funciones racionales
F = Fq (x) tal que q es impar y el grado de la extensión K/F es 2.
Además, agregaremos la condición de que los campos de constantes de
K y F son iguales.
 3.1. CAMPOS CUADRÁTICOS DE FUNCIONES 59

En la definición anterior pedimos que los campos de constantes de

K y F sean iguales debido a que, por ejemplo, la extensión de campos
K/F con F = F2 (x) y K = F4 (x) es una extensión de grado 2 y además
K también es un campo de funciones racionales. De esta forma, la
condición sirve para que la intersección de los campos de funciones
racionales y los campos de funciones cuadráticos sea vacı́a.
La razón por la que agregamos la condición de que el campo de
constantes sea de caracterı́stica impar es debido a que si q = 2r entonces
la extensión K/F no es una extensión de Galois. Sin embargo, el estudio
de campos de funciones de caracterı́stica 2 también es interesante, pero
en el caso de los campos cuadráticos suele hacerse por separado.
El Ejemplo 3.5 es un campo de funciones cuadrático. En ese caso
consideramos el polinomio d(x) = x + 1 y agregamos una raı́z de
p(T ) = T 2 d(x),
es decir p
y= d(x).
Un elemento genérico de K = F(y) es de la forma a(x) + b(x)y con a(x)
y b(x) polinomios con coeficientes en F3 .
Todo campo cuadrático de funciones es de esta forma, es decir,
tomamos d(x) 2 2F un polinomio
p no constante libre de cuadrados.
Definimos el elemento y = d(x) y K = Fq (x)(y).

Proposición 3.9. La cerradura entera de 2F en K es

2K = 2F + y2F .
Demostración. Sea ↵ = a(x) + b(x)y 2 K. El polinomio irreducible
de ↵ con coeficientes en F es
p(T ) = T 2 2a(x)T + a(x)2 d(x)b(x)2 .
Notemos que el polinomio anterior tiene dos variables, T y x.
Recordemos que los elementos de K y F son funciones que están en
términos de la variable x, mientras que T es la variable del polinomio
p(T ), donde sustituimos ↵ obteniendo p(↵) = 0. Para que ↵ esté en la
cerradura entera de 2F en K, entonces los coeficientes de p(T ) deben
de estar en 2F . Como 2 es un elemento distinto de cero del campo
de constantes Fq , entonces 2a(x) 2 2F si y solamente si a(x) 2 2F
multiplicando por 2 1 . Ahora, a(x)2 d(x)b(x)2 2 2F si y solamente
b1 (x)
si d(x)b(x)2 2 2F . Supongamos que b(x) = con b1 (x), b2 (x)
b2 (x)
polinomios con coeficientes en Fq , primos relativos entre sı́. Para que
d(x)b(x)2 sea un polinomio, es necesario que todo lo que está en el
denominador se cancele con una parte del numerador. Supongamos
que c(x) 2 2F es un polinomio irreducible que divide a b2 (x), entonces
60 3. CAMPOS CUADRÁTICOS DE FUNCIONES

c(x)2 | d(x)b1 (x)2 y como b1 (x) y b2 (x) son primos relativos, entonces
c(x)2 | d(x), lo que no es posible pues d(x) es libre de cuadrados. Por lo
tanto, a(x), b(x) 2 2F . ⇤
Ası́, el anillo de enteros de K es 2K = 2F + y2F . Al igual que en el
caso de los campos cuadráticos sobre Q, podemos definir la traza y la
norma de un elemento de K como
tr(a(x) + b(x)y) = 2a(x), N(a(x) + b(x)y) = a(x)2 d(x)b(x)2 ,
funciones que satisfacen las mismas propiedades que fueron enunci-
adas en la Proposición 2.14.
p
Ejemplo 3.10. Sea F = F3 (x), d(x) = x3 + x = x(x2 + 1), y =d(x) y
K = F(y). El siguiente polinomio tiene dos factorizaciones distintas en
irreducibles:
x2 + x = x(x2 + 1) = y2 .
Por lo tanto, 2K no es un DFU.

El ejemplo pvimos en el primer capı́tulo en

p anterior es similar al que
el anillo Z[ 10], donde 10 = (2)(5) = ( 10)2 . El lector podrá observar
que nos encaminamos a usar herramientas de factorización similares a
las estudiadas en los anillos de enteros de campos de números.

3.2. Factorización en campos cuadráticos de funciones

La factorización de los ideales en este caso es básicamente idéntica
a la que tenemos en el caso de los campos de números. A partir de
ahora supongamos que F = Fq (x) es un campo de funciones racionales
p
sobre un campo finito y que K = F( d(x)) es un campo cuadrático de
funciones con d(x) libre de cuadrados.

Teorema 3.11. Sea K un campo cuadrático de funciones y 2K su

anillo de enteros. Todo ideal distinto de cero de 2K se puede factorizar
de forma única como producto de ideales primos.

La definición de norma de un ideal I ✓ 2K es distinta a la de su

equivalente en campos de números. Sea
J = hN(↵) : ↵ 2 I i,
es decir, el ideal de 2F generado por las normas de los elementos del
ideal I. Como 2F es un anillo de ideales principales, entonces J es un
ideal principal. La norma de I se define como el único generador de J
que es un polinomio mónico. Aunque está definido de forma distinta,
esta norma es, de cierta forma, equivalente a la que dimos en el caso de
los campos de números, pues, si definimos de forma análoga el ideal J,
en el caso de los campos de números J es generado por la norma de I.
 3.2. FACTORIZACIÓN EN CAMPOS CUADRÁTICOS DE FUNCIONES 61

p
Ejemplo 3.12. Sea F = F5 (x) y K = F( 2x + 1). Para encontrar la
norma del ideal hxi es necesario conocer el ideal
J = hN(↵) : ↵ 2 I i.
Los elementos de hxi son de la forma ↵ = x para algún 2 2K y
2
N(↵) = x N( ).
Toda norma es un múltiplo de x2 y x2 es un elemento del ideal J, por
lo que J = hx2 i. Los generadores de J son: x2 , 2x2 , 3x2 y 4x2 . De éstos,
el único que es mónico es x2 , ası́ que
N(hxi) = x2 .
p
Ahora consideremos el ideal I2 = h 2x + 1i. De nuevo,
J = hN(↵) : ↵ 2 I2 i
p
y cada ↵ 2 I2 es de la forma ↵ = 2x + 1 con norma N(↵) = (2x+1)N( ).
Ası́ que toda norma es múltiplo de 2x+1 y este elemento está en J, por lo
que J = h2x + 1i. Los generadores de J se obtienen multiplicando 2x + 1
por las constantes distintas de cero, es decir: 2x + 1, 2(2x + 1) = 4x + 2,
3(2x + 1) = x + 3 y 4(2x + 1) = 3x + 4. De éstos, el único generador
mónico es x + 3, por lo tanto,
p
N(h 2x + 1i) = x + 3.

La norma de un ideal principal está relacionada con la norma de

sus generadores.

Proposición 3.13. Si un ideal de 2K es principal, digamos I = h↵i,

entonces N(I) = aN(↵) para algún a 2 Fq .

Ejemplo 3.14. Retomemos los ideales del Ejemplo 3.12. En el primer

caso tenemos N(x) = x2 , N(hxi) = x2 y N(x) = N(hxi). Por otro lado,
p p p
N( 2x + 1) = ( 2x + 1)2 = 3x + 4 y N(h 3x + 4i) = x + 3,
de donde x + 3 = 2(3x + 4), lo que satisface la proposición anterior.

Otra propiedad importante de la norma que también es valida en el

caso de los campos de funciones es que es multiplicativa.

Proposición 3.15. Sean K un campo de funciones, 2K su anillo de

enteros. Si J1 , J2 son ideales de 2K , entonces N(J1 J2 ) = N(J1 )N(J2 ). Si
↵, 2 2K , entonces N(↵ ) = N(↵)N( ).

Al igual que en el caso de los campos de números, para encontrar

todos los ideales primos de 2K , basta con extender los ideales primos
de 2F hasta 2K y factorizarlos. La siguiente proposición nos ayuda a
identificar si un primo en 2F se ramifica, es inerte o se descompone en
62 3. CAMPOS CUADRÁTICOS DE FUNCIONES

2K . La regla es la misma que siguen los campos cuadráticos en el caso

en el que están sobre el campo Q.
p
Proposición 3.16. Sean F = Fq (x), 2F = Fq [x], K = F( d(x)) con
d(x) 2 2F libre de cuadrados y 2K la cerradura entera de 2F en K.
i) Si no existe a(x) 2 2F tal que a(x)2 ⌘ p(x) (mod d(x)), entonces
p(x) es inerte, es decir hp(x)i es un ideal primo en 2K .
ii) Si p(x) | d(x), entonces p(x) se ramifica, esto es hp(x)i = P 2
para algún ideal primo P.
iii) Si p(x) - d(x) y existe a(x) 2 2F tal que a(x)2 ⌘ p(x)
(mod d(x)), entonces p(x) se descompone, es decir hp(x)i = P1 P2
para dos ideales primos distintos.

La demostración es similar a la del resultado análogo en campos

de números en la Proposición 2.50. En el curso de la prueba se da
explı́citamente la factorización del ideal hp(x)i. Si p(x) se descompone,
entonces
p p
hp(x)i = hp(x), a(x) + d(x)ihp(x), a(x) d(x)i

y si se ramifica entonces
p
hp(x)i = hp(x), d(x)i2 .
p
Ejemplo 3.17. Sean F = F5 (x) y K = F( x + 1). El único ideal
ramificado de K es
p p
hx + 1i = hx + 1, x + 1i2 = h x + 1i2 .

El polinomio irreducible x2 + x + 1 se descompone en K, pues

(3x)2 ⌘ 4x2 + (x2 + x + 1) ⌘ x + 1 (mod x2 + x + 1),

ası́ que
p p
hx + 1i = hx + 1, 3x + x + 1ihx + 1, 3x x + 1i.

Finalmente, el ideal hx3 + 2x2 + 1i es un ideal primo en 2K , pues los

cuadrados módulo x3 + 2x2 + 1 que tienen residuo de grado 1 son:

x, x + 2, x + 4, 2x + 1, 2x + 2, 3x + 3, 3x + 4, 4x, 4x + 1, 4x + 3.

El ideal no se descompone pues x + 1 no es el producto de una

constante por un cuadrado. La razón por la que no se ramifica es
que x3 + 2x2 + 1 - x + 1.
 3.3. UNIDADES 63

3.3. Unidades
Los campos cuadráticos de funciones se clasifican en tres tipos.
Los campos imaginarios ramificados, los campos imaginarios inertes y
los campos reales. Los términos ramificado e inertes se refieren a la
descomposición del primo al infinito, un concepto que no trataremos
en este texto.
p
Definición 3.18. Sea K = F( d(x)) con d(x) libre de cuadrados:
i) K es un campo cuadrático imaginario ramificado si deg(d(x))
es impar.
ii) K es un campo cuadrático imaginario inerte si deg(d(x)) es par
y el coeficiente del término de grado mayor de d(x) no es un
cuadrado en Fq .
iii) K es un campo cuadrático real si deg(d(x)) es par y el
coeficiente del término de grado mayor de d(x) es un cuadrado
en Fq .

Supongamos que el coeficiente del término lı́der de d(x) es

a. En el caso iii), a = b2 para algún b 2 Fq , si multiplicamos
p p
b 1 d(x) = b 2 d(x). De esta forma, podemos cambiar d(x) por
un polinomio mónico. En el caso ii) esto
p no sucede. No existe ninguna
constante que al multiplicarla por d(x) nos quede un polinomio
mónico en el radicando.

Ejemplo 3.19. Sea F = F9 (x). Los elementos del campo finito F9

son: 0, 1, 2, g, g + 1, g + 2, 2g, 2g + 1, 2g + 2, donde g es un elemento
tal que g2 = g + 1 y 2 + 1 = 0.
p
i) El campo K1 = F( x3 + x + g) es un campo cuadrático imag-
inario ramificado, pues el grado del radicando es impar. El
polinomio x3 + x + g es irreducible en F9 [x].
ii) Consideremos la expresión (2g + 1)x4 + (2g + 2)x3 + (g + 2)x2 +
2x + 2g + 2 = (2g + 1)(x + 2g + 1)(x3 + 2x + 1). Como 2g + 1 no
es un cuadrado en F9 , entonces
p
K2 = F( (2g + 1)x4 + (2g + 2)x3 + (g + 2)x2 + 2x + 2g + 2)
es un campo cuadrático imaginario inerte.
iii) En el anillo F9 [x] tenemos
2x2 + 2gx + 2g + 1 = 2(x + 1)(x + g + 2),
ası́ que 2x2 + 2gx + 2g + 1 es libre de cuadrados. En el campo
Fq observamos que (g + 1)2 = 2, ası́ que 2 es un cuadrado. Sea
p p
K3 = F( 2x2 + 2gx + 2g + 1) = F( x2 + gx + g + 2). Éste es un
campo cuadrático real.
64 3. CAMPOS CUADRÁTICOS DE FUNCIONES

Al igual que en el caso de los campos de números, los cam-

pos cuadráticos imaginarios únicamente tienen un número finito de
unidades, mientras que los campos cuadráticos reales poseen una in-
finidad de elementos de este tipo.

Lema 3.20. Sea F = Fq (x) y K un campo cuadrático sobre F. Un

elemento µ 2 2K es una unidad si y solamente si N(µ) 2 F⇤q = Fq \ {0}.
p
Proposición 3.21. Sean F = Fq (x) y K = F( d(x)) para algún
d(x) 2 2F libre de cuadrados.
i) Si K es un campo cuadrático real, entonces existe una unidad
µ 2 2K tal que el grupo de unidades de 2K es U(2K ) = {aµm :
a 2 F⇤q , m 2 Z}.
ii) Si K es un campo cuadrático imaginario, entonces U(2K ) = F⇤q .

En el caso de los campos de funciones cuadráticos imaginarios, es

fácil ver que un elemento es unidad si y solamente si es una constante
distinta de cero. Si p
↵ = a(x) + b(x) d(x),
entonces
N(↵) = a(x)2 d(x)b(x)2 .
Si d(x) tiene grado impar, entonces el grado de a(x)2 es par y el de
d(x)b(x)2 es impar, por lo que el grado de la norma es igual al máximo
de los dos grados anteriores. Si b(x) 6= 0, entonces deg(N(↵)) 1, por
lo que N(↵) = a(x)2 . Ahora, si a(x) 62 Fq , entonces el grado de N(↵) 2.
Finalmente, 0 claramente no tiene inverso. Por lo tanto, las únicas
unidades de 2K son los elementos de F⇤q .
Si d(x) es par pero el coeficiente del término lı́der no es un
cuadrado, sı́ es posible que deg(a(x)2 ) = deg(d(x)b(x)2 ). Sin embargo,
deg(N(↵)) = max(deg(a(x)2 ), deg(d(x)b(x)2 )), ya que, si son iguales, los
términos de grado mayor no se eliminan pues el de a(x)2 es un cuadrado
y el de d(x)b(x)2 ) no lo es, ası́ que son distintos y no se cancelan. A
partir de aquı́ procedemos de forma similar al caso anterior.
El caso de los campos cuadráticos reales de funciones es similar a
los campos cuadráticos reales en campos de números. La demostración
es casi idéntica.

Ejemplo 3.22. Retomemos los campos K1 , K2 y K3 del Ejemplo 3.19.

Las unidades de K1 y K2 son los elementos distintos de cero de F9 , ası́
que, al igual que en el caso de los campos de números, un campo
cuadrático imaginariop
tiene un número finito de unidades.
En K3 , µ = x+2g+ x p + gx + g + 2 es una unidad, pues N(µ) = 2. Su
2
1
inverso es µ = 2x + g + x2 + gx + g + 2, que se obtiene multiplicando
el conjugado de µ por el inverso de 2 en Fq que es el mismo 2. µ es la
 3.4. GRUPO DE CLASES DE IDEALES 65

unidad fundamental de K3 y cualquier unidad de 2K se puede escribir

como aµm para algún a 2 F⇤q y algún m 2 Z. Esto, obviamente, implica
que F⇤q ✓ U(2K ).

3.4. Grupo de clases de ideales

Existen dos grupos de clases que suelen definirse en los campos
de funciones. El más usual en los libros es el grupo de clases de
divisores. Nosotros no trataremos este tema, pero recomendamos los
siguientes libros al lector interesado [3], [49], [50] . Por otro lado, se
puede definir, de la misma forma que en campos de números, el grupo
de clases de ideales. Sea F un campo de funciones racionales, K un
campo de funciones y 2K su anillo de enteros. Diremos que dos ideales
I, J distintos de cero están relacionados si existen ↵, 2 2K \ {0} tales
que
↵I = J.
Esta relación es de equivalencia y el conjunto de clases de equivalencia
forma un grupo con el producto natural. A este grupo lo llamaremos
el grupo de clases de ideales de K . En general, el grupo de clases de
ideales de un campo de funciones no siempre es finito, pero si el campo
de constantes es finito entonces:

Teorema 3.23. Sea F = Fq (x) un campo de funciones racionales

sobre un campo finito y K una extensión algebraica sobre F. El grupo
de clases de ideales de K es finito y a su cardinalidad le llamaremos el
número de clase de K.

En particular, los campos cuadráticos que hemos estado trabajando

a lo largo de este capı́tulo tienen grupo de clases de ideales finito.
El comportamiento del grupo de clases de ideales de un campo
cuadrático de funciones es similar al de su análogo en campos de
números. La clase neutra es la que contiene a todos los ideales
principales, a la que denotaremos 2K , y el número de clase es 1 si
y solamente si el anillo de enteros es de factorización única.
p
Ejemplo 3.24. Sean F = F7 (x) y K = F( x 1). El campo K es
cuadrático imaginario ramificado ya que el grado de x 1 es impar,
entonces las unidades de 2K son los elementos de F⇤7 . En este caso,
todos los ideales están relacionados, ası́ que el número de clase es 1.
Al igual que en el caso de los campos de números, esto significa que el
anillo 2K es un dominio de ideales principales y por lo tanto un dominio
de factorización única.

En la siguiente sección estudiaremos un ejemplo en el que incluire-

mos todos los conceptos vistos en este capı́tulo, ahı́ veremos un caso en
66 3. CAMPOS CUADRÁTICOS DE FUNCIONES

donde el grupo de clases de ideales no es trivial. Cuando esto sucede,

el anillo de enteros no es un dominio de factorización única.

3.5. Un ejemplo
A continuación usaremos lo que hemos estudiado en las secciones
anteriores para factorizar un elemento de un campo de funciones
cuadrático.
p A partir de ahora trabajaremos con F = F5 (x), K =
F( x3 + 3x2 + 2x). Observemos que x3 + 3x2 + 2x = x(x + 1)(x + 2). Con
la información que tenemos sabemos que K es un campo cuadrático
imaginario ramificado, ası́ que las únicas unidades de 2K son 1, 2, 3 y
4. Hay tres ideales ramificados ya que d(x) = x3 + 3x2 + 2x tiene tres
factores: p
hxi = hx, x3p+ 3x2 + 2xi2 ,
hx + 1i = hx + 1, px3 + 3x2 + 2xi2 ,
hx + 2i = hx + 2, x3 + 3x2 + 2xi2 .
p p
Llamemos I1 = hx, x p + 3x + 2xi, I2 = hx + 1, x + 3x + 2xi y
3 2 3 2

finalmente I3 = hx + 2, x + 3x + 2xi. Para probar que estos ideales

3 2

no son principales, hay que usar la Proposición 3.13. Las normas de los
ideales son:
N(I1 ) = x, N(I2 ) = x + 1, N(I3 ) = x + 2.
Para que I1 sea principal, debe existir un elemento con norma ax
para algún a 2 F⇤5 . Digamos
p
↵ = a(x) + b(x) x3 + 3x2 + 2x
con
N(↵) = a(x)2 b(x)2 (x3 + 3x2 + 2x) = x.
Debido a que el grado de a(x) es par y el grado de b(x)2 (x3 + 3x2 + 2x)
2

es impar, entonces los grados son distintos y tenemos

1 = deg(N(↵)) = max(deg(a(x)2 ), deg( b(x)2 (x3 + 3x2 + 2x))).
Si b(x) es distinto de cero, entonces el grado de b(x)2 (x3 + 3x2 + 2x)
es mayor o igual a 3, por lo que b(x) = 0 y N(↵) = (a(x))2 = x, pero
esto tampoco es posible pues (a(x))2 tiene grado par y x tiene grado 1.
Por lo tanto, no existe ningún elemento con norma x. Análogamente,
no existe ningúnpelemento con norma 2x, 3x ó 4x, lo que implica que
el ideal I1 = hx, x3 + 3x2 + 2i no es un ideal principal. De la misma
forma podemos ver que los ideales I2 , I3 tampoco son principales.
Hemos encontrado tres ideales no principales, ahora falta ver si
los tres están en la misma clase o si hay más de una clase con ideales
no principales. Como I12 = hxi, I22 = hx + 1i e I32 = hx + 2i, entonces
las clases I1 , I2 , I3 tienen orden 2 en el grupo de clases de ideales, ya
 3.5. UN EJEMPLO 67

que cada ideal al cuadrado es principal. Lo anterior significa que el

inverso de la clase I1 es la misma clase I1 , ası́ que si I1 = I2 , entonces
2
I1 = I1 I2 = 2K .
Consideremos los ideales I1 , I2 . Si I1 I2 es un ideal principal,
entonces debe de existir un elemento con norma ax(xp + 1) para algún
a 2 F⇤5 . Igual que antes, si I1 I2 = h↵i con ↵ = a(x) + b(x) x3 + 3x2 + 2x,
entonces b(x) = 0, a(x)2 = ax(x + 1) lo que no es posible pues ax(x + 1)
no es un cuadrado. Por lo tanto I1 6= I2 . De la misma forma se puede
demostrar que I1 6= I3 y que I2 6= I3 . Ası́, tenemos al menos cuatro clases,
las tres anteriores y 2K .p
Por otra parte, N( x3 + 3x2 + 2x) = (x3 + 3x2 + 2x). Además,
únicamente existe un ideal con norma x3 + 3x2 + 2x, este es I1 I2 I3 , de
donde
I1 I2 I3 = 2K .
Como el orden de I1 , I2 y I3 es 2, lo anterior nos indica que I1 = I2 I3 ,
I2 = I1 I3 y finalmente I3 = I1 I2 .
De esta información, tenemos que el grupo de clases de ideales
contiene un subgrupo isomorfo a (Z/2Z)2 .
Ahora consideremos el polinomio irreducible x + 3. Los cuadrados
módulo x + 3 son 0, 1, 4 y
x3 + 3x2 + 2x = (x2 + 2)(x + 3) + 4 ⌘ 4 = 22 (mod x + 3).
Ası́ que
p p
hx + 3i = hx + 3, 2 + x3 + 3x2 + 2xihx + 3, 2 x3 + 3x2 + 2xi.
Ninguno de los dos ideales del lado derecho de la igualdad es principal,
pues, igual que con x, x + 1, x + 2, no existe ningún elemento
p con norma
a(x + 3) con a 2 F⇤5 . Concentrémonos en I = hx + 3, 2 + x3 + 3x2 + 2xi,
denotando al otro ideal de la factorización como I 0 . Los únicos
elementos con norma a(x + 3)2 para algún a 2 F⇤5 son

N(x + 3) = N(4x + 2) = (x + 3)2 y N(2x + 1) = N(3x + 4) = 4(x + 3)2 .

Ninguno de estos genera a I 2 pues sabemos que todos generan a
II 0 = hx + 3i, que es un ideal distinto ya que se factoriza de forma
distinta. Tampoco existen elementos con norma a(x + 3)3 . Sin embargo,
existen varios elementos con norma (x + 3)4 . Estos son:
p p
(x + 3)2 , x2 + 3x + 1 + 2 x3 + 3x2 + 2x, x2 + 3x + 1 + 3 x3 + 3x2 + 2x,
y los tres anteriores multiplicados por 4. Vamos a verificar que
p
= x2 + 3x + 1 + 3 x3 + 3x2 + 2x
es el generador de I 4 .
68 3. CAMPOS CUADRÁTICOS DE FUNCIONES

Sea J = h↵, i un ideal con dos generadores. La potencia cuarta de

J es:
J4 = h↵4 , ↵3 , ↵2 2 , ↵ 3 , 4 i.
Para que sea el generador de J4 , es necesario que divida a cada
uno de los cinco generadores de J4 que aparecieron en la expresión de
arriba y que además genere al ideal, esto último se cumple si tenemos
la primera condición y además tenemos que N( ) = aN(J4 ) para algún
a 2 F⇤5 . Para saber si divide a un elemento, digamos 4 , tenemos que
racionalizar la división:
4 4 0 4 0 4 0
= = = .
0 N( ) (x + 3)4
De esta forma,
p en el numerador tenemos un elemento de 2K , digamos
a(x) + b(x) x3 + 3x2 + 2x, y en el denominador un elemento de 2F ,
digamos c(x). Si se tiene la situación anterior, el resultado va a estar en
2K si y solamente si
a(x) b(x)
2 2F y 2 2F .
c(x) c(x)
Ası́, la división de elementos de 2K se puede reducir a dos divisiones de
polinomios, lo que es más sencillo, ya que podemos usar los métodos
usuales para conseguir esto, como la división larga o la división sintética
cuando es posible.
pVamos a verificar que genera a I 4 . A continuación =
2 + x + 3x + 2x:
3 2
p
(x + 3)4 = (x2 + 3x + 1 + 2 x3 + 3x2 + 2x)4 ,
p
(x + 3)3 = (2x2 + 2x + 4 + x x3 + 3x2 + 2x),
p
(x + 3)2 2
= (x3 + x + 1 + (2x + 3) x3 + 3x2 + 2x),
p
3
(x + 3) = (2x3 + 3x + 4 + (x2 + 2x + 4) x3 + 3x2 + 2x),
p
4
= (x4 + 2x3 + x + 1 + (2x2 + x + 4) x3 + 3x2 + 2x).
Por lo anterior, divide a cada uno de los generadores de I 4 y
N( ) = (x + 3)4 = N(I 4 ).
Entonces,
p p
hx + 3, 2 + x3 + 3x2 + 2xi4 = hx2 + 3x + 1 + 3 x3 + 3x2 + 2xi.
De esta forma, la clase I del grupo de clases de ideales tiene orden
4, ya que I, I 2 , I 3 no son principales pero I 4 sı́ lo es. Análogamente se
puede verificar que el orden de la clase I 0 es 4. Pero II 0 es principal, ası́
que
1 3
I = I = I0 .
 3.5. UN EJEMPLO 69

Observemos que
2 2 6
⇣ 3 ⌘2 2
I =I =I = I = I0 .
Además, existen elementos con norma (x + 3)2 (x + 1), estos son:
p p
2x + 2 + 2 x3 + 3x2 + 2x, 2x + 2 + 3 x3 + 3x2 + 2x,
p p
2x + 3 + 2 x3 + 3x2 + 2x, 2x + 3 + 3 x3 + 3x2 + 2x.
Como solamente hay un ideal con norma x + 1, al que habı́amos llamado
I2 , y dos ideales con norma x + 3, I e I 0 , entonces al menos uno de los
ideales I2 I 2 , I2 I 02 ó I2 II 0 es principal. I2 II 0 = I2 h i, y como I2 no es
un ideal principal, entonces este queda descartado. Por otro lado,
I2 I 2 = I2 I 02 , ası́ que ambos son principales y tenemos que
I2 = I 2 = I 0 2 .
Ası́ que ahora podemos decir que el grupo de clases de ideales
contiene a un grupo isomorfo al grupo (Z/2Z) ⇥ (Z/4Z). Notemos
que (Z/2Z) ⇥ (Z/4Z) tiene ocho elementos:
(0, 0), (0, 1), (0, 2), (0, 3),
(1, 0), (1, 1), (1, 2), (1, 3).
Tres de éstos tienen orden 2: (0, 2), (1, 0) y (1, 2), donde el tercero es la
suma de los dos primeros. Hay cuatro elementos con orden 4: (0, 1),
(0, 3), (1, 1) y (1, 3). Si conocemos uno de estos cuatro, los otros tres se
pueden obtener sumándole los tres elementos de orden 2, ası́:
(0, 1) + (0, 2) = (0, 3),
(0, 1) + (1, 0) = (1, 1),
(0, 1) + (1, 2) = (1, 3).
También es importante notar que 2(0, 1) = 2(0, 3) = 2(1, 1) = 2(1, 3) =
(0, 2). Usaremos esta información para analizar el grupo de clases de
ideales de K.
Siguiendo un argumento análogo al que usamos con x + 3, podemos
concluir que x + 4 se descompone y que si J, J0 son los dos ideales
con norma x + 4, entonces J, J2 , J3 , J0 , J02 , J03 no son ideales principales,
pero J4 y J04 sı́ lo son. Igual que con I,
2 2
J = J0 = I2 .
De esta forma, I2 es el elemento que corresponde a (0, 2) en (Z/2Z) ⇥
(Z/4Z). Es fácil verificar que no existe ningún elemento con norma
a(x + 3)(x + 4), por lo que los ideales I, I 0 , J y J0 pertenecen a clases de
ideales distintas y todas sus clases tienen orden 4. Además, se puede
3
ver que I ⇥ I2 = I = I 0 , y realizando un análisis similar a lo hecho
anteriormente llegamos a que I ⇥ I1 = J y I ⇥ I3 = J0 . Ası́ que I, I 0 , J y J0
son las clases de orden 4.
70 3. CAMPOS CUADRÁTICOS DE FUNCIONES

Hasta este momento hemos demostrado que el grupo de clases de

ideales contiene un subgrupo isomorfo a (Z/2Z) ⇥ (Z/4Z), de hecho, el
grupo de clases de ideales es isomorfo a este grupo, ası́ que el número
de clase es 8. Demostrar que no hay más clases de ideales es algo que
queda fuera de los objetivos de este trabajo.
En la siguiente sección vamos a usar el grupo de clases que
acabamos de encontrar para trabajar con elementos de 2K que tienen
distintas factorizaciones.

3.6. Distintas factorizaciones de un elemento

Seguiremos trabajando en los campos
p
F = F5 (x) y K = F( x3 + 3x2 + 2x).
p
A partir de ahora usaremos y = x3 + 3x2 + 2x.
Para saber si un ideal I es principal, primero debemos de factor-
izarlo como producto de ideales primos, para conseguirlo, debemos de
factorizar la norma y usar la factorización como guı́a para saber cuáles
son los posibles ideales primos que dividen a I.

Proposición 3.25. Sean Fq (x) un campo de funciones racionales, K

un campo de funciones sobre F, 2K el anillo de enteros de K. Si I, J son
dos ideales de 2K , entonces I | J si y sólo si I ◆ J.

Una vez que factorizamos al ideal como producto de ideales primos,

digamos I = P1 P2 · · · Pt , tomamos el conjunto deı́ndices A = {1, 2, . . . , t}.
Para denotar una partición de A usaremos {A1 |A2 | . . . |Ar }, donde los
conjuntos Ai , con i =, 1, 2, . . . , r, son las clases de la partición. Diremos
que {A1 |A2 | . . . |Ar } es una partición principal de A si para cada Ai ,
con i = 1, 2, . . . , r, se tiene que el producto de los elementos de Ai es
principal, esto es
Y
Pj = h ii
j2Ai

para algún i 2 2K . Si cada uno de los elementos i de una partición

principal es generado por un elemento irreducible, entonces la partición
nos da una factorización como producto de irreducibles de :
= 1 2 ··· r µ,

donde µ es una unidad de 2K .

Proposición 3.26. Sean Fq (x) un campo de funciones racionales, K

un campo de funciones sobre F, 2K el anillo de enteros de K. Sea 2 2K
y h i = P1 P2 · · · Pt la factorización de este ideal como producto de ideales
primos. Entonces, es irreducible si y solamente si la única partición
principal de A = {1, 2, . . . , t} es la que tiene una única clase.
 3.6. DISTINTAS FACTORIZACIONES DE UN ELEMENTO 71

En nuestro ejemplo encontraremos todas las posibles factoriza-

ciones distintas de
↵ = x3 + 2x2 + 4 = (x + 1)(x + 3)2 .
En este caso ↵ 2 2F y tenemos su factorización en 2F , ası́ que es fácil
dar la factorización del ideal h↵i en 2K :
h↵i = hx + 1, yi2 hx + 3, 2 + yi2 hx + 3, 2 yi2 .
Ya tenemos una factorización, (x + 1)(x + 3)2 .
Vamos a demostrar que el polinomio x + 1 es irreducible en 2K .
Sabemos que hx + 1i = hx + 1, yi2 , entonces A = {1, 2} y sus particiones
son {1|2} y {1, 2}. La partición {1|2} no es principal pues el ideal
hx + 1, yi no es principal, ası́ x + 1 es irreducible. De la misma
forma, usando hx + 3i = hx + 3, 2 + yihx + 3, 2 yi llegamos a que la
única partición irreducible del conjunto de ı́ndices es {1, 2}. Ası́ que
la factorización que conocemos de ↵ en 2F es una factorización en
irreducibles en 2K . Sin embargo, no es la única.
Recordemos que el grupo de clases de ideales es isomorfo a (Z/2Z)⇥
(Z/4Z), donde el ideal hx + 1, yi está en la clase correspondiente a (0, 2)
y los ideales hx + 3, 2 + yi y hx + 3, 2 yi están en clases de orden
cuatro con
1
hx + 3, 2 + yi = hx + 3, 2 yi ,
digamos (0, 1) y (0, 3) vistos como clases de (Z/2Z) ⇥ (Z/4Z) (otra
posibilidad válida hubiera sido (1, 1) y (1, 3)). Ası́ que en el grupo de
clases de ideales, esta factorización es
(0, 2) + (0, 2) + (0, 1) + (0, 1) + (0, 3) + (0, 3).
Ordenemos la factorización de h↵i como
P1 = P2 = hx + 1, yi, P3 = P4 = hx + 3, 2 + yi, P5 , P6 hx + 3, 2 yi,
con conjunto de ı́ndices A = {1, 2, 3, 4, 5, 6}. Las particiones principales
de A con elementos irreducibles son:
{1, 2|3, 5|4, 6},
{1, 2|3, 6|4, 5},
{1, 3, 4|2, 5, 6},
{1, 5, 6|2, 3, 4}.
Cualquier otra partición de A no es principal o incluye algún elemento
que no es irreducible. Por ejemplo, la partición {1, 2, 3, 4, 5, 6} es
principal, pero la factorización que obtenemos es , que no es un
producto de elementos irreducibles. En la primera partición obtenemos
la factorización, (P1 P2 )(P3 P5 )(P4 P6 ), P1 P2 es principal pues corresponden
a (0, 2) + (0, 2) = (0, 0) en (Z/2Z) ⇥ (Z/4Z). P3 P5 y P4 P6 corresponden
a (0, 1) + (0, 3) = (0, 0) en (Z/2Z) ⇥ (Z/4Z), ası́ que son principales.
72 3. CAMPOS CUADRÁTICOS DE FUNCIONES

Para demostrar que son irreducibles usamos el mismo método con

el que probamos que x + 1 es irreducible. La segunda partición
produce la misma factorización que la primera pues P3 = P4 y
P5 = P6 . En la tercera partición, el primer factor es de la forma
(2, 0) + (1, 0) + (1, 0) = (4, 0) = (0, 0) en (Z/2Z) ⇥ (Z/4Z) y el segundo es de
la forma (2, 0) + (3, 0) + (3, 0) = (8, 0) = (0, 0), por lo que los dos productos
de ideales que surgen son principales. De nuevo, la cuarta partición
genera la misma factorización que la tercera. Ası́ que básicamente hay
dos factorizaciones distintas:
h↵i = (P1 P2 )(P3 P5 )(P4 P6 ) = (P1 P3 P4 )(P2 P5 P6 ).
Únicamente falta encontrar los generadores de los ideales. En el
caso de la primera factorización ya sabemos que P1 P2 = hx + 1i y
P3 P5 = P4 P6 = hx + 3i. Para encontrar los generadores de P1 P3 P4 y
P2 P5 P6 hay que buscar elementos cuya norma sea igual a N(P1 P3 P4 ) =
N(P2 P5 P6 ) = (x + 1)(x + 3)2 = x3 + 2x2 + 4 o bien a este polinomio
multiplicado por una constante. Recordemos que la norma de
a(x) + b(x)y es
N(a(x) + b(x)y) = a(x)2 b(x)2 (x3 + 3x2 + 2x),
si queremos que sea x3 + 2x2 + 4, entonces b(x) tiene que estar en F⇤5 y
a(x) debe tener grado menor o igual a 1, de lo contrario, el grado de la
norma es distinto de 3. Probando todas las posibilidades encontramos
que los elementos con norma x3 + 2x2 + 4 son:
p
2x + 2 + 2px3 + 3x2 + 2x,
2x + 2 + 3px3 + 3x2 + 2x,
3x + 3 + 2px3 + 3x2 + 2x,
3x + 3 + 3 x3 + 3x2 + 2x.
Los elementos con norma 4(x3 +2x2 +4) son estos mismos multiplicados
por 3 y no existen elementos con norma a(x3 + 2x2 + 4) para a = 2, 3.
Alguno de estos elementos debe generar a P1 P3 P4 y algún otro a P2 P5 P6 .
Probamos todas las posibilidades hasta encontrar
p p
x3 + 2x2 + 4 = (2x + 2 + 2 x3 + 3x2 + 2x)(2x + 2 + 3 x3 + 3x2 + 2x).
Por lo tanto, las dos factorizaciones en irreducibles distintas de
x3 + 2x2 + 4 en 2K son la anterior y (x + 1)(x + 3)2 . Con esto concluimos
nuestro ejemplo.
 Bibliografı́a

[1] Adams W. W., and Goldstein L. J., Introduction to Number Theory. Prentice-Hall 1976.
[2] Andrews G. E., Number Theory. Dover 1994.
[3] Deuring M., Lectures on the Theory of Algebraic Function of One Variable. LNM 314,
Springer-Verlag, 1973.
[4] Ellison W.J., Ellison J.P. et al. The diophantine equation y2 + k = x3 . J. Number Theory
4 (1972), 107-117.
[5] Enzenberger H. M., El diablo de los Números. Siruela 1998.
[6] Finkelstein R., London H., On Mordell’s equation y2 k = x3 : an interesting case of
Sierpinski. J. Number Theory 2, 310-321 (1970).
[7] Flannery D., The square root of 2: a dialogue concerning a number and a sequence.
Copernicus-Springer-Verlag, 2006.
[8] Gallian J. A. and Winters S., Modular Arithmetic in the Marketplace. American
Mathematical Montly, 95 No. 6, 548-551 (1988).
[9] Gardner M., On Expressing Integers as the Sums of Cubes and Other Unsolved
Number-Theory Problems. Scientific American, 229, 118-121 (1973).
[10] Gauss K. F., Disquisitiones Arithmeticae. Traducción del latı́n al español por Hugo
Barrantes Campos, Michael Josephy y Ángel Ruiz Zúñiga. Colección Enrique Pérez
Arbelaéz, 10, Academia Colombiana de Ciencias Exactas, Fı́sicas y Naturales, Bogotá,
1995.
[11] Granville A. It is easy to determine whether a given integer is prime. American
Mathemathical Montly, 42, 3-38 (2005).
[12] Guy Richard K. Unsolved Problems in Number Theory. Problem Books in Mathematics.
Springer, New York 2004.
[13] Hardy G.H., Wright E.M. An introduction to the theory of numbers. Oxford University
Press, Oxford 1979.
[14] Hoffman P., Archimedes’ revenge. Norton, New York, 1988.
[15] Ireland K., M. Rosen., A classical introduction to modern number theory. GTM 84
Springer Verlag 1982.
[16] Ivorra Castillo C., Teorı́a de Números. Publicación electrónica
http://www.uv.es/ivorra/.
[17] Jones J.P., et al. Diophantine representation of the set of prime numbers. American
Mathematical Montly, 83, No. 6, 449-464 (1976).
[18] LeVeque William J., Fundamentals of Number Theory. Dover 1996.
[19] McCarty, Paul J., Algebraic extensions of fields. Dover Books 1991.
[20] Nair M.A., A note on the equation x2 y3 = k. Quart. J. Math. Oxford (2) 29, 483-487
(1978).
p
[21] Nahin P.J., An imaginary tale: The story of 1. Princeton University Press,
Princeton, NJ, 1998.
[22] Narkiewicz, W., Elementary and analitic theory of algebraic numbers. Third edition.
Springer-Verlag 2004.

73
74 BIBLIOGRAFÍA

[23] Niven I., Zuckerman S., Montgomery H.L., An Introduction to the Theory of Numbers.
5th ed., John Wiley, New York, 1991.
[24] Ore O., Number Theory and its history. Reimpresión de la versión original de 1948.
Dover 1988, New York.
[25] Pineda-Ruelas. M., Enteros, cuadrados, Gaussianos y teorı́a de grupos finitos. 2013.
Por aparecer.
[26] Pomerance C., Very Short Primality Proofs. Mathematics of Computation 48, no.
177, 315-322 (1987).
[27] Proyecto GIMPS (Great Internet Mersenne Prime Search).
http://www.mersenne.org/prime.htm
[28] Quine, W.J., Fermat’s Last Theorem in combinatorial form. American Mathematical
Montly, 95, No. 7, 305-319 (1988).
[29] Ribenboim P., Algebraic Numbers, Wiley, New York 1972
[30] Ribenboim P., El famoso polinomio generador de primos de Euler y el número de
clase de los cuerpos cuadráticos imaginarios. Revista Colombiana de Matemáticas,
vol. 21, 263-284 (1987).
[31] Ribenboim P., Números primos: mistérios e recordes. Coleção Matemática Universi-
taria, Rio de Janeiro: IMPA 2001.
[32] Ribenboim P., The new book of prime number records. Springer Verlag, New York
(1996).
[33] Ribenboim P., Classical Theory of Algebraic Numbers. Universitext, Springer, New
York (2001).
[34] Rivest R., Shamir A., Adleman L., A method for obtain digital signatures and
public-key cryptosystems. Comm. of the ACM, 21, 120-126 (1978).
[35] Rosen K.H., Elementary Number Theory and its Applications. Third ed., Addison
Wesley, Paris 1993.
[36] Shanks D., Solved and Unsolved Problems in Number Theory. Chelsea, New York,
2002.
[37] Sierpiński W., Elementary theory of numbers. North-Holland, Amsterdan 1988.
[38] Silverman J. H., A friendly Introduction to number theory. Prentice-Hall, 3 edition,
New Jersey 2005.
[39] Schroeder M.R., Number Theory in Science and Communication: With applications in
cryptography, physics, digital information, computing, and self-similarity. Springer
Series in Information Sciences, 7. Fourth edition. Springer Verlag, Berlin 2006.
[40] Stewart I., De aquı́ al infinito; Las matemáticas de hoy. Crı́tica, Barcelona 2004.
[41] Stewart I., Tall D., Algebraic Number Theory and Fermat Last Theorem. A K Peters,
third edition, 2002.
[42] Stillwell J., Elements of Number Theory, Undergraduate Texts in Mathematics,
Springer Verlag, New York 2003.
[43] Sylvester J.J., El estudio que no sabe nada de la observación. Colección Sigma. El
Mundo de las Matemáticas, Vol. 5 Grijabo, España 1968.
[44] The Prime Pages. http://primes.utm.edu/
[45] Thompson J., A method for finding primes. American Mathematical Monthly, 60,
No. 3, 175 (1953).
[46] Uspensky J.V., A method for finding units in cubic orders of a negative discriminat,
Trans. Amer. Math. Soc., 33, 1-22 (1931).
[47] Uspensky J.V., Teorı́a de ecuaciones. Limusa, 2002.
[48] Vardi I., Archimedes’ Cattle Problem. American Mathematical Montly, 105, No. 4,
305-319 (1998).
[49] Villa-Salvador G.D., Introducción a la teorı́a de las funciones algebraicas, Fondo de
Cultura Económica, 2002.
 BIBLIOGRAFÍA 75

[50] Villa-Salvador D.G., Topics in the Theory of Algebraic Function Fields, Birkhauser,
2006.
[51] Wagon S., The evidence: primality testing. Math. Intellingencer 8, no.3, 58-61 (1986).
[52] Weil A., Two lectures on number theory, past and present, Enseignement Math. 20,
87-110 (1974).
[53] Weil A., Number theory: An approach through history from Hummurapi to Legendre,
Birkhäuser, Boston, 1984.
[54] Weyl H., El modo matemático de pensar. Colección Sigma. El Mundo de las
Matemáticas, Vol. 5 Grijabo, España 1968.
[55] Williams H.C., Holte R., Computation of the solutions of x3 + dy3 = 1. Math. Comp.
31 no. 139, 778-785 (1977).
[56] Williams Kenneth S., Note on Non-Euclidean Principal Ideal Domains. Mathematics
Magazine, 48, No. 3, 176-177 (1975).