TEOR�A ALGEBRAICA DE N�MEROS

Departamento de �lgebra
6 cr�ditos
PROGRAMA DE TEOR�A

RESIDUOS CUADR�TICOS
Unidades de los anillos de residuos. Ra�ces primitivas m�dulo un primo p.
Residuos cuadr�ticos. S�mbolo de Legendre. Criterio de Euler. Criterio de Gauss.
Ley de reciprocidad cuadr�tica de Gauss.

ANILLOS DE ENTEROS ALGEBRAICOS

N�meros algebraicos y enteros algebraicos. Cuerpos num�ricos. Anillos de
enteros algebraicos. Bases enteras. Discriminante. Anillos de enteros cuadr�ticos.
Anillos de enteros ciclot�micos.

FACTORIZACI�N EN ANILLOS DE ENTEROS ALGEBRAICOS

Dominios de factorizaci�n. Anillos de enteros que son D.F.U.. Anillos de
enteros que son Dominios eucl�deos.

FACTORIZACI�N DE IDEALES EN ANILLOS DE ENTEROS ALGEBRAICOS

Ideales fraccionarios. Dominios de Dedekind. Norma de un ideal de un anillo de
enteros. Propiedades. Extensi�n de ideales de Z en un anillo de enteros. Indice de
ramificaci�n y grado de inercia.

RET�CULOS. GEOMETR�A DE N�MEROS

Ret�culos, dominio fundamental. Teorema de Minkowski. Aplicaciones: Teormea de
los cuatro cuadrados. El espacio Ls,t , la inmersi�n real de un cuerpo num�rico.

GRUPO DE CLASE DE UN ANILLO DE ENTEROS ALGEBRAICOS

Grupo de clase de un Dominio de Dedekind. La cota de Minkowski. Finitud del
grupo de clase de un anillo de enteros. C�lculo de algunos grupos de clase
elementales. Extensiones de un anillo de enteros en que sus ideales se extienden a
ideales principales.

UNIDADES DE LOS ANILLOS DE ENTEROS ALGEBRAICOS. TEOREMA DE LAS UNIDADES DE

DIRICHLET
La inmersi�n logar�tmica. Ra�ces de la unidad en un anillo de enteros. Teorema
de Dirchlet. Unidades fundamentales. Determinaci�n de las unidades de los cuerpos
cuadr�ticos y ciclot�micos.

BIBLIOGRAF�A

H. COHN, Advanced number theory. New York : Dover , 1980

G. JANUSZ, Algebraic number fields. American Mathematical Society , 1996
D.A. MARCUS, Number fields. Springer-Verlag , 1995
I. NIVEN,H. ZUCKERMAN, H. MONTGOMERY, An introduction to the theory of numbers
John Wiley and Sons , 1991
P. RIBENBOIM, Algebraic numbers. Wiley Interscience 1972.
I. STEWART, D. TALL, Algebraic number theory. Chapman and Hall. London, 1978

�ndice general

Prefacio
1. Aritm�tica b�sica
1.1. Divisibilidad
1.1.1. La identidad de B�zout
1.2. N�meros primos
1.2.1. Factorizaci�n de un entero en producto de primos
1.2.2. Primeras consecuencias de la descomposici�n en factores primos
 1.3. El sistema de numeraci�n posicional. Bases
1.3.1. Criterios de divisibilidad
1.4. Combinatoria
1.4.1. Variaciones
1.4.2. Permutaciones
1.4.3. Combinaciones
1.5. Coeficientes binomiales y binomio de Newton
1.5.1. El tri�ngulo de Pascal
1.6. Algunas ecuaciones diof�nticas
1.6.1. Ecuaciones diof�nticas lineales
1.6.2. Ternas pitag�ricas
1.6.3. Una peque�a miscel�nea de ecuaciones diof�nticas
Ejercicios del tema 1
2. Congruencias
2.1. Definiciones y primeras propiedades
2.2. La ecuaci�n con congruencias lineal
2.2.1. �Es muy costoso este algoritmo?
2.3. La indicatriz de Euler y el teorema de Euler-Fermat
2.3.1. Una expresi�n de la soluci�n de una ecuaci�n con congruencias
lineal
2.3.2. Una f�rmula expl�cita para evaluar la indicatriz de Euler
2.3.3. Primos de Wieferich
2.4. N�meros pseudoaleatorios
2.5. Primos en progresiones aritm�ticas
2.5.1. Progresiones aritm�ticas de primos
2.6. Sistemas lineales de congruencias: El teorema chino del resto
2.6.1. M�dulos no primos entre s�
2.7. Teorema de Wilson
2.7.1. Primos de Wilson
2.8. N�meros pseudoprimos
2.8.1. N�meros de Carmichael
2.8.2. Test de Miller-Rabin
2.9. Criptograf�a
2.9.1. Un criptosistema de clave privada basado en la exponenciaci�n
discreta
2.9.2. Avances hacia la criptograf�a de clave p�blica
2.9.3. El criptosistema RSA
2.9.4. Ataques al criptosistema RSA
2.9.5. Firma digital
2.10. Teor�a de c�digos
2.10.1. C�digos detectores de errores
2.10.2. Funciones hash
2.10.3. La informaci�n es digital: c�digos binarios
2.10.4. C�digos correctores
Ejercicios del tema 2
3. Congruencias no lineales
3.1. Congruencias polin�micas
3.1.1. Congruencias polin�micas con un m�dulo compuesto
3.2. Restos cuadr�ticos y ley de reciprocidad cuadr�tica
3.2.1. El s�mbolo de Legendre
3.2.2. La ley de reciprocidad cuadr�tica
3.2.3. El s�mbolo de Jacobi
3.2.4. C�lculo r�pido del s�mbolo de Jacobi
3.2.5. Leyes de reciprocidad para potencias mayores de dos
3.3. Pseudoprimos de Euler
3.4. Tests de primalidad para n�meros de formas especiales
3.4.1. Test de P�pin
3.4.2. Test de Proth
3.4.3. Test de Lucas-Lehmer
 3.5. Ra�ces primitivas
3.5.1. �ndices modulares (logaritmos discretos)
3.5.2. Aplicaci�n a la resoluci�n de ecuaciones
3.6. Criptosistema Elgamal
3.6.1. Firma digital con Elgamal
Ejercicios del tema 3
4. Aproximaci�n de un n�mero real por racionales
4.1. Teorema de Dirichlet y consecuencias
4.1.1. Un criterio de irracionalidad
4.2. Orden de aproximaci�n. Teorema de Liouville y consecuencias
4.2.1. El teorema y sus consecuencias
4.2.2. Un criterio de trascendencia
4.3. Refinamientos del teorema de Liouville
4.3.1. El correspondiente criterio de trascendencia
4.3.2. Reinterpretaci�n en t�rminos de la derivabilidad una funci�n
patol�gica
4.3.3. Soluciones de ecuaciones diof�nticas
4.4. Fracciones de Brocot
4.4.1. Aproximaciones �ptimas
4.5. Teorema de Hurwitz
4.5.1. La mejor constante
4.6. La constante de Lagrange de un irracional
4.7. Cubrimientos de la recta real
Ejercicios del tema 4
5. Fracciones continuas
5.1. La sucesi�n de Fibonacci
5.2. Pares de sucesiones recurrentes
5.3. Fracciones continuas simples
5.4. Fracciones continuas simples finitas
5.4.1. Unicidad del desarrollo en fracci�n continua finita
5.5. Convergencia de fracciones continuas simples
5.5.1. Unicidad del desarrollo en fracci�n continua infinita
5.5.2. Un ejemplo num�rico concreto
5.5.3. �Las fracciones continuas proporcionan buenas aproximaciones?
5.6. Aproximaci�n por racionales mediante desarrollos en fracci�n continua
5.6.1. La constante de Lagrange de un irracional
5.7. Fracciones continuas simples peri�dicas: irracionales cuadr�ticos
5.7.1. La estructura del periodo
5.8. El desarrollo de $e$ en fracci�n continua simple
Ejercicios del tema 5
6. Irracionalidad y trascendencia
6.1. Algunos resultados sobre irracionalidad
6.1.1. Expresiones trigonom�tricas
6.1.2. Logaritmos
6.2. Irracionalidad de $e$
6.2.1. Introducci�n hist�rica
6.2.2. Una demostraci�n elemental
6.3. Irracionalidad de $\pi$
6.3.1. Algunas adaptaciones y generalizaciones
6.4. Los n�meros trascendentes existen
6.4.1. No s�lo existen, sino que hay much�simos
6.4.2. Pero son dif�ciles de encontrar
6.5. Trascendencia de $e$
6.6. Polinomios sim�tricos
6.6.1. El teorema fundamental de los polinomios sim�tricos
6.6.2. Algunas consecuencias sencillas, pero importantes
6.7. Trascendencia de $\pi$
6.7.1. Esquema de la demostraci�n
6.7.2. La demostraci�n
 6.8. Extensiones
6.8.1. El s�ptimo problema de Hilbert
6.8.2. Otros resultados sobre trascendencia
6.8.3. Tampoco es f�cil probar la irracionalidad
6.8.4. Problemas abiertos
Ejercicios del tema 6
7. Funciones aritm�ticas
7.1. Funciones aritm�ticas notables
7.2. N�meros perfectos y amigos. Sucesiones alicuatorias
7.3. Producto de Dirichlet y transformada de M�bius
7.3.1. La f�rmula de inversi�n de M�bius
7.3.2. Algunas relaciones entre funciones aritm�ticas
7.4. Funciones multiplicativas
7.4.1. Inversas de funciones completamente multiplicativas
7.4.2. F�rmula del producto para funciones multiplicativas
7.5. Derivadas de funciones aritm�ticas
7.6. Generalizaci�n del producto de Dirichlet
7.7. M�s tipos de convoluciones y sus inversiones de M�bius
7.7.1. F�rmulas de inversi�n de M�bius con flujos
Ejercicios del tema 7
8. Medias de funciones aritm�ticas
8.1. El orden de magnitud de algunas funciones aritm�ticas
8.1.1. El orden de la funci�n $\tau(n)$
8.1.2. La funciones $\sigma(n)$ y $\varphi(n)$
8.2. F�rmulas de sumaci�n
8.3. Estimaciones asint�ticas de funciones
8.3.1. Algunas f�rmulas elementales
8.4. Orden medio de las funciones divisor
8.4.1. Par�metro nulo (n�mero de divisores)
8.4.2. Par�metro positivo
8.4.3. Par�metro negativo
8.5. Orden medio de la indicatriz de Euler
8.5.1. �Cu�l es la probabilidad de que dos n�meros tomados al azar sean
primos entre s�?
8.5.2. Series de Dirichlet
8.6. Estimaciones elementales relacionadas con la funci�n de M�bius
8.6.1. �Cu�l es la probabilidad de que un n�mero tomado al azar sea
libre de cuadrados?
8.6.2. Una cota no muy fina
8.7. Resultados equivalentes al teorema del n�mero primo
8.7.1. Las funciones de Chebyshev
8.7.2. Equivalencia con las medias de la funci�n de Mangoldt
8.8. Equivalencia con las medias de la funci�n de M�bius
Ejercicios del tema 8
9. Distribuci�n de los n�meros primos: resultados elementales
9.1. Productos de Euler
9.1.1. La serie de los inversos de los n�meros primos
9.1.2. La identidad de Euler aplicada a las series de Dirichlet
9.2. Teorema de Chebyshev
9.2.1. Cinco lemas y el teorema
9.2.2. Cotas para el tama�o del $k$-�simo primo
9.3. Postulado de Bertrand
9.3.1. Distancias entre primos
9.3.2. Funciones generadoras de primos
9.4. F�rmulas de Mertens
9.5. El n�mero de divisores primos de un entero
9.5.1. �Cu�ntos divisores primos tiene un entero t�pico?
9.5.2. �Cu�ntos divisores tiene un entero t�pico?
9.5.3. Propiedades estad�sticas
 Ejercicios del tema 9
10. El teorema del n�mero primo
10.1. Recordatorio de an�lisis complejo
10.2. Definici�n de la zeta de Riemann y resultados preparatorios
10.2.1. Extensi�n de la zeta de Riemann a la banda cr�tica
10.2.2. Extensi�n de algunas propiedades a la frontera derecha de la
banda cr�tica
10.2.3. Sumas de logaritmos de primos
10.3. Un teorema tauberiano
10.4. El final de la demostraci�n del teorema del n�mero primo
10.5. Algunas consecuencias del teorema del n�mero primo
10.5.1. �Cu�l es la probabilidad de que un n�mero tomado al azar sea
primo?
10.5.2. F�rmula asint�tica para el $n$-�simo primo
10.5.3. El tama�o asint�tico de la funci�n $\tau(n)$
10.5.4. El tama�o asint�tico de la funci�n $\varphi(n)$
10.6. El tama�o del error al aproximar $\pi(x)$
10.6.1. Qu� se sabe
10.6.2. Qu� se sabr�a si la hip�tesis de Riemann estuviera probada
10.7. Las aproximaciones que propuso Riemann
10.7.1. Trabajo preparatorio
10.7.2. Aparecen los ceros de la funci�n zeta
10.7.3. Aproximaci�n num�rica y gr�fica incorporando sucesivos ceros
Ejercicios del tema 10
Ap�ndice: La construcci�n de los n�meros
A.1. Conceptos b�sicos de teor�a de conjuntos
A.1.1. Relaciones
A.1.2. Aplicaciones entre conjuntos
A.2. Definici�n de cuerpo
A.3. Los n�meros naturales
A.3.1. Los axiomas de Peano
A.3.2. Un modelo de los n�meros naturales
A.4. Los n�meros enteros
A.5. Los n�meros racionales
A.6. Los n�meros reales
A.6.1. Cortaduras de Dedekind
A.6.2. Unicidad de los n�meros reales
A.6.3. Otras construcciones de los n�meros reales
A.7. Los n�meros complejos
A.8. Cuaterniones y octoniones
A.9. Y a�n hay m�s
Soluciones
Soluciones a los ejercicios del tema 1
Soluciones a los ejercicios del tema 2
Soluciones a los ejercicios del tema 3
Soluciones a los ejercicios del tema 4
Soluciones a los ejercicios del tema 5
Soluciones a los ejercicios del tema 6
Soluciones a los ejercicios del tema 7
Soluciones a los ejercicios del tema 8
Soluciones a los ejercicios del tema 9
Soluciones a los ejercicios del tema 10
Bibliograf�a
�ndice alfab�tico