Polinomio ciclotómico

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Polinomio irreducible cuyas raíces son nth raíces de la unidad

En matemáticas, la npolinomia ciclotómica, para cualquier entero positivo n, es el polinomio irreducible único con coeficientes enteros que es un divisor de xn− − 1{displaystyle x^{n}-1} y no es un divisor de xk− − 1{displaystyle x^{k}-1} para cualquier k. n. Sus raíces son todas nlas raíces primitivas de la unidad e2iπ π kn{displaystyle e^{2ipi {fnMicroc {k} {n}}}, donde k se ejecuta sobre los enteros positivos no mayor que n y coprime n (y) i es la unidad imaginaria). En otras palabras, npolinomia ciclotómica es igual a

CCPR CCPR n()x)=∏ ∏ gcd()k,n)=11≤ ≤ k≤ ≤ n()x− − e2iπ π kn).{displaystyle Phi _{n}(x)=prod _{stackrel {1leq kleq n}left(x-e^{2ipi {fn} {n}}}}}}}}}}}

También puede definirse como el polinomio monico con coeficientes enteros que es el polinomio mínimo sobre el campo de los números racionales de cualquier primitivo nth-root de unidad (e2iπ π /n{displaystyle e^{2ipi - Sí. es un ejemplo de tal raíz).

Una relación importante que vincula los polinomios ciclotómicos y las raíces primitivas de la unidad es

∏ ∏ d▪ ▪ nCCPR CCPR d()x)=xn− − 1,{displaystyle prod _{dmid ¿Qué?

mostrando eso x es una raíz de xn− − 1{displaystyle x^{n}-1} si y sólo si es un dla raíz primitiva de la unidad para algunos d que divide n.

Ejemplos

Si n es un número primo, entonces

CCPR CCPR n()x)=1+x+x2+⋯ ⋯ +xn− − 1=.. k=0n− − 1xk.{displaystyle Phi _{n}(x)=1+x+x^{2}+cdots +x^{n-1}=sum ¿Qué?

Si n = 2p donde p es un número primo impar, entonces

CCPR CCPR 2p()x)=1− − x+x2− − ⋯ ⋯ +xp− − 1=.. k=0p− − 1()− − x)k.{displaystyle Phi _{2p}(x)=1-x+x^{2}-cdots +x^{p-1}=sum _{k=0}{p-1}(-x)^{k}

Para n hasta 30, los polinomios ciclotómicos son:

CCPR CCPR 1()x)=x− − 1CCPR CCPR 2()x)=x+1CCPR CCPR 3()x)=x2+x+1CCPR CCPR 4()x)=x2+1CCPR CCPR 5()x)=x4+x3+x2+x+1CCPR CCPR 6()x)=x2− − x+1CCPR CCPR 7()x)=x6+x5+x4+x3+x2+x+1CCPR CCPR 8()x)=x4+1CCPR CCPR 9()x)=x6+x3+1CCPR CCPR 10()x)=x4− − x3+x2− − x+1CCPR CCPR 11()x)=x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1CCPR CCPR 12()x)=x4− − x2+1CCPR CCPR 13()x)=x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1CCPR CCPR 14()x)=x6− − x5+x4− − x3+x2− − x+1CCPR CCPR 15()x)=x8− − x7+x5− − x4+x3− − x+1CCPR CCPR 16()x)=x8+1CCPR CCPR 17()x)=x16+x15+x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1CCPR CCPR 18()x)=x6− − x3+1CCPR CCPR 19()x)=x18+x17+x16+x15+x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1CCPR CCPR 20()x)=x8− − x6+x4− − x2+1CCPR CCPR 21()x)=x12− − x11+x9− − x8+x6− − x4+x3− − x+1CCPR CCPR 22()x)=x10− − x9+x8− − x7+x6− − x5+x4− − x3+x2− − x+1CCPR CCPR 23()x)=x22+x21+x20+x19+x18+x17+x16+x15+x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1CCPR CCPR 24()x)=x8− − x4+1CCPR CCPR 25()x)=x20+x15+x10+x5+1CCPR CCPR 26()x)=x12− − x11+x10− − x9+x8− − x7+x6− − x5+x4− − x3+x2− − x+1CCPR CCPR 27()x)=x18+x9+1CCPR CCPR 28()x)=x12− − x10+x8− − x6+x4− − x2+1CCPR CCPR 29()x)=x28+x27+x26+x25+x24+x23+x22+x21+x20+x19+x18+x17+x16+x15+x14+x13+x12+x11+x10+x9+x8+x7+x6+x5+x4+x3+x2+x+1CCPR CCPR 30()x)=x8+x7− − x5− − x4− − x3+x+1.{fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {fnMicrosoft Sans Serif} {cH0} {4}cH0}cH0cH0}cH0}cH0}cH0cH0cH0}cH0cH0}cH0cH0cH0cH0cH0cH00cH00cH00cH00cH0cH00cH0cH00cH00cH00cH00cH00cH00cH00cH00cH00cH00cH00cH00cH00cH00cH00}cH00cH Phi _{6}(x) sensible=x^{2}-x+1\\\Phi _{7}(x) recur=x^{6}+x^{5}+x^{4}+x^{3}+x^{2}+x+1\\\\\ Phi _{8}(x) sentimiento=x^{4}+1\\\\\Phi _{9}(x) recur=x^{6}+x^{3}+1\\\\\\\\\\\] Phi _{11}(x}=x^{10}+x^{9}+x^{8}+x^{7}+x^{6}+x^{5}+x^{4}+x^{3}+x^{2}+x+1\\\\\ Phi _{12}(x) sensible=x^{4}-x^{2}+1\\Phi _{13}(x=x^{12}+x^{11}+x^{10}+x^{9}+x^{8}+x^{7}+x^{6}+x}+x} Phi _{14}(x}=x^{6}-x^{5}+x^{4}-x^{3}+x^{2}-x+1\\\ Phi _{15}(x}=x^{8}-x^{7}+x^{5}-x^{4}+x^{3}-x+1\\\ ################################################################################################################################################################################################################################################################ ################################################################################################################################################################################################################################################################ Phi _{20}(x) recur=x^{8}-x^{6}+x^{4}-x^{2}+1\\ Phi _{21}(x=x^{12}-x^{11}+x^{9}-x^{8}+x^{6}-x^{4}+x^{3}-x+1\\\ Phi _{22}(x}=x^{10}-x^{9}+x^{8}-x^{7}+x^{6}-x^{5}+x^{4}-x^{3}+x^{2}-x+1\\\\ Phi _{23}(x^{22}+x^{21}+x^{20}+x^{19}+x^{18}+x^{17}+x^{16}+x^{15}+x^{14}+x^{13}+x^{12}\\qquad quad +x^{11}+x^{10}+x^{9}+x^{8}+x^{7}+x^{6}+x^{5}+x^{4}+x^{3}+x^{2}+x+1\\ {4}+x}{7}-x} Phi _{27}(x) sensible=x^{18}+x^{9}+1\\Phi _{28}(x=x^{12}-x^{10}+x^{8}-x^{6}+x^{4}-x^{2}+1\\\\\ Phi _{29}(x^{28}+x^{27}+x^{26}+x^{25}+x^{24}+x^{23}+x^{22}+x^{21}+x^{20}+x^{19}+x^{18}+x^{17}+x^{16}+x^{15}dqqqqq}c}c}c}c}c}c}c}c}c}c}c}c}c}cccccccc]ccc}cc]c}ccccc}cccccccH00ccH00cccccH00}cH00}c}cH00cccH00}cH00}ccccc quad +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\\\\\\\ Phi _{30}(x=x^{8}+x^{7}-x^{5}-x^{4}-x^{3}+x+1.end{aligned}}

El caso del polinomio ciclotómico 105 es interesante porque 105 es el entero menos positivo que es el producto de tres números primos impares distintos (3*5*7) y este polinomio es el primero que tiene un coeficiente distinto de 1, 0 o −1:

CCPR CCPR 105()x)=x48+x47+x46− − x43− − x42− − 2x41− − x40− − x39+x36+x35+x34+x33+x32+x31− − x28− − x26− − x24− − x22− − x20+x17+x16+x15+x14+x13+x12− − x9− − x8− − 2x7− − x6− − x5+x2+x+1.#### {begin{aligned}Phi _{105}(x}=x^{48}+x^{47}+x^{46}-x^{43}-x^{42}-2x^{41}-x^{40}-x^{39}+x^{36}+x^{35}{34}+x}{33}}} quad -x^{24}-x^{22}-x^{20}+x^{17}+x^{15}+x^{14}+x^{13}+x^{12}-x^{9}-x^{8}-2x^{7}-x^{6}-x^{5}+x^{2}+x+1.

Propiedades

Herramientas fundamentales

Los polinomios ciclotómicos son polinomios mónicos con coeficientes enteros que son irreducibles sobre el campo de los números racionales. Salvo n igual a 1 ó 2, son palindrómicos de grado par.

El grado de CCPR CCPR n{displaystyle ¿Qué?, o en otras palabras el número de nlas raíces primitivas de la unidad, es φ φ ()n){displaystyle varphi (n)}, donde φ φ {displaystyle varphi } es la función totiente de Euler.

El hecho de que CCPR CCPR n{displaystyle ¿Qué? es un polinomio irreducible de grado φ φ ()n){displaystyle varphi (n)} en el anillo Z[x]{displaystyle mathbb {Z} [x] es un resultado no trivial debido a Gauss. Dependiendo de la definición elegida, es el valor del grado o la irreducibilidad que es un resultado no tripartito. El caso de la primera n es más fácil probar que el caso general, gracias al criterio de Eisenstein.

Una relación fundamental que involucra polinomios ciclotómicos es

xn− − 1=∏ ∏ 1⩽ ⩽ k⩽ ⩽ n()x− − e2iπ π kn)=∏ ∏ d▪ ▪ n∏ ∏ 1⩽ ⩽ k⩽ ⩽ ngcd()k,n)=d()x− − e2iπ π kn)=∏ ∏ d▪ ▪ nCCPR CCPR nd()x)=∏ ∏ d▪ ▪ nCCPR CCPR d()x).{displaystyle {begin{aligned}x^{n}1 ¿Por qué? ¿Por qué? ¿Qué? Phi _{frac {n} {d}(x)=prod _{dmid n}Phi _{d}(x).end{aligned}}

lo que significa que cada raíz n-ésima de la unidad es una raíz primitiva d-ésima de la unidad para una única d que divide a n.

La fórmula de inversión Möbius permite la expresión CCPR CCPR n()x){displaystyle Phi _{n}(x)} como una fracción racional explícita:

CCPR CCPR n()x)=∏ ∏ d▪ ▪ n()xd− − 1)μ μ ()nd),{displaystyle Phi _{n}(x)=prod _{dmid n}(x^{d}-1)^{mu left({frac {n}right)}}

Donde μ μ {displaystyle mu } es la función Möbius.

El polinomio ciclotómico CCPR CCPR n()x){displaystyle Phi _{n}(x)} puede ser calculado por (exactamente) división xn− − 1{displaystyle x^{n}-1} por los polinomios ciclotómicos de los divisores adecuados n anteriormente computado recursivamente por el mismo método:

<math alttext="{displaystyle Phi _{n}(x)={frac {x^{n}-1}{prod _{stackrel {d|n}{{}_{dCCPR CCPR n()x)=xn− − 1∏ ∏ d.ndSilencionCCPR CCPR d()x){displaystyle Phi _{n}(x)={frac {x^{n}-1}{prod _{stackrel - ¿Qué? Phi...<img alt="Phi _{n}(x)={frac {x^{n}-1}{prod _{stackrel {d|n}{{}_{d

(Recuerde eso CCPR CCPR 1()x)=x− − 1{displaystyle Phi _{1}(x)=x-1}.)

Esta fórmula define un algoritmo para la computación CCPR CCPR n()x){displaystyle Phi _{n}(x)} para cualquier n, proporciona la factorización de entero y la división de polinomios están disponibles. Muchos sistemas de álgebra computarizada, como SageMath, Maple, Mathematica y PARI/GP, tienen una función integrada para calcular los polinomios ciclotómicos.

Casos fáciles de computar

Como se indicó anteriormente, si n es un número primo, entonces

CCPR CCPR n()x)=1+x+x2+⋯ ⋯ +xn− − 1=.. k=0n− − 1xk.{displaystyle Phi _{n}(x)=1+x+x^{2}+cdots +x^{n-1}=sum ¿Qué?

Si n es un entero impar mayor que uno, entonces

CCPR CCPR 2n()x)=CCPR CCPR n()− − x).{displaystyle Phi _{2n}(x)=Phi _{n}(-x).}

En particular, si n = 2p es el doble de un primo impar, entonces (como se indicó anteriormente)

CCPR CCPR n()x)=1− − x+x2− − ⋯ ⋯ +xp− − 1=.. k=0p− − 1()− − x)k.{displaystyle Phi _{n}(x)=1-x+x^{2}-cdots +x^{p-1}=sum _{k=0}{p-1}(-x)^{k}

Si n = pm es una potencia principal (donde p es primo), entonces

CCPR CCPR n()x)=CCPR CCPR p()xpm− − 1)=.. k=0p− − 1xkpm− − 1.{displaystyle Phi _{n}(x)=Phi _{p}(x^{p^{m-1})=sum ¿Qué?

Más generalmente, si n = pmr con r relativamente primo a p, entonces

CCPR CCPR n()x)=CCPR CCPR pr()xpm− − 1).{displaystyle Phi _{n}(x)=Phi _{pr}(x^{p^{m-1}).}

Estas fórmulas se pueden aplicar repetidamente para obtener una simple expresión para cualquier polinomio ciclotómico CCPR CCPR n()x){displaystyle Phi _{n}(x)} en término de un polinomio ciclotómico de índice libre cuadrado: Si q es el producto de los divisores principales de n (su radical), entonces

CCPR CCPR n()x)=CCPR CCPR q()xn/q).{displaystyle Phi _{n}(x)=Phi _{q}(x^{n/q}).

Esto permite dar fórmulas para el nésimo polinomio ciclotómico cuando n tiene como máximo un factor primo impar: si p es un número primo impar, y h y k son enteros positivos, entonces:

CCPR CCPR 2h()x)=x2h− − 1+1{displaystyle Phi _{2^{h}(x)=x^{2^{h-1}+1}
CCPR CCPR pk()x)=.. j=0p− − 1xjpk− − 1{displaystyle Phi _{p^{k}(x)=sum ¿Qué?
CCPR CCPR 2hpk()x)=.. j=0p− − 1()− − 1)jxj2h− − 1pk− − 1{displaystyle ################################################################################################################################################################################################################################################################

Para los otros valores n, la computación de la npolinomio ciclotómico se reduce igualmente a la de CCPR CCPR q()x),{displaystyle Phi _{q}(x),} Donde q es el producto de los diferentes divisores principales diferentes n. Para tratar este caso, uno tiene eso, para p primo y no dividir n,

CCPR CCPR np()x)=CCPR CCPR n()xp)/CCPR CCPR n()x).{displaystyle Phi _{np}(x)=Phi _{n}(x^{p})/Phi _{n}(x).}

Enteros que aparecen como coeficientes

El problema de acotar la magnitud de los coeficientes de los polinomios ciclotómicos ha sido objeto de varios trabajos de investigación. Varios documentos de encuestas ofrecen una visión general.

Si n tiene en la mayoría de dos factores principales diferentes, entonces Migotti mostró que los coeficientes de CCPR CCPR n{displaystyle ¿Qué? están todos en el set {1, −1, 0}.

El primer polinomio ciclotómico para un producto de tres factores principales diferentes es CCPR CCPR 105()x);{displaystyle Phi _{105}(x);} tiene un coeficiente -2 (ver su expresión anterior). El contrario no es cierto: CCPR CCPR 231()x)=CCPR CCPR 3× × 7× × 11()x){displaystyle Phi _{231}(x)=Phi _{3times 7times 11}(x)} sólo tiene coeficientes en {1, −1, 0}.

Si n es un producto de factores primas más diferentes, los coeficientes pueden aumentar a valores muy altos. Por ejemplo, CCPR CCPR 15015()x)=CCPR CCPR 3× × 5× × 7× × 11× × 13()x){displaystyle Phi _{15015}(x)=Phi _{3times 5times 7times 11times 13}(x)} tiene coeficientes desde −22 hasta 23, CCPR CCPR 255255()x)=CCPR CCPR 3× × 5× × 7× × 11× × 13× × 17()x){displaystyle Phi _{255255}(x)=Phi _{3times 5times 7times 11times 13times 17}(x)}, el más pequeño n con 6 primas diferentes, tiene coeficientes de magnitud hasta 532.

Sea A(n) el valor absoluto máximo de los coeficientes de Φn. Se sabe que para cualquier k positivo, el número de n hasta x con A( n) > nk es al menos c(k)⋅x para un positivo c(k) dependiendo de k y x suficientemente grande. En sentido contrario, para cualquier función ψ(n) con tendencia a infinito con n tenemos A(n) delimitado arriba por nψ(n) para casi todos los n.

Una combinación de teoremas de Bateman resp. Vaughan afirma que por un lado, por cada 0}" xmlns="http://www.w3.org/1998/Math/MathML">ε ε ■0{displaystyle varepsilon }0" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12" style="vertical-align: -0.338ex; width:5.344ex; height:2.176ex;"/>, tenemos

<math alttext="{displaystyle A(n)A()n).e()n()log⁡ ⁡ 2+ε ε ))/()log⁡ ⁡ log⁡ ⁡ n){displaystyle A(n) wone^{(n(log 2+varepsilon)/(log log n)}<img alt="{displaystyle A(n)

para todos los enteros positivos suficientemente grandes n{displaystyle n}, y por otro lado, tenemos

e^{(nlog 2)/(log log n)}}" xmlns="http://www.w3.org/1998/Math/MathML">A()n)■e()nlog⁡ ⁡ 2)/()log⁡ ⁡ log⁡ ⁡ n){displaystyle A(n) confianzae^{(nlog 2)/(log log n)}e^{(nlog 2)/(log log n)}}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/93894f037d19fff43b2dab363ee40f8f4d9ce364" style="vertical-align: -0.838ex; width:23.389ex; height:3.343ex;"/>

para infinitamente muchos números enteros positivos n{displaystyle n}. Esto implica en particular que los polinomios univarios (concretamente) xn− − 1{displaystyle x^{n}-1} para infinitamente muchos números enteros positivos n{displaystyle n}) puede tener factores (como CCPR CCPR n{displaystyle ¿Qué?) cuyos coeficientes son superpolynomially mayores que los coeficientes originales. Esto no está muy lejos del límite general de Landau-Mignotte.

Fórmula de Gauss

Sea n impar, sin cuadrados y mayor que 3. Entonces:

4CCPR CCPR n()z)=An2()z)− − ()− − 1)n− − 12nz2Bn2()z){displaystyle 4Phi _{n}(z)=A_{n}{2}(z)-(-1)^{frac {n-1}{2}nz^{2}B_{n} {2}(z)}

donde tanto An(z) como Bn(z) tiene coeficientes enteros, An(z) tiene grado φ(n)/2, y Bn(z) tiene grado φ(n)/2 − 2. Además, An(z) es palindrómico cuando su grado es par; si su grado es impar es antipalindrómico. De manera similar, Bn(z) es palindrómico a menos que n sea compuesto y ≡ 3 (mod 4), en cuyo caso es antipalindrómico.

Los primeros casos son

4CCPR CCPR 5()z)=4()z4+z3+z2+z+1)=()2z2+z+2)2− − 5z24CCPR CCPR 7()z)=4()z6+z5+z4+z3+z2+z+1)=()2z3+z2− − z− − 2)2+7z2()z+1)24CCPR CCPR 11()z)=4()z10+z9+z8+z7+z6+z5+z4+z3+z2+z+1)=()2z5+z4− − 2z3+2z2− − z− − 2)2+11z2()z3+1)2{2} {2}} {2}}

Fórmula de Lucas

Sea n impar, sin cuadrados y mayor que 3. Entonces

CCPR CCPR n()z)=Un2()z)− − ()− − 1)n− − 12nzVn2()z){displaystyle Phi _{n}(z)=U_{n}{2}(z)-(-1)^{frac {n-1}{2}nzV_{n} {2}(z)}

donde tanto Un(z) como Vn(z) tiene coeficientes enteros, Un(z) tiene grado φ(n)/2, y Vn(z) tiene grado φ(n)/2 − 1. Esto también se puede escribir

CCPR CCPR n()()− − 1)n− − 12z)=Cn2()z)− − nzDn2()z).{displaystyle Phi _{n}left(-1)^{frac {n-1}{2}zright)=C_{n}^{2}(z)-nzD_{n}{2}(z). }

Si n es par, sin cuadrados y mayor que 2 (esto obliga a n/2 a ser impar),

CCPR CCPR n2()− − z2)=CCPR CCPR 2n()z)=Cn2()z)− − nzDn2()z){displaystyle Phi _{frac {n}{2}left(-z^{2}right)=Phi _{2n}(z)=C_{n}{2}(z)-nzD_{n}{2}(z)}}

donde tanto Cn(z) como Dn(z) tiene coeficientes enteros, Cn(z) tiene grado φ(n), y Dn(z) tiene grado φ( n) − 1. Cn(z) y Dn(z) son ambos palindrómicos.

Los primeros casos son:

CCPR CCPR 3()− − z)=CCPR CCPR 6()z)=z2− − z+1=()z+1)2− − 3zCCPR CCPR 5()z)=z4+z3+z2+z+1=()z2+3z+1)2− − 5z()z+1)2CCPR CCPR 6/2()− − z2)=CCPR CCPR 12()z)=z4− − z2+1=()z2+3z+1)2− − 6z()z+1)2{2} {2}4}fnMicrosoft Sans Serif}*

Conjetura de la hermana Beiter

La conjetura de la Hermana Beiter está preocupada por el tamaño máximo (en valor absoluto) A()pqr){displaystyle A(pqr)} de los coeficientes polinomios ciclotómicos ternarios CCPR CCPR pqr()x){displaystyle Phi _{pqr}(x)} Donde 3≤ ≤ p≤ ≤ q≤ ≤ r{displaystyle 3leq pleq qleq r} son tres números primos.

Polinomios ciclotómicos sobre un campo finito y sobre los enteros p-ádicos

Sobre un campo finito con un número primo p de elementos, para cualquier entero n que no es un múltiple p, el polinomio ciclotómico CCPR CCPR n{displaystyle ¿Qué? factoriza en φ φ ()n)d{displaystyle {frac {varphi (n)}{d}} polinomios irreducibles de grado d, donde φ φ ()n){displaystyle varphi (n)} es la función totient de Euler y d es el orden multiplicativo p modulo n. En particular, CCPR CCPR n{displaystyle ¿Qué? es irreducible si y sólo si p es una raíz primitiva modulo n, es decir, p no divide n, y su modulo de orden multiplicativo n es φ φ ()n){displaystyle varphi (n)}, el grado de CCPR CCPR n{displaystyle ¿Qué?.


Estos resultados también son ciertos sobre los enteros p-ádicos, ya que el lema de Hensel permite levantar una factorización sobre el campo con elementos p a un factorización sobre los enteros p-ádicos.

Valores de polinomios

Si x toma cualquier valor real, entonces 0}" xmlns="http://www.w3.org/1998/Math/MathML">CCPR CCPR n()x)■0{displaystyle Phi _{n}(x) confía0}0}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/5a1c422b585b2f92a5267c805e0e978b9b329335" style="vertical-align: -0.838ex; width:10.296ex; height:2.843ex;"/> para todos n ≥ 3 (esto se deriva del hecho de que las raíces de un polinomio ciclotómico son todas no reales, para n ≥ 3).

Para estudiar los valores que un polinomio ciclotómico puede tomar cuando x se da un valor entero, basta considerar sólo el caso n ≥ 3, como los casos n = 1 y n = 2 son triviales (uno tiene CCPR CCPR 1()x)=x− − 1{displaystyle Phi _{1}(x)=x-1} y CCPR CCPR 2()x)=x+1{displaystyle Phi _{2}(x)=x+1}).

Para n ≥ 2, uno tiene

CCPR CCPR n()0)=1,{displaystyle Phi _{n}(0)=1,}
CCPR CCPR n()1)=1{displaystyle Phi _{n}(1)=1} si n no es un poder primario,
CCPR CCPR n()1)=p{displaystyle Phi _{n}(1)=p} si n=pk{displaystyle n=p^{k} es un poder primario con k ≥ 1.

Los valores que un polinomio ciclotómico CCPR CCPR n()x){displaystyle Phi _{n}(x)} puede tomar para otros valores enteros x está fuertemente relacionado con el modulo de orden multiplicativo un número primo.

Más precisamente, dado un número primo p y un entero b coprime con p, el orden multiplicativo b modulo p, es el entero positivo más pequeño n tales que p es un divisor de bn− − 1.{displaystyle b^{n}-1.} Para b ■ 1, el orden multiplicativo b modulo p es también el período más corto de la representación de 1/p en la base numeral b (ver Unique prime; esto explica la elección de notación).

La definición del orden multiplicativo implica que, si n es el orden multiplicativo b modulo p, entonces p es un divisor de CCPR CCPR n()b).{displaystyle Phi _{n}(b). } El contrario no es cierto, pero uno tiene lo siguiente.

Si n > 0 es un número entero positivo y b > 1 es un número entero, entonces (ver más abajo para una prueba)

CCPR CCPR n()b)=2kgh,{displaystyle Phi _{n}(b)=2^{k}gh, }

dónde

  • k es un entero no negativo, siempre igual a 0 cuando b es incluso. (De hecho, si n no es 1 ni 2, entonces k es 0 o 1. Además, si n no es un poder de 2, entonces k es siempre igual a 0)
  • g es 1 o el factor principal más grande n.
  • h es raro, coprime con n, y sus factores principales son exactamente los principios impares p tales que n es el orden multiplicativo b modulo p.

Esto implica que, si p es un divisor primitivo raro CCPR CCPR n()b),{displaystyle Phi _{n}(b),} entonces n es un divisor de p − 1 o p es un divisor de n. En este último caso, p2{displaystyle p^{2} no divide CCPR CCPR n()b).{displaystyle Phi _{n}(b). }

El teorema de Zsigmondy implica que los únicos casos en los que b > 1 y h = 1 son

0\Phi _{6}(2)&=3end{aligned}}}" xmlns="http://www.w3.org/1998/Math/MathML">CCPR CCPR 1()2)=1CCPR CCPR 2()2k− − 1)=2kk■0CCPR CCPR 6()2)=3{displaystyle {begin{aligned}phi _{1}(2) ¿Por qué?0\Phi _{6}(2)&=3end{aligned}}}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/a4fde95495f0213d51e76724b6b71e019e012d25" style="vertical-align: -4.338ex; width:27.722ex; height:9.843ex;"/>

De la factorización anterior se deduce que los factores primos impares de

CCPR CCPR n()b)gcd()n,CCPR CCPR n()b)){displaystyle {frac {fn} {gn}{gcd(n,Phi _{n}(b)}}}}

son exactamente los primos impares p tales que n es el orden multiplicativo de b módulo p. Esta fracción puede ser par solo cuando b es impar. En este caso, el orden multiplicativo de b módulo 2 siempre es 1.

Hay muchos pares ()n, b) con b ■ 1 tales que CCPR CCPR n()b){displaystyle Phi _{n}(b)} es primo. De hecho, la conjetura Bunyakovsky implica que, por cada n, hay infinitamente muchos b ■ 1 tales que CCPR CCPR n()b){displaystyle Phi _{n}(b)} es primo. See OEIS: A085398 para la lista de los más pequeños b ■ 1 tales que CCPR CCPR n()b){displaystyle Phi _{n}(b)} es primo (el más pequeño b ■ 1 tales que CCPR CCPR n()b){displaystyle Phi _{n}(b)} es sobre primo λ λ ⋅ ⋅ φ φ ()n){displaystyle lambda cdot varphi (n)}, donde λ λ {displaystyle lambda } es Euler-Mascheroni constante, y φ φ {displaystyle varphi } es la función totiente de Euler). Véase también OEIS: A206864 para la lista de los primos más pequeños de la forma CCPR CCPR n()b){displaystyle Phi _{n}(b)} con n ■ 2 y b ■ 1, y, más generalmente, OEIS: A206942, para los números más pequeños positivos de esta forma.

Pruebas
  • Valores de CCPR CCPR n()1).{displaystyle Phi _{n}(1). } Si n=pk+1{displaystyle n=p^{k+1} es un poder primario, entonces
CCPR CCPR n()x)=1+xpk+x2pk+⋯ ⋯ +x()p− − 1)pkyCCPR CCPR n()1)=p.{displaystyle Phi _{n}(x)=1+x^{p^{k}+x^{2p^{k}+cdots ## ############################################################################################################################################################################################################################################################## Phi _{n}(1)=p.}
Si n no es un poder primario, vamos P()x)=1+x+⋯ ⋯ +xn− − 1,{displaystyle P(x)=1+x+cdots +x^{n-1},} tenemos P()1)=n,{displaystyle P(1)=n,} y P es el producto del CCPR CCPR k()x){displaystyle Phi _{k}(x)} para k división n y diferentes de 1. Si p es un divisor primario de la multiplicidad m dentro n, entonces CCPR CCPR p()x),CCPR CCPR p2()x),⋯ ⋯ ,CCPR CCPR pm()x){displaystyle Phi _{p}(x),Phi _{p^{2}(x),cdotsPhi _{p^{m}(x)} dividir P()x), y sus valores en 1 son m factores iguales a los p de n=P()1).{displaystyle n=P(1).} As m es la multiplicidad de p dentro n, p no puede dividir el valor 1 de los demás factores P()x).{displaystyle P(x).} Por lo tanto no hay prima que divide CCPR CCPR n()1).{displaystyle Phi _{n}(1). }
  • Si n es el orden multiplicativo b modulo p, entonces p▪ ▪ CCPR CCPR n()b).{displaystyle pmid Phi _{n}(b). } Por definición, p▪ ▪ bn− − 1.{displaystyle pmid b^{n}-1.} Si p∤ ∤ CCPR CCPR n()b),{displaystyle pnmid Phi _{n}(b),} entonces p dividiría otro factor CCPR CCPR k()b){displaystyle Phi _{k}(b)} de bn− − 1,{displaystyle b^{n}-1,} y así dividir bk− − 1,{displaystyle b^{k}-1,} mostrando que, si hubiera el caso, n no sería el orden multiplicativo b modulo p.
  • Los otros divisores principales de CCPR CCPR n()b){displaystyle Phi _{n}(b)} son divisores de n. Vamos p ser un divisor de primera CCPR CCPR n()b){displaystyle Phi _{n}(b)} tales que n no es el orden multiplicativo b modulo p. Si k es el orden multiplicativo b modulo p, entonces p divide ambos CCPR CCPR n()b){displaystyle Phi _{n}(b)} y CCPR CCPR k()b).{displaystyle Phi _{k}(b). } El resultado de CCPR CCPR n()x){displaystyle Phi _{n}(x)} y CCPR CCPR k()x){displaystyle Phi _{k}(x)} puede ser escrito PCCPR CCPR k+QCCPR CCPR n,{displaystyle PPhi - ¿Qué? Phi _{n} Donde P y Q son polinomios. Así p divide este resultado. As k divideciones n, y el resultado de dos polinomios divide el discriminante de cualquier múltiple común de estos polinomios, p divide también el discriminante nn{displaystyle n^{n} de xn− − 1.{displaystyle x^{n}-1.} Así p divideciones n.
  • g y h son coprime. En otras palabras, si p es un divisor común de primera n y CCPR CCPR n()b),{displaystyle Phi _{n}(b),} entonces n no es el orden multiplicativo b modulo p. Por el pequeño teorema de Fermat, el orden multiplicativo b es un divisor de p − 1, y por lo tanto más pequeño que n.
  • g es libre de cuadrado. En otras palabras, si p es un divisor común de primera n y CCPR CCPR n()b),{displaystyle Phi _{n}(b),} entonces p2{displaystyle p^{2} no divide CCPR CCPR n()b).{displaystyle Phi _{n}(b). } Vamos n = pm. Basta probar que p2{displaystyle p^{2} no divide S()b) para algunos polinomios S()x), que es un múltiplo de CCPR CCPR n()x).{displaystyle Phi _{n}(x). } Nos llevamos
S()x)=xn− − 1xm− − 1=1+xm+x2m+⋯ ⋯ +x()p− − 1)m.{displaystyle S(x)={frac {x^{n}-1}{m}=1+x^{m}+x^{2m}+cdots +x^{(p-1)m}}
El orden multiplicativo b modulo p divideciones gcd(n, p −1), que es un divisor de m = n/p. Así c = bm − 1 es un múltiple de p. Ahora,
S()b)=()1+c)p− − 1c=p+()p2)c+⋯ ⋯ +()pp)cp− − 1.{displaystyle S(b)={frac {(1+c) ¿Qué? {p}{2}c+cdots +{binom {p}c^{p-1}
As p es primo y mayor que 2, todos los términos pero el primero son múltiplos p2.{displaystyle p^{2} Esto prueba que p2∤ ∤ CCPR CCPR n()b).{displaystyle p^{2}nmid Phi _{n}(b). }

Aplicaciones

Uso CCPR CCPR n{displaystyle ¿Qué?, uno puede dar una prueba elemental para la infinitud de primos congruentes a 1 modulo n, que es un caso especial del teorema de Dirichlet sobre progresiones aritméticas.

Prueba

Suppose p1,p2,...... ,pk{displaystyle P_{1},p_{2},ldotsp_{k} es una lista finita de primos congruentes a 1{displaystyle 1} modulo n.{displaystyle n.} Vamos N=np1p2⋯ ⋯ pk{displaystyle N=np_{1}p_{2}cdots P_{k} y considerar CCPR CCPR n()N){displaystyle Phi _{n}(N)}. Vamos q{displaystyle q} ser un factor principal CCPR CCPR n()N){displaystyle Phi _{n}(N)} (para ver eso CCPR CCPR n()N)ل ل ± ± 1{displaystyle Phi _{n}(N)neq pm 1} descomponerlo en factores lineales y observar que 1 es la raíz más cercana de la unidad a N{displaystyle N}). Desde CCPR CCPR n()x)↑ ↑ ± ± 1()modx),{displaystyle Phi _{n}(x)equiv pm 1{pmod {x}}} sabemos que q{displaystyle q} es un nuevo primo no en la lista. Vamos a mostrar que q↑ ↑ 1()modn).{displaystyle qequiv 1{pmod {n}}

Vamos m{displaystyle m} ser el orden N{displaystyle N} modulo q.{displaystyle q.} Desde CCPR CCPR n()N)▪ ▪ Nn− − 1{displaystyle Phi _{n}(N)mid N^{n}-1} tenemos Nn− − 1↑ ↑ 0()modq){displaystyle N^{n}-1equiv ¿Qué?. Así m▪ ▪ n{displaystyle mmid n}. Vamos a mostrar que m=n{displaystyle m=n}.

Asumo de contradicción <math alttext="{displaystyle mm.n{displaystyle m won}<img alt="m. Desde

∏ ∏ d▪ ▪ mCCPR CCPR d()N)=Nm− − 1↑ ↑ 0()modq){displaystyle prod _{dmid m}Phi _{d}(N)=N^{m}-1equiv ¿Qué?

tenemos

CCPR CCPR d()N)↑ ↑ 0()modq),{displaystyle Phi _{d}(N)equiv 0{pmod {q}}}

para algunos <math alttext="{displaystyle dd.n{displaystyle d maden}<img alt="{displaystyle d. Entonces... N{displaystyle N} es una raíz doble

∏ ∏ d▪ ▪ nCCPR CCPR d()x)↑ ↑ xn− − 1()modq).{displaystyle prod _{dmid ###Phi _{d}(x)equiv x^{n}-1{pmod {q}}

Así N{displaystyle N} debe ser una raíz del derivado así

d()xn− − 1)dxSilencioN↑ ↑ nNn− − 1↑ ↑ 0()modq).{displaystyle left.{frac {d(x^{n}{dx}right imper_{N}equiv No. Oh.

Pero... q∤ ∤ N{displaystyle qnmid N} por lo tanto q∤ ∤ n.{displaystyle qnmid n.} Es una contradicción. m=n{displaystyle m=n}. El orden N()modq),{displaystyle N{pmod {q}} que es n{displaystyle n}, debe dividir q− − 1{displaystyle q-1}. Así q↑ ↑ 1()modn).{displaystyle qequiv 1{pmod {n}}

Contenido relacionado

Teorema del punto fijo de Brouwer

Teorema de punto fijo de Brouwer es un teorema de punta fija en la topología, llamado por L. E. J. Brouwer. Afirma que para cualquier función continua...

Cuantificación existencial

En la lógica de predicados, una cuantificación existencial es un tipo de cuantificador, una constante lógica que se interpreta como &#034;existe&#034;...

Par ordenado

En matemáticas, un par ordenado es un par de objetos. El orden en que aparecen los objetos en el par es significativo: el par ordenado es diferente del par...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save