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

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

The Structure of Connected (graded) Hopf Algebras

Bi-skew braces and Hopf Galois structures

Skew braces of size $pq$

Skew braces of size $p^2q$

Hopf-Galois structures on separable field extensions of degree pq

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

Hopf q-braces structures on rank one pointed Hopf algebras

Classification of the types for which every Hopf--Galois correspondence is bijective

Parallel Hopf-Galois structures on separable field extensions

On the connection between Hopf–Galois structures and skew braces

Computation of Hopf Galois structures on low degree separable extensions and classification of those for degrees $p^2$ and $2p$

On a bijection between a finite group to a non-cyclic group with divisibility of element orders

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

On the number of quaternion and dihedral braces and Hopf--Galois structures

Dual Hopf Algebras from a Quiver and Dual Quiver Quantum Groups

Hopf formulae for homology of skew braces

Hopf algebra structure of Gr$_q(1| 1)$ related to GL$_q(1| 1)$

Hopf braces and semi-abelian categories

On a family of simple skew braces