On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-Noetherian case (Q827052)

Modulo a slight generalisation, the authors of this paper give a simple and constructive proof of the following theorem of \textit{A. B. de Felipe} and \textit{B. Teissier} [Math. Ann. 377, No. 3--4, 935--967 (2020; Zbl 1451.12005)]. Let \(R\) be a local domain and let \(R^h\) be its henselisation. If \(v\) is a valuation centred in \(R\), then: (1) There exists a unique prime ideal \(H(v)\) of \(R^h\) lying over the zero ideal of \(R\) such that \(v\) extends to a valuation \(\tilde v\) centred in \(R^h/H(v)\) through the inclusion \(R\subseteq R^h/H(v)\). In addition, the ideal \(H(v)\) is a minimal prime and the extension \(\tilde v\) is unique. (2) With the notations of (1), the valuations \(v\) and \(\tilde v\) have the same value group.