Teorema de wilson

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Teorema en números primos

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.

Table of factorial and its remainder modulo n
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)
211
322
462
5244
61200
77206
850400
9403200
103628800
11362880010
12399168000
1347900160012
1462270208000
15871782912000
1613076743680000
172092278988800016
183556874280960000
19640237370572800018
201216451004088320000
2124329020081766400000
22510909421717094400000
231124000727760768000022
24258520167388849766400000
256204484017332394393600000
26155112100433309859840000
274032914611266056355840000
28108888694504183521607680000
2930488834461171386050150400028
30884176199373970195454360000

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 ≤ qn − 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 < bn − 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 aa −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

10!=[()1⋅ ⋅ 10)]⋅ ⋅ [()2⋅ ⋅ 6)()3⋅ ⋅ 4)()5⋅ ⋅ 9)()7⋅ ⋅ 8)]↑ ↑ [− − 1]⋅ ⋅ [1⋅ ⋅ 1⋅ ⋅ 1⋅ ⋅ 1]↑ ↑ − − 1()mod11).{displaystyle 10!=[(1cdot 10)]cdot [(2cdot 6)(3cdot 4)(5cdot 9)(7cdot 8)]equiv [-1]cdot [1cdot 1cdot 1cdot 1]equiv -1{pmod {11}.}

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

1⋅ ⋅ 2⋯ ⋯ ()p− − 1)↑ ↑ − − 1()modp){displaystyle 1cdot 2cdots (p-1)equiv -1\pmod {p}}
1⋅ ⋅ ()p− − 1)⋅ ⋅ 2⋅ ⋅ ()p− − 2)⋯ ⋯ m⋅ ⋅ ()p− − m)↑ ↑ 1⋅ ⋅ ()− − 1)⋅ ⋅ 2⋅ ⋅ ()− − 2)⋯ ⋯ m⋅ ⋅ ()− − m)↑ ↑ − − 1()modp).{displaystyle 1cdot (p-1)cdot 2cdot (p-2)cdots mcdot (p-m) equiv 1cdot (-1)cdot 2cdot (-2)cdots mcdot (-m)equiv -1{pmod {p}}} {cdot.
∏ ∏ j=1mj2↑ ↑ ()− − 1)m+1()modp){displaystyle prod _{j=1}{m} j^{2}equiv (-1)^{m+1}{pmod {p}}}
()m!)2↑ ↑ ()− − 1)m+1()modp).{displaystyle (m!)^{2}equiv (-1)^{m+1}{pmod {p}}
pppkkmkm2p

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

El micrómetro o micrómetro también conocido comúnmente como micrón, es una unidad de longitud en el Sistema Internacional de Unidades que equivale a...

Seymour Papel

Seymour Aubrey Papert fue un matemático, informático y educador estadounidense nacido en Sudáfrica, que pasó la mayor parte de su carrera enseñando e...

Kilo-

Kilo es un prefijo de unidad decimal en el sistema métrico que denota la multiplicación por mil (103). Se utiliza en el Sistema Internacional de Unidades...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save