A Galois-theoretic characterization of \(p\)-adically closed fields
type: Item
instance of: scholarly article
title: A Galois-theoretic characterization of \(p\)-adically closed fields
zbMATH Open document ID: 0842.12003
DOI: 10.1007/BF02761651
author: Ido Efrat
published in: Israel Journal of Mathematics
publication date: 1996-08-07T00:00:00Z
review text: Let \(p\) be an odd prime and \(K\) a field. It follows from results of [\textit{A. Prestel} and \textit{P. Roquette}, Formally \(p\)-adic fields, Lect. Notes Math. 1050 (Springer, Berlin, 1984; Zbl 0523.12016)]\ that if \(K\) is \(p\)-adically closed, then its absolute Galois group \(G_K\) is an open subgroup of \(G_{\mathbb{Q}_p}\). It was conjectured that the converse also holds. In [\textit{F. Pop}, J. Reine Angew. Math. 392, 145-175 (1988; Zbl 0671.12005)]\ it was shown that the conjecture is true if \(K\) is henselian with respect to a valuation having positive residue characteristic. The main result of the present paper is a positive answer to the above conjecture for \(p\neq 2\). The idea is to use a valuation-theoretic construction of [\textit{J. K. Arason}, \textit{R. Elman} and \textit{B. Jacob}, J. Algebra 110, 449-467 (1987; Zbl 0629.10016)]\ to show that one can endow \(K\) with a henselian valuation with positive residue characteristic, then apply the result of [\textit{F. Pop}, loc. cit]. By the same method, the author shows that if \(q\) is an odd prime power and \(K\) is a field such that \(G_K \simeq G_{\mathbb{F}_q ((t))}\), then \(K\) is henselian with respect to a non-trivial valuation. In [\textit{J. Koenigsmann}, J. Reine Angew. Math. 465, 165-182 (1995; Zbl 0824.12006)], an independent proof of the main result is given, which covers also the case \(p=2\).
reviewed by: Salma Kuhlmann
Mathematics Subject Classification ID: 12J12
zbMATH DE Number: 820103
zbMATH Keywords: \(p\)-adically closed fields
zbMATH Keywords: absolute Galois group
MaRDI profile type: Publication
cites work: Rigid elements, valuations, and realization of Witt rings
cites work: Q3843699
cites work: Über die absolute Galoisgruppe dyadischer Zahlkörper.
cites work: Valuation theory
cites work: Fields with two incomparable Henselian valuation rings
cites work: The absolute Galois group of a pseudo p-adically closed field.
cites work: On the structure of Pythagorean fields
cites work: Die Struktur der absoluten Galoisgruppe \({\mathfrak p}\)-adischer Zahlkörper
cites work: Q5619167
cites work: From p-rigid elements to valuations (with a Galois-characterization of p-adic fields).
cites work: Immediate and purely wild extensions of valued fields
cites work: Q5675788
cites work: Q3897105
cites work: Kennzeichnung der p-adischen und der endlichen algebraischen Zahlkörper
cites work: Galoissche Kennzeichnung p-adisch abgeschlossener Körper.
cites work: On Grothendieck's conjecture of birational anabelian geometry
cites work: Formally \(p\)-adic fields
cites work: Q3856855
cites work: Cohomologie galoisienne. Cours au Collège de France, 1962--1963. 3ième éd.
cites work: Valuation Rings and Rigid Elements in Fields
cites work: Galois Groups of Maximal p-Extensions
full work available at URL: https://doi.org/10.1007/bf02761651
OpenAlex ID: W1983695008
description: scientific article; zbMATH DE number 820103