## [Existencia de Módulo No Inyectivo Generado Finitamente](/es/node/64029) Definición 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 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 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 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 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 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 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 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 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.