fbpx
Wikipedia

Polinomio ciclotómico

Se denomina polinomio ciclotómico de orden n y se denota como Φn al polinomio unitario cuyas raíces son todas las raíces primitivas de orden n de la unidad, es decir, que verifican zn = 1. Donde z es un número complejo.

Se suele tomar las raíces en el cuerpo de los complejos, (otras extensiones del cuerpo de los reales serían posibles), pero carece de consecuencia sobre los polinomios ciclotómicos, cuyos coeficientes son siempre enteros. El grado de Φn es dado por la función φ de Euler, y es lógicamente inferior o igual a n.

Las raíces primitivas son de la forma ωr, con 0 ≤ r < n, r coprimo con n, y . Entonces

Historia

Nacimiento de la noción

 
El tratado de análisis de los polinomios ciclotómicos

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: los enteros de Gauss. Surge la teoría de números algebraicos, que simplifica la resolución de ecuaciones diofánticas y permite resolver nuevos problemas.

Ecuación polinómica y algebraica ciclotómicos

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 ( 1898-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

  • El grado del n-ésimo polinomio ciclotómico viene dado por la función φ de Euler:  .

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

  •  , el polinomio ciclotómico   es de coeficientes enteros, es decir,  .
  •  , el polinomio ciclotómico  , es irreducible en   y en  .
  •   p primo,   tal que p no divide n, y  , se tiene:  
  •   n impar, se tiene:  
  •   primo y   tal que p no divide n, se tiene:  

Cálculo de los polinomios ciclotómicos

El polinomio   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  , para d divisor de n también son raíces de  . Se deduce pues la siguiente igualdad:

 

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

 

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:

 

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

 

Ejemplos

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

 
 

Ahora mediante las fórmulas anteriores y teniendo en cuenta que  , calculamos los polinomios de orden mayor:

 
 
 
 
 
 
 
 
 
 
 
 
 
 

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

 
 
 
 
 

Ejemplos gráficos

 
Gráfica de las raíces duodécimas y las séptimas de uno.

En la imagen tenemos por un lado las raíces duodécimas de la unidad de   y las raíces séptimas por otro. De esta manera:

  • si n=12: las raíces primitivas son las  , 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 son las  , 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

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   un polinomio irreducible y   una raíz de  . Resulta que   de manera que  , es decir, el grado del polinomio   será el grado de extensión   sobre k que es el mínimo cuerpo que contiene k y  .

Consideremos ahora,   una raíz n-ésima primitiva de la unidad. Entonces tendremos que  , 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   números naturales primos entre sí. Entonces, el producto de las dos raíces primitivas   es una raíz mn-ésima primitiva de la unidad y se satisfacen las igualdades:   y  .

Notas

  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

Enlaces externos

  •   Datos: Q1051983

polinomio, ciclotómico, denomina, polinomio, ciclotómico, orden, denota, como, polinomio, unitario, cuyas, raíces, todas, raíces, primitivas, orden, unidad, decir, verifican, donde, número, complejo, suele, tomar, raíces, cuerpo, complejos, otras, extensiones,. Se denomina polinomio ciclotomico de orden n y se denota como Fn al polinomio unitario cuyas raices son todas las raices primitivas de orden n de la unidad es decir que verifican zn 1 Donde z es un numero complejo Se suele tomar las raices en el cuerpo de los complejos otras extensiones del cuerpo de los reales serian posibles pero carece de consecuencia sobre los polinomios ciclotomicos cuyos coeficientes son siempre enteros El grado de Fn es dado por la funcion f de Euler y es logicamente inferior o igual a n Las raices primitivas son de la forma wr con 0 r lt n r coprimo con n y w e 2 i p n displaystyle scriptstyle omega e frac 2i pi n Entonces F n r X w r displaystyle Phi n prod r X omega r Indice 1 Historia 1 1 Nacimiento de la nocion 1 2 Ecuacion polinomica y algebraica ciclotomicos 2 Propiedades 3 Calculo de los polinomios ciclotomicos 4 Ejemplos 5 Ejemplos graficos 6 Cuerpos ciclotomicos 7 Notas 8 Vease tambien 9 Enlaces externosHistoria EditarNacimiento de la nocion Editar El tratado de analisis de los polinomios ciclotomicos Carl Friedrich Gauss utiliza en sus Disquisitiones Arithmeticae publicado en 1801 los polinomios ciclotomicos Se hace una importante contribucion a un problema abierto desde la antiguedad la construccion con regla y compas de poligonos regulares Estos trabajos sirven de referencia a lo largo del siglo En este trabajo Gauss determina con precision la lista de poligonos construibles y le da un metodo eficaz para su construccion hasta 256 lados del poligono Este problema recibe una respuesta final por Pierre Laurent Wantzel 1814 1848 en un articulo 1 en adelante celebre Este enfoque es innovador y en muchos aspectos prefigura algebra moderna Un polinomio ya no aparece como un objeto en si 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 basica para el analisis de Gauss La resolucion efectiva de la ecuacion de Gauss ciclotomico llevo a considerar una estructura finita las permutaciones de las raices Ahora se llaman periodo de Gauss Sus propiedades algebraicas se utilizan para encontrar la solucion Este enfoque preve el uso de la teoria de grupos en el algebra y la teoria de Galois Las nuevas estructuras se definen a continuacion La division euclidiana introduce la nocion 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 numero primo Gauss resalta tales conjuntos y utiliza el transporte de estructura para morfismos entre dos anillos para mostrar la irreductibilidad de polinomios ciclotomicos En el mismo libro el utiliza estas estructuras para resolver otro problema abordado por Fermat 1601 1685 y formalizado por Euler 1707 1783 la ley de reciprocidad cuadratica Por este tiempo se proponen muchas aplicaciones La utilizacion de la geometria no se limita a la construccion con la regla y el compas El polinomio ciclotomico de indice cuatro permite la construccion de un nuevo conjunto de numeros algebraicos los enteros de Gauss Surge la teoria de numeros algebraicos que simplifica la resolucion de ecuaciones diofanticas y permite resolver nuevos problemas Ecuacion polinomica y algebraica ciclotomicos Editar Evariste Galois La busqueda de soluciones a la ecuacion polinomica es un problema que se remonta a los primeros desarrollos en polinomios por los matematicos arabes Aunque en general se cita a Al Khwarizmi 783 850 como precursor con la resolucion de seis ecuaciones canonicas Girolamo Cardano 1501 1576 para la resolucion del caso de grado tres y Ludovico Ferrari 1522 1565 para el cuarto El caso general continuo siendo durante mucho tiempo misterioso Joseph Louis Lagrange 1736 1813 incluye la resolucion de este problema general esta intimamente relacionado con las propiedades de las permutaciones de raices El caso especial de los polinomios ciclotomicos lo muestra El grupo de permutaciones buenas ahora llamado grupo de Galois no solo es conmutativa sino ademas ciclica Esta propiedad que se utiliza en torno al concepto de periodos de Gauss permite una eficaz solucion para este caso particular Un analisis mas 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 condicion suficiente Para ser precisos la situacion 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 numeros racionales cuyo grupo de Galois es conmutativa Estas extensiones se llaman extensiones abelianas La estructura del cuerpo asociado con el polinomio ciclotomico extension llamada ciclotomico es un ejemplo Que sea unica significa que toda ecuacion algebraica resoluble por radicales se reduce de una manera u otra a un polinomio ciclotomico La respuesta es que toda extension abeliana del cuerpo de los racionales es un subcuerpo de una extension ciclotomico La prueba de este resultado ha necesitado casi medio siglo esfuerzo para terminar de ser demostrado Los principales cientificos para dicha demostracion fueron Leopold Kronecker 1823 1891 y Heinrich Weber 1842 1913 Si el analisis de las extensiones abelianas finitas termina con el siglo XIX se deja abierta una amplia gama de cuestiones por ejemplo en aritmetica Parece necesario generalizar la nocion de campo ciclotomico sobre extensiones infinitas La cuestion la plantea David Hilbert 1862 1943 2 Esta investigacion se llama la teoria de las clases de cuerpo Esta teoria es uno de los mas exitosos en el siglo XX Se puede citar por ejemplo el teorema de reciprocidad 3 de Emil Artin 1898 62 que resuelve el noveno de los problemas de Hilbert o mas recientemente dos laureados de la medalla Fields para sus trabajos sobre generalizaciones de la teoria Vladimir Drinfeld 1990 o Laurent Lafforgue en 2002 Propiedades EditarEl grado del n esimo polinomio ciclotomico viene dado por la funcion f de Euler f m n N n m m c d m n 1 displaystyle varphi m n in mathbb N n leq m land mathrm mcd m n 1 En particular siempre sera menor o igual a n n 1 displaystyle forall n geq 1 el polinomio ciclotomico F n X displaystyle Phi n X es de coeficientes enteros es decir F n X Z X displaystyle Phi n X in mathbb Z X n 1 displaystyle forall n geq 1 el polinomio ciclotomico F n X Z X displaystyle Phi n X in mathbb Z X es irreducible en Z X displaystyle mathbb Z X y en Q X displaystyle mathbb Q X p gt 1 displaystyle forall p gt 1 p primo n N displaystyle forall n in mathbb N tal que p no divide n y r 1 displaystyle forall r geq 1 se tiene F n p r X F n p X p r 1 displaystyle Phi np r X Phi np X p r 1 n 3 displaystyle forall n geq 3 n impar se tiene F 2 n X F n X displaystyle Phi 2n X Phi n X p displaystyle forall p primo y n N displaystyle forall n in mathbb N tal que p no divide n se tiene F n p X F n X p F n X displaystyle Phi np X frac Phi n X p Phi n X Calculo de los polinomios ciclotomicos EditarEl polinomio X n 1 displaystyle X n 1 tiene por raices todas las raices n esimas de la unidad y toda raiz n esima de la unidad es raiz d esima primitiva para algun divisor d de n de la misma manera las raices de F d X displaystyle Phi d X para d divisor de n tambien son raices de X n 1 displaystyle X n 1 Se deduce pues la siguiente igualdad X n 1 d n F d X displaystyle X n 1 prod d n Phi d X Mediante esta ultima encontramos una primera manera recursiva de calcular los polinomios ciclotomicos F n X X n 1 d lt n d n F d X displaystyle Phi n X frac X n 1 prod stackrel d n d lt n Phi d X Si queremos calcular el polinomio ciclotomico p esimo donde p es un numero primo como p no es divisible por ningun numero menor que el distinto de 1 todas las raices de la unidad exceptuando el uno son raices primitivas por tanto F p z X z X p 1 X 1 1 X X 2 X p 1 displaystyle Phi p prod zeta X zeta frac X p 1 X 1 1 X X 2 X p 1 Utilizando la funcion de Mobius se obtiene otra manera no recursiva de calcular los polinomios ciclotomicos F n X d n X d 1 m n d d n X n d 1 m d displaystyle Phi n X prod d n X d 1 mu n d prod d n X n d 1 mu d Ejemplos EditarCalculemos los polinomios ciclotomicos de orden 2 y 3 al ser ambos numeros primos su calculo es inmediato F 2 X 2 1 F 1 X 2 1 X 1 X 1 displaystyle Phi 2 frac X 2 1 Phi 1 frac X 2 1 X 1 X 1 F 3 X 3 1 F 1 X 3 1 X 1 X 2 X 1 displaystyle Phi 3 frac X 3 1 Phi 1 frac X 3 1 X 1 X 2 X 1 Ahora mediante las formulas anteriores y teniendo en cuenta que F 1 X 1 displaystyle Phi 1 X 1 calculamos los polinomios de orden mayor F 4 X 4 1 F 1 F 2 X 4 1 X 2 1 X 2 1 displaystyle Phi 4 frac X 4 1 Phi 1 Phi 2 frac X 4 1 X 2 1 X 2 1 F 5 X 5 1 F 1 X 5 1 X 1 X 4 X 3 X 2 X 1 displaystyle Phi 5 frac X 5 1 Phi 1 frac X 5 1 X 1 X 4 X 3 X 2 X 1 F 6 X 6 1 F 1 F 3 F 2 X 6 1 X 3 1 X 1 X 3 1 X 1 X 2 X 1 displaystyle 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 F 7 X 7 1 F 1 X 7 1 X 1 X 6 X 5 X 4 X 3 X 2 X 1 displaystyle 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 F 8 X 8 1 F 1 F 2 F 4 X 8 1 X 4 1 X 4 1 displaystyle Phi 8 frac X 8 1 Phi 1 Phi 2 Phi 4 frac X 8 1 X 4 1 X 4 1 F 9 X 9 1 F 1 F 3 X 9 1 X 3 1 X 6 X 3 1 displaystyle Phi 9 frac X 9 1 Phi 1 Phi 3 frac X 9 1 X 3 1 X 6 X 3 1 F 10 X 10 1 F 1 F 5 F 2 X 10 1 X 5 1 X 1 X 5 1 X 1 X 4 X 3 X 2 X 1 displaystyle 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 F 11 X 11 1 F 1 X 11 1 X 1 X 10 X 9 X 8 X 7 X 6 X 5 X 4 X 3 X 2 X 1 displaystyle Phi 11 frac X 11 1 Phi 1 frac X 11 1 X 1 X 10 X 9 X 8 X 7 X 6 X 5 X 4 X 3 X 2 X 1 F 12 X 12 1 F 1 F 2 F 3 F 6 F 4 X 12 1 X 6 1 X 2 1 X 6 1 X 2 1 X 4 X 2 1 displaystyle 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 F 13 X 13 1 F 1 X 13 1 X 1 X 12 X 11 X 10 X 9 X 8 X 7 X 6 X 5 X 4 X 3 X 2 X 1 displaystyle Phi 13 frac X 13 1 Phi 1 frac X 13 1 X 1 X 12 X 11 X 10 X 9 X 8 X 7 X 6 X 5 X 4 X 3 X 2 X 1 F 14 X 14 1 F 1 F 7 F 2 X 14 1 X 7 1 X 1 X 7 1 X 1 X 6 X 5 X 4 X 3 X 2 X 1 displaystyle 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 F 15 X 15 1 F 1 F 5 F 3 X 15 1 X 5 1 X 2 X 1 X 10 X 5 1 X 2 X 1 X 8 X 7 X 5 X 4 X 3 X 1 displaystyle 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 F 16 X 16 1 F 1 F 2 F 4 F 8 X 16 1 X 2 1 X 2 1 X 4 1 X 8 1 displaystyle Phi 16 frac X 16 1 Phi 1 Phi 2 Phi 4 Phi 8 frac X 16 1 X 2 1 X 2 1 X 4 1 X 8 1 F 17 X 17 1 F 1 X 17 1 X 1 X 16 X 15 X 14 X 13 X 12 X 11 X 10 X 9 X 8 X 7 X 6 X 5 X 4 X 3 X 2 X 1 displaystyle Phi 17 frac X 17 1 Phi 1 frac X 17 1 X 1 X 16 X 15 X 14 X 13 X 12 X 11 X 10 X 9 X 8 X 7 X 6 X 5 X 4 X 3 X 2 X 1 Calculemos ahora algunos polinomios ciclotomicos usando la funcion de Mobius F 4 X 4 1 X 2 1 X 2 1 displaystyle Phi 4 frac X 4 1 X 2 1 X 2 1 F 6 X 6 1 X 1 X 3 1 X 2 1 X 2 X 1 displaystyle Phi 6 frac X 6 1 X 1 X 3 1 X 2 1 X 2 X 1 F 8 X 8 1 X 4 1 X 4 1 displaystyle Phi 8 frac X 8 1 X 4 1 X 4 1 F 10 X 10 1 X 1 X 5 1 X 2 1 X 4 X 3 X 2 X 1 displaystyle Phi 10 frac X 10 1 X 1 X 5 1 X 2 1 X 4 X 3 X 2 X 1 F 12 X 12 1 X 2 1 X 6 1 X 4 1 X 4 X 2 1 displaystyle Phi 12 frac X 12 1 X 2 1 X 6 1 X 4 1 X 4 X 2 1 Ejemplos graficos Editar Grafica de las raices duodecimas y las septimas de uno En la imagen tenemos por un lado las raices duodecimas de la unidad de C displaystyle mathbb C y las raices septimas por otro De esta manera si n 12 las raices primitivas son las z k displaystyle 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 raices primitivas son las z k displaystyle zeta k con k 1 2 3 4 5 6 ya que 7 es un numero primo y por lo tanto todos los k cumplen mcd 7 k 1 Cuerpos ciclotomicos EditarArticulo principal Cuerpo ciclotomico Una de las aplicaciones de los polinomios ciclotomicos es en el contexto del algebra cuando se usa para construir cuerpos ciclotomicos Sean K un cuerpo algebraicamente cerrado y k un subcuerpo de este Consideremos f X k X displaystyle f X in k X un polinomio irreducible y 8 K displaystyle theta in K una raiz de f X displaystyle f X Resulta que k 8 k X f X displaystyle k theta simeq k X f X de manera que k 8 k gr f X displaystyle k theta k operatorname gr f X es decir el grado del polinomio f X displaystyle f X sera el grado de extension k 8 displaystyle k theta sobre k que es el minimo cuerpo que contiene k y 8 displaystyle theta Consideremos ahora z displaystyle zeta una raiz n esima primitiva de la unidad Entonces tendremos que Q z Q gr F n X f n displaystyle mathbf Q zeta mathbf Q operatorname gr Phi n X varphi n y como en la generalizacion tendremos que el grado de la extension del cuerpo de los racionales junto a la raiz primitiva n esima sera el grado del polinomio ciclotomico n esimo Por otro lado tambien es importante remarcar el resultado siguiente Sean m n 1 displaystyle m n geq 1 numeros naturales primos entre si Entonces el producto de las dos raices primitivas z n z m displaystyle zeta n zeta m es una raiz mn esima primitiva de la unidad y se satisfacen las igualdades Q z m z n Q z m z n displaystyle mathbf Q zeta m zeta n mathbf Q zeta m zeta n y Q z m Q z n Q displaystyle mathbf Q zeta m cap mathbf Q zeta n mathbf Q Notas Editar Pierre Laurent Wantzel Recherches sur les moyens de reconnaitre si un probleme de Geometrie peut se resoudre avec la regle et le compas 1837 David Hilbert La theorie des corps de nombres algebriques 1897 Emil Artin Beweis des allgemeinen Reziprozitatsgesetzes 1927Vease tambien EditarCuerpo ciclotomicoEnlaces externos EditarWeisstein Eric W Cyclotomic Polynomial En Weisstein Eric W ed MathWorld en ingles Wolfram Research Cyclotomic polynomial en PlanetMath Datos Q1051983Obtenido de https es wikipedia org w index php title Polinomio ciclotomico amp oldid 138319330, wikipedia, wiki, leyendo, leer, libro, biblioteca,

español

, española, descargar, gratis, descargar gratis, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, imagen, música, canción, película, libro, juego, juegos