Ein Klassifikationssatz für vollständige noethersche lokale Ringe: Ein vollständiger noetherscher lokaler Ring R mit Restklassenkörper k ist ein Quotient eines Rings formaler Potenzreihen über einem Koeffizientenring, der die Charakteristik widerspiegelt. Wenn k ein kopiertes Feld in R enthält (gleiche Charakteristik), dann gilt R ≅ k[[x1,…,xn]]/J; in gemischter Charakteristik ist R Quotient einer Potenzreihenalgebra über einem Cohen-Ring (ein vollständiger diskreter Bewertungsring mit Restklassenkörper k).

Prinzip

Heben von Erzeugern und Koeffizienten: Vollständigkeit zusammen mit Noetherschaft erlaubt die Wahl eines Koeffizientenunterrings (eines Feldes oder eines Cohen-Rings) und das Heben von Erzeugern des maximalen Ideals, sodass R als Quotient einer formalen Potenzreihenalgebra über diesem Koeffizientenring dargestellt wird.

Demonstration

Beispiel in gleicher Charakteristik: Ist R eine vollständige noethersche lokale k-Algebra mit maximalem Ideal m und Restklassenkörper k, wähle ein minimales Erzeugendensystem von m; die Vollständigung identifiziert R mit k[[x1,…,xr]]/J für ein Ideal J und liefert so eine explizite lokale Präsentation durch Potenzreihen.

Fehlanwendung

Anzunehmen, jeder noethersche lokale Ring (ohne Vollständigkeit) habe dieselbe Darstellung, oder die Rolle der Restklassencharakteristik zu ignorieren. Den Satz zu benutzen, um die Existenz eines Koeffizientenfeldes ohne Prüfung gleicher Charakteristik zu behaupten, führt in der gemischten Charakteristik zu falschen Präsentationen.

Konsequenz

Liefert kanonische Präsentationen für vollständige lokale Ringe und ermöglicht die Reduktion von Fragen über beliebige vollständige noethersche lokale Ringe auf Fragen über Potenzreihenringe und explizite Quotientenideale; erleichtert Deformationsfragen, Dimensionsberechnungen und konstruktive Verfahren.

Umkehrung

Die Umkehrung — jeder Quotient eines Potenzreihenrings ist ein vollständiger noetherscher lokaler Ring — gilt, sodass der Satz eine Äquivalenz zwischen dem Begriff "vollständiger noetherscher lokaler Ring (mit gegebenem Restklassenkörper/Koeffizientenring)" und dem Vorhandensein einer solchen Quotientenpräsentation herstellt. Die Umkehr betont, dass das Fehlen von Vollständigkeit oder falsche Koeffizienten eine solche Darstellung verhindert.

Abgrenzung

Gilt für noethersche lokale Ringe, die bezüglich ihres maximalen Ideals vollständig sind; schließt nichtvollständige lokale Ringe und Situationen aus, in denen die Restklassencharakteristik die Wahl eines Koeffizientenfeldes verhindert (erfordert dann einen Cohen-Ring). Betrifft lokale Präsentationen, nicht globale oder nicht-noethersche Klassifikationen.

Semantische Spannung

Spannung zwischen gleichen und gemischten Charakteristiken: In gleicher Charakteristik kann man ein Koeffizientenfeld in R wählen, in gemischter Charakteristik benötigt man einen externen Cohen-Ring. Weitere Spannung besteht zwischen Minimalität von Erzeugendensystemen und der Eindeutigkeit des darstellenden Quotientenideals.

Synthese

Der Cohen-Struktursatz besagt, dass jeder vollständige noethersche lokale Ring als Quotient einer formalen Potenzreihenalgebra über einem geeigneten Koeffizientenring (Restklassenfeld bei gleicher Charakteristik oder Cohen-Ring bei gemischter Charakteristik) realisiert werden kann und so ein einheitliches lokales Modell liefert.