The Chinese remainder theorem says that if the positive integers are pairwise coprime and , then for arbitrary residue classes there is a unique residue class satisfying
Equivalently, reduction is a ring isomorphism
For existence, put . Pairwise coprimality gives , so Bézout's identity supplies an integer with . Then
has the required residues, because every term except the th is divisible by . If and are two solutions, each divides . Pairwise coprimality then implies that their product divides , proving uniqueness modulo .
An odd composite number with is a Fermat pseudoprime to base when
For , the Chinese remainder theorem for unit groups reduces this condition to congruences modulo and . Modulo , Fermat's little theorem gives
so exactly when . Modulo , the unit group has order , so
The equation in the cyclic group has solutions, namely .
Combining the two independent sign choices by the Chinese remainder theorem gives
and hence

Articles by others on the same topic (0)

There are currently no matching articles.