La "teoría de números algebraicos" o "teoría algebraica de números" es una rama de la teoría de los números en la cual el concepto de número se expande a los números algebraicos, los cuales son las raíces de los polinomios con coeficientes racionales.
Un campo de números algebraico es una extensión finita (algebraica) del campo de los números racionales. El anillo de enteros de un campo de números algebraico es la cerrazón de los enteros en dicho campo, es decir....