Generalized Newton-Puiseux expansion and Abhyankar-Moh semigroup theorem (Q800432)

Let k be an algebraically closed field of characteristic zero, n a positive integer, X, Y indeterminates, S a k-subalgebra of \(k((X^ n))\) and \(f\in S[Y]\) a monic polynomial of degree n, irreducible over \(k((X^ n))\). Then f has all its zeros in k((X)). Let \(y\in k((X))\) be a zero of f. Abhyankar and Moh discovered important structure theorems for the semigroup \(\{ord_ XF(y)| 0\neq F(Y)\in S[Y]\}\) and these played a fundamental role in the proof of their epimorphism theorem. In this paper the author generalizes (for use elsewhere) these structure theorems to the case when the single variable X is replaced by several variables \(X_ 1,...,X_ p\). The idea is to verify that all the steps in the proof as given in the reviewer's exposition of Abhyankar's Tata Institute lectures on the theory [\textit{S. S. Abhyankar}, ''Expansion techniques in algebraic geometry'', Lecture Notes by \textit{B. Singh} (Tata Inst. Fundam. Res. 1977)] remain valid if the order (resp. divisibility) comparison between the X-orders of two power series in a single variable X is replaced by lexicographic comparison between the \((X_ 1,...,X_ p)\)- orders (resp. divisibility comparison between the \(X_ 1\)-orders) of two power series in several variables \(X_ 1,...,X_ p\).