En teoría de números, la conjetura de Agoh–Giuga postula que un entero positivo p es un número primo si y solo si

  
    
      
        p
        
          B
          
            p
            −
            1
          
        
        ≡
        −
        1
        
          
          (
          mod
          
          p
          )
        
        .
      
    
    {\displaystyle pB_{p-1}\equiv -1{\pmod {p}}.}
  donde 
  
    
      
        
          B
          
            p
            −
            1
          
        
      
    
    {\displaystyle B_{p-1}}
   es el (p-1)-ésimo número de Bernoulli.
Fue nombrada en honor a Takashi Agoh y Giuseppe Giuga.