En la teoría algebraica de números , un entero algebraico es un número complejo que es la raíz de algún polinomio mónico (un polinomio cuyo coeficiente principal es 1) con coeficientes en ℤ (el conjunto de números enteros ). El conjunto de todos los enteros algebraicos, A , se cierra bajo suma, resta y multiplicación y, por lo tanto, es un subanillo conmutativo de los números complejos. El anillo A es el cierre integral de enteros regulares ℤ en números complejos.
El anillo de los enteros de un campo de número de K , denotado por O K , es la intersección de K y A : también puede ser caracterizado como la máxima orden del campo K . Cada entero algebraico pertenece al anillo de números enteros de algún campo numérico. Un número α es un entero algebraico si y solo si el anillo ℤ [ α ] se genera finitamente como un grupo abeliano , es decir, como un módulo ℤ .
Definiciones
Las siguientes son definiciones equivalentes de un entero algebraico. Sea K un campo numérico (es decir, una extensión finita de ℚ , el conjunto de números racionales ), en otras palabras, K = ℚ ( θ ) para algún número algebraico θ ∈ ℂ según el teorema del elemento primitivo .
- α ∈ K es un entero algebraico si existe un polinomio mónico f ( x ) ∈ ℤ [ x ] tal que f ( α ) = 0 .
- α ∈ K es un entero algebraico si el polinomio mónico mínimo de α sobre ℚ está en ℤ [ x ] .
- α ∈ K es un entero algebraico si ℤ [ α ] es un módulo ℤ generado finitamente.
- alpha ∈ K es un número entero algebraico si existe un no-cero finitamente generado ℤ -submodule M ⊂ ℂ tal que αM ⊆ M .
Los enteros algebraicos son un caso especial de elementos integrales de una extensión de anillo. En particular, un entero algebraico es un elemento integral de una extensión finita K / ℚ .
Ejemplos de
- Los únicos enteros algebraicos que se encuentran en el conjunto de números racionales son los enteros. En otras palabras, la intersección de ℚ y A es exactamente ℤ . El numero racionala/Bno es un entero algebraico a menos que b divida a . Tenga en cuenta que el coeficiente principal del polinomio bx - a es el número entero b . Como otro caso especial, la raíz cuadrada √ n de un entero no negativo n es un entero algebraico, pero es irracional a menos que n sea un cuadrado perfecto .
- Si d es un número entero libre de cuadrados, entonces la extensión K = ℚ ( √ d ) es un campo cuadrático de números racionales. El anillo de números enteros algebraicos O K contiene √ d ya que esta es una raíz del polinomio mónico x 2 - d . Además, si d ≡ 1 mod 4 , entonces el elemento1/2(1 + √ d ) también es un número entero algebraico. Satisface el polinomio x 2 - x + 1/4(1 - d ) donde el término constante 1/4(1 - d ) es un número entero. El anillo completo de enteros es generado por √ d o1/2(1 + √ d ) respectivamente. Consulte los números enteros cuadráticos para obtener más información.
- El anillo de enteros del campo F = ℚ [ α ] , α = 3 √ m , tiene la siguiente base integral , escribiendo m = hk 2 para dos enteros coprimos libres de cuadrados h y k : [1]
- Si ζ n es una raíz n- ésima primitiva de la unidad , entonces el anillo de números enteros del campo ciclotómico ℚ ( ζ n ) es precisamente ℤ [ ζ n ] .
- Si α es un entero algebraico, entonces β = n √ α es otro entero algebraico. Se obtiene un polinomio para β sustituyendo x n en el polinomio por α .
No es un ejemplo
- Si P ( x ) es un polinomio primitivo que tiene coeficientes enteros pero no es monico, y P es irreducible sobre ℚ , entonces ninguna de las raíces de P son enteros algebraicos (pero son números algebraicos ). Aquí se usa primitivo en el sentido de que el factor común más alto del conjunto de coeficientes de P es 1; esto es más débil que exigir que los coeficientes sean pares relativamente primos.
Hechos
- La suma, la diferencia y el producto de dos números enteros algebraicos es un número entero algebraico. En general, su cociente no lo es. El polinomio mónico involucrado es generalmente de mayor grado que los de los enteros algebraicos originales y se puede encontrar tomando resultantes y factorizando. Por ejemplo, si x 2 - x - 1 = 0 , y 3 - y - 1 = 0 y z = xy , a continuación, la eliminación de x y y de z - xy = 0 y los polinomios satisfechas por x y y utilizando el resultante da z 6 - 3 z 4 - 4 z 3 + z 2 + z - 1 = 0 , que es irreducible, y es la ecuación mónica satisfecha por el producto. (Para ver que xy es una raíz del resultado x de z - xy y x 2 - x - 1 , se podría usar el hecho de que el resultante está contenido en el ideal generado por sus dos polinomios de entrada).
- Cualquier número construible a partir de enteros con raíces, suma y multiplicación es, por lo tanto, un entero algebraico; pero no todos los enteros algebraicos son tan construibles: en un sentido ingenuo, la mayoría de las raíces de las quínticas irreductibles no lo son. Este es el teorema de Abel-Ruffini .
- Cada raíz de un polinomio mónico cuyos coeficientes son enteros algebraicos es en sí misma un entero algebraico. En otras palabras, los enteros algebraicos forman un anillo que está integralmente cerrado en cualquiera de sus extensiones.
- El anillo de enteros algebraicos es un dominio de Bézout , como consecuencia del teorema del ideal principal .
- Si el polinomio mónico asociado con un entero algebraico tiene un término constante 1 o -1, entonces el recíproco de ese entero algebraico también es un entero algebraico, y es una unidad , un elemento del grupo de unidades del anillo de números enteros algebraicos.
Ver también
Referencias
- ^ Marcus, Daniel A. (1977). Campos numéricos (3ª ed.). Berlín, Nueva York: Springer-Verlag . ch. 2, pág. 38 y ex. 41. ISBN 978-0-387-90279-1.
- Stein, W. Teoría algebraica de números: un enfoque computacional (PDF) .