Conjetura de Agoh-Giuga

La formulación indicada anteriormente de la conjetura se debe a Takashi Agoh (1990); una formulación equivalente se debe a Giuseppe Giuga, que en 1950 conjeturó que p es primo si

${\displaystyle 1^{p-1}+2^{p-1}+\cdots +(p-1)^{p-1}\equiv -1{\pmod {p}}}$

o de forma similar,

${\displaystyle \sum _{i=1}^{p-1}i^{p-1}\equiv -1{\pmod {p}}.}$

Es fácil demostrar que suponer p es un número primo es suficiente para aseverar la relación de congruencia, ya que si p es primo, el Pequeño Teorema de Fermat afirma que

${\displaystyle a^{p-1}\equiv 1{\pmod {p}}}$

donde ${\displaystyle a=1,2,\dots ,p-1}$, y el resultado sigue del hecho que ${\displaystyle p-1\equiv -1{\pmod {p}}.}$

El enunciado sigue siendo una conjetura, ya que aun no ha sido probado el hecho que si un número n no es primo (es decir, n es compuesto), entonces la fórmula no se cumple. No obstante, sí se ha demostrado que un número compuesto n satisface la fórmula si y solo si es a la vez un número de Carmichael y un número de Giuga, y que si tal número existe, debe tener al menos 13800 dígitos (Borwein, Borwein, Borwein, Girgensohn, 1996).

La conjetura de Agoh–Giuga presenta cierta similitud al teorema de Wilson, el cual ya ha sido demostrado. El teorema de Wilson establece que un número p es primo si y solo si

${\displaystyle (p-1)!\equiv -1{\pmod {p}},}$

o de forma similar,

${\displaystyle \prod _{i=1}^{p-1}i\equiv -1{\pmod {p}}.}$

Para un primo impar p se tiene que

${\displaystyle \prod _{i=1}^{p-1}i^{p-1}\equiv (-1)^{p-1}\equiv 1{\pmod {p}},}$

Y para p=2 se tiene que

${\displaystyle \prod _{i=1}^{p-1}i^{p-1}\equiv (-1)^{p-1}\equiv 1{\pmod {p}}.}$

De esta forma, si la conjetura de Agoh-Giuga resultase ser cierta, el combinar este resultado con el teorema de Wilson indicaría que un número p es primo si y solo si

${\displaystyle \sum _{i=1}^{p-1}i^{p-1}\equiv -1{\pmod {p}}}$

y

${\displaystyle \prod _{i=1}^{p-1}i^{p-1}\equiv 1{\pmod {p}}.}$

• Agoh, Takashi (1995). «On Giuga's conjecture» [Sobre la conjetura de Giuga]. Manuscripta Mathematica (en inglés) 87 (4): 501-510. doi:10.1007/bf02570490.
• Borwein, D.; Borwein, J.; Borwein, P. B.; Girgensohn, R. (1996). «Giuga's Conjecture on Primality» [Conjetura de Giuga sobre Primalidad]. American Mathematical Monthly (en inglés) 103: 40-50. doi:10.2307/2975213. Archivado desde el original el 31 de mayo de 2005. Consultado el 30 de enero de 2016.
• Giuga, Giuseppe (1951). «Su una presumibile proprietà caratteristica dei numeri primi» [Sobre una presunta propiedad característica de los números primos]. Ist.Lombardo Sci. Lett., Rend., Cl. Sci. Mat. Natur. (en italiano) 83: 511-518. ISSN 0375-9164.
• Sorini, Laerte (2001). «Un Metodo Euristico per la Soluzione della Congettura di Giuga» [Un método heurístico para la solución de la conjetura de Giuga]. Quaderni di Economia, Matematica e Statistica, DESP, Università di Urbino Carlo Bo (en italiano) 68. ISSN 1720-9668.