اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدSet-theoretic type solutions of the braid equation
53
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
In this paper we begin the study of set-theoretic type solution of the braid equation. Our theory includes set-theoretical solutions as basic examples. We show that the relationships between set-theoretical solutions, q-cycle sets, q-braces, skew-braces, matched pairs of groups and invertible $1$-cocycles remain valid in our setting.
قيم البحث
اقرأ أيضاً
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 permut
ation 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.
For a family of height one orders $(X,le)$ and each non-degenerate solution $r_0colon Xtimes Xlongrightarrow Xtimes X$ of the set-theoretic braid equation on $X$ satisfying suitable conditions, we obtain all the non-degenerate solutions of the braid
equation on the incidence coalgebra of $(X,le)$ that extend $r_0$.
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 ex
ist a left action of $M$ on $A$ and a right action of $M$ on $A$ and 1-cocycles $pi$ and $pi$ 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 $pi$ is bijective if and only if $(X,r)$ is left non-degenerate, and $pi$ is bijective if and only if $(X,r)$ is right non-degenerate. In case $(X,r) $ is left non-degenerate, in particular $pi$ 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)/eta$ of $M(X,r)$. In case $X$ is naturally embedded in $M(X,r)/eta$, 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.
To determine and analyze arbitrary left non-degenerate set-theoretic solutions of the Yang-Baxter equation (not necessarily bijective), we introduce an associative algebraic structure, called a YB-semitruss, that forms a subclass of the category of s
emitrusses as introduced by Brzezinski. Fundamental examples of YB-semitrusses are structure monoids of left non-degenerate set-theoretic solutions and (skew) left braces. Gateva-Ivanova and Van den Bergh introduced structure monoids and showed their importance (as well as that of the structure algebra) for studying involutive non-degenerate solutions. Skew left braces were introduced by Guarnieri, Vendramin and Rump to deal with bijective non-degenerate solutions. Hence, YB-semitrusses also yield a unified treatment of these different algebraic structures. The algebraic structure of YB-semitrusses is investigated, and as a consequence, it is proven, for example, that any finite left non-degenerate set-theoretic solution of the Yang-Baxter equation is right non-degenerate if and only if it is bijective. Furthermore, it is shown that some finite left non-degenerate solutions can be reduced to non-degenerate solutions of smaller size. The structure algebra of a finitely generated YB-semitruss is an algebra defined by homogeneous quadratic relations. We prove that it often is a left Noetherian algebra of finite Gelfand-Kirillov dimension that satisfies a polynomial identity, but in general, it is not right Noetherian.
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)=Klangle Xmid xy=uv mbox{ whenever }r(x,y)=(u,v)rangle$. Note that $A=oplus_{ngeq 0} A_n$ is
a graded algebra, where $A_n$ is the linear span of all the elements $x_1cdots x_n$, for $x_1,dots ,x_nin 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
