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