Difference between revisions of "Chinese Remainder Theorem"

(Adding the Intro to Mod. Arithmetic to See Also)
Line 1: Line 1:
 
The '''Chinese Remainder Theorem''' is a [[number theory | number theoretic]] result. It is one of the only [[theorem]]s named for an oriental person or place, due to the closed development of mathematics in the western world.
 
The '''Chinese Remainder Theorem''' is a [[number theory | number theoretic]] result. It is one of the only [[theorem]]s named for an oriental person or place, due to the closed development of mathematics in the western world.
 
== Theorem ==
 
== Theorem ==
 +
 +
Formally stated, the Chinese Remainder Theorem is as follows:
  
 
Let <math>m</math> be [[relatively prime]] to <math>n</math>.  Then each [[residue class]] mod <math>mn</math> is equal to the [[intersection]] of a unique residue class mod <math>m</math> and a unique residue class mod <math>n</math>, and the intersection of each residue class mod <math>m</math> with a residue class mod <math>n</math> is a residue class mod <math>mn</math>.
 
Let <math>m</math> be [[relatively prime]] to <math>n</math>.  Then each [[residue class]] mod <math>mn</math> is equal to the [[intersection]] of a unique residue class mod <math>m</math> and a unique residue class mod <math>n</math>, and the intersection of each residue class mod <math>m</math> with a residue class mod <math>n</math> is a residue class mod <math>mn</math>.
Line 6: Line 8:
  
  
This can also be written as the following.
+
Simply stated,
  
Suppose you wish to find some number <math>x</math> such that <math>x</math> leaves a remainder of:
+
Suppose you wish to find the least number <math>x</math> which leaves a remainder of:
  
 
<center>
 
<center>
<math> \begin{aligned} &y_{1} \text{ upon division by } &d_{1}\
+
<math> \begin{aligned} &y_{1} \text{ when divided by } &d_{1}\
&y_{2} \text{ upon division by } &d_{2}\
+
&y_{2} \text{ when divided by } &d_{2}\
 
&\vdots &\vdots\
 
&\vdots &\vdots\
&y_{n} \text{ upon division by } & d_{n}\ \end{aligned} </math>
+
&y_{n} \text{ when divided by } & d_{n}\ \end{aligned} </math>
 
</center>
 
</center>
  

Revision as of 11:00, 6 August 2013

The Chinese Remainder Theorem is a number theoretic result. It is one of the only theorems named for an oriental person or place, due to the closed development of mathematics in the western world.

Theorem

Formally stated, the Chinese Remainder Theorem is as follows:

Let $m$ be relatively prime to $n$. Then each residue class mod $mn$ is equal to the intersection of a unique residue class mod $m$ and a unique residue class mod $n$, and the intersection of each residue class mod $m$ with a residue class mod $n$ is a residue class mod $mn$.


Simply stated,

Suppose you wish to find the least number $x$ which leaves a remainder of:

$\begin{aligned} &y_{1} \text{ when divided by } &d_{1}\\ &y_{2} \text{ when divided by } &d_{2}\\ &\vdots &\vdots\\ &y_{n} \text{ when divided by } & d_{n}\\ \end{aligned}$

and no $d_{i}$ have any divisors in common for $1 \leq i\leq n$. Let $M = d_{1}d_{2} \cdots d_{n}$, and $b_{i} = \frac{M}{d_{i}}$. Now if the numbers $a_{i}$ satisfy:

$a_{i}b_{i} - 1 \equiv 0 \pmod {d_{i}}$

for every $1 \leq i \leq n$, then a solution for $x$ is:

$x = \sum_{i=1}^n a_{i}b_{i}y_{i} \pmod M$

Proof

If $a \equiv b \pmod{mn}$, then $a$ and $b$ clearly differ by a multiple of $mn$, so $a \equiv b \pmod{m}$ and $a \equiv b \pmod{n}$. This is the first part of the theorem. The converse follows because $a$ and $b$ must differ by a multiple of $m$ and $n$, and $\mbox{lcm}(m,n) = mn$. This is the second part of the theorem.

Applicability

Much like the Fundamental Theorem of Arithmetic, many people seem to take this theorem for granted before they consciously turn their attention to it. It ubiquity derives from the fact that many results can be easily proven mod (a power of a prime), and can then be generalized to mod $m$ using the Chinese Remainder Theorem. For instance, Fermat's Little Theorem may be generalized to the Fermat-Euler Theorem in this manner. Its application in problem-solving is similar.


General Case: the proof of the general case follows by repeatedly applying to above result (k-1) times.

Extended version of the theorem

Suppose one tried to divide a group of fish into $2$, $3$ and $4$ parts instead and found $1$, $1$ and $2$ fish left over, respectively. One can show this to be impossible, because any number giving remainder $1$ modulo $2$ must be odd and any number giving remainder $2$ modulo $4$ must be even. Thus, the number of objects must be odd and even simultaneously, which is absurd. Thus, there must be some restrictions on the numbers $a_1,\dots,a_n$ to ensure that at least one solution exists. It turns out (and this is the extended version of the theorem) that

The solution exists if and only if $a_i\equiv a_j\mod \gcd(m_i,m_j)$ for all $i,j$ where $\gcd$ stands for the greatest common divisor. Moreover, in the case when the problem is solvable, any two solutions differ by some common multiple of $m_1,\ldots,m_n$.

See Also

Discussion

  • Here is an AoPS thread in which the Chinese Remainder Theorem is discussed and implemented.