Henselian ring (source code)

= Henselian ring
{wiki=Henselian_ring}

A Henselian ring is a type of commutative ring that satisfies a certain property related to the completeness of its valuation. More specifically, a ring \\( R \\) is called Henselian if it is equipped with a valuation \\( v \\) such that certain conditions hold, particularly that the ring is complete with respect to this valuation, and that certain polynomial equations behave like they do in a complete local field.