-
New classes of IYB groups
Authors:
Ferran Cedo,
Jan Okninski
Abstract:
It is proven that every finite group of odd order with all Sylow subgroups of nilpotency class at most two is an involutive Yang-Baxter group (IYB group for short), i.e. it admits a structure of left brace. It is also proven that every finite solvable group of even order with all Sylow subgroups of nilpotency class at most two and abelian Sylow 2-subgroups is an IYB group. These results contribute…
▽ More
It is proven that every finite group of odd order with all Sylow subgroups of nilpotency class at most two is an involutive Yang-Baxter group (IYB group for short), i.e. it admits a structure of left brace. It is also proven that every finite solvable group of even order with all Sylow subgroups of nilpotency class at most two and abelian Sylow 2-subgroups is an IYB group. These results contribute to the open problem asking which finite solvable groups are IYB, in particular they generalize a result of Ben David and Ginosar concerned with finite solvable groups with abelian Sylow subgroups. With the same techniques it is proven that every finite solvable group with all Sylow subgroups nilpotent of class at most two is isomorphic to the multiplicative group of a skew left brace of nilpotent type. It is also proven that every finite group with the Sylow tower property is isomorphic to the multiplicative group of a skew left brace of nilpotent type.
△ Less
Submitted 12 June, 2025; v1 submitted 20 February, 2025;
originally announced February 2025.
-
Simple solutions of the Yang-Baxter equation of cardinality $p^n$
Authors:
Ferran Cedo,
Jan Okninski
Abstract:
For every prime number p and integer $n>1$, a simple, involutive, non-degenerate set-theoretic solution $(X,r$) of the Yang-Baxter equation of cardinality $|X| = p^n$ is constructed. Furthermore, for every non-(square-free) positive integer m which is not the square of a prime number, a non-simple, indecomposable, irretractable, involutive, non-degenerate set-theoretic solution $(X,r)$ of the Yang…
▽ More
For every prime number p and integer $n>1$, a simple, involutive, non-degenerate set-theoretic solution $(X,r$) of the Yang-Baxter equation of cardinality $|X| = p^n$ is constructed. Furthermore, for every non-(square-free) positive integer m which is not the square of a prime number, a non-simple, indecomposable, irretractable, involutive, non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation of cardinality $|X| = m$ is constructed. A recent question of Castelli on the existence of singular solutions of certain type is also answered affirmatively.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
New simple solutions of the Yang--Baxter equation and their permutation groups
Authors:
Ferran Cedo,
Jan Okninski
Abstract:
A new class of indecomposable, irretractable, involutive, non-degenerate set-theoretic solutions of the Yang--Baxter equation is constructed. This class complements the class of such solutions constructed in \cite{CO22} and together they generalize the class of solutions described in \cite[Theorem 4.7{CO21}. Necessary and sufficient conditions are found in order that these new solutions are simple…
▽ More
A new class of indecomposable, irretractable, involutive, non-degenerate set-theoretic solutions of the Yang--Baxter equation is constructed. This class complements the class of such solutions constructed in \cite{CO22} and together they generalize the class of solutions described in \cite[Theorem 4.7{CO21}. Necessary and sufficient conditions are found in order that these new solutions are simple. For a rich subclass of these solutions the structure of their permutation groups, considered as left braces, is determined. In particular, these results answer a question stated in \cite{CO21}. In the finite case, all these solutions have square cardinality. A new class of finite simple solutions of non-square cardinality such that their permutation groups are simple left braces is also constructed.
△ Less
Submitted 8 June, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
Indecomposable solutions of the Yang-Baxter equation of square-free cardinality
Authors:
Ferran Cedó,
Jan Okniński
Abstract:
Indecomposable involutive non-degenerate set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of cardinality $p_1\cdots p_n$, for different prime numbers $p_1,\ldots, p_n$, are studied. It is proved that they are multipermutation solutions of level $\leq n$. In particular, there is no simple solution of a non-prime square-free cardinality. This solves a problem stated in [F. Cedó, J. Oknińs…
▽ More
Indecomposable involutive non-degenerate set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of cardinality $p_1\cdots p_n$, for different prime numbers $p_1,\ldots, p_n$, are studied. It is proved that they are multipermutation solutions of level $\leq n$. In particular, there is no simple solution of a non-prime square-free cardinality. This solves a problem stated in [F. Cedó, J. Okniński, Constructing finite simple solutions of the Yang-Baxter equation, Adv. Math. 391 (2021), 107968] and provides a far reaching extension of several earlier results on indecomposability of solutions. The proofs are based on a detailed study of the brace structure on the permutation group $\mathcal G(X,r)$ associated to such a solution. It is proved that $p_1,\ldots, p_n$ are the only primes dividing the order of $\mathcal{G}(X,r)$. Moreover, the Sylow $p_i$-subgroups of $\mathcal{G}(X,r)$ are elementary abelian $p_i$-groups and if $P_i$ denotes the Sylow $p_i$-subgroup of the additive group of the left brace $\mathcal{G}(X,r)$, then there exists a permutation $σ\in S_n$ such that $P_{σ(1)}, \, P_{σ(1)}P_{σ(2)}, \dots , P_{σ(1)}P_{σ(2)}\cdots P_{σ(n)}$ are ideals of the left brace $\mathcal{G}(X,r)$ and $\mathcal{G}(X,r)=P_1P_2\cdots P_n$. In addition, indecomposable solutions of cardinality $p_1\cdots p_n$ that are multipermutation of level $n$ are constructed, for every nonnegative integer $n$.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Corrigendum and Addendum to "Structure monoids of set-theoretic solutions of the Yang--Baxter equation"
Authors:
Ferran Cedó,
Eric Jespers,
Charlotte Verwimp
Abstract:
One of the results in our article, which appeared in Publ. Mat. 65 (2021), 499--528, is that the structure monoid $M(X,r)$ of a left non-degenerate solution $(X,r)$ of the Yang-Baxter Equation is a left semi-truss, in the sense of Brzeziński, with an additive structure monoid that is close to being a normal semigroup. Let $η$ denote the least left cancellative congruence on the additive monoid…
▽ More
One of the results in our article, which appeared in Publ. Mat. 65 (2021), 499--528, is that the structure monoid $M(X,r)$ of a left non-degenerate solution $(X,r)$ of the Yang-Baxter Equation is a left semi-truss, in the sense of Brzeziński, with an additive structure monoid that is close to being a normal semigroup. Let $η$ denote the least left cancellative congruence on the additive monoid $M(X,r)$. It is then shown that $η$ also is a congruence on the multiplicative monoid $M(X,r)$ and that the left cancellative epimorphic image $\bar{M}=M(X,r)/η$ inherits a semi-truss structure and thus one obtains a natural left non-degenerate solution of the Yang-Baxter equation on $\bar{M}$. Moreover, it restricts to the original solution $r$ for some interesting classes, in particular if $(X, r)$ is irretractable. The proof contains a gap. In the first part of the paper we correct this mistake by introducing a new left cancellative congruence $μ$ on the additive monoid $M(X,r)$ and show that it also yields a left cancellative congruence on the multiplicative monoid $M(X,r)$ and we obtain a semi-truss structure on $M(X,r)/μ$ that also yields a natural left non-degenerate solution.
In the second part of the paper we start from the least left cancellative congruence $ν$ on the multiplicative monoid $M(X,r)$ and show that it also is a congruence on the additive monoid $M(X,r)$ in case $r$ is bijective. If, furthermore, $r$ is left and right non-degenerate and bijective then $ν=η$, the least left cancellative congruence on the additive monoid $M(X,r)$, extending an earlier result of Jespers, Kubat and Van Antwerpen to the infinite case.
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
New simple solutions of the Yang-Baxter equation and solutions associated to simple left braces
Authors:
Ferran Cedó,
Jan Okniński
Abstract:
Involutive non-degenerate set theoretic solutions of the Yang-Baxter equation are considered, with a focus on finite solutions. A rich class of indecomposable and irretractable solutions is determined and necessary and sufficient conditions are found in order that these solutions are simple. Then a link between simple solutions and simple left braces is established, that allows us to construct mor…
▽ More
Involutive non-degenerate set theoretic solutions of the Yang-Baxter equation are considered, with a focus on finite solutions. A rich class of indecomposable and irretractable solutions is determined and necessary and sufficient conditions are found in order that these solutions are simple. Then a link between simple solutions and simple left braces is established, that allows us to construct more examples of simple solutions. In particular, the results answer some problems stated in the recent paper [13].
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Constructing finite simple solutions of the Yang-Baxter equation
Authors:
Ferran Cedó,
Jan Okniński
Abstract:
We study involutive non-degenerate set-theoretic solutions (X,r) of the Yang-Baxter equation on a finite set X. The emphasis is on the case where (X,r) is indecomposable, so the associated permutation group acts transitively on X. One of the major problems is to determine how such solutions are built from the imprimitivity blocks; and also how to characterize these blocks. We focus on the case of…
▽ More
We study involutive non-degenerate set-theoretic solutions (X,r) of the Yang-Baxter equation on a finite set X. The emphasis is on the case where (X,r) is indecomposable, so the associated permutation group acts transitively on X. One of the major problems is to determine how such solutions are built from the imprimitivity blocks; and also how to characterize these blocks. We focus on the case of so called simple solutions, which are of key importance. Several infinite families of such solutions are constructed for the first time. In particular, a broad class of simple solutions of order p^2, for any prime p, is completely characterized.
△ Less
Submitted 15 December, 2020;
originally announced December 2020.
-
On various types of nilpotency of the structure monoid and group of a set-theoretic solution of the Yang--Baxter equation
Authors:
F. Cedó,
E. Jespers,
Ł. Kubat,
A. Van Antwerpen,
C. Verwimp
Abstract:
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 inve…
▽ More
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(X,r)$ (respectively structure group $G(X,r)$) being a multipermuation solution and that $G=G(X,r)$ is solvable of derived length not exceeding the multipermutation level of $(X,r)$ enlarged by one, generalizing results of Gateva-Ivanova and Cameron obtained in the involutive case. Moreover, we also prove that if $X$ is finite and $G=G(X,r)$ is nilpotent, then the torsion part of the group $G$ is finite, it coincides with the commutator subgroup $[G,G]_+$ of the additive structure of the skew left brace $G$ and $G/[G,G]_+$ is a trivial left brace.
△ Less
Submitted 18 July, 2022; v1 submitted 3 November, 2020;
originally announced November 2020.
-
Nilpotency in left semi-braces
Authors:
Francesco Catino,
Ferran Cedó,
Paola Stefanelli
Abstract:
We introduce left and right series of left semi-braces. This allows to define left and right nilpotent left semi-braces. We study the structure of such semi-braces and generalize some results, known for skew left braces, to left semi-braces. We study the structure of left semi-braces $B$ such that the set of additive idempotents $E$ is an ideal of $B$. Finally we introduce the concept of a nilpote…
▽ More
We introduce left and right series of left semi-braces. This allows to define left and right nilpotent left semi-braces. We study the structure of such semi-braces and generalize some results, known for skew left braces, to left semi-braces. We study the structure of left semi-braces $B$ such that the set of additive idempotents $E$ is an ideal of $B$. Finally we introduce the concept of a nilpotent left semi-brace and we show that the multiplicative group of such semi-braces is nilpotent.
△ Less
Submitted 10 October, 2020;
originally announced October 2020.
-
Primitive set-theoretic solutions of the Yang-Baxter equation
Authors:
F. Cedo,
E. Jespers,
J. Okninski
Abstract:
To every involutive non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation on a finite set $X$ there is a naturally associated finite solvable permutation group ${\mathcal G}(X,r)$ acting on $X$. We prove that every primitive permutation group of this type is of prime order $p$. Moreover, $(X,r)$ is then a so called permutation solution determined by a cycle of length $p$. This…
▽ More
To every involutive non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation on a finite set $X$ there is a naturally associated finite solvable permutation group ${\mathcal G}(X,r)$ acting on $X$. We prove that every primitive permutation group of this type is of prime order $p$. Moreover, $(X,r)$ is then a so called permutation solution determined by a cycle of length $p$. This solves a problem recently asked by A. Ballester-Bolinches. The result opens a new perspective on a possible approach to the classification problem of all involutive non-degenerate set-theoretic solutions.
△ Less
Submitted 4 March, 2020;
originally announced March 2020.
-
Every finite abelian group is a subgroup of the additive group of a finite simple left brace
Authors:
F. Cedo,
E. Jespers,
J. Okninski
Abstract:
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 com…
▽ More
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.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Structure monoids of set-theoretic solutions of the Yang-Baxter equation
Authors:
Ferran Cedo,
Eric Jespers,
Charlotte Verwimp
Abstract:
Given a set-theoretic solution $(X,r)$ of the Yang--Baxter equation, we denote by $M=M(X,r)$ the structure monoid and by $A=A(X,r)$, respectively $A'=A'(X,r)$, the left, respectively right, derived structure monoid of $(X,r)$. It is shown that there exist a left action of $M$ on $A$ and a right action of $M$ on $A'$ and 1-cocycles $π$ and $π'$ of $M$ with coefficients in $A$ and in $A'$ with respe…
▽ More
Given a set-theoretic solution $(X,r)$ of the Yang--Baxter equation, we denote by $M=M(X,r)$ the structure monoid and by $A=A(X,r)$, respectively $A'=A'(X,r)$, the left, respectively right, derived structure monoid of $(X,r)$. It is shown that there exist a left action of $M$ on $A$ and a right action of $M$ on $A'$ and 1-cocycles $π$ and $π'$ of $M$ with coefficients in $A$ and in $A'$ with respect to these actions respectively. We investigate when the 1-cocycles are injective, surjective or bijective. In case $X$ is finite, it turns out that $π$ is bijective if and only if $(X,r)$ is left non-degenerate, and $π'$ is bijective if and only if $(X,r)$ is right non-degenerate. In case $(X,r) $ is left non-degenerate, in particular $π$ is bijective, we define a semi-truss structure on $M(X,r)$ and then we show that this naturally induces a set-theoretic solution $(\bar M, \bar r)$ on the least cancellative image $\bar M= M(X,r)/η$ of $M(X,r)$. In case $X$ is naturally embedded in $M(X,r)/η$, for example when $(X,r)$ is irretractable, then $\bar r$ is an extension of $r$. It also is shown that non-degenerate irretractable solutions necessarily are bijective.
△ Less
Submitted 25 March, 2021; v1 submitted 20 December, 2019;
originally announced December 2019.
-
Set-theoretic solutions of the Yang--Baxter equation, associated quadratic algebras and the minimality condition
Authors:
F. Cedo,
E. Jespers,
J. Okninski
Abstract:
Given a finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation and a field $K$, the structure $K$-algebra of $(X,r)$ is $A=A(K,X,r)=K\langle X\mid xy=uv \mbox{ whenever }r(x,y)=(u,v)\rangle$. Note that $A=\oplus_{n\geq 0} A_n$ is a graded algebra, where $A_n$ is the linear span of all the elements $x_1\cdots x_n$, for $x_1,\dots ,x_n\in X$. One of the known results assert…
▽ More
Given a finite non-degenerate set-theoretic solution $(X,r)$ of the Yang-Baxter equation and a field $K$, the structure $K$-algebra of $(X,r)$ is $A=A(K,X,r)=K\langle X\mid xy=uv \mbox{ whenever }r(x,y)=(u,v)\rangle$. Note that $A=\oplus_{n\geq 0} A_n$ is a graded algebra, where $A_n$ is the linear span of all the elements $x_1\cdots x_n$, for $x_1,\dots ,x_n\in X$. One of the known results asserts that the maximal possible value of $\dim (A_2)$ corresponds to involutive solutions and implies several deep and important properties of $A(K,X,r)$. Following recent ideas of Gateva-Ivanova \cite{GI2018}, we focus on the minimal possible values of the dimension of $A_2$. We determine lower bounds and completely classify solutions $(X,r)$ for which these bounds are attained in the general case and also in the square-free case. This is done in terms of the so called derived solution, introduced by Soloviev and closely related with racks and quandles. Several problems posed in \cite{GI2018} are solved.
△ Less
Submitted 26 April, 2019;
originally announced April 2019.
-
An abundance of simple left braces with abelian multiplicative Sylow subgroups
Authors:
Ferran Cedó,
Eric Jespers,
Jan Okniński
Abstract:
Braces were introduced by Rump to study involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. A constructive method for producing all such finite solutions from a description of all finite left braces has been recently discovered. It is thus a fundamental problem to construct and classify all simple left braces, as they can be considered as building blocks for the general…
▽ More
Braces were introduced by Rump to study involutive non-degenerate set-theoretic solutions of the Yang-Baxter equation. A constructive method for producing all such finite solutions from a description of all finite left braces has been recently discovered. It is thus a fundamental problem to construct and classify all simple left braces, as they can be considered as building blocks for the general theory. This program recently has been initiated by Bachiller and the authors. In this paper we study the simple finite left braces such that the Sylow subgroups of their multiplicative groups are abelian. We provide several new families of such simple left braces. In particular, they lead to the main, surprising result, that shows that there is an abundance of such simple left braces.
△ Less
Submitted 17 July, 2018;
originally announced July 2018.
-
Skew left braces of nilpotent type
Authors:
Ferran Cedo,
Agata Smoktunowicz,
Leandro Vendramin
Abstract:
We study series of left ideals of skew left braces that are analogs of upper central series of groups. These concepts allow us to define left and right nilpotent skew left braces. Several results related to these concepts are proved and applications to infinite left braces are given. Indecomposable solutions of the Yang-Baxter equation are explored using the structure of skew left braces.
We study series of left ideals of skew left braces that are analogs of upper central series of groups. These concepts allow us to define left and right nilpotent skew left braces. Several results related to these concepts are proved and applications to infinite left braces are given. Indecomposable solutions of the Yang-Baxter equation are explored using the structure of skew left braces.
△ Less
Submitted 23 September, 2018; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Asymmetric product of left braces and simplicity; new solutions of the Yang-Baxter equation
Authors:
David Bachiller,
Ferran Cedó,
Eric Jespers,
Jan Okniński
Abstract:
The problem of constructing all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation recently has been reduced to the problem of describing all the left braces. In particular, the classification of all finite left braces is fundamental in order to describe all finite such solutions of the Yang-Baxter equation. In this paper we continue the study of finite simple left b…
▽ More
The problem of constructing all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation recently has been reduced to the problem of describing all the left braces. In particular, the classification of all finite left braces is fundamental in order to describe all finite such solutions of the Yang-Baxter equation. In this paper we continue the study of finite simple left braces with the emphasis on the application of the asymmetric product of left braces in order to construct new classes of simple left braces. We do not only construct new classes but also we interpret all previously known constructions as asymmetric products. Moreover, a construction is given of finite simple left braces with a multiplicative group that is solvable of arbitrary derived length.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Braces and symmetric groups with special conditions
Authors:
Ferran Cedó,
Tatiana Gateva-Ivanova,
Agata Smoktunowicz
Abstract:
We study symmetric groups and left braces satisfying special conditions, or identities. We are particularly interested in the impact of conditions like $\textbf{Raut}$ and $\textbf{lri}$ on the properties of the symmetric group and its associated brace. We show that the symmetric group $G=G(X,r)$ associated to a nontrivial solution $(X,r)$ has multipermutation level $2$ if and only if $G$ satisfie…
▽ More
We study symmetric groups and left braces satisfying special conditions, or identities. We are particularly interested in the impact of conditions like $\textbf{Raut}$ and $\textbf{lri}$ on the properties of the symmetric group and its associated brace. We show that the symmetric group $G=G(X,r)$ associated to a nontrivial solution $(X,r)$ has multipermutation level $2$ if and only if $G$ satisfies $\textbf{lri}$. In the special case of a two-sided brace we express each of the conditions $\textbf{lri}$ and $\textbf{Raut}$ as identities on the associated radical ring $G_*$. We apply these to construct examples of two-sided braces satisfying some prescribed conditions. In particular we construct a finite two-sided brace with condition $\textbf{Raut}$ which does not satisfy $\textbf{lri}$. (It is known that condition $\textbf{lri}$ implies $\textbf{Raut}$). We show that a finitely generated two-sided brace which satisfies \textbf{lri} has a finite multipermutation level which is bounded by the number of its generators.
△ Less
Submitted 26 March, 2017;
originally announced March 2017.
-
A characterization of finite multipermutation solutions of the Yang-Baxter equation
Authors:
D. Bachiller,
F. Cedó,
L. Vendramin
Abstract:
We prove that a finite non-degenerate involutive set-theoretic solution (X,r) of the Yang-Baxter equation is a multipermutation solution if and only if its structure group G(X,r) admits a left ordering or equivalently it is poly-(infinite cyclic).
We prove that a finite non-degenerate involutive set-theoretic solution (X,r) of the Yang-Baxter equation is a multipermutation solution if and only if its structure group G(X,r) admits a left ordering or equivalently it is poly-(infinite cyclic).
△ Less
Submitted 28 June, 2017; v1 submitted 31 January, 2017;
originally announced January 2017.
-
Iterated matched products of finite braces and simplicity; new solutions of the Yang-Baxter equation
Authors:
D. Bachiller,
F. Cedó,
E. Jespers,
J. Okninski
Abstract:
Braces were introduced by Rump as a promising tool in the study of the set-theoretic solutions of the Yang-Baxter equation. It has been recently proved that, given a left brace $B$, one can construct explicitly all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation such that the associated permutation group is isomorphic, as a left brace, to $B$. It is hence of funda…
▽ More
Braces were introduced by Rump as a promising tool in the study of the set-theoretic solutions of the Yang-Baxter equation. It has been recently proved that, given a left brace $B$, one can construct explicitly all the non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation such that the associated permutation group is isomorphic, as a left brace, to $B$. It is hence of fundamental importance to describe all simple objects in the class of finite left braces. In this paper we focus on the matched product decompositions of an arbitrary finite left brace. This is used to construct new families of finite simple left braces.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
On the Yang-Baxter equation and left nilpotent left braces
Authors:
Ferran Cedó,
Tatiana Gateva-Ivanova,
Agata Smoktunowicz
Abstract:
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 known that the structure group G(X,r) of a finite multipermutation solution (X,r) is a poly-Z group, thus our result gives a rich source of examples of braided grou…
▽ More
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 known that the structure group G(X,r) of a finite multipermutation solution (X,r) is a poly-Z group, thus our result gives a rich source of examples of braided groups and left braces G(X,r) which are poly-Z groups but not Engel groups.
We also show that a finite solution of the Yang-Baxter equation can be embedded in a convenient way into a finite brace and into a finite braided group.
For a left brace A, we explore the close relation between the multipermutation level of the solution associated with it and the radical chain $A^{(n+1)}=A^{(n)}* A$ introduced by Rump.
△ Less
Submitted 26 January, 2016;
originally announced January 2016.
-
A family of irretractable square-free solutions of the Yang-Baxter equation
Authors:
David Bachiller,
Ferran Cedo,
Eric Jespers,
Jan Okninski
Abstract:
A new family of non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation is constructed. All these solutions are strong twisted unions of multipermutation solutions of multipermutation level at most two. A large subfamily consists of irretractable and square-free solutions. This subfamily includes a recent example of Vendramin, who first gave a counterexample to Gateva-Ivanova…
▽ More
A new family of non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation is constructed. All these solutions are strong twisted unions of multipermutation solutions of multipermutation level at most two. A large subfamily consists of irretractable and square-free solutions. This subfamily includes a recent example of Vendramin, who first gave a counterexample to Gateva-Ivanova's Strong Conjecture. All the solutions in this subfamily are new counterexamples to Gateva-Ivanova's Strong Conjecture and also they answer a question of Cameron and Gateva-Ivanova. It is proved that the natural left brace structure on the permutation group of the solutions in this family has trivial socle. Properties of the permutation group and of the structure group associated to these solutions are also investigated. In particular, it is proved that the structure groups of finite solutions in this subfamily are not poly-(infinite cyclic) groups.
△ Less
Submitted 5 October, 2016; v1 submitted 24 November, 2015;
originally announced November 2015.
-
Solutions of the Yang-Baxter equation associated with a left brace
Authors:
David Bachiller,
Ferran Cedo,
Eric Jespers
Abstract:
Given a left brace $G$, a method to construct all the involutive, non-degenerate set-theoretic solutions $(Y,s)$ of the YBE, such that $\mathcal{G}(Y,s)\cong G$ is given. This method depends entirely on the brace structure of $G$.
Given a left brace $G$, a method to construct all the involutive, non-degenerate set-theoretic solutions $(Y,s)$ of the YBE, such that $\mathcal{G}(Y,s)\cong G$ is given. This method depends entirely on the brace structure of $G$.
△ Less
Submitted 10 March, 2015;
originally announced March 2015.
-
Group algebras and semigroup algebras defined by permutation relations of fixed length
Authors:
Ferran Cedo,
Eric Jespers,
Georg Klein
Abstract:
Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{σ(i_1)} x_{σ(i_2)} \cdots x_{σ(i_l)}$, where $σ$ runs through $H$, is considered. It is shown that $G$ has a free subgroup of finite index. For a field $K$, properties of the…
▽ More
Let $H$ be a subgroup of $\text{Sym}_n$, the symmetric group of degree $n$. For a fixed integer $l \geq 2$, the group $G$ presented with generators $x_1, x_2, \ldots ,x_n$ and with relations $x_{i_1}x_{i_2}\cdots x_{i_l} =x_{σ(i_1)} x_{σ(i_2)} \cdots x_{σ(i_l)}$, where $σ$ runs through $H$, is considered. It is shown that $G$ has a free subgroup of finite index. For a field $K$, properties of the algebra $K[G]$ are derived. In particular, the Jacobson radical $\mathcal{J}(K[G])$ is always nilpotent, and in many cases the algebra $K[G]$ is semiprimitive. Results on the growth and the Gelfand-Kirillov dimension of $K[G]$ are given. Further properties of the semigroup $S$ and the semigroup algebra $K[S]$ with the same presentation are obtained, in case $S$ is cancellative. The Jacobson radical is nilpotent in this case as well, and sufficient conditions for the algebra to be semiprimitive are given.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
Finitely presented algebras defined by permutation relations of dihedral type
Authors:
Ferran Cedo,
Eric Jespers,
Georg Klein
Abstract:
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{σ(1)} a_{σ(2)} \cdots a_{σ(n)}$, where $σ$ runs through a subset $H$ of the symmetric group $\text{Sym}_{n}$ of degree $n$, is investigated. Groups $H$ in which the cyclic group $\langle (1,2, \ldots ,n) \rangle$ is a…
▽ More
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{σ(1)} a_{σ(2)} \cdots a_{σ(n)}$, where $σ$ runs through a subset $H$ of the symmetric group $\text{Sym}_{n}$ of degree $n$, is investigated. Groups $H$ in which the cyclic group $\langle (1,2, \ldots ,n) \rangle$ is a normal subgroup of index $2$ are considered. Certain representations by permutations of the dihedral and semidihedral groups belong to this class of groups. A normal form for the elements of the underlying monoid $S_n(H)$ with the same presentation as the algebra is obtained. Properties of the algebra are derived, it follows that it is an automaton algebra in the sense of Ufnarovskiĭ. The universal group $G_n$ of $S_n(H)$ is a unique product group, and it is the central localization of a cancellative subsemigroup of $S_n(H)$. This, together with previously obtained results on such semigroups and algebras, is used to show that the algebra $K[S_n(H)]$ is semiprimitive.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
Construction of a two unique product semigroup defined by permutation relations of quaternion type
Authors:
Ferran Cedo,
Eric Jespers,
Georg Klein
Abstract:
For a regular representation $H \subseteq \text{Sym}_n$ of the generalized quaternion group of order $n=4k$, with $k\geq 2$, the monoid $S_n(H)$ presented with generators $a_1,a_2,\dots ,a_n$ and with relations $a_1a_2\cdots a_n=a_{σ(1)}a_{σ(2)}\cdots a_{σ(n)}$, for all $σ\in H$, is investigated. It is shown that $S_n(H)$ has the two unique product property. As a consequence, for any field $K$, th…
▽ More
For a regular representation $H \subseteq \text{Sym}_n$ of the generalized quaternion group of order $n=4k$, with $k\geq 2$, the monoid $S_n(H)$ presented with generators $a_1,a_2,\dots ,a_n$ and with relations $a_1a_2\cdots a_n=a_{σ(1)}a_{σ(2)}\cdots a_{σ(n)}$, for all $σ\in H$, is investigated. It is shown that $S_n(H)$ has the two unique product property. As a consequence, for any field $K$, the monoid algebra $K[S_n(H)]$ is a domain with trivial units which is semiprimitive.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
A family of solutions of the Yang-Baxter equation
Authors:
David Bachiller,
Ferran Cedo
Abstract:
A new method to construct involutive non-degenerate set-theoretic solutions $(X^n,r^{(n)})$ of the Yang-Baxter equation from an initial solution $(X,r)$ is given. Furthermore, the permutation group $\mathcal{G}(X^n,r^{(n)})$ associated to the solution $(X^n,r^{(n)})$ is isomorphic to a subgroup of $\mathcal{G}(X,r)$, and in many cases $\mathcal{G}(X^n,r^{(n)})\cong \mathcal{G}(X,r)$.
A new method to construct involutive non-degenerate set-theoretic solutions $(X^n,r^{(n)})$ of the Yang-Baxter equation from an initial solution $(X,r)$ is given. Furthermore, the permutation group $\mathcal{G}(X^n,r^{(n)})$ associated to the solution $(X^n,r^{(n)})$ is isomorphic to a subgroup of $\mathcal{G}(X,r)$, and in many cases $\mathcal{G}(X^n,r^{(n)})\cong \mathcal{G}(X,r)$.
△ Less
Submitted 18 December, 2013;
originally announced December 2013.
-
Finitely Presented Monoids and Algebras defined by Permutation Relations of Abelian Type, II
Authors:
Ferran Cedo,
Eric Jespers,
Georg Klein
Abstract:
The class of finitely presented algebras A over a field K with a set of generators x_{1},...,x_{n} and defined by homogeneous relations of the form x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{sigma(i_l)}, where l geq 2 is a given integer and sigma runs through a subgroup H of Sym_n, is considered. It is shown that the underlying monoid S_{n,l}(H)= <x_1,x_2,...,x_n|x_{i_1}x_{i_2}...x…
▽ More
The class of finitely presented algebras A over a field K with a set of generators x_{1},...,x_{n} and defined by homogeneous relations of the form x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{sigma(i_l)}, where l geq 2 is a given integer and sigma runs through a subgroup H of Sym_n, is considered. It is shown that the underlying monoid S_{n,l}(H)= <x_1,x_2,...,x_n|x_{i_1}x_{i_2}...x_{i_l}=x_{sigma(i_1)}x_{sigma(i_2)}...x_{σ(i_l)}, sigma in H, i_1,...,i_l in {1,...,n}> is cancellative if and only if H is semiregular and abelian. In this case S_{n,l}(H) is a submonoid of its universal group G. If, furthermore, H is transitive then the periodic elements T(G) of G form a finite abelian subgroup, G is periodic-by-cyclic and it is a central localization of S_{n,l}(H), and the Jacobson radical of the algebra A is determined by the Jacobson radical of the group algebra K[T(G)]. Finally, it is shown that if H is an arbitrary group that is transitive then K[S_{n,l}(H)] is a Noetherian PI-algebra of Gelfand-Kirillov dimension one; if furthermore H is abelian then often K[G] is a principal ideal ring. In case H is not transitive then K[S_{n,l}(H)] is of exponential growth.
△ Less
Submitted 24 November, 2013; v1 submitted 16 September, 2013;
originally announced September 2013.
-
Braces and the Yang-Baxter equation
Authors:
Ferran Cedo,
Eric Jespers,
Jan Okninski
Abstract:
Several aspects of relations between braces and non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation are discussed and many consequences are derived. In particular, for each positive integer $n$ a finite square-free multipermutation solution of the Yang-Baxter equation with multipermutation level $n$ and an abelian involutive Yang-Baxter group is constructed. This answers…
▽ More
Several aspects of relations between braces and non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation are discussed and many consequences are derived. In particular, for each positive integer $n$ a finite square-free multipermutation solution of the Yang-Baxter equation with multipermutation level $n$ and an abelian involutive Yang-Baxter group is constructed. This answers a problem of Gateva-Ivanova and Cameron. It is also proved that finite non-degenerate involutive set-theoretic solutions of the Yang-Baxter equation whose associated involutive Yang-Baxter group is abelian are retractable in the sense of Etingof, Schedler and Soloviev. Earlier the authors proved this with the additional square-free hypothesis on the solutions. Retractability of solutions is also proved for finite square-free non-degenerate involutive set-theoretic solutions associated to a left brace.
△ Less
Submitted 16 May, 2012;
originally announced May 2012.
-
Finitely Presented Monoids and Algebras defined by Permutation Relations of Abelian Type
Authors:
Ferran Cedo,
Eric Jespers,
Georg Klein
Abstract:
The class of finitely presented algebras over a field K with a set of generators a_1,...,a_n and defined by homogeneous relations of the form a_1a_2...a_n = a_{sigma(1)}a_{sigma(2)}...a_{sigma(n)}, where sigma runs through an abelian subgroup H of Sym_{n}, the symmetric group, is considered. It is proved that the Jacobson radical of such algebras is zero. Also, it is characterized when the monoid…
▽ More
The class of finitely presented algebras over a field K with a set of generators a_1,...,a_n and defined by homogeneous relations of the form a_1a_2...a_n = a_{sigma(1)}a_{sigma(2)}...a_{sigma(n)}, where sigma runs through an abelian subgroup H of Sym_{n}, the symmetric group, is considered. It is proved that the Jacobson radical of such algebras is zero. Also, it is characterized when the monoid S_n(H), with the "same" presentation as the algebra, is cancellative in terms of the stabilizer of 1 and the stabilizer of n in H. This work is a continuation of earlier work of Cedo, Jespers and Okninski.
△ Less
Submitted 16 June, 2010;
originally announced June 2010.
-
Algebras and groups defined by permutation relations of alternating type
Authors:
Ferran Cedo,
Eric Jespers,
Jan Okninski
Abstract:
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{σ(1)} a_{σ(2)} ... a_{σ(n)}$, where $σ$ runs through $\Alt_{n}$, the alternating group, is considered. The associated group, defined by the same (group) presentation, is described. A description of the radical of the algeb…
▽ More
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{σ(1)} a_{σ(2)} ... a_{σ(n)}$, where $σ$ runs through $\Alt_{n}$, the alternating group, is considered. The associated group, defined by the same (group) presentation, is described. A description of the radical of the algebra is found. It turns out that the radical is a finitely generated ideal that is nilpotent and it is determined by a congruence on the underlying monoid, defined by the same presentation.
△ Less
Submitted 16 April, 2009;
originally announced April 2009.
-
Retractability of set theoretic solutions of the Yang-Baxter equation
Authors:
Ferran Cedo,
Eric Jespers,
Jan Okninski
Abstract:
It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presented…
▽ More
It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presented abelian-by-finite groups (called the structure groups) are poly-${\mathbb Z}$ groups. Secondly, an example of a solution with an abelian involutive Yang-Baxter group which is not a generalized twisted union is constructed. This answers in the negative another problem of Gateva-Ivanova. The constructed solution is of multipermutation level 3. Retractability of solutions is also proved in the case where the natural generators of the IYB group are cyclic permutations. Moreover, it is shown that such solutions are generalized twisted unions.
△ Less
Submitted 23 March, 2009; v1 submitted 20 March, 2009;
originally announced March 2009.
-
Finitely presented algebras and groups defined by permutation relations
Authors:
F. Cedo,
E. Jespers,
J. Okninksi
Abstract:
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{σ(a)} a_{σ(2)} ... a_{σ(n)}$, where $σ$ runs through a subset $H$ of the symmetric group $\Sym_{n}$ of degree $n$, is introduced. The emphasis is on the case of a cyclic subgroup $H$ of $\Sym_{n}$ of order $n$. A normal fo…
▽ More
The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{σ(a)} a_{σ(2)} ... a_{σ(n)}$, where $σ$ runs through a subset $H$ of the symmetric group $\Sym_{n}$ of degree $n$, is introduced. The emphasis is on the case of a cyclic subgroup $H$ of $\Sym_{n}$ of order $n$. A normal form of elements of the algebra is obtained. It is shown that the underlying monoid, defined by the same (monoid) presentation, has a group of fractions and this group is described. Properties of the algebra are derived. In particular, it follows that the algebra is a semiprimitive domain. Problems concerning the groups and algebras defined by arbitrary subgroups $H$ of $\Sym_{n}$ are proposed.
△ Less
Submitted 2 October, 2008;
originally announced October 2008.
-
Involutive Yang-Baxter Groups
Authors:
Ferran Cedo,
Eric Jespers,
Angel del Rio
Abstract:
In 1992 Drinfeld posed the question of finding the set theoretic solutions of the Yang-Baxter equation. Recently, Gateva-Ivanova and Van den Bergh and Etingof, Schedler and Soloviev have shown a group theoretical interpretation of involutive non-degenerate solutions. Namely, there is a one-to-one correspondence between involutive non-degenerate solutions on finite sets and groups of $I$-type. A…
▽ More
In 1992 Drinfeld posed the question of finding the set theoretic solutions of the Yang-Baxter equation. Recently, Gateva-Ivanova and Van den Bergh and Etingof, Schedler and Soloviev have shown a group theoretical interpretation of involutive non-degenerate solutions. Namely, there is a one-to-one correspondence between involutive non-degenerate solutions on finite sets and groups of $I$-type. A group $\mathcal{G}$ of $I$-type is a group isomorphic to a subgroup of the natural semidirect product of $Fa_n$, the free abelian group of rank $n$, by $Sym_n$, the symmetric group on $n$ letters, so that the projection onto $Fa_n$ is a bijective map. The projection of $\mathcal{G}$ onto $Sym_n$ we call an involutive Yang-Baxter group (IYB group). This suggests the following strategy to attack Drinfeld's problem for involutive non-degenerate set theoretic solutions. First classify the IYB groups and second, for a given IYB group $G$, classify the groups of $I$-type with $G$ as associated IYB group. It is known that every IYB group is solvable. In this paper some results supporting the converse of this property are obtained. More precisely, we show that some classes of groups are IYB groups. We also give a non-obvious method to construct infinitely many groups of $I$-type (and hence infinitely many involutive non-degenerate set theoretic solutions of the Yang-Baxter equation) with a prescribed associated IYB group.
△ Less
Submitted 28 March, 2008;
originally announced March 2008.
