Chinese Remainder Theorem
Chinese Remainder Theorem
The Chinese Remainder Theorem (CRT) is a fundamental result in number theory that describes when and how a system of congruences can be solved simultaneously. It has applications in cryptography, computer science, and abstract algebra.
Statement
Let
has a unique solution modulo
Constructive Proof
Let
The solution is:
Ring-Theoretic Formulation
CRT states there is a ring isomorphism:
This generalizes to ideals in any ring: if
Applications
RSA Decryption
CRT speeds up RSA decryption by computing
Secret Sharing
Shamirs secret sharing uses CRT ideas: a secret is split into shares that can be recombined when enough shares are present.
Computer Arithmetic
Residue number systems use CRT for parallel computation. Operations mod different primes can proceed independently and be combined at the end.
Calendar Calculations
Computing Easter dates and finding when calendar cycles repeat uses systems of congruences solved by CRT.
Generalization to Polynomials
CRT applies to polynomials: given coprime polynomials
This is the basis for Lagrange interpolation and fast polynomial multiplication.
Algorithm Complexity
Finding the solution requires computing modular inverses (via extended Euclidean algorithm) and combining terms. Total complexity is
When Moduli Are Not Coprime
If
Historical Origin
The theorem appears in the
Garners Algorithm
An efficient algorithm for CRT that avoids large intermediate values by computing the solution incrementally.
CRT and Eulers Totient
CRT implies
Explicit Formula
For two moduli
Simultaneous Congruences
CRT allows solving systems like
Idempotents
The isomorphism in CRT is given by idempotent elements. If
CRT for Groups
For abelian groups: if
Iterative Solution
For many congruences, solve two at a time. Combine
Error Detection
CRT enables redundant computation for error detection: compute a result mod several primes and check consistency.
Uniqueness
The solution is unique modulo
Summary
CRT states: working mod
The theorem transforms hard problems mod large