Más generalmente aún: un módulo sobre un dominio de ideales principales es inyectivo si y solamente si es divisible.