ABSTRACT
At the end of the last chapter we were in need of a way to relate one group to another by a function (to make precise the intuition that all cyclic groups of a given order are ‘essentially the same’). We now make the appropriate definition of a group homomorphism. This definition is exactly what you should expect, given our earlier experience with ring homomorphisms.
