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 satisfyingEquivalently, reduction is a ring isomorphism
For existence, put . Pairwise coprimality gives , so Bézout's identity supplies an integer with . Thenhas 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 whenFor , the Chinese remainder theorem for unit groups reduces this condition to congruences modulo and . Modulo , Fermat's little theorem givesso exactly when . Modulo , the unit group has order , soThe equation in the cyclic group has solutions, namely .
Articles by others on the same topic
There are currently no matching articles.