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\rtimes 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$.

On the connection between Hopf–Galois structures and skew braces

The Structure of Connected (graded) Hopf Algebras

Hopf formulae for homology of skew braces

Bi-skew braces and Hopf Galois structures

Skew bracoids containing a skew brace

On $ ρ$-conjugate Hopf-Galois structures

Bi-skew braces and regular subgroups of the holomorph

Hopf braces and semi-abelian categories

Skew braces: a brief survey

Commutator-central maps, brace blocks, and {H}opf-{G}alois structures on {G}alois extensions

On skew braces (with an appendix by N. Byott and L. Vendramin)

Higher braces via formal (non)commutative geometry

On skew braces and their ideals (with an Appendix by Agata Smoktunowicz)

On two-sided skew braces

On dynamical skew braces and skew bracoids

Representation theory of skew braces

Hopf q-braces structures on rank one pointed Hopf algebras

Hopf Galois structures on extensions of degree twice an odd prime square and their associated left braces

Hopf braces and Yang-Baxter operators

Hopf Galois structures, skew braces for groups of size $p^nq$: The cyclic Sylow subgroup case