Commutative Hopf-Galois module structure of tame extensions

DOI10.1016/J.JALGEBRA.2018.01.047MaRDI QIDQ1643107zbMATH OpenOpenAlexFDO

Authors Paul J. Truman

Publication date 18 June 2018

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1708.06267, http://eprints.keele.ac.uk/4464/1/P%20Truman%20-%20Communtative%20Hopf-Galois%20module%20structure%20of%20tame%20extensions.pdf

zbMATH Keywords

associated orderGalois module structureHopf-Galois module theoryHopf-Galois structure

Mathematics Subject Classification ID

Integral representations related to algebraic numbers; Galois module structure of rings of integers (11R33) Integral representations (11S23)

Abstract: We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $p$-adic fields or number fields which is $H$-Galois for a commutative Hopf algebra $H$. Firstly, we show that if $L/K$ is a tame Galois extension of $p$-adic fields then each fractional ideal of $L$ is free over its associated order in $H$. We also show that this conclusion remains valid if $L/K$ is merely almost classically Galois. Finally, we show that if $L/K$ is an abelian extension of number fields then every ambiguous fractional ideal of $L$ is locally free over its associated order in $H$.

Review text

Let \(L/K\) be a finite extension of number fields or \(p\)-adic fields. A Hopf-Galois structure on \(L/K\) consists of a \(K\)-Hopf algebra \(H\) together with a certain \(K\)-linear action of \(H\) on \(L\) (we omit the precise definition here). For example, if \(L/K\) is Galois then the normal basis theorem says that \(L\) is a free rank \(1\) module over the group algebra \(K[G]\) where \(G=\mathrm{Gal}(L/K)\), and thus \(K[G]\) gives a Hopf-Galois structure on \(L/K\). (Note that an extension may admit more than one Hopf-Galois structure.) If \(H\) gives a Hopf-Galois structure on \(L/K\) then for each fractional ideal \(\mathfrak{B}\) of \(L\) we can study the structure of the \(\mathfrak{B}\) as a module over its so-called associated order \( \mathfrak{A}_{H}(\mathfrak{B}) := \{ z \in H \mid z \cdot x \in \mathfrak{B} \text{ for all } x \in \mathfrak{B} \} \). The main theorem of the article under review is as follows: if \(L/K\) is a tame (i.e., at most tamely ramified) Galois extension of \(p\)-adic fields, \(H\) is a commutative Hopf algebra giving a Hopf-Galois structure structure on \(L/K\), and \(\mathfrak{B}\) is a fractional ideal of \(L\), then \(\mathfrak{B}\) is a free \(\mathfrak{A}_{H}(\mathfrak{B})\)-module. Moreover, the analogue of this result holds when \(L/K\) is a tame almost classically Galois extension of \(p\)-adic fields. (A separable extension \(L/K\) with Galois closure \(E/K\) is almost classically Galois if \(\mathrm{Gal}(E/L)\) has a normal complement in \(\mathrm{Gal}(E/K)\).) The author also proves the following result: if \(L/K\) is a tame abelian extension of number fields, \(H\) is a commutative Hopf algebra giving a Hopf-Galois structure structure on \(L/K\), and \(\mathfrak{B}\) is an ambiguous fractional ideal of \(L\), then \(\mathfrak{B}\) is a locally free \(\mathfrak{A}_{H}(\mathfrak{B})\)-module. Note that in each of these results, an explicit description of the associated order \(\mathfrak{A}_{H}(\mathfrak{B})\) is given, and this is independent of the choice of \(\mathfrak{B}\).

Recommendations

• Integral Hopf-Galois structures for tame extensions
• Hopf-Galois module structure of tame biquadratic extensions
• Hopf-Galois module structure of tame \(C_p \times C_p\) extensions
• Commuting Hopf-Galois structures on a separable extension
• Hopf-Galois module structure of tamely ramified radical extensions of prime degree

Cites work

• Canonical nonclassical Hopf-Galois module structure of nonabelian Galois extensions
• Galois structure of ideals in wildly ramified abelian \(p\)-extensions of a \(p\)-adic field, and some applications
• Hopf Galois theory for separable field extensions
• scientific article; zbMATH DE number 3736029 (Why is no real title available?)
• scientific article; zbMATH DE number 3788760 (Why is no real title available?)
• scientific article; zbMATH DE number 1489463 (Why is no real title available?)
• Induced Hopf Galois structures
• Integral Hopf-Galois structures for tame extensions
• INVARIANTS FOR MODULES OVER COMMUTATIVE SEPARABLE ORDERS
• Normal Bases in Galois Extensions of Number Fields
• Relative Galois module structure of integers of abelian fields
• Towards a generalisation of Noether's theorem to nonclassical Hopf-Galois structures

Cited in

(12)

• The ring of integers of Hopf-Galois degree \(p\) extensions of \(p\)-adic fields with dihedral normal closure
• Hopf-Galois module structure of quartic Galois extensions of \(\mathbb{Q}\)
• Hopf-Galois module structure of tamely ramified radical extensions of prime degree
• Hopf-Galois module structure of tame \(C_p \times C_p\) extensions
• Canonical nonclassical Hopf-Galois module structure of nonabelian Galois extensions
• Integral Hopf-Galois structures for tame extensions
• Tame Objects for Finite Commutative Hopf Algebras
• Arithmetic and Galois module structure for tame extensions.
• Towards a generalisation of Noether's theorem to nonclassical Hopf-Galois structures
• Hopf-Galois module structure of tame biquadratic extensions
• Commuting Hopf-Galois structures on a separable extension
• A generalization of Kummer theory to Hopf-Galois extensions

This page was built for publication: Commutative Hopf-Galois module structure of tame extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1643107)