Normality and short exact sequences of Hopf-Galois structures

DOI10.1080/00927872.2018.1529237zbMATH Open1430.16034arXiv1708.08402OpenAlexW2963245197WikidataQ128344893 ScholiaQ128344893MaRDI QIDQ5227786FDOQ5227786

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)

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.

Full work available at URL: https://arxiv.org/abs/1708.08402

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

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)

Cites Work

• Ideals, Varieties, and Algorithms
• Hopf Galois theory for separable field extensions
• Regular permutation groups of order \(mp\) and Hopf Galois structures
• Hopf algebras and Galois theory
• Induced Hopf Galois structures
• Title not available (Why is that?)
• On the Galois correspondence theorem in separable Hopf Galois theory

Cited In (12)

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

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)