Teorema chino del resto

El teorema chino del resto es un resultado sobre congruencias en teoría de números y sus generalizaciones en álgebra abstracta. Fue publicado por primera vez en el Plantilla:Siglo por el matemático chino Sun Zi.

Enunciado del teorema

Supongamos que n₁, n₂, …, n_k son enteros positivos coprimos dos a dos. Entonces, para enteros dados a₁,a₂, …, a_k, existe un entero x que resuelve el sistema de congruencias simultáneas

$\begin{array}{cc}x& \equiv a_1(\mathrm{mod}{n}_1)\\ x& \equiv a_2(\mathrm{mod}{n}_2)\\ & ⋮\\ x& \equiv a_k(\mathrm{mod}{n}_k)\end{array}$

Más aún, todas las soluciones x de este sistema son congruentes módulo el producto $N=n_1{n}_2...n_k$.

De manera más general, las congruencias simultáneas pueden ser resueltas si los n_i's son coprimos a pares. Una solución x existe si y solo si:

$a_i\equiv a_j(\mathrm{mod}\mathrm{mcd}(n_i,n_j))\text{para todo }i\text{y }j.$

Todas las soluciones x son entonces congruentes módulo el mínimo común múltiplo de los n_i.

Un enunciado moderno en lenguaje algebraico es que para cada entero positivo con factorización en números primos

$n=p_1^{r_1}\cdots p_k^{r_k},$

se tiene un isomorfismo entre un anillo y la suma directa de sus potencias primas

$\mathbb{Z}/n\mathbb{Z}\cong \mathbb{Z}/p_1^{r_1}\mathbb{Z}\oplus \cdots \oplus \mathbb{Z}/p_k^{r_k}\mathbb{Z}.$

Demostración del teorema

Existencia de la solución

Sea N=n₁n₂...n_k y sea $N_i=\frac{N}{n_i}$ para i=1,...,k. Como todos los módulos n_i son coprimos entre sí, N_i y n_i son a su vez coprimos entre sí, luego por la Identidad de Bezout se asegura la existencia de dos enteros r_i y s_i tales que $r_i{n}_i+s_i{N}_i=1$. En tales condiciones, tomando las clases de equivalencia en ambos lados de la identidad, se tiene que para cada i, y para cada j ≠ i:

$\begin{array}{c}{s}_i{N}_i\equiv 1(\mathrm{mod}{n}_i)\\ s_i{N}_i\equiv 0(\mathrm{mod}{n}_j)\\ \end{array}$

Por tanto, definiendo

$x:=\sum _{i=1}^k{a}_i{s}_i{N}_i=a_1{s}_1{N}_1+a_2{s}_2{N}_2+\dots +a_k{s}_k{N}_k,$

es claro que x es la solución buscada, debido a que al tomar clases de equivalencia en cada n_i, todos los sumandos se anulan a excepción del propio a_is_iN_i, y por tanto, $x\equiv a_i(\mathrm{mod}{n}_i)$ para todo i =1,...,k. De esta manera, queda demostrado que x es solución del sistema.

Unicidad de la solución

En el caso de que todos los n_i sean coprimos, esa solución es la única existente módulo N. Para demostrarlo, supongamos que existiesen dos números enteros x e y que son soluciones distintas, entonces para i =1,2,...,k:

$\begin{array}{c}x\equiv a_i(\mathrm{mod}{n}_i)\\ y\equiv a_i(\mathrm{mod}{n}_i)\\ \end{array}$

Esto implica que $x-y\equiv 0(\mathrm{mod}{n}_i)$, y por ser todos los n_i coprimos, se sigue que el producto de los módulos N=n₁n₂...n_k también divide a x - y, es decir, $x\equiv y(\mathrm{mod}N)$.

Por tanto, toda solución del sistema es congruente con x en módulo N, tal y como se había establecido previamente en la formulación del teorema.

Generalización para anillos

El teorema chino de los restos se puede generalizar sobre cualquier Anillo $R$, mediante el concepto de ideales coprimos o comaximales.

Dos ideales Plantilla:Mvar y Plantilla:Mvar son coprimos si existen elementos $i\in I$ y $j\in J$ tales que $i+j=1$.

Esta relación sustituye a la identidad de bezout en las pruebas relacionadas con esta generalización, que son bastante parecidas a las relativas a números enteros. La generalización puede enunciarse de la siguiente manera:

Sean Plantilla:Math ideales bilateral de un anillo $R$ y sea Plantilla:Math la intersección de los ideales . Si los ideales son coprimos dos a dos, se da el siguiente isomosrfismo:

$\begin{array}{cc}R/I& \to (R/I_1)\times \cdots \times (R/I_k)\\ xmodI& \mapsto (x{modI}_1,\dots ,x{modI}_k),\end{array}$

entre el anillo cociente $R/I$ y el producto directo (o producto cartesiano) de los anillos $R/I_i,$ donde "$xmodI$" denota la imagen del elemento $x$ en el cociente del anillo definido por el ideal $I.$ Más aún, si $R$ es conmutativo, entonces la intersección de ideales coprimos dos a dos es igual a su producto; esto es:

$I=I_1\cap I_2\cap \cdots \cap I_k=I_1{I}_2\cdots I_k,$

Si $I_i$ y $I_j$ son coprimos para todo Plantilla:Math.

Corolario: Teorema Chino de los Restos

Sea $R$ un anilo conmutativo con unidad no trivial, e $I_1,I_2,...,I_n$ ideales coprimos. Entonces, para todo $a_1,...,a_n\in R$ el sistema de congruencias

$\begin{array}{cc}x& \equiv a_1(\mathrm{mod}{I}_1)\\ x& \equiv a_2(\mathrm{mod}{I}_2)\\ & ⋮\\ x& \equiv a_k(\mathrm{mod}{I}_k)\end{array}$

admite una solución en $R$. Además si $a$ y $b$ son soluciones, entonces $a-b\in I_1...I_n$ (es decir, son congruentes), y recíprocamente si $a$ es solución e $i\in I_1...I_n$ entonces $a+i$ es solución.

Historia

La forma original del teorema, contenida en un libro del Plantilla:Siglo por el matemático chino Sun Tzu y posteriormente publicado en 1247 por Qin Jiushao, es un enunciado sobre congruencias simultáneas (ver aritmética modular).

Versiones del teorema chino del resto fueron también conocidas por Brahmagupta, y aparecen en el Liber Abaci de Fibonacci (1202).

Aplicaciones en criptografía

El teorema del resto chino tiene importantes aplicaciones en criptografía, en especial para reducir operaciones con números enormes mediante el paso a congruencias. En el algoritmo RSA, por ejemplo, los cálculos se hacen módulo $n$, donde $n$ es un producto de dos primos $p$ y $q$. Tamaños habituales para $n$ son 1024, 2048 o 4096 bits, haciendo que los cálculos requieran una gran cantidad de tiempo. Usando el teorema chino del resto los cálculos pueden ser transportados del anillo ${𝐙}_n$ al anillo ${𝐙}_p\times {𝐙}_q$. La suma de las longitudes de bit de $p$ y $q$ es la longitud de bit de $n$, haciendo $p$ y $q$ considerablemente menor que $n$. Esto acelera mucho los cálculos. Nótese que las implementaciones del algoritmo RSA usando el teorema chino del resto son más susceptibles a ataques de "fault injection".

Referencias

• Plantilla:Cita libro
• Plantilla:Citation

Enlaces externos

• Plantilla:MathWorld