Chinese Remainder Theorem (Commutative Algebra)

Theorem
Let $A$ be a Definition:Commutative and Unitary Ring.

Let $I_1, \ldots, I_n$ for some $n \ge 1$ be pairwise coprime ideals in $A$, that is:
 * $\forall i \ne j: I_i + I_j = A$

Then the ring homomorphism $\phi: A \to A / I_1 \times \cdots \times A / I_n$ defined as:


 * $\map \phi x = \tuple {x + I_1, \ldots, x + I_n}$

is surjective, and its kernel is $I := {I_1 \cap \ldots \cap I_n}$.

Hence it induces an ring isomorphism:


 * $A / I \to A / I_1 \times \cdots \times A / I_n$

through the First Isomorphism Theorem.

Proof
The mapping $\phi$ is indeed a ring homomorphism, because each canonical projection $\phi_i: A \to A / I_i$ is a ring homomorphism.

The kernel of $\phi$ is given by:
 * $\ds \ker \phi = \set {x \in A: \forall i, 1 \le i \le n : x \in I_i} = \bigcap_{1 \mathop \le i \mathop \le n} I_i =: I$

It remains then to be proved that $\phi$ is surjective.

That is:
 * $\forall x_i \in A, 1 \le i \le n: \exists x \in A: x - x_i \in I_i, 1 \le i \le n$

Because then if $\tilde \phi$ is the injective homomorphism obtained by the First Isomorphism Theorem:
 * $\map {\tilde \phi} {x + I} = \tuple {x_1 + I_1, \ldots, x_n + I_n}$

for all $x \in A$.

Then it will follow that $\tilde \phi$ is also surjective, and hence constitutes an isomorphism.

To reach this goal, we now define $e_i \in A / I_1 \times \cdots \times A / I_n$ so that a unity lies at the $i$th coordinate:
 * $e_i := \tuple {0, \ldots, 0, 1_{A / I_i}, 0, \ldots, 0}$

Note that each $x \in A / I_1 \times \cdots \times A / I_n$ may then be written as:
 * $x = \tuple {x_1 + I_1, \ldots, x_n + I_n} = \paren {x_1 + I_1} e_1 + \cdots + \paren {x_n + I_n} e_n$

for some choice of $x_i \in A$.

This implies that it is enough to find $a_i \in A, 1 \le i \le n$, such that:
 * $\map \phi {a_i} = e_i$

since then:

To construct the $a_i \in A$, we need that $a_i - 1 \in I_i$, but $a_i \in I_j$ for all $j \ne i$.

Since $I_i$ is coprime with the other ideals, we have that:
 * $I_i + I_j = A, i \ne j$

In particular there exist $u_{i j} \in I_i$, $v_{i j} \in I_j$ for each pair $\tuple {i, j}$ with $i \ne j$ such that $u_{i j} + v_{i j} = 1$.

Define now $\ds a_i = \prod_{k \mathop \ne i} v_{i k}$.

Then for $k \ne i$:


 * $a_i = v_{i k} \tuple {v_{i 2} \cdots v_{i \paren {k - 1} } v_{i \paren {k + 1} } \cdots v_{i n} } \in I_k$

and:

Hence:
 * $a_i - 1 \in I_i$

which verifies that $\map {\phi} {a_i} = e_i$.