×

Finitely generated pro-\(p\) Galois groups of \(p\)-Henselian fields. (English) Zbl 0937.12003

Let \(p\) be a prime number and let \(K\) be a field of characteristic 0 containing the group \(\mu_p\) of all \(p\)-th roots of unity. Let \(v\) be a \(p\)-henselian Krull valuation of \(K\) with residue class field of characteristic \(p\). Assume that the maximal pro-\(p\) Galois group \(G_K(p)\) of \(K\) is finitely generated. The author proves that \(G_K(p)\) is a semi-direct product \({\mathbb Z}^m_p \propto G\), with suitable non-negative integer \(m\) where either (i) \(G\simeq G_{K^*}(p)\) for some finite extension \(K^*\) of \({\mathbb Q}_p(\mu_p)\), or (ii) \(G\) is a finitely generated free pro-\(p\) group. A similar characterization of the structure of finite generated pro-\(p\) absolute Galois groups of henselian fields with residue characteristic \(p\) is given. These results generalize results on finite extensions of \({\mathbb Q}_p\) obtained by Demushkin, Serre and Labute. This result is applied to show that if \(p=2\) and \(K\) satisfies the above assumptions, then the Witt ring \(W(K)\) is of elementary type.
Reviewer: M.Kula (Katowice)

MSC:

12J10 Valued fields
12F10 Separable extensions, Galois theory
Full Text: DOI

References:

[1] Bourbaki, N., Commutative Algebra (1972), Addison-Wesley: Addison-Wesley Reading, MA
[2] Bröcker, L., Characterization of fans and hereditarily pythagorean fields, Math. Z., 151, 149-163 (1976) · Zbl 0319.12102
[3] Demus̆kin, S. P., The group of a maximal \(p\)-extension of a number field, Izv. Akad. Nauk SSSR Ser. Mat., 25, 329-346 (1961), (in Russian) · Zbl 0100.03302
[4] Demus̆kin, S. P., On 2-extensions of a local field, Sibirian Math. J., 4, 951-955 (1963), (in Russian) · Zbl 0131.27001
[5] Efrat, I., Pro-\(p\) Galois groups of algebraic extensions of Q, J. Number Th., 64, 84-99 (1997) · Zbl 0872.11046
[6] Efrat, I., Free pro-\(p\) product decompositions of Galois groups, Math. Z., 225, 245-261 (1997) · Zbl 0873.12003
[7] Endler, O., Valuation Theory (1972), Springer: Springer Berlin · Zbl 0257.12111
[8] Jacob, B.; Wadsworth, A., A new construction of noncrossed product algebras, Trans. Amer. Math. Soc., 293, 693-721 (1986) · Zbl 0597.16016
[9] Jacob, B.; Ware, R., A recursive description of the maximal pro-2 Galois group via Witt rings, Math. Z., 200, 379-396 (1989) · Zbl 0663.12018
[10] Jacob, B.; Ware, R., Realizing dyadic factors of elementary type Witt rings and pro-2 Galois groups, Math. Z., 208, 193-208 (1991) · Zbl 0755.11014
[11] Jensen, C. U.; Prestel, A., Finitely generated pro-\(p\)-groups as Galois groups of maximal \(p\)-extensions of function fields over \(Q_q\), Manuscripta Math., 90, 225-238 (1996) · Zbl 0857.12001
[12] Knebusch, M., Grothendieck- und Wittringe von nichtausgearteten symmetrichen Bilinearformen, Sitzungsber. Heidelb. Akad. Wiss. Math.-Natur. Kl., 93-157 (1970), 1969/70, 3 Abh · Zbl 0256.15016
[13] Labute, J. P., Demus̆kin groups of rank \(ℵ_0\), Bull. Soc. Math. France, 94, 211-244 (1966) · Zbl 0154.02001
[14] Labute, J. P., Classification of Demushkin groups, Canad. J. Math., 19, 106-132 (1967) · Zbl 0153.04202
[15] Marshall, M., Abstract Witt Rings, (Queen’s Pap. Pure Appl. Math., vol. 57 (1980), Queen’s University: Queen’s University Kingston) · Zbl 0451.10013
[16] Mináč, J.; Ware, R., Demus̆kin groups of rank \(ℵ_0\) as absolute Galois groups, Manuscripta Math., 73, 411-421 (1991) · Zbl 0748.12003
[17] Minác̆, J.; Ware, R., Pro-2 Demus̆kin groups of rank \(ℵ_0\) as Galois groups of maximal 2-extensions of fields, Math. Ann., 292, 337-353 (1992) · Zbl 0739.12003
[18] Pop, F., Galoissche Kennzeichnung \(p\)-adisch abgeschlossener Körper, J. Reine Angew. Math., 392, 145-175 (1988) · Zbl 0671.12005
[19] S̆afarevic̆, I. R., Amer. Math. Soc. Transi. Ser. 2 4, 59-72 (1956) · Zbl 0071.03302
[20] Serre, J.-P., Structure de certains pro-\(p\)-groupes (d’aprés Demus̆kin), (Sém. Bourbaki, 252 (1962/1963)), 1-11
[21] Serre, J.-P., Cohomologie Galoisienne, (Lecture Notes Math., vol. 5 (1965), Springer: Springer Berlin) · Zbl 0812.12002
[22] Serre, J.-P., Local Fields (1979), Springer: Springer Berlin · Zbl 0423.12016
[23] Wadsworth, A. R., \(p\)-henselian fields: -theory, Galois cohomology, and graded Witt rings, Pac. J. Math., 105, 473-496 (1983) · Zbl 0506.12024
[24] Ware, R., Quadratic forms and profinite 2-groups, J. Algebra, 58, 227-237 (1979) · Zbl 0412.10010
[25] Ware, R., Galois groups of maximal \(p\)-extensions, Trans. Amer. Math. Soc., 333, 721-728 (1992) · Zbl 0769.12003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.