The Abhyankar-Jung theorem revisited (Q1313800)

Let \(K\) be a field. A polynomial in a variable \(z\) over the power series ring \(K[[x_ 1, \dots, x_ n]]\) is said to be quasi-ordinary if its discriminant is of the form \(x_ 1^{\alpha_ 1} \cdots x_ n^{\alpha_ n} g\) where \(g(0, \dots,0) \neq 0\). The Jung-Abhyankar theorem states that when \(K\) is algebraically closed of characteristic 0, then for any quasi-ordinary Weierstrass polynomial \(f\) there is a natural number \(r\) such that the roots of \(f=0\) can be written as power series in \(x_ 1^{1/r}, \dots, x_ n^{1/r}\) [\textit{H. W. E. Jung}, J. Reine Angew. Math. 133, 289-314 (1908), \textit{S. S. Abhyankar}, Am. J. Math. 77, 575-592 (1955; Zbl 0064.275)]. A proof using Hironaka's notion of \(\nu\)- quasi-ordinary polynomials and based on Puiseux's theorem was given by \textit{I. Luengo} [J. Algebra 85, 399-409 (1983; Zbl 0528.13019)]. The present author gives a simple proof also based on Puiseux's theorem but using matrices, in particular the matrix version of Henlsel's lemma [\textit{P. M. Cohn}, J. Pure Appl. Algebra 31, 1-4 (1984; Zbl 0529.13011); correction, ibid. 52, No. 1/2, 197-198 (1988; Zbl 0649.13012)].