## [Versagen der Endlichen Präsentation](/de/node/64041) Definition Ein Phänomen, bei dem ein algebraisches Objekt (Algebra, Modul, Funktor, Schema o.ä.) nicht durch endlich viele Erzeuger und endlich viele Relationen beschrieben werden kann; mit anderen Worten: Es ist nicht isomorph zu einem Quotienten eines endlich erzeugten freien Objekts durch ein endlich erzeugtes Relationsideal. ## Prinzip Prinzip Eine endliche Präsentation ordnet Objekte durch eine endliche Beschreibung: eine endliche Menge von Erzeugern und eine endliche Menge von Relationen. Das Versagen bedeutet eine wesentliche Abhängigkeit von unendlich vielen Parametern oder Einschränkungen, die nicht abgeschnitten werden können, ohne das Objekt zu verändern. ## Demonstration Demonstration Beispiel: die Algebra k[x_1,x_2,…] der Polynome in abzählbar vielen Variablen ist als k-Algebra nicht endlich präsentiert. Als Modul kann eine direkte Limesfolge freier Module mit streng wachsendem Rang einen endlich erzeugten, aber nicht endlich präsentierten Modul ergeben. Bei Funktoren kann Hom(R,–) nicht mit gerichteten Kolimiten kommutieren genau dann, wenn das repräsentierende Objekt nicht endlich präsentiert ist. ## Fehlanwendung Fehlanwendung Die Verwechslung von endlicher Erzeugung mit endlicher Präsentation (z. B. die Schlussfolgerung, dass Koho­mologie verschwindet, weil ein Modul endlich erzeugt ist) oder die Annahme, dass endliche Präsentation automatisch auf Unterobjekte, Quotienten oder Basisänderungen herabsteigt, ohne Voraussetzungen wie Kohärenz oder Noetherschheit zu prüfen. ## Konsequenz Konsequenz Das Erkennen dieses Versagens erfordert Limiten-/Kolimiten-Technik, derivierte Funktoren oder explizite unendliche Präsentationen. Es erklärt Pathologien: Nichtkommutativität von Ext oder Hom mit Kolimiten, Existenz unendlicher Relationen in Deformationsproblemen und Hindernisse für algorithmische Klassifikationen. ## Umkehrung Umkehrung Das Umgekehrte ist die endliche Präsentation selbst: ein Objekt, das eine endliche Menge Erzeuger und eine endliche Menge definierender Relationen besitzt. Die Umkehr schafft Kontrolle, algorithmische Testbarkeit und bessere kategoriale Eigenschaften. ## Abgrenzung Abgrenzung Gilt für algebraische Strukturen (Algebren, Module, Ringe, Funktoren, Schemata) und deren Präsentationen. Unterscheidet sich von bloßer Nicht-Endlichkeit der Erzeugung (ein Objekt kann endlich erzeugt, aber nicht endlich präsentiert sein). Schließt rein mengenmäßige Größenfragen aus, die nichts mit algebraischen Relationen zu tun haben, und schließt Eigenschaften aus, die nur nach Lokalisierung oder Vollendung gelten, sofern nicht anders angegeben. ## Semantische Spannung Semantische Spannung Endliche Erzeugung versus endliche Präsentation: Endliche Erzeugung ist schwächer und wird in informeller Sprache oft mit endlicher Präsentation verwechselt. Es besteht auch Spannung zu Begriffen wie Kohärenz, Noetherschheit und kategorialer Kompaktheit, wobei 'kompaktes Objekt' eine ähnliche Rolle spielen kann wie 'endlich präsentiert'. ## Synthese Synthese Das Versagen der endlichen Präsentation bezeichnet algebraische Objekte, die sich einer endlichen Beschreibung durch Erzeuger und Relationen entziehen; es signalisiert unendliche essentielle Zwänge, erzwingt den Einsatz von Limiten- und derivierten Methoden und muss von bloßer unendlicher Erzeugung unterschieden werden, um Fehlinterpretationen zu vermeiden.