Henselisierung

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.