Chinese Remainder Theorem

The Chinese Remainder Theorem

Let R be a ring with unity and I1,…,IkβŠ†R be two-sided ideals in R. Let

π:R→R/I1×⋯×R/Ik

be the ring morphism induced by the projection morphisms Ο€i:Rβ†’R/Ii. In other words, Ο€ is the map given by r↦(r+I1,…,r+Ik). Then:

  1. ker⁑(Ο€)=I1βˆ©β‹―βˆ©Ik;
  2. If the ideals are pairwise coprime, then Ο€ is surjective. In this case, the First Isomorphism Theorem gives an isomorphism
R/I1β‹―Ik≃R/I1Γ—β‹―Γ—R/Ik.

If R is commutative, then we also have I1βˆ©β‹―βˆ©Ik=I1β‹―Ik.

Examples

Quotients of polynomial rings

Consider the ideals I1=(xβˆ’1) and I2=(x+1) in the polynomial ring Q[x]. Upon noting that 1=βˆ’12(xβˆ’1)+12(x+1)∈I1+I2 it follows that I1+I2=Q[x] and so the ideals I1 and I2 are coprime. The Chinese Remainder Theorem thus gives a ring isomorphism

Q[x]/⟨(xβˆ’1)(x+1)βŸ©β†’βˆΌQ[x]/⟨xβˆ’1βŸ©Γ—Q[x]/⟨x+1⟩.

(Here we are using the angled-bracket notation for ideals, to avoid having too many nested parentheses.)

Explicitly, this isomorphism maps each coset p(x)+⟨(xβˆ’1)(x+1)⟩ to the pair of cosets (p(x)+⟨xβˆ’1⟩,p(x)+⟨x+1⟩).