A study of homomorphisms for groups, finite groups, solvable groups, nilpotent groups, free groups, and abelian groups.