-
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.
-
Bijective solutions to the Pentagon Equation
Authors:
I. Colazzo,
J. Okniński,
A. Van Antwerpen
Abstract:
A complete classification of all finite bijective set-theoretic solutions $(S,s)$ to the Pentagon Equation is obtained. First, it is shown that every such a solution determines a semigroup structure on the set $S$ that is the direct product $E\times G$ of a semigroup of left zeros $E$ and a group $G$. Next, we prove that this leads to a decomposition of the set $S$ as a Cartesian product…
▽ More
A complete classification of all finite bijective set-theoretic solutions $(S,s)$ to the Pentagon Equation is obtained. First, it is shown that every such a solution determines a semigroup structure on the set $S$ that is the direct product $E\times G$ of a semigroup of left zeros $E$ and a group $G$. Next, we prove that this leads to a decomposition of the set $S$ as a Cartesian product $X\times A\times G$, for some sets $X,A$ and to a discovery of a hidden group structure on $A$. Then an unexpected structure of a matched product of groups $A,G$ is found such that the solution $(S,s)$ can be explicitly described as a lift of a solution determined on the set $A\times G$ by this matched product of groups. Conversely, every matched product of groups leads to a family of solutions arising in this way. Moreover, a simple criterion for the isomorphism of two solutions is obtained. The results provide a far reaching extension of the results of Colazzo, Jespers and Kubat, dealing with the special case of the so called involutive solutions. Connections to the solutions to the Yang--Baxter equation and to the theory of skew braces are derived.
△ Less
Submitted 30 May, 2024;
originally announced May 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.
-
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.
-
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.
-
On the radical of a Hecke-Kiselman algebra
Authors:
Jan Okniński,
Magdalena Wiertel
Abstract:
The Hecke-Kiselman algebra of a finite oriented graph $Θ$ over a field $K$ is studied. If $Θ$ is an oriented cycle, it is shown that the algebra is semiprime and its central localization is a finite direct product of matrix algebras over the field of rational functions $K(x)$. More generally, the radical is described in the case of PI-algebras, and it is shown that it comes from an explicitly desc…
▽ More
The Hecke-Kiselman algebra of a finite oriented graph $Θ$ over a field $K$ is studied. If $Θ$ is an oriented cycle, it is shown that the algebra is semiprime and its central localization is a finite direct product of matrix algebras over the field of rational functions $K(x)$. More generally, the radical is described in the case of PI-algebras, and it is shown that it comes from an explicitly described congruence on the underlying Hecke-Kiselman monoid. Moreover, the algebra modulo the radical is again a Hecke-Kiselman algebra and it is a finite module over its center.
△ Less
Submitted 3 December, 2019;
originally announced December 2019.
-
Combinatorics and structure of Hecke-Kiselman algebras
Authors:
Jan Okniński,
Magdalena Wiertel
Abstract:
Hecke-Kiselman monoids $\textrm{HK}_Θ$ and their algebras $K[\textrm{HK}_Θ]$, over a field $K$, associated to finite oriented graphs $Θ$ are studied. In the case $Θ$ is a cycle of length $n\geqslant 3$, a hierarchy of certain unexpected structures of matrix type is discovered within the monoid $C_n=\textrm{HK}_Θ$ and it is used to describe the structure and the properties of the algebra $K[C_n]$.…
▽ More
Hecke-Kiselman monoids $\textrm{HK}_Θ$ and their algebras $K[\textrm{HK}_Θ]$, over a field $K$, associated to finite oriented graphs $Θ$ are studied. In the case $Θ$ is a cycle of length $n\geqslant 3$, a hierarchy of certain unexpected structures of matrix type is discovered within the monoid $C_n=\textrm{HK}_Θ$ and it is used to describe the structure and the properties of the algebra $K[C_n]$. In particular, it is shown that $K[C_n]$ is a right and left Noetherian algebra, while it has been known that it is a PI-algebra of Gelfand-Kirillov dimension one. This is used to characterize all Noetherian algebras $K[\textrm{HK}_Θ]$ in terms of the graphs $Θ$. The strategy of our approach is based on the crucial role played by submonoids of the form $C_n$ in combinatorics and structure of arbitrary Hecke-Kiselman monoids $\textrm{HK}_Θ$.
△ Less
Submitted 27 April, 2019;
originally announced April 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.
-
Plactic monoids satisfy nontrivial identities
Authors:
Jan Okniński
Abstract:
It is shown that plactic monoids satisfy nontrivial identities.
It is shown that plactic monoids satisfy nontrivial identities.
△ Less
Submitted 8 April, 2019; v1 submitted 17 February, 2019;
originally announced February 2019.
-
Gröbner basis and the automaton property of Hecke--Kiselman algebras
Authors:
Arkadiusz Mȩcel,
Jan Okniński
Abstract:
It is shown that the Hecke-Kiselman algebra associated to a finite directed graph is an automaton algebra in the sense of Ufnarovskii. Consequently, its Gelfand-Kirillov dimension is an integer if it is finite. As a consequence, it is proved that the Hecke-Kiselman algebra associated to an oriented cycle admits a finite Gröbner basis.
It is shown that the Hecke-Kiselman algebra associated to a finite directed graph is an automaton algebra in the sense of Ufnarovskii. Consequently, its Gelfand-Kirillov dimension is an integer if it is finite. As a consequence, it is proved that the Hecke-Kiselman algebra associated to an oriented cycle admits a finite Gröbner basis.
△ Less
Submitted 22 November, 2018;
originally announced November 2018.
-
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.
-
Algebras with finitely many conjugacy classes of left ideals versus algebras of finite representation type
Authors:
Arkadiusz Męcel,
Jan Okniński
Abstract:
Let A be a finite dimensional algebra over an algebraically closed field with the radical nilpotent of index 2. It is shown that A has finitely many conjugacy classes of left ideals if and only if A is of finite representation type provided that all simple A-modules have dimension at least 6. This is a revised version.
Let A be a finite dimensional algebra over an algebraically closed field with the radical nilpotent of index 2. It is shown that A has finitely many conjugacy classes of left ideals if and only if A is of finite representation type provided that all simple A-modules have dimension at least 6. This is a revised version.
△ Less
Submitted 18 January, 2019; v1 submitted 24 January, 2018;
originally announced January 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.
-
A note on identities in plactic monoids and monoids of upper-triangular tropical matrices
Authors:
Alan J. Cain,
Georg Klein,
Łukasz Kubat,
António Malheiro,
Jan Okniński
Abstract:
This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank $n$ cannot satisfy a non-trivial identity of length less than or equal to $n$. A new identity is then proven to hold for the monoid of $n \times n$ upper-triangular tropical matrices. Finally, a straightforward embeddin…
▽ More
This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank $n$ cannot satisfy a non-trivial identity of length less than or equal to $n$. A new identity is then proven to hold for the monoid of $n \times n$ upper-triangular tropical matrices. Finally, a straightforward embedding is exhibited of the plactic monoid of rank $3$ into the direct product of two copies of the monoid of $3\times 3$ upper-triangular tropical matrices, giving a new proof that the plactic monoid of rank $3$ satisfies a non-trivial identity.
△ Less
Submitted 12 May, 2017;
originally announced May 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.
-
Irreducible representations of the Chinese monoid
Authors:
Łukasz Kubat,
Jan Okniński
Abstract:
All irreducible representations of the Chinese monoid $C_n$, of any rank $n$, over a nondenumerable algebraically closed field $K$, are constructed. It turns out that they have a remarkably simple form and they can be built inductively from irreducible representations of the monoid $C_2$. The proof shows also that every such representation is monomial. Since $C_n$ embeds into the algebra…
▽ More
All irreducible representations of the Chinese monoid $C_n$, of any rank $n$, over a nondenumerable algebraically closed field $K$, are constructed. It turns out that they have a remarkably simple form and they can be built inductively from irreducible representations of the monoid $C_2$. The proof shows also that every such representation is monomial. Since $C_n$ embeds into the algebra $K[C_n]/J(K[C_n])$, where $J(K[C_n])$ denotes the Jacobson radical of the mooned algebra $K[C_n]$, a new representation of $C_n$ as a subdirect product of the images of $C_n$ in the endomorphism algebras of the constructed simple modules follows.
△ Less
Submitted 4 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.
-
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.
-
Grobner-Shirshov bases for plactic algebras
Authors:
Lukasz Kubat,
Jan Okninski
Abstract:
A finite Grobner-Shirshov basis is constructed for the plactic algebra of rank 3 over a field K. It is also shown that plactic algebras of rank exceeding 3 do not have finite Grobner-Shirshov bases associated to the natural degree-lexicographic ordering on the corresponding free algebra. The latter is in contrast with the case of a strongly related class of algebras, called Chinese algebras, recen…
▽ More
A finite Grobner-Shirshov basis is constructed for the plactic algebra of rank 3 over a field K. It is also shown that plactic algebras of rank exceeding 3 do not have finite Grobner-Shirshov bases associated to the natural degree-lexicographic ordering on the corresponding free algebra. The latter is in contrast with the case of a strongly related class of algebras, called Chinese algebras, recently considered by Chen Yuqun and Qiu Jianjun.
△ Less
Submitted 16 October, 2010;
originally announced October 2010.
-
Structure of Chinese algebras
Authors:
Joanna Jaszunska,
Jan Okninski
Abstract:
The structure of the algebra K[M] of the Chinese monoid M over a field K is studied. The minimal prime ideals are described. They are determined by certain homogeneous congruences on M and they are in a one to one correspondence with diagrams of certain special type. There are finitely many such ideals. It is also shown that the prime radical B(K[M]) of K[M] coincides with the Jacobson radical and…
▽ More
The structure of the algebra K[M] of the Chinese monoid M over a field K is studied. The minimal prime ideals are described. They are determined by certain homogeneous congruences on M and they are in a one to one correspondence with diagrams of certain special type. There are finitely many such ideals. It is also shown that the prime radical B(K[M]) of K[M] coincides with the Jacobson radical and the monoid M embeds into the algebra K[M]/B(K[M]). A new representation of M as a submonoid of the direct product of finitely many copies of the bicyclic monoid and finitely many copies of the infinite cyclic monoid is derived. Consequently, M satisfies a nontrivial identity.
△ Less
Submitted 8 July, 2011; v1 submitted 29 September, 2010;
originally announced September 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.
-
Normal domains with monomial presentations
Authors:
Isabel Goffa,
Eric Jespers,
Jan Okninski
Abstract:
Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid S=< X_{1}, ..., X_{n} | R >. We characterize, purely in terms of the defining relations, when A is an integrally closed domain, provided R contains at most t…
▽ More
Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid S=< X_{1}, ..., X_{n} | R >. We characterize, purely in terms of the defining relations, when A is an integrally closed domain, provided R contains at most two relations. Also the class group of such algebras A is calculated.
△ Less
Submitted 5 April, 2009; v1 submitted 5 November, 2007;
originally announced November 2007.
-
Semigroup algebras of submonoids of polycyclic-by-finite groups and maximal orders
Authors:
Isabel Goffa,
Eric Jespers,
Jan Okninski
Abstract:
Necessary and sufficient conditions are given for a prime Noetherian algebra K[S] of a submonoid S of a polycyclic-by-finite group G to be a maximal order. These conditions are entirely in terms of the monoid S. This extends earlier results of Brown concerned with the group ring case and of the authors for the case where K[S] satisfies a polynomial identity.
Necessary and sufficient conditions are given for a prime Noetherian algebra K[S] of a submonoid S of a polycyclic-by-finite group G to be a maximal order. These conditions are entirely in terms of the monoid S. This extends earlier results of Brown concerned with the group ring case and of the authors for the case where K[S] satisfies a polynomial identity.
△ Less
Submitted 5 November, 2007; v1 submitted 19 October, 2007;
originally announced October 2007.
-
Primes of height one and a class of Noetherian finitely presented algebras
Authors:
Isabel Goffa,
Eric Jespers,
Jan Okninski
Abstract:
Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic structure of the algebra. So, it is natural to consider such algebras as semigroup algebras K[S] and to investigate the structure of the monoid S. The relation…
▽ More
Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic structure of the algebra. So, it is natural to consider such algebras as semigroup algebras K[S] and to investigate the structure of the monoid S. The relationship between the prime ideals of the algebra and those of the monoid S is one of the main tools. Results analogous to fundamental facts known for the prime spectrum of algebras graded by a finite group are obtained. This is then applied to characterize a large class of prime Noetherian maximal orders that satisfy a polynomial identity, based on a special class of submonoids of polycyclic-by-finite groups. The main results are illustrated with new constructions of concrete classes of finitely presented algebras of this type.
△ Less
Submitted 5 November, 2007; v1 submitted 28 September, 2006;
originally announced September 2006.
-
Quadratic algebras of skew type and the underlying semigroups
Authors:
T. Gateva-Ivanova,
Eric Jespers,
Jan Okninski
Abstract:
We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of the relations. Certain sufficient conditions for the algebra to be noetherian and PI are determined. For this, we prove more generally that right noetherian al…
▽ More
We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of the relations. Certain sufficient conditions for the algebra to be noetherian and PI are determined. For this, we prove more generally that right noetherian algebras of finite Gelfand-Kirillov dimension defined by homogeneous relations satisfy a polynomial identity. The structure of the underlying monoid, defined by the same presentation, is described. This is used to derive information on the prime radical and minimal prime ideals. Some examples are described in detail. Earlier, Etingof, Schedler and Soloviev, Gateva-Ivanova and Van den Bergh, and the authors considered special classes of such algebras in the contexts of noetherian algebras, Grobner bases, finitely generated solvable groups, semigroup algebras, and set theoretic solutions of the Yang-Baxter equation.
△ Less
Submitted 15 October, 2002;
originally announced October 2002.
