sentence1: 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).
sentence2: Ainsi, les groupes abéliens injectifs appartenant à la catégorie des groupes abéliens sont des modules divisibles, et inversement, chaque groupe injectif est divisible (critère de base).