Bi-skew braces and Hopf Galois structures

Abstract

We define a bi-skew brace to be a set $G$ with two group operations $\star$ and $\circ$ so that $(G,\circ ,\star )$ is a skew brace with additive group $(G,\star )$ and also with additive group $(G,\circ )$. If $G$ is a skew brace, then $G$ corresponds to a Hopf Galois structure of type $(G,\star )$ on any Galois extension of fields with Galois group isomorphic to $(G,\circ )$. If $G$ is a bi-skew brace, then $G$ also corresponds to a Hopf Galois structure of type $(G,\circ )$ on a Galois extension of fields with Galois group isomorphic to $(G,\star )$. Many non-trivial examples exist. One source is radical rings $A$ with $A^3=0$, where one of the groups is abelian and the other need not be. The left braces of degree $p^3$ classified by Bachiller are bi-skew braces if and only they are radical rings. A different source of bi-skew braces is semidirect products of arbitrary finite groups, which yield many examples where both groups are non-abelian, and a skew brace proof of a result of Crespo, Rio and Vela that if $G=H⋊J$ is a semidirect product of finite groups, then a Galois extension of fields with Galois group $G$ has a Hopf Galois structure of type $H\times J$.

arXiv comment17 pages, submitted to New York Journal of Mathematics

References in corpus (3)

• Skew braces and the Yang-Baxter equation
• Solubility Criteria for Hopf-Galois Structures
• Classification of braces of order $p^3$

Cited by in corpus (13)

• Bi-Skew Braces and Regular Subgroups of the Holomorph
• Radical and weight of skew braces and their applications to structure groups of solutions of the Yang-Baxter equation
• Enumeration of set-theoretic solutions to the Yang-Baxter equation
• Rota-Baxter operators on Clifford semigroups and the Yang-Baxter equation
• From endomorphisms to bi-skew braces, regular subgroups, the Yang--Baxter equation, and Hopf--Galois structures
• On the connection between Hopf--Galois structures and skew braces
• On bi-skew braces and brace blocks
• Set-theoretic solutions of the Yang-Baxter equation associated to weak braces
• Brace blocks from bilinear maps and liftings of endomorphisms
• Skew braces of size $p^{2}q$ I: abelian type
• Hopf-Galois structures on cyclic extensions and skew braces with cyclic multiplicative group
• Finite $p$-groups of class two with a large multiple holomorph
• Affine structures on groups and semi-braces