kernel and image of homomorphism, isomorphism theorems