On the Galois correspondence for Hopf Galois structures arising from finite radical algebras and Zappa-Szép products

DOI10.5565/PUBLMAT6512105MaRDI QIDQ2232002zbMATH OpenOpenAlexFDO

Authors Lindsay N. Childs

Publication date 1 October 2021

Published in Publicacions Matemàtiques (Search for Journal in Brave)

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

zbMATH Keywords

Galois correspondenceHopf Galois structuresradical algebrasskew brace

Mathematics Subject Classification ID

Separable extensions, Galois theory (12F10) Hopf algebras and their applications (16T05)

Abstract: Let $L/K$ be a $G$-Galois extension of fields with an $H$-Hopf Galois structure of type $N$. We study the ratio $GC(G,N)$, which is the number of intermediate fields $E$ with $KsubseteqEsubseteqL$ that are in the image of the Galois correspondence for the $H$-Hopf Galois structure on $L/K$, divided by the number of intermediate fields. By Galois descent, $Lotime{s}_{K}H=LN$ where $N$ is a $G$-invariant regular subgroup of $mathrmPerm(G)$, and then $GC(G,N)$ is the number of $G$-invariant subgroups of $N$, divided by the number of subgroups of $G$. We look at the Galois correspondence ratio for a Hopf Galois structure by translating the problem into counting certain subgroups of the corresponding skew brace. We look at skew braces arising from finite radical algebras $A$ and from Zappa-Sz'ep products of finite groups, and in particular when $A^3=0$ or the Zappa-Sz'ep product is a semidirect product, in which cases the corresponding skew brace is a bi-skew brace, that is, a set $G$ with two group operations $circ$ and $star$ in such a way that $G$ is a skew brace with either group structure acting as the additive group of the skew brace. We obtain the Galois correspondence ratio for several examples. In particular, if $(G,circ,star)$ is a bi-skew brace of squarefree order $2m$ where $(G,circ)cong{Z}_{2m}$ is cyclic and $(G,star)=D_m$ is dihedral, then for large $m$, $GC(Z_{2m},D_m),$ is close to 1/2 while $GC(D_m,Z_{2m})$ is near 0.

Recommendations

• Normality and short exact sequences of Hopf-Galois structures
• On ρ-conjugate Hopf–Galois structures
• Minimal Hopf-Galois Structures on Separable Field Extensions
• On the Galois correspondence theorem in separable Hopf Galois theory
• Galois-type correspondences for Hopf-Galois extensions
• Induced Hopf Galois structures
• Counting Hopf Galois structures on non-abelian Galois field extensions
• Hopf Algebras and Galois Module Theory
• Uniqueness of hopf galois structure for separable field extensions
• On the Galois correspondence for Hopf Galois structures

Cites work

• scientific article; zbMATH DE number 5150119 (Why is no real title available?)
• scientific article; zbMATH DE number 1461254 (Why is no real title available?)
• Abelian Hopf Galois structures on prime-power Galois field extensions
• Actions of skew braces and set-theoretic solutions of the reflection equation
• Bi-skew braces and Hopf Galois structures
• Bounds on the number of ideals in finite commutative nilpotent $\mathbb{F}_p$-algebras
• Braces, radical rings, and the quatum Yang-Baxter equation.
• Cayley's theorem and Hopf Galois structures for semidirect products of cyclic groups.
• Classification of nilpotent associative algebras of small dimension
• Counting Hopf-Galois structures on cyclic field extensions of squarefree degree
• Fixed-point free pairs of homomorphisms and nonabelian Hopf-Galois structures
• Hopf Galois theory for separable field extensions
• Hopf algebras and Galois theory
• On skew braces (with an appendix by N. Byott and L. Vendramin)
• On the Galois correspondence for Hopf Galois structures
• On the Galois correspondence theorem in separable Hopf Galois theory
• Opposite skew left braces and applications
• Skew braces and Hopf-Galois structures of Heisenberg type
• Skew braces and the Galois correspondence for Hopf Galois structures
• Skew braces and the Yang-Baxter equation
• Solubility criteria for Hopf-Galois structures

Cited in

(8)

• From Galois to Hopf Galois: theory and practice
• Abelian maps, bi-skew braces, and opposite pairs of Hopf-Galois structures
• Galois objects with normal bases for free Hopf algebras of prime degree
• Bounds on the number of ideals in finite commutative nilpotent $\mathbb{F}_p$-algebras
• On \(\mathbb{Z}_n \rtimes \mathbb{Z}_2\)-Hopf-Galois structures
• On the connection between Hopf–Galois structures and skew braces
• Hopf-Galois structures on Galois field extensions of degree \(pq\).
• Uniqueness of hopf galois structure for separable field extensions

This page was built for publication: On the Galois correspondence for Hopf Galois structures arising from finite radical algebras and Zappa-Szép products

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