## [Koszul-Komplex](/de/node/63945) Definition Ein kanonischer endlicher freier Kettenkomplex, konstruiert aus einer endlichen Folge von Elementen eines kommutativen Rings, der durch Kontraktion mit diesen Elementen Relationen kodiert; er erkennt reguläre Folgen und berechnet Tor sowie bestimmte Homologiegruppen relativ zu dieser Folge. ## Prinzip Prinzip Man bildet die Außen- (oder graduierte) Algebra auf eingradigen Erzeugern, die dual zur Folge stehen, und gibt ihr die eindeutige differentielle, die mit der gewählten Folge kontrahiert; die Homologie dieses Komplexes misst lineare Unabhängigkeit, Tiefe und Annihilatoren der Folge auf Modulen. ## Demonstration Demonstration Für R = k[x,y] und die Folge (x,y) ist der Koszul-Komplex K(x,y;R) eine endliche freie Auflösung von R/(x,y), deren Homologie außerhalb von Grad 0 verschwindet; Tor_i^R(R/(x,y),M) berechnet sich als H_i(K(x,y;R) ⊗_R M). ## Fehlanwendung Fehlanwendung Den Koszul-Komplex als projektive Auflösung in Kontexten zu verwenden, in denen die Folge nicht regulär ist, oder für beliebige Folgen Verschwindung der Homologie anzunehmen; ein weiterer Fehler ist, die Abhängigkeit von der gewählten Folge zu ignorieren und ohne Prüfung der Regularität von Permutationsinvarianz auszugehen. ## Konsequenz Konsequenz Bei korrekter Anwendung auf eine reguläre Folge liefert der Koszul-Komplex eine explizite endliche Auflösung, erkennt Tiefe und Regularitätskriterien und ermöglicht konkrete Berechnungen von Tor und Ext mittels Tensorprodukt und Hom. ## Umkehrung Umkehrung Statt eines endlichen algebraischen Tests aus einer Folge kann man kohomologische Konstruktionen betrachten, die lokalisiert werden statt aufzulösen (beispielsweise Čech-Komplexe); die Umkehrung des Koszul-Blickwinkels betont Lokalisierung und abgeleitete Limes statt expliziter endlicher Modelle. ## Abgrenzung Abgrenzung Gilt für endliche Folgen in kommutativen Ringen und deren Moduln; behandelt nicht automatisch unendliche Folgen, nichtkommutative Basen ohne Modifikation, und ersetzt nicht feinere projektive Auflösungen in pathologischen oder nichtregulären Situationen. ## Semantische Spannung Semantische Spannung Der Begriff bewegt sich zwischen der spezifischen endlichen freien Konstruktion und der allgemeineren Klasse freier Auflösungen: im Gegensatz zu einer beliebigen freien Auflösung ist ein Koszul-Komplex kanonisch für eine gegebene Folge, kann aber keine Auflösung sein, wenn die Folge nicht regulär ist. ## Synthese Synthese Der Koszul-Komplex ist das explizite endliche algebraische Komplex, das aus einer Folge von Ringelementen erzeugt wird, dessen Homologie Regularität misst und relatives Tor berechnet; er ist ein kanonisches, folgeabhängiges Modell zur Tiefenprüfung und für konkrete abgeleitete Berechnungen.