Henselscher Ring

Ein Ring $A$ heißt henselscher Ring (nach K. Hensel) bzgl. eines maximalen Ideals $𝔪$ , falls die Aussage des henselschen Lemmas bezüglich der Reduktion nach $k = A / 𝔪$ gilt.
Wichtigstes Beispiel sind Bewertungsringe vollständig bewerteter Körper. Das maximale Ideal ist in diesem Fall die Menge aller Elemente mit Bewertung $v (x) > 0$ .