## [Existencia de Módulo No Proyectivo Generado Finitamente](/es/node/64027) Definición La situación en la que existen módulos finitamente generados que no son proyectivos; la generación finita por sí sola no garantiza proyectividad, de modo que los módulos finitamente generados pueden carecer de las propiedades de elevación o escindido propias de los proyectivos. ## Principio Principio La proyectividad es una propiedad de elevación/escisión vinculada a la exactitud del functor Hom; la generación finita es una restricción de tamaño. El principio es que las restricciones de tamaño no implican propiedades homológicas de elevación salvo que se cumplan hipótesis más fuertes sobre el anillo. ## Demostración Demostración Ejemplo concreto: sobre el anillo Z, el módulo Z/nZ es finitamente generado pero no proyectivo (los módulos proyectivos sobre Z son libres), por lo que la existencia de módulos finitamente generados no proyectivos es inmediata en muchos anillos no semisimples o no regulares. ## Aplicación incorrecta Aplicación incorrecta Asumir que todos los módulos finitamente generados son proyectivos, o usar argumentos de escisión que requieren proyectividad sin verificarla; esto conduce a descomposiciones incorrectas o a elevaciones de morfismos falsas. ## Consecuencia Consecuencia Cuando existen tales módulos, es necesario emplear herramientas homológicas (Ext, resoluciones proyectivas, Tor) para estudiar obstrucciones, construir cubiertas proyectivas cuando existan y ser cauto con conclusiones que requieran proyectividad. ## Inversión Inversión Por el contrario, cuando todo módulo finitamente generado es proyectivo (p. ej., sobre anillos semisimplees artinianos), la teoría de módulos se simplifica de forma notable: las sucesiones exactas cortas se escinden y la clasificación se reduce a descomposiciones en sumas directas de proyectivos. ## Límite Límite La afirmación se refiere a módulos finitamente generados sobre un anillo dado; excluye módulos generados infinitamente y se centra en la proyectividad como propiedad homológica más que en la libertad, que es una noción más fuerte. ## Tensión semántica Tensión semántica La tensión está entre 'proyectivo' y 'libre' y entre 'finitamente generado' y 'finitamente presentado': cada par introduce sutilezas—finitamente generado no implica proyectivo, ni proyectivo implica libre sin hipótesis adicionales. ## Síntesis Síntesis La existencia de módulos finitamente generados no proyectivos es un fenómeno límite habitual que muestra que la finitud de tamaño no asegura buen comportamiento homológico; motiva el uso de resoluciones, teoría Ext y condiciones adicionales sobre el anillo para recuperar resultados de escisión y clasificación.