Kummer subfields of tame division algebras over Henselian fields.

From MaRDI portal
Publication:2655016



Abstract: By generalizing the method used by Tignol and Amitsur in [TA85], we determine necessary and sufficient conditions for an arbitrary tame central division algebra D over a Henselian valued field E to have Kummer subfields [Corollary 2.11 and Corollary 2.12]. We prove also that if D is a tame semiramified division algebra of prime power degree p^n over E such that p

eq char(�ar E) and rk(Gamma_D/Gamma_E)geq 3 [resp., such that p

eq char(�ar E) and p^3 divides exp(Gamma_D/Gamma_E)], then D is non-cyclic [Proposition 3.1] [resp., D is not an elementary abelian crossed product [Proposition 3.2]].


Let \(D\) be a central division algebra over a field \(E\). A subfield \(K\subset D\) is called a Kummer subfield if it is a Galois extension of \(E\) with Abelian Galois group \(G\), and \(E\) contains a primitive \(n\)-th root of unity where \(n\) is the exponent of \(G\). Every Henselian valuation on \(E\) extends to \(D\), and an associated factor set of the quotient of value groups \(\Gamma_D/\Gamma_E\) with coefficients in the multiplicative group \(\overline D^\times\) of the residue division algebra is defined. Assuming the residue characteristic does not divide the degree of \(D\), the author gives necessary and sufficient conditions for the existence of Kummer subfields in \(D\) in terms of this factor set. His results extend those of \textit{P. J. Morandi} and \textit{B. A. Sethuraman} [J. Algebra 172, No. 2, 554-583 (1995; Zbl 0840.16013)], who considered division algebras of a particular type, but the techniques are different: they rely on the analysis of the graded ring associated to the filtration defined by the valuation on the division algebra.











This page was built for publication: Kummer subfields of tame division algebras over Henselian fields.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2655016)