Chinese Remainder Theorem
The Chinese Remainder Theorem
Let
be the ring morphism induced by the projection morphisms
; - If the ideals are pairwise coprime, then
is surjective. In this case, the First Isomorphism Theorem gives an isomorphism
If
Examples
Quotients of polynomial rings
Consider the ideals
(Here we are using the angled-bracket notation for ideals, to avoid having too many nested parentheses.)
Explicitly, this isomorphism maps each coset