En matemática, un cuerpo de números algebraicos F es una extensión de cuerpos finita de los números racionales Q. Así pues, F es un cuerpo que contiene Q y tiene dimensión finita cuando es considerado como un espacio vectorial sobre Q. El estudio de los cuerpos de números algebraicos, y, más generalmente, de las extensiones algebraicas de los números racionales, es el tema central de la teoría de números algebraicos. Wikipedia