Henselscher Ring

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