\(p\)-Henselian fields
type: Item
instance of: scholarly article
title: \(p\)-Henselian fields
zbMATH Open document ID: 0828.12006
DOI: 10.1007/BF02570463
author: Jochen Koenigsmann
published in: Manuscripta Mathematica
publication date: 1996-01-07T00:00:00Z
full work available at URL: https://eudml.org/doc/156076
review text: This paper studies a special instance of a more general concept introduced by L. Bröcker: Given some normal algebraic field extension \(\Omega/F\), the valued field \((F,v)\) is called \(\Omega\)-henselian if \(v\) extends uniquely to \(\Omega\). Now for a prime \(p\), let \(\Omega = F(p)\) be the maximal Galois-\(p\)-extension of \(F\). \(v\) is \(p\)-henselian if it is \(F(p)\)-henselian. \(p\)-henselian valuations are used in \(K\)-theory, Galois cohomology [e.g. in \textit{A. Wadsworth}, Pac. J. Math. 105, 473-496 (1983; Zbl 0506.12024)], and in studying the Galois group of \(F(p)/F\) [e.g. in \textit{B. Jacob} and \textit{A. Wadsworth}, Trans. Am. Math. Soc. 293, 693-721 (1986; Zbl 0597.16016)] and [\textit{I. Efrat}, Free pro-\(p\) product decomposition of Galois groups, preprint (1993)]. The main results are all proved under the following assumption on \(F\): \(F\) contains a primitive \(p\)-th root of unity \(\zeta_p\), resp. \(\text{char} (F) = p\). For such \(F\), \(F^{(p)}\) denotes the multiplicative group \(F^p\) resp. the additive group \(\{x^p - x; x \in F\}\). The \(p\)-topology \(\tau_p\) on \(F\) is defined as the coarsest topology for which \(F^{(p)}\) is open and for which linear transformations resp. Möbius transformations are continuous. The author shows that if \(F\) is not \(p\)-closed (i.e. \(F \neq F(p))\), then a nontrivial valuation \(v\) on \(F\) admits a nontrivial \(p\)-henselian coarsening if and only if \(v\) induces the \(p\)-topology on \(F\). In this case, a uniformly parametrized base for \(\tau_p\) is provided. As a corollary, he obtains the main result of the paper, which asserts that if \(F\) is not \(p\)-closed, then to admit a nontrivial \(p\)-henselian valuation is an elementary property in the language of fields, unless \(p = 2\) and \(F\) is euclidean. Indeed, since ``to be a \(V\)-topology'' can be elementarily expressed in terms of a base of the topology [cf. \textit{A. Prestel} and \textit{M. Ziegler}, J. Reine Angew. …
reviewed by: Salma Kuhlmann
Mathematics Subject Classification ID: 12J10
Mathematics Subject Classification ID: 12L12
zbMATH DE Number: 784063
zbMATH Keywords: elementary property
zbMATH Keywords: Galois-\(p\)-extension
zbMATH Keywords: \(p\)-henselian valuations
zbMATH Keywords: \(p\)- topology
MaRDI profile type: Publication
cites work: Q4748231
cites work: A New Construction of Noncrossed Product Algebras
cites work: From p-rigid elements to valuations (with a Galois-characterization of p-adic fields).
cites work: Q5514647
cites work: p-Henselian fields: K-theory, Galois cohomology, and graded Witt rings
cites work: Valuation Rings and Rigid Elements in Fields
Recommended article: Q4695646
Recommended article: Q5298603
Recommended article: Sur les 𝑝-corps
Recommended article: The Henselian closures of a P\(p\)C field
Recommended article: Q3996645
Recommended article: Henselian residually \(p\)-adically closed fields
Recommended article: On the \(p\)-dimension of fields
Recommended article: Tame Galois \(p\)-extensions of \(p\)-Henselian fields
Recommended article: Q4013610
Recommended article: \(H\)-fields and their Liouville extensions
description: scientific article; zbMATH DE number 784063