henselsk ring (efter den tyske matematikern Kurt Hensel, 1861–1940), en lokal kommutativ ring R med maximalidealet m där det för varje polynom
P(x)=xⁿ+a₁xⁿ−1+...+a_n,
där a₁, ..., a_n ligger i R, gäller att varje ringelement r₀ som nästan är ett enkelt nollställe till P(x)=0 (dvs.