Related papers: On finite perfect two-sided skew braces
The aim of this article is to advance the knowledge on the theory of skew left braces. We introduce a subclass of skew left braces, which we denote by $\mathcal{I}_n$, $n \ge 1$, such that elements of the annihilator and lower central…
We study extensions and second cohomology of skew left braces via the natural semi-direct products associated with the skew left braces. Let $0 \to I \to E \to H \to 0$ be a skew brace extension and $\Lambda_H$ denote the natural…
The famous theorem of It\^{o} in group theory states that if a group $G=HK$ is the product of two abelian subgroups $H$ and $K$, then $G$ is metabelian. We shall generalize this to the setting of a skew brace $(A,{\cdot\,},\circ)$. Our main…
We prove that if $(B,+,\cdot)$ is a two-sided skew brace whose additive group is solvable, then every finite quotient of the multiplicative group $(B,\cdot)$ is solvable. In particular, our result recovers Nasybullov's theorem in the finite…
We introduce affine structures on groups and show they form a category equivalent to that of semi-braces. In particular, such a new description of semi-braces includes that presented by Rump for braces. By specific affine structures, we…
L. N. Childs defined a bi-skew brace to be a skew brace such that if we swap the role of the two operations, then we find again a skew brace. In this paper, we give a systematic analysis of bi-skew braces. We study nilpotency and…
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…
It is a simple fact that a group has a trivial automorphism group if and only if it is of order $1$ or $2$. We prove that the same holds for certain families of skew braces, and given any odd prime $p$, we construct a skew brace of order…
We study 2-reductive non-involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. We give a combinatorial construction of any such solution of any (even infinite) size. We also prove that solutions associated to a skew…
We show how to construct all the extensions of left braces by ideals with trivial structure. This is useful to find new examples of left braces. But, to do so, we must know the basic blocks for extensions: the left braces with no ideals…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
We construct all skew braces of size $pq$ (where $p>q$ are primes) by using Byott's classification of Hopf--Galois extensions of the same degree. For $p\not\equiv 1 \pmod{q}$ there exists only one skew brace which is the trivial one. When…
In this short note, we construct some nontrivial examples of topological biquandle. The key ingredient of the construction is the notion of skew brace.
Skew morphisms, which generalise automorphisms for groups, provide a fundamental tool for the study of regular Cayley maps and, more generally, for finite groups with a complementary factorisation $X = GY$, where $Y$ is cyclic and core-free…
We discuss the (first) Sylow theorem for certain classes of finite skew braces, proving it to hold true when the skew brace is two-sided, bi-skew, right nilpotent, $\lambda$-homomorphic or supersoluble. We also show it to hold true for…
The main result of this paper is an explicit construction of the free commutative skew brace -- that is, a skew brace whose circle group is commutative -- on an arbitrary generating set $X$. We embed this object into a set of rational…
We study compact and locally compact topological analogues of the Byott--Vendramin solvability problem for finite skew braces, asking whether solvability of the additive group forces solvability of the multiplicative group. Our main theorem…
Almost-direct products of free groups arise naturally in braid theory and in the study of automorphism groups of free groups. Although bi-invariant orderings are known to exist for many such groups, their explicit structure is often left…
A. Smoktunowicz and L. Vendramin conjectured that if $A=(A,\oplus,\odot)$ is a finite skew brace with solvable additive group $A_{\oplus}$, then the multiplicative group $A_{\odot}$ of $A$ is also solvable. Proving or disproving this…
In our previous paper, we gave a complete list of the finite non-abelian simple groups whose holomorph contains a solvable regular subgroup. In this paper, we refine our previous work by considering all finite almost simple groups. In…