Opposite skew left braces and applications (Q2285286)

Hopf-Galois structures for separable field extensions were studied by \textit{C. Greither} and \textit{B. Pareigis} [J. Algebra 106, 239--258 (1987; Zbl 0615.12026)]. \textit{N. P. Byott} [Commun. Algebra 24, No. 10, 3217--3228 (1996; Zbl 0878.12001)] translated Hopf-Galois extensions into group-theoretic terms. The connection to skew braces was pointed out by \textit{D. Bachiller} in his 2016 thesis [J. Algebra 453, 160--176 (2016; Zbl 1338.16022)]. Skew braces are ring-like structures, with a (not necessarily commutative) additive group, and an adjoint group like a radical ring. Both groups are connected by a bijective 1-cocycle. In the paper under review, the authors study the opposite of a skew brace, where the additive group is replaced by its opposite group, in connection with Hopf-Galois extensions. While any skew-brace gives rise to a set-theoretic solution to the Yang-Baxter equation, the opposite skew-brace corresponds to the inverse solution. The paper deals with the ideal structure of skew braces in connection with Hopf-Galois structures of intermediate fields. Previous results of \textit{L. N. Childs} [J. Algebra 511, 270--291 (2018; Zbl 1396.12003)] are improved. Using the opposite skew brace, the group-like elements of the Hopf algebra acting on the field extension are identified. Reviewer's remarks: Skew braces are special instances of q-braces, introduced by the reviewer [\textit{W. Rump}, J. Algebra 520, 136--170 (2019; Zbl 1450.16024)]. In this paper, cited [loc. cit.], the opposite skew-brace was introduced under the same name. Theorem~4.1, which relates the opposite skew-brace to the inverse solution of the Yang-Baxter equation, follows by Remark~1 after Definition~4 in [loc. cit.]. The authors' quasi-ideals of a skew brace coincide with right ideals of a q-brace ([loc. cit.], Definition~8). Ideals refer to the same concept in both papers.