Left braces, introduced by Rump, have turned out to provide an important tool in the study of set theoretic solutions of the quantum Yang-Baxter equation. In particular, they have allowed to construct several new families of solutions. A left brace $(B,+,\cdot )$ is a structure determined by two group structures on a set $B$: an abelian group $(B,+)$ and a group $(B,\cdot)$, satisfying certain compatibility conditions. The main result of this paper shows that every finite abelian group $A$ is a subgroup of the additive group of a finite simple left brace $B$ with metabelian multiplicative group with abelian Sylow subgroups. This result complements earlier unexpected results of the authors on an abundance of finite simple left braces.
We study relations between the additive and the multiplicative groups of a two-sided skew brace. In particular, we prove that if the additive group of a two-sided skew brace is finite solvable (respectively, finitely generated nilpotent, finitely generated residually nilpotent, finitely generated residually finite), then the multiplicative group of this skew brace is solvable (respectively, solvable, residually solvable, residually finite). Also, we prove that if the multiplicative group of a two-sided skew brace is nilpotent of nilpotency class $k$, then the additive group of this skew brace …
L. Childs has defined a skew brace $(G, \cdot, \circ)$ to be a bi-skew brace if $(G, \circ, \cdot)$ is also a skew brace, and has given applications of this concept to the equivalent theory of Hopf-Galois structures. The goal of this paper is to deal with bi-skew braces $(G, \cdot, \circ)$ from the yet equivalent point of view of regular subgroups of the holomorph of $(G, \cdot)$. In particular, we find that certain groups studied by T. Kohl, F. Dalla Volta and the author, and C. Tsang all yield examples of bi-skew braces. Building on a construction of Childs, we also give various methods for …
A skew brace is a triplet $(A,\cdot,\circ)$, where $(A,\cdot)$ and $(A,\circ)$ are groups such that the brace relation $x\circ (y\cdot z) = (x\circ y)\cdot x^{-1}\cdot (x\circ z)$ holds for all $x,y,z\in A$. In this paper, we study the number of finite skew braces $(A,\cdot,\circ)$, up to isomorphism, such that $(A,\cdot)$ and $(A,\circ)$ are both isomorphic to $T^n$ with $T$ non-abelian simple and $n\in\mathbb{N}$. We prove that it is equal to the number of unlabeled directed graphs on $n+1$ vertices, with one distingusihed vertex, and whose underlying undirected graph is a tree. In particula…
Let A be a brace of cardinality p^{n} where p>n+1 is prime, and ann(p^{i}) be the set of elements of additive order at most p^{i} in this brace. A pre-Lie ring related to the brace A/ann(p^{2}) was constructed in [8]. We show that there is a formula dependent only on the additive group of the brace A which reverses the construction from [8]. As an application example it is shown that the brace A/ann(p^{4}) is the group of flows of a left nilpotent pre-Lie algebra.
$\DeclareMathOperator{\Aut}{Aut}$Let $p, q$ be distinct primes, with $p > 2$. We classify the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, such that the Sylow $p$-subgroups of the Galois group are cyclic. This we do, according to Greither and Pareigis, and Byott, by classifying the regular subgroups of the holomorphs of the groups $(G, \cdot)$ of order $p^{2} q$, in the case when the Sylow $p$-subgroups of $G$ are cyclic. This is equivalent to classifying the skew braces $(G, \cdot, \circ)$. Furthermore, we prove that if $G$ and $Γ$ are groups of order $p^{2} q$ with non-is…
Using Bieberbach groups we study multipermutation involutive solutions to the Yang-Baxter equation. We use a linear representation of the structure group of an involutive solution to study the unique product property in such groups. An algorithm to find subgroups of a Bieberbach group isomorphic to the Promislow subgroup is introduced and then used in the case of structure group of involutive solutions. To extend the results related to retractability to non-involutive solutions, following the ideas of Meng, Ballester-Bolinches and Romero, we develop the theory of right $p$-nilpotent skew brace…
Let $L/K$ be a Galois extension of fields with Galois group $Γ$, and suppose $L/K$ is also an $H$-Hopf Galois extension. Using the recently uncovered connection between Hopf Galois structures and skew left braces, we introduce a method to quantify the failure of surjectivity of the Galois correspondence from subHopf algebras of $H$ to intermediate subfields of $L/K$, given by the Fundamental Theorem of Hopf Galois Theory. Suppose $L \otimes_K H = LN$ where $N \cong (G, \star)$. Then there exists a skew left brace $(G, \star, \circ)$ where $(G, \circ) \cong Γ$. We show that there is a bijective…
We introduce the notion of Drinfeld twists for both set-theoretical YBE solutions and skew braces. We give examples of such twists and show that all twists between skew braces come from families of isomorphisms between their additive groups. We then describe the relation between these definitions and co-twists on FRT-type Hopf algebras in the category $\mathrm{SupLat}$, and prove that any co-twist on a co-quasitriangular Hopf algebra in $\mathrm{SupLat}$ induces a Drinfeld twist on its remnant skew brace. We go on to classify co-twists on bicrossproduct Hopf algebras coming from groups with un…
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 sou…
This is the first part of a series of two articles. In this paper we enumerate and classify the left braces of size $p^2q$ where $p$ and $q$ are distinct prime numbers by the classification of regular subgroups of the holomorph of the abelian groups of the same order. We also provide the formulas that define the constructed braces.
Let $L/K$ be a $G$-Galois extension of fields with an $H$-Hopf Galois structure of type $N$. We study the ratio $GC(G, N)$, which is the number of intermediate fields $E$ with $K \subseteq E \subseteq L$ that are in the image of the Galois correspondence for the $H$-Hopf Galois structure on $L/K$, divided by the number of intermediate fields. By Galois descent, $L \otimes_K H = LN$ where $N$ is a $G$-invariant regular subgroup of $\mathrm{Perm}(G)$, and then $GC(G, N)$ is the number of $G$-invariant subgroups of $N$, divided by the number of subgroups of $G$. We look at the Galois corresponden…
Let $n \geq 1$ be a squarefree integer, and let $M$, $A$ be two groups of order $n$. Using our previous results on the enumeration of Hopf-Galois structures on Galois extensions of fields of squarefree degree, we determine the number of skew braces (up to isomorphism) with multiplicative group $M$ and additive group $A$. As an application, we enumerate skew braces whose order is the product of three distinct primes.
In this paper we enumerate the skew braces of non-abelian type of size $p^2q$ for $p,q$ primes with $q>2$ by the classification of regular subgroups of the holomorph of the non-abelian groups of the same order. Since Crespo dealt with the case $q=2$, this paper completes the enumeration of skew braces of size $p^2q$ started in a previous work by the authors. In some cases, we provide also a structural description of the skew braces. As an application, we prove a conjecture posed by V. Bardakov, M. Neshchadim and M. Yadav.
Let $G$ and $N$ be two finite groups of the same order. It is well-known that the existences of the following are equivalent: (a) a Hopf-Galois structure of type $N$ on any Galois $G$-extension; (b) a skew brace with additive group $N$ and multiplicative group $G$; (c) a regular subgroup isomorphic to $G$ in the holomorph of $N$. We shall say that $(G,N)$ is realizable when any of the above exists. Fixing $N$ to be a cyclic group, W. Rump (2019) has determined the groups $G$ for which $(G,N)$ is realizable. In this paper, fixing $G$ to be a cyclic group instead, we shall give a complete charac…
Relative commuting probability and BFC-type results for finite skew braces
Harish-Chandra Research Institute（哈里什-钱德拉研究所）；Homi Bhabha National Institute（霍米·巴巴国立研究所）；University of Brasilia（巴西利亚大学）；Universit‘a di Napoli Federico II（那不勒斯费德里科二世大学）
We describe the additive subgroups of fields which are closed with respect to taking inverses. In particular, in characteristic different from two any such subgroup is either a subfield or the kernel of the trace map of a quadratic subextension of the field.
The Hopf-Galois structures admitted by a Galois extension of fields $ L/K $ with Galois group $ G $ correspond bijectively with certain subgroups of $ \mathrm{Perm}(G) $. We use a natural partition of the set of such subgroups to obtain a method for partitioning the set of corresponding Hopf-Galois structures, which we term $ ρ$-conjugation. We study properties of this construction, with particular emphasis on the Hopf-Galois analogue of the Galois correspondence, the connection with skew left braces, and applications to questions of integral module structure in extensions of local or global f…
Given a finite bijective non-degenerate set-theoretic solution $(X,r)$ of the Yang--Baxter equation we characterize when its structure monoid $M(X,r)$ is Malcev nilpotent. Applying this characterization to solutions coming from racks, we rediscover some results obtained recently by Lebed and Mortier, and by Lebed and Vendramin on the description of finite abelian racks and quandles. We also investigate bijective non-degenerate multipermutation (not necessarily finite) solutions $(X,r)$ and show, for example, that this property is equivalent to the solution associated to the structure monoid $M…
Let $D$ be a division ring and $K$ a subfield of $D$ which is not necessarily contained in the center $F$ of $D$. In this paper, we study the structure of $D$ under the condition of left algebraicity of certain subsets of $D$ over $K$. Among results, it is proved that if $D^*$ contains a noncentral normal subgroup which is left algebraic over $K$ of bounded degree $d$, then $[D:F]\le d^2$. In case $K=F$, the obtained results show that if either all additive commutators or all multiplicative commutators with respect to a noncentral subnormal subgroup of $D^*$ are algebraic of bounded degree $d$…
Let $\mathbb Z \langle X \rangle$ be the free unital associative ring freely generated by an infinite countable set $X = \{ x_1,x_2, \dots \}$. Define a left-normed commutator $[x_1,x_2, \dots, x_n]$ by $[a,b] = ab - ba$, $[a,b,c] = [[a,b],c]$. For $n \ge 2$, let $T^{(n)}$ be the two-sided ideal in $\mathbb Z \langle X \rangle$ generated by all commutators $[a_1,a_2, \dots, a_n]$ $( a_i \in \mathbb Z \langle X \rangle )$. Let $T^{(3,2)}$ be the two-sided ideal of the ring $\mathbb Z \langle X \rangle$ generated by all elements $[a_1, a_2, a_3, a_4]$ and $[a_1, a_2] [a_3, a_4, a_5]$ $(a_i \in \…
Finite non-abelian non-metacyclic $2$-generated $p$-groups (${p>2}$) of nilpotency class $2$ with cyclic commutator subgroup which are the additive groups of local nearrings are described. It is shown that the subgroup of all non-invertible elements is of index $p$ in its additive group.
