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.
Les groupes divisibles sont donc des modules injectifs appartenant à la catégorie des groupes abéliens, et inversement, chaque groupe abélien injectif est divisible (critère de Baer).