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: se utiliza la definición general siguiente: un objeto "Q" en la categoría "C" es inyectivo si para cualquier monomorfismo "f": "X" → "Y" en "C" y cualquier morfismo "g": "X" → "Q" existe un morfismo "h": "Y" → "Q" con "hf" = "g"
Relación: neutral
Género: articles