Der minimale henselsche lokale Ring A^h zu einem gegebenen lokalen Ring (A,m), erhalten durch einen universellen, lokalen und im Wesentlichen étalen Prozess, der das Henselsche Lemma erfüllt; konkret ist A^h initial unter lokalen Homomorphismen von A in henselsche lokale Ringe und kann als filtrierte Kolimes von étalen Umgebungen konstruiert werden.

Prinzip

Führe die kleinsten lokalen Erweiterungen ein, sodass die durch Henselsches Lemma garantierten Eigenschaften des Hebens von Nullstellen und der Faktorisierung von Polynomen gelten, dabei aber möglichst nahe am ursprünglichen lokalen Ring bleiben und Rückstandsfeld und lokale Struktur im étalen Sinn erhalten werden.

Demonstration

Ausgehend von einem lokalen Ring (A,m) bilde man das gerichtete System der étalen A-Algebren mit lokalen Punkten über m und nimmt die Kolimes; der entstehende lokale Ring A^h ist henselsch und jede Abbildung von A in einen henselschen lokalen Ring faktorisierte eindeutig über A^h.

Fehlanwendung

Henselisierung mit der (m-adischen) Komplettierung zu verwechseln: Eine Henselisierung ist im Allgemeinen nicht m-adisch vollständig und führt nicht zu Grenzen unendlicher Folgen; anzunehmen, Eigenschaften der Komplettierung (wie topologische Vollständigkeit) träfen auf Henselisierungen zu, führt zu Fehlern.

Konsequenz

Die Henselisierung bewahrt viele algebraische Eigenschaften (z. B. Restklassenkörper, étale-lokale Eigenschaften) und ermöglicht das Heben von Nullstellen und Faktorisierungen; sie ist ein nützliches minimales Ersatzobjekt in Problemen, in denen das Henselsche Lemma benötigt wird, aber die Komplettierung zu stark oder global zerstörerisch wäre.

Umkehrung

Die Komplettierung erzeugt einen m-adisch vollständigen lokalen Ring, der größer und topologisch vollständig sein kann, aber nicht minimal in Bezug auf das Henselsche Lemma ist; die strikte Henselisierung vergrößert weiter, um das Restklassenfeld separabel abgeschlossen zu machen, im Gegensatz zur minimalen Henselisierung.

Abgrenzung

Gilt für lokale Ringe und lokale Schemata; sie ist die minimale henselsche lokale Erweiterung und unterscheidet sich von der strikten Henselisierung und der Komplettierung. Sie muss nicht endlich über A sein und ist nicht notwendigerweise vollständig; die Konstruktion beruht auf étalen Morphismen, daher ist in nicht-noetherschen oder nicht-étalen Kontexten Vorsicht geboten.

Semantische Spannung

Es besteht Spannung zwischen Henselisierung, strikter Henselisierung und Komplettierung: alle sind lokale Modifikationen mit unterschiedlichen Zielen (minimale henselsche Eigenschaft vs. separabel abgeschlossenes Restfeld vs. topologische Vollständigkeit), und man muss die passende Variante für Hebung, Descente oder topologische Argumente wählen.

Synthese

Henselisierung ist die universelle minimale lokal-étale Vergrößerung eines lokalen Rings, die das Henselsche Lemma erzwingt: sie erhält lokale und Restfelddaten und ermöglicht kanonische Hebungen von Polynomfaktorisierungen, ohne zur vollen topologischen Komplettierung überzugehen.