Es muy significativo que esto sea también verdad sobre cualquier anillo: cada módulo es submódulo de un inyectivo, o "la categoría de "R"-módulos izquierdos tiene bastante inyectivos." Para probar esto, uno utiliza las propiedades peculiares del grupo abeliano Q/Z para construir un cogenerator inyectivo en la categoría de "R"- módulos izquierdos.