The Fermat-Euler theorem states that
Indeed, if are the reduced residue classes modulo , multiplication by permutes them. Therefore
The product is invertible modulo , so cancellation gives the theorem.
Now let be prime. If , then for , Fermat little theorem gives , while makes . Thus for every integer .
Conversely, assume this congruence holds for every . Choose a primitive root modulo . Then . Since has order , one has . Hence
An odd composite coprime to is a Fermat pseudoprime to base when . It is a Carmichael number when this congruence holds for every coprime to .
Suppose a Carmichael number has with . The group is cyclic, so choose a residue of order
By the Chinese remainder theorem, extend it to an integer that is congruent to modulo every other prime-power factor of . Then , and the Carmichael congruence forces the order of modulo to divide . In particular , contradicting . Therefore every Carmichael number is square-free.
Now assume is square-free. If for every , then for every coprime to , Fermat little theorem gives
for each . The Chinese remainder theorem then gives the congruence modulo , so is Carmichael.
Conversely, if is Carmichael, fix . Choose a primitive root modulo and use the Chinese remainder theorem to choose and . Then , so the order of divides . This proves the Korselt criterion in the required form:
A Carmichael number cannot have one prime factor because it is composite. If with distinct primes , the condition implies , which is impossible. Hence every Carmichael number has at least three prime factors.
The converted source omits from the product; the PDF asks about . Fix the odd prime , and suppose is Carmichael. Its three prime factors are distinct by the Korselt criterion. Relabel so that .
The divisibility conditions include
Write
for a positive integer . Since ,
so . Moreover,
Multiplying the second divisibility by and reducing modulo gives
The positive integer on the right is at most . Consequently
There are only finitely many possible primes and integers , and each pair determines at most one . Therefore

Articles by others on the same topic (0)

There are currently no matching articles.