Lemma 10.8 (Chinese remainder theorem). Assuming that:

  • R a ring

  • I1,…,In⊆R ideals

  • Ii+Ij=R for all i≠j

Then
  • (i) ⋂⁡i=1n=∏i=1nIi (=I say).
  • (ii) R∕I≅∏⁡I=1nR∕Ii.