Teorema de wilson
En álgebra y teoría de números, Teorema de Wilson declara que un número natural n ■ 1 es un número primo si y sólo si el producto de todos los enteros positivos menos que n es uno menos que un múltiple de n. Es decir (utilizando las notaciones de aritmética modular), el factorial ()n− − 1)!=1× × 2× × 3× × ⋯ ⋯ × × ()n− − 1){displaystyle (n-1)!=1times 2times 3times cdots times (n-1)} satisfizo
- ()n− − 1)!↑ ↑ − − 1()modn){displaystyle (n-1) equiv ;-1{pmod {n}}
exactamente cuando n es un número primo. En otras palabras, cualquier número n es un número primo si, y solo si, (n − 1)! + 1 es divisible por n.
Historia
Este teorema fue enunciado por Ibn al-Haytham (c. 1000 dC) y, en el siglo XVIII, por John Wilson. Edward Waring anunció el teorema en 1770, aunque ni él ni su alumno Wilson pudieron demostrarlo. Lagrange dio la primera prueba en 1771. Hay evidencia de que Leibniz también conocía el resultado un siglo antes, pero nunca lo publicó.
Ejemplo
¡Para cada uno de los valores de n de 2 a 30, la siguiente tabla muestra el número (n − 1)! y el resto cuando (n − 1)! se divide por n. (En la notación de la aritmética modular, el resto cuando m se divide por n se escribe m mod n.) El color de fondo es azul para valores prime de n, dorado para valores compuestos.
n{displaystyle n} | ()n− − 1)!{displaystyle (n-1)} (secuencia) A000142 en el OEIS) | ()n− − 1)!modn{displaystyle (n-1) {fnK}n} (secuencia) A061006 en el OEIS) |
---|---|---|
2 | 1 | 1 |
3 | 2 | 2 |
4 | 6 | 2 |
5 | 24 | 4 |
6 | 120 | 0 |
7 | 720 | 6 |
8 | 5040 | 0 |
9 | 40320 | 0 |
10 | 362880 | 0 |
11 | 3628800 | 10 |
12 | 39916800 | 0 |
13 | 479001600 | 12 |
14 | 6227020800 | 0 |
15 | 87178291200 | 0 |
16 | 1307674368000 | 0 |
17 | 20922789888000 | 16 |
18 | 355687428096000 | 0 |
19 | 6402373705728000 | 18 |
20 | 121645100408832000 | 0 |
21 | 2432902008176640000 | 0 |
22 | 51090942171709440000 | 0 |
23 | 11240007277607680000 | 22 |
24 | 25852016738884976640000 | 0 |
25 | 620448401733239439360000 | 0 |
26 | 15511210043330985984000 | 0 |
27 | 403291461126605635584000 | 0 |
28 | 10888869450418352160768000 | 0 |
29 | 304888344611713860501504000 | 28 |
30 | 88417619937397019545436000 | 0 |
Pruebas
Las demostraciones (para módulos primos) a continuación utilizan el hecho de que las clases de residuos módulo a número primo son un campo; consulta el artículo campo primo para obtener más detalles. El teorema de Lagrange, que establece que en cualquier campo un polinomio de grado n tiene como máximo n raíces, es necesario para todas las demostraciones.
Módulo compuesto
Si n es composite que es divisible por algún número primo q, donde 2 ≤ q ≤ n − 2. Porque... q{displaystyle q} divideciones n{displaystyle n}, vamos n=qk{displaystyle n=qk} para algunos enteros k{displaystyle k}. Supongamos por el bien de la contradicción que ()n - 1). eran congruentes con (modelo) n) donde N es composite. Entonces (n-1)! también sería congruente con −1 (modelo) qcomo ()n− − 1)!↑ ↑ − − 1()modn){displaystyle (n-1)}equiv -1 ({text{mod} n)} implica que ()n− − 1)!=nm− − 1=()qk)m− − 1=q()km)− − 1{displaystyle (n-1)=nm-1=(qk)m-1=q(km)-1} para algunos enteros m{displaystyle m} que muestra (n-1)! ser congruente con -1 (mod q). Pero...n- 1). (modelo)q) por el hecho de que q es un término en (n-1)! haciendo (n-1)! un múltiplo de q. Ahora se llega a una contradicción.
De hecho, más es verdad. Con la única excepción de 4, donde 3! = 6 ≡ 2 (mod 4), si n es compuesto entonces (n − 1)! es congruente con 0 (mod n). La prueba se divide en dos casos: primero, si n se puede factorizar como el producto de dos números desiguales, n = ab, donde 2 ≤ a < b ≤ n − 2, entonces tanto a como b aparecerán en el producto 1 × 2 ×... × (n − 1) = (n − 1)! y (n − 1)! será divisible por n. Si n no tiene tal factorización, entonces debe ser el cuadrado de algún primo q, q > 2. Pero entonces 2q < q2 = n, tanto q como 2q serán factores de (n − 1)!, y de nuevo n divide (n − 1)!.
Módulo primo
Prueba elemental
El resultado es trivial cuando p = 2, así que asume que p es un número primo impar, p ≥ 3. Dado que las clases de residuos (mod p) son un campo, cada a distinto de cero tiene un inverso multiplicativo único, a−1 . El teorema de Lagrange implica que los únicos valores de a para los que a ≡ a −1 (mod p) son a ≡ ±1 (mod p) (porque la congruencia a2 ≡ 1 puede tener como máximo dos raíces (mod p)). Por lo tanto, con la excepción de ±1, los factores de (p − 1)! se pueden organizar en pares disjuntos de manera que el producto de cada par sea congruente a 1 módulo p. Esto prueba el teorema de Wilson.
Por ejemplo, para p = 11, uno tiene
Demostración usando el pequeño teorema de Fermat
De nuevo, el resultado es trivial para p = 2, así que supongamos que p es un número primo impar, p ≥ 3. Considere el polinomio
- g()x)=()x− − 1)()x− − 2)⋯ ⋯ ()x− − ()p− − 1)).{displaystyle g(x)=(x-1)(x-2)cdots (x-(p-1)). }
g tiene un grado p − 1, término principal x p − 1 y el término constante (p − 1)! . Sus raíces p − 1 son 1, 2,..., p − 1.
Ahora considere
- h()x)=xp− − 1− − 1.{displaystyle h(x)=x^{p-1}-1.}
h también tiene el grado p − 1 y el término inicial xp − 1. Módulo p, el pequeño teorema de Fermat dice que también tiene las mismas raíces p − 1, 1, 2,..., p − 1.
Finalmente, considere
- f()x)=g()x)− − h()x).{displaystyle f(x)=g(x)-h(x). }
f tiene como máximo el grado p − 2 (ya que los términos principales se cancelan), y el módulo p también tiene la p − 1 raíces 1, 2,..., p − 1. Pero el teorema de Lagrange dice que no puede tener más de p − 2 raíces. Por lo tanto, f debe ser idénticamente cero (mod p), por lo que su término constante es (p − 1)! + 1 ≡ 0 (modificación p). Este es el teorema de Wilson.
Demostración usando los teoremas de Sylow
Es posible deducir el teorema de Wilson de una aplicación particular de los teoremas Sylow. Vamos p Sé un primo. Es inmediato deducir que el grupo simétrico Sp{displaystyle S_{p} tiene exactamente ()p− − 1)!{displaystyle (p-1)} elementos de orden p, a saber p- ciclos Cp{displaystyle C_{p}. Por otro lado, cada Sylow p- Subgrupo en Sp{displaystyle S_{p} es una copia de Cp{displaystyle C_{p}. De ahí que siga que el número de Sylow p- Subgrupos np=()p− − 2)!{displaystyle n_{p}=(p-2)}. El tercer teorema de Sylow implica
- ()p− − 2)!↑ ↑ 1()modp).{displaystyle (p-2)!equiv 1{pmod {p}}
Multiplicar ambos lados por (p − 1) da
- ()p− − 1)!↑ ↑ p− − 1↑ ↑ − − 1()modp),{displaystyle (p-1)equiv p-1equiv -1{pmod {p}}}
es decir, el resultado.
Aplicaciones
Pruebas de primalidad
En la práctica, el teorema de Wilson es inútil como prueba de primalidad porque calcular (n − 1)! módulo n para grandes n es computacionalmente complejo, y se conocen pruebas de primalidad mucho más rápidas (de hecho, incluso la división de prueba es considerablemente más eficiente).
Usado en la otra dirección, para determinar la primalidad de los sucesores de factoriales grandes, es de hecho un método muy rápido y efectivo. Esto es de utilidad limitada, sin embargo.
Residuos cuadráticos
Usando el teorema de Wilson, para cualquier primo impar p = 2m + 1, podemos reorganizar el lado izquierdo de
Fórmulas para números primos
El teorema de Wilson se ha utilizado para construir fórmulas para números primos, pero son demasiado lentos para tener valor práctico.
Función gamma P-ádica
El teorema de Wilson permite definir la función gamma p-ádica.
Gauss' generalización
La generalización de Gauss del Teorema de Wilson afirma que si n{displaystyle n} es cuatro, un poder primitivo impar, o dos veces un poder primitivo impar, entonces el producto de enteros relativamente primos menos de sí añadir uno es divisible por n{displaystyle n}. Va más allá de decir que de lo contrario, el mismo subtracto de producto es divisible por n{displaystyle n}.
Para indicar la generalización de Gauss del teorema de Wilson, utilizamos la función totient de Euler, denotada φ φ ()n){displaystyle varphi (n)}, que se define como el número de números enteros positivos menos o igual a n{displaystyle n} que también son relativamente primos con n{displaystyle n}. Vamos a llamar a tales números ai{displaystyle A_{i}, donde gcd()ai,n)=1{displaystyle gcd(a_{i},n)=1}.
Gauss demostró haber dado un primo extraño p{displaystyle p} y algunos enteros 0}" xmlns="http://www.w3.org/1998/Math/MathML">α α ■0{displaystyle alpha œ0}0}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/edd4f784b6e8bb68fa774213ceacbab2d97825dc" style="vertical-align: -0.338ex; width:5.749ex; height:2.176ex;"/>, entonces
- ∏ ∏ k=1φ φ ()n)ak={}− − 1()modn)sin=4,pα α ,2pα α 1()modn)de otra manera{displaystyle prod _{k=1}}{varphi (n)}!!a_{k} ={begin{cases}-1{pmod {n} {text{if} }n=4,;p^{alpha },;2p^{alpha }\\;,1{pmod {n} {text{otherwise}end{cases}}.
Primero, veamos que esta es la prueba de casos 2}" xmlns="http://www.w3.org/1998/Math/MathML">n■2{displaystyle n confiado2}2}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/44e71ac55b9fbf1e9f341b946cda63d61d3ef2cd" style="vertical-align: -0.338ex; width:5.656ex; height:2.176ex;"/>, ya que los resultados son triviales para n={}1,2}{displaystyle No..
Para todos ai{displaystyle A_{i}, sabemos que hay algunos aj{displaystyle a_{j}, donde iل ل j{displaystyle ineq j} y gcd()aj,n)=1{displaystyle gcd(a_{j},n)=1}, tal que aiaj=1{displaystyle a_{i}a_{j}=1}. Esto nos permite emparejar cada uno de los elementos junto con su inverso. Nos quedamos ahora con ai{displaystyle A_{i} siendo su propio inverso. Así que en otras palabras ai{displaystyle A_{i} es una raíz de f()x)=x2− − 1{displaystyle f(x)=x^{2}-1} dentro Z/nZ{displaystyle mathbb {Z} /nmathbb {Z}, y f()x)=()x− − 1)()x+1){displaystyle f(x)=(x-1)(x+1)}, en el anillo polinomio Z/nZ[X]{displaystyle mathbb {Z} /nmathbb {Z} [X]}. Si ai{displaystyle A_{i} es una raíz, sigue que n− − ai{displaystyle No. es también una raíz. Nuestro objetivo es demostrar que el número de raíces es divisible por cuatro, a menos que sea n=4,n=pα α {displaystyle n=4,n=p^{alpha }, o n=2pα α {displaystyle n=2p^{alpha }.
Consideremos n=2{displaystyle n=2}. Entonces notamos que tenemos una raíz desde entonces 1↑ ↑ − − 1()mod2){displaystyle 1equiv -1{pmod {2}}.
Considerar n=4{displaystyle n=4}. Entonces, está claro que hay dos raíces, específicamente, x↑ ↑ 1()mod4){displaystyle xequiv 1{pmod {4}} y x↑ ↑ − − 1()mod4){displaystyle xequiv -1{pmod {4}}.
Di. n=pα α {displaystyle n=p^{alpha }. Otra vez está claro que hay dos soluciones.
Ahora consideramos 2}" xmlns="http://www.w3.org/1998/Math/MathML">n=2β β ,β β ■2{displaystyle n=2^{beta },beta2}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/deba90b8fd2c71d39e94fc29ad7cef0381754c7a" style="vertical-align: -0.671ex; width:13.457ex; height:3.009ex;"/>. Si uno de los factores f()x){displaystyle f(x)} es divisible por 2, así es el otro. Tome el factor ()x+1){displaystyle (x+1)} ser divisible por 21{displaystyle 2^{1}. Entonces, sigue que hay 4 raíces distintas f()x){displaystyle f(x)}, a saber x↑ ↑ 1()modn){displaystyle xequiv 1{pmod {n}}, x↑ ↑ 1+2β β − − 1()modn){displaystyle xequiv 1+2^{beta - ¿Qué?, x↑ ↑ − − 1()modn){displaystyle xequiv -1{pmod {n}}, y x↑ ↑ − − 1− − 2β β − − 1()modn){displaystyle xequiv -1-2^{beta - ¿Qué?, cuando 2}" xmlns="http://www.w3.org/1998/Math/MathML">n=2β β ,β β ■2{displaystyle n=2^{beta },beta2}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/deba90b8fd2c71d39e94fc29ad7cef0381754c7a" style="vertical-align: -0.671ex; width:13.457ex; height:3.009ex;"/>.
Finalmente, vamos a ver el caso general donde n=2β β p1γ γ 1p2γ γ 2...... pkγ γ k{displaystyle n=2^{beta }p_{1}{gamma {}p_{2}{gamma} ¿Qué? ¿Por qué? ♪♪. Encontramos 2 raíces f()x){displaystyle f(x)} sobre cada uno Z/2β β Z{displaystyle mathbb {Z} {beta} # Mathbb {Z} y Z/prγ γ rZ{displaystyle mathbb {Z}/p_{r}{gamma "Mathbb" {Z}, excepto cuando 2}" xmlns="http://www.w3.org/1998/Math/MathML">β β ■2{displaystyle beta >2}2}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d3b1d933041e4bc4f80449e3f36c922351881e74" style="vertical-align: -0.671ex; width:5.593ex; height:2.509ex;"/>. Usando el teorema del resto chino, encontramos que cuando n{displaystyle n} no es divisible por 2, tenemos un total de 2k{displaystyle 2^{k} soluciones de f()x){displaystyle f(x)}. Sumas β β =1{displaystyle beta =1}, dentro Z/2Z{displaystyle mathbb {Z} {Z}, tenemos una raíz, así que todavía tenemos un total de 2k{displaystyle 2^{k} soluciones. Cuando β β =2{displaystyle beta =2}, tenemos 2 raíces en Z/4Z{displaystyle mathbb {Z} {Z}, así que hay un total de 2k+1{displaystyle 2^{k+1} raíces de f()x){displaystyle f(x)}. Para todos los casos 2}" xmlns="http://www.w3.org/1998/Math/MathML">β β ■2{displaystyle beta >2}2}" aria-hidden="true" class="mwe-math-fallback-image-inline" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/d3b1d933041e4bc4f80449e3f36c922351881e74" style="vertical-align: -0.671ex; width:5.593ex; height:2.509ex;"/>, hay 4 raíces en Z/2β β Z{displaystyle mathbb {Z} {beta} # Mathbb {Z} con un total de 2k+2{displaystyle 2^{k+2} soluciones. Esto muestra que el número de raíces son divisibles por 4, a menos que n=4,n=pα α {displaystyle n=4,n=p^{alpha }, o n=2pα α {displaystyle n=2p^{alpha }.
Di. ai{displaystyle A_{i} es una raíz de f()x){displaystyle f(x)} dentro Z/nZ{displaystyle mathbb {Z} /nmathbb {Z}. Entonces... ai()n− − ai)=− − ai2=− − 1{displaystyle a_{i}(n-a_{i}=-a_{i}{2}=-1}. Así que, si el número de raíces de f()x){displaystyle f(x)} es divisible por 4, entonces podemos decir el producto de las raíces si 1. De lo contrario, podemos decir que el producto es -1. Así podemos concluir que
∏ ∏ k=1φ φ ()n)ak={}− − 1()modn)sin=4,pα α ,2pα α 1()modn)de otra manera{displaystyle prod _{k=1}}{varphi (n)}!!a_{k} ={begin{cases}-1{pmod {n} {text{if} }n=4,;p^{alpha },;2p^{alpha }\\;,1{pmod {n} {text{otherwise}end{cases}}.
Contenido relacionado
Micrómetro
Seymour Papel
Kilo-