English

Bi-skew braces and Hopf Galois structures

Rings and Algebras 2019-07-19 v1

Abstract

We define a bi-skew brace to be a set GG with two group operations \star and \circ so that (G,,)(G, \circ, \star) is a skew brace with additive group (G,)(G, \star) and also with additive group (G,)(G, \circ). If GG is a skew brace, then GG corresponds to a Hopf Galois structure of type (G,)(G, \star) on any Galois extension of fields with Galois group isomorphic to (G,)(G, \circ). If GG is a bi-skew brace, then GG also corresponds to a Hopf Galois structure of type (G,)(G, \circ) on a Galois extension of fields with Galois group isomorphic to (G,)(G, \star). Many non-trivial examples exist. One source is radical rings AA with A3=0A^3 = 0, where one of the groups is abelian and the other need not be. The left braces of degree p3p^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=HJG = H\rtimes J is a semidirect product of finite groups, then a Galois extension of fields with Galois group GG has a Hopf Galois structure of type H×JH \times J.

Keywords

Cite

@article{arxiv.1904.08814,
  title  = {Bi-skew braces and Hopf Galois structures},
  author = {Lindsay N. Childs},
  journal= {arXiv preprint arXiv:1904.08814},
  year   = {2019}
}

Comments

17 pages, submitted to New York Journal of Mathematics