Integral Hopf-Galois structures on degree \(p^2\) extensions of \(p\)-adic fields
type: Item
instance of: scholarly article
title: Integral Hopf-Galois structures on degree \(p^2\) extensions of \(p\)-adic fields
zbMATH Open document ID: 0992.11065
author: Nigel P. Byott
published in: Journal of Algebra
publication date: 2002-07-04T00:00:00Z
review text: This paper gives the definitive classification of Hopf Galois structures on valuation rings of Galois extensions of \(p\)-adic fields of degree \(p^2\), \(p\) prime. Let \(L/K\) be a finite, totally ramified Galois extension of \(p\)-adic fields of degree \(p^2\) with Galois group \(G\), and assume \(K\) contains a primitive \(p\)th root of unity. Let \(e\) be the absolute ramification index of \(K\). Then there are \(p\), respectively \(p^2\) Hopf Galois structures on \(L/K\) if \(G\) is cyclic, respectively elementary abelian. Their structure depends at most on a field extension \(M\) of degree \(p\) over \(K\). The author explicitly describes the corresponding \(K\)-Hopf algebras and their Hopf orders over \(\mathcal O_K\), the valuation ring of \(K\), extending work of \textit{C. Greither} [Math. Z. 210, 37-68 (1992; Zbl 0737.11038)] and the reviewer [New York J. Math. 2, 86-102 (1996; Zbl 0884.11046)]. Using this he determines which of the Hopf orders are realizable, that is, can be the associated order of the valuation ring of a Galois extension of \(K\). The results depend on \(G\), two ``valuation parameters'', \(i\) and \(j\), and a ``unit parameter'' \(v\) (in \(M\)), as well as whether or not \(p = 2\), and break up into seven cases corresponding to various subregions of the square \[ \{ (i,j) \mid 0 \leq i, j, \leq e/p \} . \] This is applied to determine which of the Hopf Galois structures on \(L\) give rise to Hopf Galois structures on \(\mathcal O_L\). The number of such Hopf Galois structures is either 1 or \(p\). The paper concludes by fitting into this landscape two classes of examples: Galois field extensions \(L/K\) of degree \(p^2\) that are classical Kummer extensions, and Kummer extensions for Lubin-Tate formal groups. The latter examples extend work of \textit{M. J. Taylor} [J. Reine Angew. Math. 358, 97-103 (1985; Zbl 0582.12008)] and the author [Galois module structure and Kummer theory for Lubin-Tate formal groups, in Algebraic Number Theo…
Mathematics Subject Classification ID: 11S23
Mathematics Subject Classification ID: 11R33
Mathematics Subject Classification ID: 11S31
Mathematics Subject Classification ID: 16W30
zbMATH DE Number: 1763595
zbMATH Keywords: Hopf Galois structures
zbMATH Keywords: Hopf order
zbMATH Keywords: Lubin-Tate formal group
zbMATH Keywords: Kummer theory
Wikidata QID: Q57918070
reviewed by: Lindsay N. Childs
MaRDI profile type: Publication
full work available at URL: jabr.2001.9053
OpenAlex ID: W1968629545
cites work: Cleft extensions of Hopf algebras
cites work: Cleft Extensions of Hopf Algebras, II
cites work: Uniqueness of hopf galois structure for separable field extensions
cites work: Galois structure of ideals in wildly ramified abelian \(p\)-extensions of a \(p\)-adic field, and some applications
cites work: Q4510763
cites work: Counting Hopf Galois structures on non-abelian Galois field extensions
cites work: Galois module structure of non-Kummer extensions
cites work: Taming Wild Extensions with Hopf Algebras
cites work: On the hopf galois theory for separable field extensions
cites work: Hopf Galois structures on degree \(p^ 2\) cyclic extensions of local fields
cites work: Q4315515
cites work: Extensions of finite group schemes, and Hopf Galois theory over a complete discrete valuation ring
cites work: Hopf Galois theory for separable field extensions
cites work: Classification of the Hopf Galois structures on prime power radical extensions
cites work: Hopf algebra orders determined by group valuations
cites work: Schémas en groupes de type $(p,\ldots,p)$
cites work: Q5094820
cites work: Q3856855
cites work: Group schemes of prime order
cites work: On Fröhlich's conjecture for rings of integers of tame extensions
cites work: Formal groups and the Galois module structure of local rings of integers.
cites work: Hopf structure and the Kummer theory of formal groups.
cites work: \(R\)-Hopf algebra orders in \(KC_{p^ 2}\)
cites work: Wildly Ramified Gamma Extensions
DOI: 10.1006/JABR.2001.9053
Recommended article: Extensions of finite group schemes, and Hopf Galois theory over a complete discrete valuation ring
Recommended article: Hopf Galois structures on degree \(p^ 2\) cyclic extensions of local fields
Recommended article: Hopf-Galois module structure of tamely ramified radical extensions of prime degree
Recommended article: Sufficient conditions for large Galois scaffolds
Recommended article: Q4883285
Recommended article: Classification of the Hopf Galois structures on prime power radical extensions
Recommended article: The ring of integers of Hopf-Galois degree \(p\) extensions of \(p\)-adic fields with dihedral normal closure
Recommended article: Isomorphism problems for Hopf-Galois structures on separable field extensions
Recommended article: Q4220948
description: scientific article; zbMATH DE number 1763595