Número entero algebraico
El conjunto de todos los enteros algebraicos es cerrado bajo la adición y multiplicación y también es un subanillo de números complejos denotado mediante A.
El anillo A es la clausura integral de los enteros regulares ℤ en los números complejos.
Las siguientes definiciones de un número entero algebraico son equivalentes; Sea K un cuerpo numérico (por ejemplo, una extensión finita de ℚ, en otras palabras, K = ℚ(θ) para algún θ ∈ ℂ por el teorema del elemento primitivo.
En particular, un entero algebraico es un elemento integral de una extensión finita K/ℚ.
Para un número algebraico a existe un entero racional p de modo que na es un entero algebraico[1] Abraham Robinson, Numbers and Ideals, San Francisco Holden-Day, 1965.
