Practice problem
Let AAA be a group, and let BBB be a torsion-free group. What can you say about the set Hom(A,B)\operatorname{Hom}(A,B)Hom(A,B)?
It is trivial (containing only the trivial map a↦1Ba\mapsto 1_Ba↦1B) if either AAA or BBB is trivial, but otherwise nontrivial.
If AAA is generated by its torsion elements, then Hom(A,B)\operatorname{Hom}(A,B)Hom(A,B) must be trivial.
The group law on BBB gives Hom(A,B)\operatorname{Hom}(A,B)Hom(A,B) a group structure.
Type a concept, like “slope” or “photosynthesis”.