亨泽尔环

Henselian ring