Related papers: New classes of IYB groups

In this paper we prove that any finite group of order $n$ can be viewed as the group of the solutions of a certain matrix equation $XB=BY$, where the unknowns $X,Y$ are two permutation matrices of order $n$ and $(1+k)n+2 $ respectively and…

We study non-degenerate involutive set-theoretic solutions (X,r) of the Yang-Baxter equation, we call them simply solutions. We show that the structure group G(X,r) of a finite non-trivial solution (X,r) cannot be an Engel group. It is…

Let $ x $ be an element of a finite group $ G $ and denote the order of $ x $ by $ \mathrm{ord}(x) $. We consider a finite group $ G $ such that $ \gcd(\mathrm{ord}(x),\mathrm{ord}(y))\leqslant 2 $ for any two vanishing elements $ x $ and $…

We show that the Nichols algebra of a simple Yetter-Drinfeld module over a projective special linear group over a finite field whose support is a semisimple orbit has infinite dimension, provided that the elements of the orbit are…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

In 1968, John Thompson proved that a finite group G is solvable if and only if every 2-generator subgroup of G is solvable. In this paper, we prove that solvability of a finite group G is guaranteed by a seemingly weaker condition: G is…

Let $G$ be a finite nonabelian group. We show how an endomorphism of $G$ with abelian image gives rise to a family of binary operations $\{\circ_n: n\in \mathbb Z^{\ge 0}\}$ on $G$ such that $(G,\circ_m,\circ_n)$ is a skew left brace for…

We study finite groups $G$ with the property that for any subgroup $M$ maximal in $G$ whose order is divisible by all the prime divisors of $|G|$, $M$ is supersolvable. We show that any nonabelian simple group can occur as a composition…

We classify all groups G and all pairs (V,W) of absolutely simple Yetter-Drinfeld modules over G such that the support of the direct sum of V and W generates G, the square of the braiding between V and W is not the identity, and the Nichols…

An infinite filiform Lie algebra L is residually nilpotent and its graded associated with respect to the lower central series has smallest possible dimension in each degree but is still infinite. This means that gr(L) is of dimension two in…

In this paper, we study involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation with regular displacement group. In particular, we completely describe the blocks of imprimitivity and the congruences of the…

We establish a surprising correspondence between groups definable in o-minimal structures and linear algebraic groups, in the nilpotent case. It turns out that in the o-minimal context, like for finite groups, nilpotency is equivalent to…

A finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation gives rise to a structure skew brace $B(X,r)$ that is a $\lambda_f$-skew brace, i.e. every element has finitely many $\lambda$-images, and whose additive…

The main objective of this article is to initiate a detailed structure theory of left nilpotent skew braces $B$ of class $2$, i.e. skew braces with $B^3 = 0$. We prove that if $B$ is of nilpotent type, then $B$ is centrally nilpotent. In…

The class of evolving groups is defined and investigated, as well as their connections to examples in the field of Galois cohomology. Evolving groups are proved to be Sylow Tower groups in a rather strong sense. In addition, evolving groups…

The quantum Yang-Baxter equation is a braiding condition on vector spaces which is of high relevance in several fields of mathematics, such as knot theory and quantum group theory. Their combinatorial counterpart are set-theoretic solutions…

We give a complete characterization of all indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level~2. In the first step we present a construction of some family of such solutions and in the second step we…

We classify all non-abelian groups G such that there exists a pair (V,W) of absolutely simple Yetter-Drinfeld modules over G such that the Nichols algebra of the direct sum of V and W is finite-dimensional under two assumptions: the square…

We define isoclinism of skew braces and present several applications. We study some properties of skew braces that are invariant under isoclinism. For example, we prove that right nilpotency is an isoclinism invariant. This result has…

The interplay between set-theoretic solutions of the Yang--Baxter equation of Mathematical Physics, skew braces, regular subgroups, and Hopf--Galois structures has spawned a considerable body of literature in recent years. In a recent…