Skew braces and Hopf-Galois structures of Heisenberg type (Q1727706): Difference between revisions

A (left) skew brace is a triple \((G, \oplus, \odot)\), where \((G, \oplus)\) and \((G, \odot)\) are both groups, and the two operations are related by the identity \(a \odot (b \oplus c) = (a \odot b) \oplus (\ominus a) \oplus (a \odot c)\), valid for all \(a, b, c \in G\). Here \(\ominus a\) denotes the inverse of \(a\) in \((G, \oplus)\). Equivalently, for each \(a \in G\), the maps \(x\mapsto (a \odot x) \oplus (\ominus a)\) are endomorphisms of \((G, \oplus)\). Skew (left) braces can be considered as generalisations of primitive rings, and are widely studied, among others for their connections to Hopf Galois structures and to regular subgroups of holomorphs of groups. In the paper under review, the author gives a classifications of the skew braces \((G, \oplus, \odot)\) such that \((G, \oplus)\) is isomorphic to the group of order \(p^{3}\) and exponent \(p\), where \(p > 3\) is a prime. Up to isomorphism, there are \(2 p^{2} - p + 3\) skew braces with \((G, \odot)\) isomorphic to \((G, \oplus)\), and \(2 p + 1\) skew braces with \((G, \odot)\) isomorphic to the elementary abelian group of order \(p^{3}\). The number of the corresponding Hopf Galois structures are derived.