La situación en la que existen módulos finitamente generados que no son inyectivos; la generación finita no fuerza la inyectividad, por lo que dichos módulos no cumplen las propiedades de elevación de extensiones que caracterizan a los objetos inyectivos.

Principio

La inyectividad es una propiedad de elevación/derecha-exactitud para extensiones: un módulo inyectivo recibe extensiones de forma trivial. La generación finita es ortogonal a esta propiedad homológica; sin condiciones adicionales sobre el anillo, la pequeñez no implica la divisibilidad o el comportamiento de elevación necesario.

Demostración

Ejemplo concreto: sobre Z, el módulo Z/nZ es finitamente generado pero no inyectivo (los módulos inyectivos sobre Z son grupos divisibles como Q/Z y Q), por lo que los módulos de torsión simples son abundantes ejemplos de módulos finitamente generados no inyectivos.

Aplicación incorrecta

Asumir que un módulo finitamente generado cualquiera es inyectivo y usar eso para escindir sucesiones exactas cortas o extender mapas; tal uso invalida argumentos homológicos y clasificaciones que dependen de la inyectividad.

Consecuencia

Cuando existen módulos finitamente generados no inyectivos, es necesario usar resoluciones inyectivas, calcular grupos Ext para detectar obstrucciones y ser cauteloso al afirmar escisiones o extensiones, requiriéndose a menudo hipótesis más fuertes (p. ej., semisimplicidad) para garantizar inyectividad.

Inversión

Si todo módulo finitamente generado fuera inyectivo (situación rara, p. ej., sobre anillos semisimples), los problemas de extensión se trivializarían y el álgebra homológica se simplificaría; la existencia de ejemplos no inyectivos muestra que esta simplificación es excepcional.

Límite

La afirmación se refiere a módulos finitamente generados sobre un anillo dado y excluye módulos generados infinitamente; distingue la inyectividad (propiedad homológica) de otras nociones como divisibilidad y depende del contexto izquierda/derecha.

Tensión semántica

La tensión surge entre 'inyectivo' y 'divisible' en contextos de grupos abelianos, y entre 'finitamente generado' y 'envolvente inyectiva': los módulos finitamente generados pueden tener envolventes inyectivas mucho mayores, revelando una descoordinación entre tamaño y completitud homológica.

Síntesis

La existencia de módulos finitamente generados no inyectivos es un fenómeno límite habitual que indica que la finitud no otorga poder de elevación de extensiones; dirige la atención a Ext, envolventes inyectivas y condiciones sobre el anillo necesarias para recuperar resultados de escisión y extensión.