Polinomio ciclotómico

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Se denomina  \forall n \in \mathbb{N}, n \geq 1, n - ésimo polinomio ciclotómico al polinomio unitario:

  \Phi_n = \prod_{{ }_{\zeta}} (X - \xi)

donde  \zeta recorre el conjunto de las raíces n-esimas primitivas de la unidad del cuerpo de los números complejos, \mathbb{C} . Respecto una raíz de la unidad, la raíz primitiva es una generadora del grupo de todas las raíces de la unidad:  \mu_n(\mathbb{C}) .

Historia[editar]

Nacimiento de la noción[editar]

El tractat d'anàlisi dels polinomis ciclotòmics

Carl Friedrich Gauss utiliza en sus Disquisitiones Arithmeticae, publicado en 1801, los polinomios ciclotómicos. Se hace una importante contribución a un problema abierto desde la antigüedad: la construcción con regla y compás de polígonos regulares. Estos trabajos sirven de referencia a lo largo del siglo. En este trabajo, Gauss determina con precisión la lista de polígonos construibles, y le da un método eficaz para su construcción hasta 256 lados del polígono. Este problema recibe una respuesta final por Pierre- Laurent Wantzel (1814 - 1848) en un artículo[1] en adelante célebre. Este enfoque es innovador y, en muchos aspectos, prefigura álgebra moderna: Un polinomio ya no aparece como un objeto en sí mismo, sino como parte de un conjunto estructurado. Si el concepto del anillo de polinomios no se formaliza, la estructura euclidiana se encuentra y es la herramienta básica para el análisis de Gauss. La resolución efectiva de la ecuación de Gauss ciclotómico llevó a considerar una estructura finita: las permutaciones de las raíces. Ahora se llaman periodo de Gauss. Sus propiedades algebraicas se utilizan para encontrar la solución. Este enfoque prevé el uso de la teoría de grupos en el álgebra y la teoría de Galois. Las nuevas estructuras se definen a continuación. La división euclidiana introduce la noción de residuo y su conjunto tiene propiedades algebraicas fuertes. Tal estructura ahora se considera un caso especial de la finita si el divisor es un número primo. Gauss resalta tales conjuntos y utiliza el transporte de estructura para morfismos entre dos anillos para mostrar la irreductibilidad de polinomios ciclotómicos. En el mismo libro, él utiliza estas estructuras para resolver otro problema abordado por Fermat (1601 - 1685) y formalizado por Euler (1707 - 1783): la ley de reciprocidad cuadrática. Por este tiempo, se proponen muchas aplicaciones. La utilización de la geometría no se limita a la construcción con la regla y el compás. El polinomio ciclotómico de índice cuatro permite la construcción de un nuevo conjunto de números algebraicos el de los enteros de Gauss. Una rama de la matemática surge: la teoría de números algebraicos, que simplifica la resolución de ecuaciones diofánticas y permite resolver nuevos.

Ecuación polinómica y algebraica ciclotómicos[editar]

La búsqueda de soluciones a la ecuación polinómica es un problema que se remonta a los primeros desarrollos en polinomios por los matemáticos árabes. Aunque en general se cita a Al- Khwarizmi ( 783-850 ) como precursor con la resolución de seis ecuaciones canónicas, Girolamo Cardano ( 1501-1576 ) para la resolución del caso de grado tres y Ludovico Ferrari ( 1522-1565 ) para el cuarto. El caso general continuó siendo durante mucho tiempo misterioso. Joseph - Louis Lagrange (1736 - 1813) incluye la resolución de este problema general está íntimamente relacionado con las propiedades de las permutaciones de raíces. El caso especial de los polinomios ciclotómicos lo muestra. El grupo de permutaciones buenas, ahora llamado grupo de Galois, no solo es conmutativa sino además cíclica. Esta propiedad, que se utiliza en torno al concepto de períodos de Gauss, permite una eficaz solución para este caso particular. Un análisis más profundo Ruffini Paolo ( 1765-1822 ), Niels Henrik Abel ( 1802-1829 ) y sobre todo por Evariste Galois ( 1811-1832 ) muestra que el aspecto conmutativa del grupo es, de hecho, una condición suficiente. Para ser precisos, la situación indica que el grupo debe ser dividido en una serie de grupos conmutativos anidadas. La pregunta natural que surge es determinar las extensiones del cuerpo de los números racionales cuyo grupo de Galois es conmutativa. Estas extensiones se llaman extensiones abelianas. La estructura del cuerpo asociado con el polinomio ciclotómico extensión llamada ciclotómico, es un ejemplo. Que sea única significa que toda ecuación algebraica resoluble por radicales se reduce de una manera u otra a un polinomio ciclotómico. La respuesta es que toda extensión abeliana del cuerpo de los racionales es un subcuerpo de una extensión ciclotómico. La prueba de este resultado ha necesitado casi medio siglo esfuerzo para terminar de ser demostrado. Los principales científicos para dicha demostración fueron Leopold Kronecker (1823 - 1891) y Heinrich Weber ( 1842-1913 ). Si el análisis de las extensiones abelianas finitas termina con el siglo XIX, se deja abierta una amplia gama de cuestiones, por ejemplo en aritmética. Parece necesario generalizar la noción de campo ciclotómico sobre extensiones infinitas. La cuestión la plantea David Hilbert ( 1862-1943 ).[2] Esta investigación se llama la teoría de las clases de cuerpo. Esta teoría es uno de los más exitosos en el siglo XX. Se puede citar por ejemplo el teorema de reciprocidad[3] de Emil Artin ( 1998-62 ) que resuelve el noveno de los problemas de Hilbert, o más recientemente, dos laureados de la medalla Fields para sus trabajos sobre generalizaciones de la teoría: Vladimir Drinfeld 1990 o Laurent Lafforgue en 2002.

Propiedades[editar]

En particular, siempre será menor o igual a n.

  •  \forall n \geq 1 , el polinomio ciclotómico   \Phi_n(X) es de coeficientes enteros, es decir,   \Phi_n(X) \in \mathbb{Z}[X] .
  •  \forall n \geq 1 , el polinomio ciclotómico   \Phi_n(X) \in \mathbb{Z}[X] , es irreducible en  \mathbb{Z}[X] y en  \mathbb{Q}[X] .
  •  \forall p > 1, p primo, \forall n \in \mathbb{N} tal que p no divide n, y  \forall r \geq 1 , se tiene:  \Phi_{np^r}(X)= \Phi_{np}(X^{p^{r-1}}).
  •  \forall n \geq 3, n impar, se tiene:  \Phi_{2n}(X)= \Phi_{n}(-X).
  •  \forall p primo y \forall n \in \mathbb{N} tal que p no divide n, se tiene:  \Phi_{np}(X)= \frac{\Phi_{n}(X^p)}{\Phi_{n}(X)}.

Cálculo de los polinomios ciclotómicos[editar]

El polinomio  X^n -1 tiene por raíces todas las raíces n-ésimas de la unidad y toda raíz n-ésima de la unidad es raíz d-ésima primitiva para algún divisor d de n; de la misma manera, las raíces de  \Phi_d(X) , para d divisor de n también son raíces de  X^n-1. Se deduce pues la siguiente igualdad:

 X^n-1 = \prod_{d|n}\Phi_d(X).

Mediante esta última, encontramos una primera manera recursiva de calcular los polinomios ciclotómicos:

 \Phi_n(X)= \frac{X^n-1}{\prod_{d|n, d<n}\Phi_d(X)}.

Si queremos calcular el polinomio ciclotómico p-ésimo, donde p es un número primo, como p no es divisible por ningún número menor que él distinto de 1, todas las raíces de la unidad exceptuando el uno son raíces primitivas, por tanto:

 \Phi_p = \prod_{{ }_{\xi}} (X - \xi) = \frac{X^p -1}{X-1} = 1+ X +X^2+ ... +X^{p-1}.

Utilizando la función de Möbius, se obtiene otra manera no recursiva de calcular los polinomios ciclotómicos:

 \Phi_n(X)= \prod_{d|n}(X^d - 1)^{\mu(n/d)}= \prod_{d|n}(X^{n/d} - 1)^{\mu(d)}=  .

Ejemplos[editar]

Calculemos los polinomios ciclotómicos de orden 2 y 3, al ser ambos números primos su cálculo es inmediato:

  \Phi_2 = \frac {X^2-1} {\Phi_1} = \frac {X^2-1} {X - 1} = X  + 1
 \Phi_3 = \frac {X^3-1} {\Phi_1} = \frac {X^3-1} {X - 1} =  X^2 + X + 1

Ahora mediante las fórmulas anteriores y teniendo en cuenta que  \Phi_1 = X - 1, calculamos los polinomios de orden mayor:

\Phi_4 = \frac {X^4-1} {\Phi_1 \Phi_2} = \frac {X^4-1} {X^2 - 1} =  X^2  + 1
\Phi_5 = \frac {X^5-1} {\Phi_1} = \frac {X^5-1} {X - 1} =  X^4 + X^3 + X^2 + X+1
\Phi_6 = \frac {X^6-1} {(\Phi_1 \Phi_3) \Phi_2} = \frac {X^6 - 1} {(X^3 -1) (X+1)} = \frac {X^3+1} {X+1} = X^2-X+1
\Phi_7 = \frac {X^7-1} {\Phi_1} = \frac {X^7-1} {X - 1} = X^6+X^5+ X^4 + X^3 + X^2 + X  + 1
\Phi_8 = \frac {X^8-1} {\Phi_1 \Phi_2 \Phi_4}= \frac {X^8-1} {X^4 -1} = X^4 + 1
\Phi_9 = \frac {X^9-1} {\Phi_1 \Phi_3} = \frac {X^9-1} {X^3 - 1} =  X^6  + X^3 + 1
\Phi_{10} = \frac {X^{10}-1} {(\Phi_1 \Phi_5) \Phi_2} =  \frac {X^{10} - 1} {(X^5 -1) (X+1)} = \frac {X^5+1} {X+1} = X^4-X^3+X^2-X+1
\Phi_{12} = \frac {X^{12}-1} {(\Phi_1 \Phi_2 \Phi_3 \Phi_6) \Phi_4}= \frac {X^{12}-1} {(X^6-1)(X^2 +1)} = \frac {X^6+1} {X^2+1} = X^4-X^2+1
\Phi_{14} = \frac {X^{14}-1} {(\Phi_1 \Phi_7) \Phi_2} = \frac {X^{14} - 1} {(X^7 -1) (X+1)} = \frac {X^7+1} {X+1} = X^6-X^5+X^4-X^3+X^2-X+1
\Phi_{15} = \frac {X^{15}-1} {(\Phi_1 \Phi_5) \Phi_3} = \frac {X^{15} - 1} {(X^5 -1) (X^2+X+1)} = \frac {X^{10}+X^5+1} {X^2+X+1} =  X^8-X^7+X^5-X^4+X^3-X+1
\Phi_{16} = \frac {X^{16}-1} {\Phi_1 \Phi_2 \Phi_4 \Phi_8}= \frac {X^{16}-1} {X^8 -1} = X^8 + 1

Calculemos ahora algunos polinomios ciclotómicos usando la función de Möbius

\Phi_4 = \frac {X^4-1} {X^2 - 1} =  X^2  + 1
\Phi_6 = \frac {(X^6 - 1)(X-1)} {(X^3 -1) (X^2-1)} = X^2-X+1
\Phi_8 = \frac {X^8-1} {X^4 -1} = X^4 + 1
\Phi_{10} = \frac {(X^{10} - 1)(X-1)} {(X^5 -1) (X^2-1)} = X^4-X^3+X^2-X+1
\Phi_{12} = \frac {(X^{12}-1)(X^2-1} {(X^6-1)(X^4 -1)} = X^4-X^2+1

Ejemplos gráficos[editar]

Barcelona

En la imágen tenemos por un lado las raíces duodécimas de la unidad de \mathbb{C} y las raíces séptimas por otro. De esta manera:

  • si n=12: las raíces primitivas són las  \zeta^k , con k=1,5,7,11 ya que solo para estos valores de k tenemos: mcd(12,k)=1.
  • si n=7: las raíces primitivas són las  \zeta^k , con k=1,2,3,4,5,6 ya que 7 és un número primo y por lo tanto todos los k cumplen: mcd(7,k)=1.

Cuerpos ciclotómicos[editar]

Una de las aplicaciones de los polinomios ciclotómicos es en el contexto del álgebra, cuando se usa para construir cuerpos ciclotómicos. Sean K un cuerpo algebraicamente cerrado y k un subcuerpo de éste. Consideremos f(X) \in k[X] un polinomio irreductible y \theta \in K una raíz de f(X). Resulta que k(\theta) \simeq k[X]/(f(X)) de manera que [k(\theta): k]= gr(f(X)), es decir, el grado del polinomio  f(X) será el grado de la extensión k(\theta) sobre k que es el mínimo cuerpo que contiene k y \theta. Consideremos ahora, \xi una raíz n-ésima primitiva de la unidad. Entonces tendremos que [\mathbb{Q}(\xi) : \mathbb{Q}] =gr(\Phi_n(X)) = \varphi(n), y, como en la generalización, tendremos que el grado de la extensión del cuerpo de los racionales junto a la raíz primitiva n-ésima será el grado del polinomio ciclotómico n-ésimo. Por otro lado, también es importante remarcar el resultado siguiente: Sean m,n \geq 1 números naturales primos entre sí. Entonces, el producto de las dos raíces primitivas \xi_n \xi_m es una raíz mn-ésima primitiva de la unidad y se satisfacen las igualdades: \mathbb{Q}(\xi_m, \xi_n) = \mathbb{Q}(\xi_m  \xi_n) y \mathbb{Q}(\xi_m) \cap \mathbb{Q}(\xi_n) = \mathbb{Q}.

Notas[editar]

  1. Pierre-Laurent Wantzel, Recherches sur les moyens de reconnaître si un problème de Géométrie peut se résoudre avec la règle et le compas, 1837
  2. David Hilbert, La théorie des corps de nombres algébriques, 1897.
  3. Emil Artin, Beweis des allgemeinen Reziprozitätsgesetzes, 1927

Véase también[editar]

Enlaces externos[editar]