Let be a ring homomorphism. Then is an Ideal of and we have Proof Same as in The isomorphism theorems, just add in some ring stuff to check.