Generalized Newton-Puiseux expansion and Abhyankar-Moh semigroup theorem (Q800432): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1969103782 / rank | |||
Normal rank |
Latest revision as of 10:17, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generalized Newton-Puiseux expansion and Abhyankar-Moh semigroup theorem |
scientific article |
Statements
Generalized Newton-Puiseux expansion and Abhyankar-Moh semigroup theorem (English)
0 references
1983
0 references
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\).
0 references