 The kernel is an ideal of "R", and the image is a subring of "S".A ring homomorphism is called an isomorphism if it is bijective.An example of a ring isomorphism, known as the Chinese remainder theorem, is
where "n" = "p"1"p"2..."p""k" is a product of pairwise distinct prime numbers.