Assertion: finite abelian group | /r/HasProperty | divisible
Facets:
value: conversely
type: DEGREE
Source sentences:
text: Thus divisible groups are injective modules in the category of abelian groups, and conversely, every injective abelian group is divisible (Baer's criterion).