Innumber theory, aGiuga number is acomposite number such that for each of its distinctprime factors we have, or equivalently such that for each of its distinctprime factorspi we have.
The Giuga numbers are named after the mathematicianGiuseppe Giuga, and relate tohis conjecture on primality.
Alternative definition for aGiuga number due toTakashi Agoh is: acomposite numbern is aGiuga numberif and only if the congruence
holds true, whereB is aBernoulli number and isEuler's totient function.
An equivalent formulation due toGiuseppe Giuga is: acomposite numbern is aGiuga number if and only if the congruence
and if and only if
All known Giuga numbersn in fact satisfy the stronger condition
The sequence of Giuga numbers begins
For example, 30 is a Giuga number since its prime factors are 2, 3 and 5, and we can verify that
The prime factors of a Giuga number must be distinct. If divides, then it follows that, where is divisible by. Hence, would not be divisible by, and thus would not be a Giuga number.
Thus, onlysquare-free integers can be Giuga numbers. For example, the factors of 60 are 2, 2, 3 and 5, and 60/2 - 1 = 29, which is not divisible by 2. Thus, 60 is not a Giuga number.
This rules out squares of primes, butsemiprimes cannot be Giuga numbers either. For if, with primes, then, so will not divide, and thus is not a Giuga number.
All known Giuga numbers are even. If an odd Giuga number exists, it must be the product of at least 14primes. It is not known if there are infinitely many Giuga numbers.
It has been conjectured by Paolo P. Lava (2009) that Giuga numbers are the solutions of the differential equationn' = n+1, wheren' is thearithmetic derivative ofn. (For square-free numbers,, son' = n+1 is just the last equation in the above sectionDefinitions, multiplied byn.)
José Mª Grau and Antonio Oller-Marcén have shown that an integern is a Giuga number if and only if it satisfiesn' = a n + 1 for some integera > 0, wheren' is thearithmetic derivative ofn. (Again,n' = a n + 1 is identical to the third equation inDefinitions, multiplied byn.)