Ainsi, les groupes abéliens injectifs sont des modules divisibles dans la catégorie des groupes abéliens, et inversement, chaque groupe injectif est divisible (critère de Baer).
Ainsi, les groupes abéliens injectifs appartenant à la catégorie des groupes abéliens sont des modules divisibles, et inversement, chaque groupe injectif (critère de base) est divisible.