Somit sind injektiv abelsche Gruppen in der Kategorie der abelschen Gruppen teilbare Module, und umgekehrt ist jede injizierende Gruppe (baer-Kriterium) teilbar.
Teilbare Gruppen sind somit injektive Module in der Kategorie der abelschen Gruppen, und umgekehrt ist jede injizierende abelsche Gruppe teilbar (Bers Kriterium).