Non-commutative Henselian rings. (Q734771)

The author defines a non-commutative Henselian local ring \(R\) like in the commutative case, assuming that the residue class field of \(R\) is commutative. Recall that a local ring \(R\) is said to be almost commutative if its associated graded ring is commutative. It is shown that a complete almost commutative local ring is Henselian. Furthermore, it is proved that one-sided simple roots can be lifted for a non-commutative Henselian ring, and a characterization in terms of monic polynomials is given for such rings. As an interesting example, the ring of Volterra operators over a field with a derivation [see \textit{D. R. Lebedev, Yu. I. Manin}, Funkts. Anal. Prilozh. 13, No. 4, 40-46 (1979; Zbl 0441.58007)] is mentioned. As a complete almost commutative local ring, it is Henselian.