sentence1: Thus , injective Abelian groups in the category of Abelian groups are divisible modules , and vice versa , every injective group ( baer - criterion ) is divisible .
sentence2: Thus divisible groups are injective modules in the category of abelian groups , and conversely , every injective abelian group is divisible ( Baer 's criterion ) .