## [Dimensión Proyectiva](/es/node/63433) Definición La longitud mínima n de una resolución proyectiva ... → P_n → ... → P_0 → M → 0 de un módulo M en una categoría abeliana con suficientes proyectivos; mide cuánto se aleja M de ser proyectivo (dimensión proyectiva 0) contando los pasos proyectivos necesarios. ## Principio Principio Principio de longitud de resolución: la complejidad homológica de un objeto se cuantifica por la cadena más corta de proyectivos que lo resuelve; la dimensión proyectiva finita suele relacionarse con la profundidad y propiedades de regularidad del anillo ambiente (por ejemplo, la relación de Auslander–Buchsbaum en álgebra local). ## Demostración Demostración Un módulo proyectivo tiene dimensión proyectiva 0. Sobre un anillo local regular de dimensión d todo módulo finitamente generado tiene dimensión proyectiva a lo sumo d, y los módulos con dimensión proyectiva finita satisfacen la anulación de Ext más allá de ese límite, permitiendo clasificaciones homológicas. ## Aplicación incorrecta Aplicación incorrecta Confundir dimensión proyectiva con regularidad de Castelnuovo–Mumford o con dimensiones inyectiva o plana; asumir dimensión proyectiva finita sin verificar hipótesis del entorno como noetherianidad o existencia de suficientes proyectivos en la categoría. ## Consecuencia Consecuencia Conocer la dimensión proyectiva conduce a resultados concretos de anulación de Ext, restringe el comportamiento de las syzigías e informa cálculos en la categoría derivada; la finitud de la dimensión proyectiva puede implicar propiedades de regularidad del anillo o cotas sobre otros invariantes homológicos. ## Inversión Inversión Cambiar a dimensión inyectiva o plana invierte la perspectiva de resolución (corresoluciones o resoluciones planas) y enfatiza propiedades homológicas duales o tensoriales en lugar de los pasos proyectivos de construcción. ## Límite Límite Definida cuando existen suficientes objetos proyectivos (p. ej. categorías de módulos sobre anillos); en categorías sin suficientes proyectivos o para complejos se reemplaza la dimensión proyectiva por amplitud proyectiva o invariantes derivados análogos. La dimensión proyectiva es distinta de la dimensión global, que es el supremo sobre todos los módulos. ## Tensión semántica Tensión semántica Tensión con la dimensión global y con nociones de regularidad: la dimensión proyectiva es una longitud a nivel de objeto, mientras la dimensión global es una cota del anillo; también interactúa con métricas de regularidad que miden crecimiento en grados en vez de longitud de resolución, generando compensaciones interpretativas. ## Síntesis Síntesis La dimensión proyectiva es el recuento mínimo de bloques proyectivos necesarios para construir un módulo: como longitud homológica traduce la complejidad algebraica en umbrales de anulación de Ext y proporciona una medida fundamental para la clasificación en álgebra homológica.