## [Complejo de Koszul](/es/node/63945) Definición Un complejo finito y libre canónico construido a partir de una sucesión finita de elementos de un anillo conmutativo que codifica las relaciones por contracción con dichos elementos; detecta sucesiones regulares y calcula Tor y ciertas homologías relativas a esa sucesión. ## Principio Principio Formar el álgebra exterior (o graduada) sobre generadores de grado uno duales a la sucesión y dotarla de la diferencial única que contrae con la sucesión escogida; la homología de este complejo mide independencia lineal, profundidad y anuladores de la sucesión sobre módulos. ## Demostración Demostración Para R = k[x,y] y la sucesión (x,y), el complejo de Koszul K(x,y;R) es una resolución libre finita de R/(x,y) cuya homología desaparece fuera del grado 0, y el cálculo de Tor_i^R(R/(x,y),M) se reduce a H_i(K(x,y;R) ⊗_R M). ## Aplicación incorrecta Aplicación incorrecta Tratar el complejo de Koszul como resolución proyectiva en contextos donde la sucesión no es regular, o asumir anulación de la homología para sucesiones arbitrarias; otro mal uso es ignorar la dependencia de la sucesión elegida y esperar invariancia ante reordenamientos sin verificar regularidad. ## Consecuencia Consecuencia Aplicado correctamente a una sucesión regular, el complejo de Koszul proporciona una resolución finita explícita, detecta profundidad y criterios de regularidad, y permite cálculos concretos de Tor y Ext mediante tensores y Hom. ## Inversión Inversión En lugar de una prueba algebraica finita construida desde una sucesión, se pueden considerar construcciones cohomológicas que localizan en lugar de resolver (por ejemplo, complejos de Čech); invertir la perspectiva Koszul enfatiza la localización y los límites derivados en lugar de modelos finitos explícitos. ## Límite Límite Se aplica a sucesiones finitas en anillos conmutativos y a sus módulos; no maneja automáticamente sucesiones infinitas, bases no conmutativas sin modificación, ni sustituye resoluciones proyectivas más finas necesarias en situaciones patológicas o no regulares. ## Tensión semántica Tensión semántica El término queda entre la construcción libre finita específica y la clase más amplia de resoluciones libres: a diferencia de una resolución libre cualquiera, un complejo de Koszul es canónico para una sucesión dada pero puede no ser una resolución si la sucesión no es regular. ## Síntesis Síntesis El complejo de Koszul es el complejo algebraico finito explícito producido a partir de una sucesión de elementos de anillo cuya homología mide la regularidad y calcula Tor relativo; es un modelo canónico, dependiente de la sucesión, usado para pruebas de profundidad y cálculos derivados concretos.