Normality and short exact sequences of Hopf-Galois structures

DOI10.1080/00927872.2018.1529237MaRDI QIDQ5227786zbMATH OpenOpenAlexWikidataFDO

Authors Alan Koch, Timothy Kohl, Paul J. Truman, Robert G. Underwood

Publication date 7 August 2019

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

Full work available at URL https://arxiv.org/abs/1708.08402, http://eprints.keele.ac.uk/5228/1/tarp-ses.pdf

zbMATH Keywords

regular subgroupHopf-Galois extensionGreither-Pareigis theoryHopf algebra exact sequence

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Subgroups of symmetric groups (20B35) Hopf algebras and their applications (16T05)

Abstract: Every Hopf-Galois structure on a finite Galois extension $K/k$ where $G=Gal(K/k)$ corresponds uniquely to a regular subgroup $NleqB=operatornamePerm(G)$, normalized by $lambda(G)leqB$, in accordance with a theorem of Greither and Pareigis. The resulting Hopf algebra which acts on $K/k$ is $H_N=(K[N]{)}^{lambda(G)}$. For a given such $N$ we consider the Hopf-Galois structure arising from a subgroup $PriangleleftN$ that is also normalized by $lambda(G)$. This subgroup gives rise to a Hopf sub-algebra $H_{P}subseteq{H}_N$ with fixed field $F=K^{H_P}$. By the work of Chase and Sweedler, this yields a Hopf-Galois structure on the extension $K/F$ where the action arises by base changing $H_P$ to $Fotime{s}_k{H}_P$ which is an $F$-Hopf algebra. We examine this analogy with classical Galois theory, and also examine how the Hopf-Galois structure on $K/F$ relates to that on $K/k$. We will also pay particular attention to how the Greither-Pareigis enumeration/construction of those $H_P$ acting on $K/F$ relates to that of the $H_N$ which act on $K/k$. In the process we also examine short exact sequences of the Hopf algebras which act, whose exactness is directly tied to the descent theoretic description of these algebras.

Recommendations

• Hopf Galois theory for separable field extensions
• On the Galois correspondence for Hopf Galois structures
• From Galois to Hopf Galois: theory and practice
• Minimal Hopf-Galois Structures on Separable Field Extensions
• On the Galois correspondence theorem in separable Hopf Galois theory

Cites work

• scientific article; zbMATH DE number 1489463 (Why is no real title available?)
• Hopf Galois theory for separable field extensions
• Hopf algebras and Galois theory
• Ideals, Varieties, and Algorithms
• Induced Hopf Galois structures
• On the Galois correspondence theorem in separable Hopf Galois theory
• Regular permutation groups of order \(mp\) and Hopf Galois structures

Cited in

(14)

• Opposite skew left braces and applications
• From Galois to Hopf Galois: theory and practice
• Induced Hopf Galois structures
• A generalization of Kummer theory to Hopf-Galois extensions
• Abelian maps, bi-skew braces, and opposite pairs of Hopf-Galois structures
• Bounds on the number of ideals in finite commutative nilpotent $\mathbb{F}_p$-algebras
• Minimal Hopf-Galois Structures on Separable Field Extensions
• On the connection between Hopf–Galois structures and skew braces
• Regular permutation groups of order \(mp\) and Hopf Galois structures
• Induced Hopf Galois structures and their local Hopf Galois modules
• Characteristic subgroup lattices and Hopf-Galois structures
• On the Galois correspondence for Hopf Galois structures
• On the Galois correspondence for Hopf Galois structures arising from finite radical algebras and Zappa-Szép products
• Uniqueness of hopf galois structure for separable field extensions

This page was built for publication: Normality and short exact sequences of Hopf-Galois structures

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