Número primo de Wieferich

En matemáticas, un número primo de Wieferich es un número primoNótese la similitud con el pequeño teorema de Fermat, que afirma que cada número primoLos 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.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[4]​ 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, existen infinitos números primosno divide aUn número de Mersenne es definido comoes primo) y por el pequeño teorema de Fermat se sabe quees siempre divisible por un número primoAún más, podría ser quefuera un factor primo deprimo de Wieferich, tenemos quepodría ser un factor detodavía divisible entre; por lo que surge la pregunta de si existe un número de Mersenneque sea también divisible entre, o incluso ser él mismo un primo de Wieferich.Puede demostrarse que Los dos primos de Wieferich,no satisfacen la condición de divisibilidad por un número de Mersenne; 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: Ya que cualquierconteniendo un primo de Wieferich, se sigue inmediatamente que no sería primo.Entonces, Para una generalización ciclotómica de la propiedad de los primos de Wieferich,existen soluciones como e incluso con exponentes mayores que dos, como en 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 queAdemá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 primodebe dividir también aLos números primos de este tipo han sido llamados los números primos de Mirimanoff, pero el nombre no se ha generalizado.