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

DOI10.5565/PUBLMAT6512105zbMATH Open1475.12007arXiv1907.07711OpenAlexW3106733991MaRDI QIDQ2232002FDOQ2232002

Lindsay N. Childs

Publication date: 1 October 2021

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

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.

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

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

zbMATH Keywords

Galois correspondenceHopf Galois structuresradical algebrasskew brace

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Galois objects with normal bases for free Hopf algebras of prime degree
• Uniqueness of hopf galois structure for separable field extensions
• 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
• Hopf-Galois structures on Galois field extensions of degree \(pq\).
• From Galois to Hopf Galois: theory and practice

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)