Homomorfismo de grupos: a cada par "A", "B" de grupos abelianos se puede asignar el grupo abeliano Hom("A","B") que consiste en todos homomorfismos de grupos desde "A" a "B".