En mathématiques, un nombre de Giuga est[1] un entier naturel composé qui satisfait à la congruence
D'après le petit théorème de Fermat les nombres premiers satisfont à la congruence. Giuga conjectura en 1950 que l'ensemble des nombres composés satisfaisant à la congruence est vide, c'est la conjecture d'Agoh-Giuga. Les nombres de Giuga sont des nombres de Carmichael (donc sans carré).
Un nombre est un nombre de Giuga si et seulement si[1]
La fonction qui compte le nombre de nombres de Giuga inférieurs à a été étudiée et Tipu[2] a montré que .
Cette majoration a été améliorée par Luca, Pomerance et Shparlinski[1] :
Certains auteurs[3],[4] appellent « nombres de Giuga » ce que Luca, Pomerance et Shparlinski[1] préfèrent nommer weak Giuga numbers. Ce sont les entiers composés vérifiant la propriété plus faible : p2 | n – p pour tout facteur premier p de n. Contrairement aux précédents, on en connaît des exemples : suite A007850 de l'OEIS. Ces nombres sont exactement les nombres composés solutions de l'équation n' = an + 1 avec (a entier naturel) où n' désigne la dérivée arithmétique[5].