Por lo tanto, los grupos abelianos inyectivos en la categoría de grupos abelianos son módulos divisibles, y viceversa, cada grupo inyectivo (criterio baer) es divisible.
Así, los grupos divisibles son módulos inyectivos en la categoría de grupos abelianos y, a la inversa, cada grupo abeliano inyectivo es divisible (criterio de Baer).