Más generalmente, un grupo abeliano es inyectivo si y solamente si es un Z-módulo divisible.