Ein Ring, in dem jedes endlich erzeugte Ideal endlich präsentiert ist; äquivalent dazu ist, dass der Kern jeder Abbildung zwischen endlich erzeugten freien Moduln endlich erzeugt ist. Das liefert eine kontrollierte Finitheit der Relationen zwischen Erzeugern.

Prinzip

Kohärenz ist ein Finitheitsprinzip für Relationen: Die Relationen der Erzeuger endlich erzeugter Ideale sind endlich erzeugt, sodass die Kategorie der endlich präsentierten Moduln bessere exakte Eigenschaften besitzt als in beliebigen Ringen.

Demonstration

Jeder noethersche Ring ist kohärent. Konkrete kohärente Beispiele sind Z und Polynomringe in endlich vielen Variablen k[x1,...,xn]. In solchen Ringen ist der Kern einer Abbildung zwischen endlichen freien Moduln endlich erzeugt, wodurch Standardkonstruktionen auf dem Niveau endlicher Präsentationen gut funktionieren.

Fehlanwendung

Kohärenz mit Noetherschezustand gleichzusetzen oder zu glauben, Kohärenz extendiere automatisch auf unendliche Konstruktionen; die Kohärenz zu verwenden, um ohne Prüfung zu folgern, dass alle Untermoduln endlich präsentierter Moduln selbst endlich präsentiert sind.

Konsequenz

Kohärenz stellt sicher, dass endlich präsentierte Moduln eine exakte Unterkategorie bilden; Kerne und Relationen endlichen Typs sind handhabbar, was kohärente Faserbegriffe auf Schemata ermöglicht und bestimmte homologischen Rechnungen ohne volle Noetherscheigenschaften erleichtert.

Umkehrung

Ein nichtkohärenter Ring, in dem ein endlich erzeugtes Ideal nicht endlich präsentiert ist und damit die Finitheit der Relationen zusammenbricht.

Abgrenzung

Kohärenz betrifft die endliche Präsentation endlich erzeugter Ideale und Kerne zwischen endlichen freien Moduln; sie impliziert nicht Noetherscheigenschaften, Artin-Eigenschaften oder endliche globale Dimension und muss in nichtkommutativen Kontexten gesondert überprüft werden.

Semantische Spannung

Es besteht Spannung zwischen Kohärenz und Noetherscheigenschaft: Noethersche Ringe sind kohärent, doch kohärente Ringe müssen nicht noethersch sein. Kohärenz fokussiert auf Relationen, während andere Finitheitseigenschaften auf Erzeugung oder Kettenbedingungen zielen.

Synthese

Ein Kohärenter Ring garantiert, dass endlich erzeugte Ideale nur endlich viele Relationen besitzen: diese Zwischenstufe der Finitheit stabilisiert Kerne von Abbildungen zwischen endlichen Moduln und erhält viele algebraische und geometrische Konstruktionen, die sonst Noethersche Hypothesen benötigten.