h2. Definitie

Pentru inceput, sa consideram sirul <tex>n = n_{1}, n_{2}, ..., n_{k}</tex> ale carui elemente sunt, luate doua cate doua, prime intre ele. *Teorema chineza a restului* (t.c.r.) afirma ca exista o corespondenta biunivoca intre orice numar <tex>a\in\mathbb{Z}_{n}</tex> si multimea ordonata de resturi ale lui a modulo <tex>n_{i}, i\in\{1, 2, ..., k\}</tex>. Cu alte cuvinte, operatiile in <tex>\mathbb{Z}_{n}</tex> pot fi aplicate echivalent atat pe numere cat si pe multimile ordonate corespunzatoare resturilor modulo <tex>n_{i}</tex>. Pentru orice <tex>a, b \in \mathbb{Z}_{n}</tex>, notam <tex>a_{i} = a\ mod\ n</tex>, respectiv <tex>b_{i} = b\ mod\ n</tex>, generand corespondentele <tex>a \leftrightarrow \{a_{1} ,  a_{2} , ..., a_{k}\}</tex> respectiv <tex>b \leftrightarrow \{b_{1}, b_{2}, ..., b_{k}\}</tex>. Conform teoremei chineze a restului, pentru orice operator <tex>\circ</tex> <tex>\in</tex> {+, -, * }, $a$ <tex>\circ</tex> $b$ <tex>\leftrightarrow</tex> ${(a{~1~}$ <tex>\circ</tex> $b{~1~}) mod n{~1~}$ , $( a{~2~}$<tex>\circ</tex> $b{~2~})mod n{~2~}$ , ..., $(a{~k~}$ <tex>\circ</tex> $b{~k~}) mod n{~k~}}$ ramane o corespondenta valida.

Pentru inceput, sa consideram sirul <tex>n = n_{1}, n_{2}, ..., n_{k}</tex> ale carui elemente sunt, luate doua cate doua, prime intre ele. *Teorema chineza a restului* (t.c.r.) afirma ca exista o corespondenta biunivoca intre orice numar <tex>a\in\mathbb{Z}_{n}</tex> si multimea ordonata de resturi ale lui a modulo <tex>n_{i}, i\in\{1, 2, ..., k\}</tex>. Cu alte cuvinte, operatiile in <tex>\mathbb{Z}_{n}</tex> pot fi aplicate echivalent atat pe numere cat si pe multimile ordonate corespunzatoare resturilor modulo <tex>n_{i}</tex>. Pentru orice <tex>a, b \in \mathbb{Z}_{n}</tex>, notam <tex>a_{i} = a\ mod\ n</tex>, respectiv <tex>b_{i} = b\ mod\ n</tex>, generand corespondentele <tex>a \leftrightarrow \{a_{1} ,  a_{2} , ..., a_{k}\}</tex> respectiv <tex>b \leftrightarrow \{b_{1}, b_{2}, ..., b_{k}\}</tex>. Conform teoremei chineze a restului, pentru orice operator <tex>\circ \in \{\plus, \minus-, \star \}, a \circ b \leftrightarrow \{(a_{1} \circ b_{1})\ mod\ n_{1} , ( a_{2}\circ b_{2})\ mod\ n_{2} , ..., (a_{k} \circ b_{k})\ mod\ n_{k}\}</tex> ramane o corespondenta valida.

Problema care se iveste imediat este conversia dintr-o forma in alta. Transformarea unui numar in multimea corespunzatoare este imediata. Partea mai dificila este operatia inversa, iar aceasta este problema care va fi tratata in continuare. Pentru determinarea numarului $x$ <tex>\in</tex> $Z{~n~}$, corespunzator multimii ${ a{~1~}, a{~2~}, ..., a{~k~}}$, este suficienta rezolvarea sistemului de ecuatii modulare:
$x$ <tex>\equiv</tex> $a{~1~}(mod n{~1~})$