Oración 1: es un cogenerator inyectivo en la categoría de grupos abelianos, que significa que es inyectivo y cualquier otro módulo está contenido en un producto convenientemente grande de copias de Q/Z
Oración 2: cada grupo abeliano es subgrupo de un inyectivo
Conector: en particular,
Relación: entailment
Género: articles