Número primo de Wieferich

En matemáticas, un número primo de Wieferich es un número primo $p$ tal que $p^{2}$ divide a $2^{p-1}-1$. Nótese la similitud con el pequeño teorema de Fermat, que afirma que cada número primo $p$ divide a $2^{p-1}-1$. Los primeros números primos de Wieferich fueron descritos por primera vez por Arthur Wieferich en 1909 en sus trabajos relativos al último teorema de Fermat.

Número primo de Wieferich
Nombrado por	Arthur Josef Alwin Wieferich
Año de publicación	1909
Autor de la publicación	Wieferich, A.
No. de términos conocidos	2
No. conjeturado de términos	Infinito
Subsecuencia de	Números de Crandall​ Números de Wieferich​ Primos de Lucas-Wieferich​ primos cercanos de Wieferich
Primeros términos	1093, 3511
Mayor término conocido	3511
índice OEIS	A001220

La investigación de los números primos de Wieferich

Los únicos números de Wieferich conocidos son 1093 y 3511 (sucesión A001220 en OEIS), hallados por W. Meissner en 1913 y N. G. W. H. Beeger en 1922, respectivamente; si existen otros, deben ser mayores que $1,25\cdot 10^{15}$.​ Se ha conjeturado que solo existe un número finito de números primos de Wieferich, aunque J. H. Silverman demostró en 1988 que si la conjetura abc es válida, para todo número entero positivo $a>1$, existen infinitos números primos $p$ tal que $p^{2}$ no divide a $a^{p-1}-1$.

Propiedades de los números primos de Wieferich

Números de Wieferich y números de Mersenne

Un número de Mersenne es definido como $M_{q}=2^{q}-1$ (donde $q$ es primo) y por el pequeño teorema de Fermat se sabe que $M_{p-1}=2^{p-1}-1$ es siempre divisible por un número primo $p$. Aún más, podría ser que $q$ fuera un factor primo de $p-1$, incluso $M_{q}<M_{p-1}$ es divisible por $p$.

De la definición de un número $w$ primo de Wieferich, tenemos que $2^{w-1}-1$ es divisible entre $w^{2}$ y no solamente entre $w$. $q$ podría ser un factor de $w-1$, y $M_{q}$ todavía divisible entre $w$; por lo que surge la pregunta de si existe un número de Mersenne $M_{q}$ que sea también divisible entre $w^{2}$, o incluso ser él mismo un primo de Wieferich.

Puede demostrarse que

Si $w^{2}$ divide a $2^{w-1}-1$, y $w$ divide a $M_{q}=2^{q}-1$, donde $q$ es un divisor primo de $w-1$

Entonces también $w^{2}$ debe dividir a $M_{q}$; por lo que $M_{q}$ contendría un cuadrado (y no podría ser primo).

Los dos primos de Wieferich, $w=1093$ y $w=3511$ no satisfacen la condición de divisibilidad por un número de Mersenne $M_{q}$ con exponente primo $q$; de hecho se conjetura que ningún primo de Wieferich es un factor de un número de Mersenne. Aunque no se han encontrado contraejemplos, se desconoce si la afirmación es cierta o no, por lo que surge la siguiente pregunta:

¿Son todos los números de Mersenne no cuadrados?

Ya que cualquier $M_{q}$ conteniendo un primo de Wieferich $w$ debe contener también $w^{2}$, se sigue inmediatamente que no sería primo. Entonces,

Un primo de Mersenne no puede ser un primo de Wieferich.

Generalización ciclotómica

Para una generalización ciclotómica de la propiedad de los primos de Wieferich, $(n^{p}-1)/(n-1)$ divisible entre $w^{2}$ existen soluciones como

$(3^{5}-1)/(3-1)=11^{2}$

e incluso con exponentes mayores que dos, como en

$(19^{6}-1)/(19-1)$ divisible entre $7^{3}$.

Otras propiedades

• Si $w$ es un primo de Wieferich, entonces $2^{w^{2}}=2{\pmod {w^{2}}}$.

Los números primos de Wieferich y el último teorema de Fermat

El teorema siguiente, que conecta los números primos de Wieferich y el último teorema de Fermat fue demostrado por Wieferich en 1909:

Sea p un número primo y sean x, y, z números naturales de tal forma que $x^{p}+y^{p}+z^{p}=0\,$.  Además, supongamos que el producto x·y·z es divisible por p. Entonces p es un número primo de Wieferich.

En 1910, Mirimanoff fue capaz de desarrollar el teorema al mostrar que si los requisitos del teorema son válidos para un cierto número primo $p$, entonces $p^{2}$ debe dividir también a $3^{p-1}-1$. Los números primos de este tipo han sido llamados los números primos de Mirimanoff, pero el nombre no se ha generalizado.

Véase también

• Número de Wilson
• Número de Wall-Sun-Sun
• Número de Wolstenholme

Bibliografía

• A. Wieferich, "Zum letzten Fermat'schen Theorem", Journal für Reine Angewandte Math., 136 (1909) 293-302
• N. G. W. H. Beeger, "On a new case of the congruence 2^{p − 1} = 1 (p²), Messenger of Math, 51 (1922), 149-150
• W. Meissner, "Über die Teilbarkeit von 2p^p − 2 durch das Quadrat der Primzahl p=1093, Sitzungsber. Akad. d. Wiss. Berlín (1913), 663-667
• J. H. Silverman, "Wieferich's criterion and the abc-conjecture", Journal of Number Theory, 30:2 (1988) 226-237

Enlaces externos

• Caldwell, Chris. «The Prime Glossary: Wieferich prime» (en inglés). The Prime Pages. Universidad de Tennessee. http://primes.utm.edu/glossary/page.php?sort=WieferichPrime .
• Weisstein, Eric W. «Wieferich Prime». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Estado de la búsqueda de números primos de Wieferich (en inglés)
• Wieferich@Home: Número de Wieferich - Proyecto computación distribuida (en inglés)

• Datos: Q966601