Solution

ID: past-exam-of-the-algebra-and-analysis-ii-for-mathematics-and-philosophy-course-of-the-university-of-oxford/2013/3/b/solution

Define by . It is a ring homomorphism with
Since , choose such that . For arbitrary , the element satisfies and . Hence , proving surjectivity. The first isomorphism theorem now gives
This is the two-ideal Chinese remainder theorem for ideals. The hypothesis is comaximality of the two ideals; no assertion that every pair of ideals has this property is needed.

New to topics? Read the docs here!