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