Teorema de Wilson

El teorema de Wilson, atribuït a John Wilson (1741-1793), però demostrat per Lagrange el 1771,[1] estableix que, el nombre enter p {\displaystyle p} és primer si, i només si,

( p 1 ) ! 1   ( mod   p ) {\displaystyle (p-1)!\equiv -1\ ({\hbox{mod}}\ p)}

això és, si i només si, ( p 1 ) ! + 1 {\displaystyle (p-1)!+1} és divisible entre p {\displaystyle p} .


El teorema de Wilson recull el fet que p {\displaystyle p} és primer si, i només si, l'anell Z p {\displaystyle \mathbb {Z} _{p}} és íntegre (i, per ser finit, un cos). Aleshores, com que tant 1 {\displaystyle 1} com p 1 {\displaystyle p-1} són els únics elements que són inversos de si mateixos, el producte

( p 1 ) ! = 1 2 3 ( p 2 ) ( p 1 ) {\displaystyle (p-1)!=1\cdot 2\cdot 3\cdots (p-2)\cdot (p-1)}

conté p 3 2 {\displaystyle {\frac {p-3}{2}}} parelles d'elements amb el seu invers. En conseqüència,

( p 1 ) ! = 1 ( 2 3 ( p 2 ) ) ( p 1 ) = 1 ( 1 1 1 ) ( p 1 ) = p 1 1   ( mod   p ) {\displaystyle (p-1)!=1\cdot (2\cdot 3\cdots (p-2))\cdot (p-1)=1\cdot (1\cdot 1\cdots 1)\cdot (p-1)=p-1\equiv -1\ ({\hbox{mod}}\ p)}

  • Si p {\displaystyle p} no és primer i p = q r {\displaystyle p=q\cdot r} amb, posem, q < r {\displaystyle q<r} , com que q < r < p {\displaystyle q<r<p} , és clar que, a Z p {\displaystyle \mathbb {Z} _{p}} , s'esdevé que q r 0   ( mod   p ) {\displaystyle q\cdot r\equiv 0\ ({\hbox{mod}}\ p)} i, per tant, ( p 1 ) ! 0   ( mod   p ) {\displaystyle (p-1)!\equiv 0\ ({\hbox{mod}}\ p)} .
  • Si p {\displaystyle p} no és primer, però és la potència k {\displaystyle k} d'un nombre primer q {\displaystyle q} , aleshores, excepte el cas p = 4 = 2 2 {\displaystyle p=4=2^{2}} , el nombre de vegades que apareix el factor q {\displaystyle q} a ( p 1 ) ! {\displaystyle (p-1)!} no és inferior a k {\displaystyle k} . En conseqüència, també ( p 1 ) ! 0   ( mod   p ) {\displaystyle (p-1)!\equiv 0\ ({\hbox{mod}}\ p)} .
  • ( 4 1 ) ! = 3 ! = 6 2 1   ( mod   4 ) {\displaystyle (4-1)!=3!=6\equiv 2\neq -1\ ({\hbox{mod}}\ 4)}

Referències

  1. Pla i Carrera, Josep «Joseph-Louis Lagrange: in memoriam». Butlletí de la Societat Catalana de Matemàtiques, Vol. 29, Num. 2, 2014, pàg. 164. DOI: 10.2436/20.2002.01.56. ISSN: 2013-9829.