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: para demostrar que un módulo dado es inyectivo, el siguiente lema de "prueba de inyectividad" es útil: un "R"-módulo izquierdo "Q" es inyectivo si y solamente si cualquier homomorfismo "g": "I" → "Q" definido en un ideal a izquierda "I" de "R" se puede extender a todo "R"
Relación: neutral
Género: articles