The First Isomorphism Theorem (for rings)
Just like we had for groups, there is an isomorphism theorem for rings. In fact, the demonstration goes much the same as it did there.
Any subring of a ring comes equipped with an inclusion homomorphism . Any quotient of a ring by and ideal comes with a projection homomorphism . For both of these, just construct the inclusion or projection homomorphism for the underlying abelian groups and check that it preserves the multiplication. Just like before, the inclusion is a monomorphism, the projection is an epimorphism, and the kernel of the projection — the set of elements of that get sent to zero — is the ideal .
Now given any ring homomorphism , the kernel is an ideal. Indeed, if and then
So the set of elements that get sent to zero is closed under addition and under left and right multiplication by any element of the ring.
Also, the image of is a subring of . Given elements and in the image of we have and , so sums and products of elements of the image are again in the image.
Now we want to take and make an isomorphism . For any coset in , pick a representative element of and define . Clearly this lands in , but does it really define a homomorphism from ? Indeed it does, because any other representative of the same coset looks like for some element of the kernel. Then
so we get the same answer — the value of doesn’t depend on the choice of representative we make.
Is a monomorphism? Yes, because if then , so is a representative of , which takes the place of in . Is it an epimorphism? Yes, because every element of comes from some element of , so we can hit it by taking .
Putting it all together we can factor any homomorphism into the composition of an epimorphism , an isomorphism , and a monomorphism . All homomorphisms of rings work this way: factor out some kernel, then send the quotient isomorphically to some subring of the target ring. Again, all the interesting stuff really happens in the first step. Studying homomorphisms from a given ring really comes down to studying the possible ideals of a given ring. In particular, if a ring has no ideals but the whole ring itself and the ideal consisting only of we call it “simple”. Every homomorphic image of a simple ring is either zero or the whole ring itself.
As I said above, this really looks a lot like what we did for groups, and there’s actually a very good reason why that I want to put off a while longer. Essentially, the fact that we have an isomorphism theorem like this doesn’t depend on the “groupiness” or the “ringiness” of the objects we’re studying, but on deeper structure shared by both groups and rings — or rather shared by group and ring homomorphisms.