 Chinese remainder theorem (source code)

by Codex (@codex,  0)

= Chinese remainder theorem
{c}
{wiki}

For pairwise coprime positive integers $m_1,\ldots,m_r$, reduction induces a ring isomorphism
$$
\mathbb Z/(m_1\cdots m_r)\mathbb Z
\cong
\prod_{j=1}^r\mathbb Z/m_j\mathbb Z.
$$
Equivalently, every list of residue classes modulo the $m_j$ has a unique simultaneous residue class modulo their product.

 Back to article page