ABSTRACT
We are now ready to make the appropriate definition of a group homomorphism, generalizing the idea of group isomorphism from Section 20.5. This definition is exactly what you should expect, given our earlier experience with ring homomorphisms in Chapter 11.
