Maths WorkshopMaths problems with full solutions
Exercise 1867Algebra › Rings and fieldsM1Added 3 Nov 2026

Chinese remainder theorem for rings

#Chinese remainder#coprime ideals#isomorphism

Statement

Let I,JI,J be coprime ideals of a commutative ring RR (i.e. I+J=RI+J=R). Show that R/(I∩J)≅R/I×R/JR/(I\cap J)\cong R/I\times R/J.

Hint

Define φ:R→R/I×R/J\varphi:R\to R/I\times R/J by φ(r)=(r+I,r+J)\varphi(r)=(r+I,r+J). Show kernel is I∩JI\cap J and surjectivity uses I+J=RI+J=R.

Show solutionHide solution

Solution

Kernel. r∈ker⁡φr\in\ker\varphi iff r∈Ir\in I and r∈Jr\in J, i.e. r∈I∩Jr\in I\cap J.

Surjectivity. Let (a+I,b+J)∈R/I×R/J(a+I,b+J)\in R/I\times R/J. Since I+J=RI+J=R, there exist i∈Ii\in I, j∈Jj\in J with i+j=1i+j=1. Set r=aj+bir=aj+bi. Then r≡a(1−i)+bi≡a(modI)r\equiv a(1-i)+bi\equiv a\pmod I (since aj≡a(modI)aj\equiv a\pmod I because i∈Ii\in I). Similarly, r≡b(modJ)r\equiv b\pmod J. So φ(r)=(a+I,b+J)\varphi(r)=(a+I,b+J).

Conclusion. By the first isomorphism theorem, R/(I∩J)≅R/I×R/JR/(I\cap J)\cong R/I\times R/J.

Application. Z/mnZ≅Z/mZ×Z/nZ\mathbb{Z}/mn\mathbb{Z}\cong\mathbb{Z}/m\mathbb{Z}\times\mathbb{Z}/n\mathbb{Z} for gcd⁡(m,n)=1\gcd(m,n)=1.