The Fermat-Euler theorem states thatIndeed, if are the reduced residue classes modulo , multiplication by permutes them. ThereforeThe 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 orderBy 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 givesfor 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 includeWritefor a positive integer . Since ,so . Moreover,Multiplying the second divisibility by and reducing modulo givesThe positive integer on the right is at most . ConsequentlyThere are only finitely many possible primes and integers , and each pair determines at most one . Therefore
Articles by others on the same topic
There are currently no matching articles.