Chinese remainder theorem for rings
Let
is surjective and induces an isomorphism
Proof
Since by ^P1 we have
, it suffices to show surjectivity of k e r β‘ π = π 1 β― π π . We argue by induction on π . For π , there is nothing to show. For π = 1 assume the statement holds for fewer ideals, so all we need to prove is that the homomorphism π > 1 π β π π 1 β― π π β 1 β π π π is surjective. By ^P2,
, so we are reduced to the case of two ideals. π 1 β― π π β 1 + π π = β¨ 1 β© If
, then there exist π 1 + π 2 = β¨ 1 β© for π π β π π such that π = 1 , 2 . We need to verify that for π 1 + π 2 = 1 there exists an π 1 , π 2 β π such that π β π . We get this from π β‘ π π ( m o d π π ) , for which π = π 1 π 2 + π 2 π 1 π = π 1 π 2 + ( 1 β π 1 ) π 1 = π 1 ( π 2 β π 1 ) + π 1 β‘ π 1 ( m o d π 1 ) and by the same token
, as required. π β‘ π 2 ( m o d π 2 )
It should be clear that the classical Chinese remainder theorem is a special case.