Polinomio ciclotómico
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 |
---|
|
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
tenemos
para algunos <math alttext="{displaystyle dd.n{displaystyle d maden}<img alt="{displaystyle d. Entonces... N{displaystyle N} es una raíz doble
Así N{displaystyle N} debe ser una raíz del derivado así
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
Cuantificación existencial
Par ordenado