Monogenic Hopf algebras and local Galois module theory
type: Item
instance of: scholarly article
title: Monogenic Hopf algebras and local Galois module theory
zbMATH Open document ID: 1028.16018
DOI: 10.1016/S0021-8693(03)00176-5
author: Alan Koch
published in: Journal of Algebra
publication date: 2003-07-30T00:00:00Z
review text: Let \(K\) be an unramified extension of the \(p\)-adic rational numbers with valuation ring \(R\) and residue field \(k\). Let \(H\) be a monogenic, Abelian, local-local \(R\)-Hopf algebra. The author shows that \(H\) represents the kernel of an isogeny of one-dimensional formal groups over \(R\). Kummer theory of formal groups (c.f. the reviewer and \textit{D. J. Moss} [Advances in Hopf algebras, Lect. Notes Pure Appl. Math. 158, 1-24 (1994; Zbl 0826.16035)]) then yields a description of all field extensions \(L\) of \(K\) for which the valuation ring is a free module over the linear dual (over \(R\)) of \(H\). The author's method is to use Dieudonné module theory to show that any monogenic Abelian local-local Hopf algebra over \(k\) has a smooth resolution by one-dimensional \(k\)-formal groups, then, using Honda systems (c.f. \textit{J.-M. Fontaine} [C. R. Acad. Sci., Paris, Sér. A 280, 1273-1276, 1423-1425 (1975; Zbl 0331.14022, Zbl 0331.14023)]), shows that for such a Hopf algebra \(H\) over \(R\), a smooth resolution for \(H/pH\) over \(k\) can be lifted to a resolution of \(H\) by one-dimensional formal groups over \(R\).
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 14L05
Mathematics Subject Classification ID: 11S31
zbMATH DE Number: 1956742
zbMATH Keywords: formal groups
zbMATH Keywords: Hopf algebras
zbMATH Keywords: Kummer theory
zbMATH Keywords: isogenies
zbMATH Keywords: field extensions
zbMATH Keywords: Dieudonné modules
zbMATH Keywords: smooth resolutions
reviewed by: Lindsay N. Childs
MaRDI profile type: Publication
cites work: Local Leopoldt's problem for rings of integers in Abelian \(p\)-extensions of complete discrete valuation fields
cites work: \(p\)-divisible groups, finite groups and filtered modules
cites work: Monogenic Hopf orders and associated orders of valuation rings.
cites work: Q4510763
cites work: Infinitesimal Group Scheme Actions on Finite Field Extensions
cites work: Hopf algebras and Galois theory
cites work: Taming Wild Extensions with Hopf Algebras
cites work: Q4495793
cites work: Q4097402
cites work: Q4097403
cites work: Formal groups
cites work: Hopf Galois theory for separable field extensions
cites work: Q4097401
cites work: Q5328221
cites work: Monogenic bialgebras over finite fields and rings of Witt vectors
cites work: Witt subgroups and cyclic Dieudonné modules killed by \(p\).
cites work: Über die Hauptordnung der ganzen Elemente eines abelschen Zahlkörpers.
cites work: Relative Galois module structure of integers of local abelian fields
cites work: Local Euler characteristics
description: scientific article; zbMATH DE number 1956742