Skew braces and the Galois correspondence for Hopf Galois structures

DOI10.1016/J.JALGEBRA.2018.06.023zbMATH Open1396.12003arXiv1802.03448OpenAlexW2964320978WikidataQ129581668 ScholiaQ129581668MaRDI QIDQ1663524FDOQ1663524

Lindsay N. Childs

Publication date: 21 August 2018

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

Abstract: Let $L/K$ be a Galois extension of fields with Galois group $Gamma$, and suppose $L/K$ is also an $H$-Hopf Galois extension. Using the recently uncovered connection between Hopf Galois structures and skew left braces, we introduce a method to quantify the failure of surjectivity of the Galois correspondence from subHopf algebras of $H$ to intermediate subfields of $L/K$, given by the Fundamental Theorem of Hopf Galois Theory. Suppose $Lotime{s}_{K}H=LN$ where $Ncong(G,star)$. Then there exists a skew left brace $(G,star,circ)$ where $(G,circ)congGamma$. We show that there is a bijective correspondence between intermediate fields $E$ between $K$ and $L$ and certain sub-skew left braces of $G$, which we call the $circ$-stable subgroups of $(G,star)$. Counting these subgroups and comparing that number with the number of subgroups of $Gammacong(G,circ)$ describes how far the Galois correspondence for the $H$-Hopf Galois structure is from being surjective. The method is illustrated by a variety of examples.

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

Recommendations

• On the connection between Hopf–Galois structures and skew braces
• Skew braces and Hopf-Galois structures of Heisenberg type
• Bi-skew braces and Hopf Galois structures
• Skew left braces and isomorphism problems for Hopf–Galois structures on Galois extensions
• Hopf-Galois structures on cyclic extensions and skew braces with cyclic multiplicative group
• Inducing braces and Hopf Galois structures
• Abelian maps, bi-skew braces, and opposite pairs of Hopf-Galois structures
• Hopf Galois structures on field extensions of degree twice an odd prime square and their associated skew left braces
• Hopf-Galois structures on extensions of degree \(p^2q\) and skew braces of order \(p^2q\): the cyclic Sylow \(p\)-subgroup case
• Skew braces as remnants of co-quasitriangular Hopf algebras in suplat

zbMATH Keywords

Hopf Galois theoryskew brace

Mathematics Subject Classification ID

Galois theory (11R32) Separable extensions, Galois theory (12F10) Yang-Baxter equations (16T25) Hopf algebras and their applications (16T05)

Cites Work

• Hopf Galois theory for separable field extensions
• Title not available (Why is that?)
• Braces, radical rings, and the quatum Yang-Baxter equation.
• Counting Hopf Galois structures on non-abelian Galois field extensions
• Hopf algebras and Galois theory
• On the hopf galois theory for separable field extensions
• Uniqueness of hopf galois structure for separable field extensions
• 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
• Counterexample to a conjecture about braces.
• Abelian Hopf Galois structures on prime-power Galois field extensions
• 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
• The origin of representation theory
• Bounds on the number of ideals in finite commutative nilpotent $\mathbb{F}_p$-algebras

Cited In (26)

• Computing skew left braces of small orders
• Set-theoretic solutions of the Yang-Baxter equation, associated quadratic algebras and the minimality condition
• 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
• Finite skew braces with solvable additive group
• Gerstenhaber brackets for skew group algebras in positive characteristic
• Connections between properties of the additive and the multiplicative groups of a two-sided skew brace
• Factorizations of skew braces
• Set-theoretic solutions to the Yang-Baxter equation and generalized semi-braces
• Set-theoretic solutions of the Yang-Baxter equation associated to weak braces
• Skew braces and Hopf-Galois structures of Heisenberg type
• Skew braces of squarefree order
• Skew left braces and isomorphism problems for Hopf–Galois structures on Galois extensions
• On the connection between Hopf–Galois structures and skew braces
• Minimal Hopf-Galois Structures on Separable Field Extensions
• Classification of braces of cardinality \(p^4\)
• Skew bracoids
• Bi-skew braces and Hopf Galois structures
• A new formula for Lazard's correspondence for finite braces and pre-Lie algebras
• Radford’s theorem about Hopf braces
• The matched product of the solutions to the Yang-Baxter equation of finite order
• A Jordan-Hölder theorem for skew left braces and their applications to multipermutation solutions of the Yang-Baxter equation
• On the passage from finite braces to pre-Lie rings
• Retractability of solutions to the Yang–Baxter equation and p-nilpotency of skew braces
• Radical and weight of skew braces and their applications to structure groups of solutions of the Yang-Baxter equation

This page was built for publication: Skew braces and the Galois correspondence for Hopf Galois structures

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