Assertion: abelian group | /r/HasProperty | the sum
Facets:
Source sentences:
text: If G and H are abelian (i.e., commutative) groups, then the set Hom(G, H) of all group homomorphisms from G to H is itself an abelian group: the sum