Congruencia de Mirimanoff
# Congruencia de Mirimanoff

En teoría de números, una congruencia de Mirimanoff es una serie de expresiones en aritmética modular tales que, si se cumplen, conllevan la veracidad del último teorema de Fermat. Ya que el teorema ha sido demostrado, estas expresiones son de significancia histórica, ya que los polinomios de Mirimanoff son interesantes por derecho propio.

## Definición

El n-ésimo polinomio de Mirimanoff para el primo p es

    $\phi _{n}(t)=1^{n-1}t+2^{n-1}t^{2}+...+(p-1)^{n-1}t^{p-1}.$

En términos de estos polinomios, si t es uno de estos seis valores: {-X/Y, -Y/X, -X/Z, -Z/X, -Y/Z, -Z/Y} donde $X^p+Y^p+Z^p=0$ es una solución al Último teorema de Fermat, entonces

* $φ_{p-1}(t)$ ≡ 0 (mod p)
* $φ_{p-2}(t)φ_2(t)$ ≡ 0 (mod p)
* $φ_{p-3}(t)φ_3(t)$ ≡ 0 (mod p)
* $φ_{(p+1)/2}(t)φ_{(p-1)/2}(t)$ ≡ 0 (mod p)

## Otras congruencias

Mirimanoff también demostró lo siguiente:

* Si un número primo p no divide a uno de los siguientes numeradores de los números de Bernoulli $B_{p-3},$ $B_{p-5},$ $B_{p-7}$ o $B_{p-9},$ entonces el primer caso del Último teorema de Fermat, donde p no divide a X, Y or Z en la ecuación $X^p+Y^p+Z^p=0,$ es cierto.
* Si el primer caso del Último teorema de Fermat no se cumple para el primo p, entonces $3^{p-1}$ ≡ 1 (mod $p^2).$ Un número primo con esta propiedad es a veces llamado primo de Mirimanoff, en analogía con los números de Wieferich, que son números primos tales que $2^{p-1}$ ≡ 1 (mod $p^2).$
