Número complejo que resuelve un polinomio mónico con coeficientes enteros
En teoría algebraica de números , un número entero algebraico es un número complejo que es entero entre los números enteros . Es decir, un entero algebraico es una raíz compleja de algún polinomio mónico (un polinomio cuyo coeficiente principal es 1) cuyos coeficientes son números enteros. El conjunto de todos los números enteros algebraicos A es cerrado en suma, resta y multiplicación y, por tanto, es un subanillo conmutativo de los números complejos.
El anillo de números enteros de un campo numérico K , denotado por O K , es la intersección de K y A : también se puede caracterizar como el orden máximo del campo K. Cada número entero algebraico pertenece al anillo de números enteros de algún campo numérico. Un número α es un entero algebraico si y sólo si el anillo se genera finitamente como un grupo abeliano , es decir, como un módulo .![{\displaystyle \mathbb {Z} [\alpha ]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definiciones
Las siguientes son definiciones equivalentes de un número entero algebraico. Sea K un cuerpo numérico (es decir, una extensión finita del campo de los números racionales ), en otras palabras, para algún número algebraico según el teorema del elemento primitivo .![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \theta \in \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- α ∈ K es un entero algebraico si existe un polinomio mónicotal que f ( α ) = 0 .
![{\displaystyle f(x)\in \mathbb {Z} [x]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- α ∈ K es un entero algebraico si elpolinomio mónico mínimo de α overestá en.
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} [x]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- α ∈ K es un número entero algebraico sies un módulo generado finitamente.
![{\displaystyle \mathbb {Z} [\alpha ]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- α ∈ K es un número entero algebraico si existe un submódulo finitamentetal que αM ⊆ M .
![{\displaystyle M\subset \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Los números enteros algebraicos son un caso especial de elementos integrales de una extensión de anillo. En particular, un número entero algebraico es un elemento integral de una extensión finita .![{\displaystyle K/\mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
- Los únicos números enteros algebraicos que se encuentran en el conjunto de los números racionales son los números enteros. En otras palabras, la intersección de y A es exactamente . el numero racional
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
a/bno es un número entero algebraico a menos que b divida a . El coeficiente principal del polinomio bx − a es el número entero b . Como otro caso especial, la raíz cuadrada de un número entero no negativo n es un número entero algebraico, pero es irracional a menos que n sea un cuadrado perfecto .![{\displaystyle {\sqrt {n}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si d es un entero sin cuadrados, entonces la extensión es un cuerpo cuadrático de números racionales. El anillo de enteros algebraicos contiene OK ya que es una raíz del polinomio mónico x 2 − d . Además, si d ≡ 1 mod 4 , entonces el elemento también es un número entero algebraico. Satisface el polinomio x 2 − x +
![{\displaystyle K=\mathbb {Q} ({\sqrt {d}}\,)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\sqrt {d}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
1/4(1 − d ) donde el término constante 1/4(1 − d ) es un número entero. El anillo completo de números enteros se genera por o respectivamente. Consulte Entero cuadrático para obtener más información.![{\displaystyle {\sqrt {d}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle {\frac {1}{2}}(1+{\sqrt {d}}\,)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- El anillo de números enteros del campo , α = 3 √ m , tiene la siguiente base integral , escribiendo m = hk 2 para dos enteros coprimos libres de cuadrados h y k : [1]
![{\displaystyle {\begin{casos}1,\alpha ,{\dfrac {\alpha ^{2}\pm k^{2}\alpha +k^{2}}{3k}}&m\equiv \pm 1 {\bmod {9}}\\1,\alpha ,{\dfrac {\alpha ^{2}}{k}}&{\text{de lo contrario}}\end{casos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si ζ n es una raíz nésima primitiva de la unidad , entonces el anillo de números enteros del campo ciclotómico es precisamente .
![{\displaystyle \mathbb {Q} (\zeta _ {n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Z} [\zeta _ {n}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si α es un entero algebraico entonces β = n √ α es otro entero algebraico. Un polinomio para β se obtiene sustituyendo x n en el polinomio por α .
Sin ejemplo
- Si P ( x ) es un polinomio primitivo que tiene coeficientes enteros pero no es mónico, y P es irreducible en , entonces ninguna de las raíces de P son números enteros algebraicos (pero son números algebraicos ). Aquí se utiliza primitivo en el sentido de que el máximo común divisor de los coeficientes de P es 1; esto es más débil que exigir que los coeficientes sean primos relativos por pares.
Hechos
- La suma, diferencia y 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 números 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 , entonces eliminando x e y de z − xy = 0 y los polinomios satisfechos por x e y usando la resultante se obtiene z 6 − 3 z 4 − 4 z 3 + z 2 + z − 1 = 0 , que es irreducible y es la ecuación mónica que satisface el producto. (Para ver que xy es una raíz de la x -resultante de z − xy y x 2 − x − 1 , se podría utilizar el hecho de que la resultante está contenida en el ideal generado por sus dos polinomios de entrada).
- Cualquier número que se pueda construir a partir de números enteros con raíces, suma y multiplicación es, por tanto, un número entero algebraico; pero no todos los números enteros algebraicos son tan construibles: en un sentido ingenuo, la mayoría de las raíces de quinticas irreducibles no lo son. Este es el teorema de Abel-Ruffini .
- Cada raíz de un polinomio mónico cuyos coeficientes son números enteros algebraicos es en sí mismo un número entero algebraico. En otras palabras, los números enteros algebraicos forman un anillo integralmente cerrado en cualquiera de sus extensiones.
- El anillo de los enteros algebraicos es un dominio de Bézout , como consecuencia del teorema del ideal principal .
- Si el polinomio mónico asociado a un entero algebraico tiene 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 enteros algebraicos.
- Si x es un número algebraico, entonces a n x es un entero algebraico, donde x satisface un polinomio p ( x ) con coeficientes enteros y donde a n x n es el término de mayor grado de p ( x ) . El valor y = a n x es un número entero algebraico porque es raíz de q ( y ) = anorte - 1
norte p ( y / a n ) , donde q ( y ) es un polinomio mónico con coeficientes enteros. - Si x es un número algebraico, entonces se puede escribir como la relación entre un entero algebraico y un entero algebraico distinto de cero. De hecho, siempre se puede elegir que el denominador sea un número entero positivo. La proporción es | una norte | x / | una norte | , donde x satisface un polinomio p ( x ) con coeficientes enteros y donde an x n es el término de mayor grado de p ( x ) .
Ver también
Referencias
- Stein, Guillermo . Teoría algebraica de números: un enfoque computacional (PDF) . Archivado (PDF) desde el original el 2 de noviembre de 2013.