A criterion for the existence of a primitive element in a simple gr-separable graded field extension associated with an extension of valued fields (Q1017370): Difference between revisions

Graded fields are graded commutative rings in which every nonzero homogeneous element is invertible. They typically arise as graded rings associated to the filtration defined by an arbitrary (Krull) valuation on a field. Analogues of the classical notions of primitive element and separability have been defined for graded fields, with a view toward applications in valuation theory [see \textit{M. Boulagouaz}, Lect. Notes Pure Appl. Math. 208, 21--31 (2000; Zbl 0963.16029) or \textit{Y. S. Hwang} and \textit{A. R. Wadsworth}, Commun. Algebra 27, No. 2, 821--840 (1999; Zbl 0964.12003)]. To state the main result of the paper under review, let \(E\) be a finite extension of a Henselian-valued field \(F\). Assume \(E/F\) is tame and totally ramified, i.e., the index of value groups \((\Gamma_E:\Gamma_F)\) is equal to the degree of the extension and is not divisible by the residue characteristic. The author shows that the extension of associated graded fields \(gr(E)/gr(F)\) is simple (i.e., generated by a single homogeneous element) if and only if the factor group \(\Gamma_E/\Gamma_F\) is cyclic. He also states that this property holds when \(E/F\) is simple but, as he pointed out in a private communication to the reviewer, the proof of that additional statement requires an extra hypothesis.