L. A. Bokut, Yuqun Chen
In this survey article, we report some new results of Groebner-Shirshov bases, including new Composition-Diamond lemmas, applications of some known Composition-Diamond lemmas and content of some expository papers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, a Groebner-Shirshov basis for the Chinese monoid is obtained and an algorithm for the normal form of the Chinese monoid is given.
In this paper, we review Shirshov's method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory.
Let $R$ be a ring with identity $1$. Jacobson's lemma states that for any $a,b\in R$, if $1-ab$ is invertible then so is $1-ba$. Jacobson's lemma has suitable analogues for several types of generalized inverses, e.g., Drazin inverse, generalized Drazin inverse, and inner inverse. In this note we give a constructive way via Groebner-Shirshov basis theory to obtain the inverse of $1-ab$ in terms of $(1-ba)^{-1}$, assuming the latter exists.
In this paper, we define the Gröbner-Shirshov basis for a dialgebra. The Composition-Diamond lemma for dialgebras is given then. As results, we give Gröbner-Shirshov bases for the universal enveloping algebra of a Leibniz algebra, the bar extension of a dialgebra, the free product of two dialgebras, and Clifford dialgebra. We obtain some normal forms for algebras mentioned the above.
We establish a universal approach to solution of the word problem in the varieties of di- and tri-algebras. This approach, for example, allows to apply Groebner---Shirshov bases method for Lie algebras to solve the ideal membership problem in free Leibniz algebras (Lie di-algebras). As another application, we prove an analogue of the Poincare---Birkhoff---Witt Theorem for universal enveloping associative tri-algebra of a Lie tri-algebra (CTD^!-algebra).
Groebner--Shirshov bases method for vertex algebras
本文将Gröbner–Shirshov基方法推广到顶点代数，计算了一系列顶点代数的GSB，并研究了左对称代数保持正规序积嵌入顶点代数的问题。
An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gröbner-Shirshov bases, we characterize completely the extensions of $M$ by $B$. An algorithm to find the conditions of an algebra $A$ to be an extension of $M$ by $B$ is obtained.
In this paper, we establish the Composition-Diamond lemma for associative algebras with multiple linear operators. As applications, we obtain Groebner-Shirshov bases of free Rota-Baxter algebra, $λ$-differential algebra and $λ$-differential Rota-Baxter algebra, respectively. In particular, linear bases of these three free algebras are respectively obtained, which are essentially the same or similar to those obtained by Ebrahimi-Fard and Guo, and Guo and Keigher recently by using other methods.
One of the natural ways to prove that the Hall words (Philip Hall, 1933) consist of a basis of a free Lie algebra is a direct construction: to start with a linear space spanned by Hall words, to define the Lie product of Hall words, and then to check that the product yields the Lie identities (Marshall Hall, 1950). Here we suggest another way using the Composition-Diamond lemma for free anti-commutative (non-associative) algebras (A.I. Shirshov, 1962).
Let $A$ be a brace algebra. This structure implies that $A$ is also a pre-Lie algebra. In this paper, we establish Composition-Diamond lemma for brace algebras. Using this Composition-Diamond lemma we prove that each pre-Lie algebra $L$ can be embedded into a brace algebra $A_L$, i.e., $L$ is a pre-Lie subalgebra of $A_L$ up to isomorphism. We also determine an explicit linear basis for the brace algebra $A_{L}$.
In this paper, we establish Composition-Diamond lemma for tensor product $k< X> \otimes k< Y>$ of two free algebras over a field. As an application, we construct a Groebner-Shirshov basis in $k< X> \otimes k< Y>$ by lifting a Groebner-Shirshov basis in $k[X] \otimes k< Y>$, where $k[X]$ is a commutative algebra.
Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's program on algebraic operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Groebner-Shirshov bases. These developments also suggest that Rota's insight can be applied to determine operator identities on Lie algebras, and thus to put the various linear operators on Lie algebras in a uniform perspective. This paper carries out…
Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace
本文在Z上扩展了Singular:Letterplace系统，用于计算自由非交换格鲁布纳基，适用于Iwahori-Hecke代数等应用。
Groebner-Shirshov basis and Gelfand-Kirillov dimension of the Leavitt path algebra are derived.
We consider a new version of Composition-Diamond Lemma for dialgebras in order to obtain an explicit Groebner-Shirshov basis for HNN-extension of dialgebras and determine a normal form for that.
In this paper, we establish the Composition-Diamond lemma for free differential algebras. As applications, we give Groebner-Shirshov bases for free Lie-differential algebra and free commutative-differential algebra, respectively.
Applying Groebner-Shirshov technique, we prove that any post-Lie algebra injectively embeds into its universal enveloping postassociative algebra.
With the help of Rota-Baxter operators and the Groebner-Shirshov bases, we prove that any pre-Lie algebra injectively embeds into its universal enveloping preassociative algebra.
Let $U_q(A_N)$ be the Drinfeld-Jimbo quantum group of type $A_N$. In this paper, by using Groebner-Shirshov bases, we give a simple (but not short) proof of the Rosso-Yamane Theorem on PBW basis of $U_q(A_N)$.
Gröbner-Shirshov bases for the Coxeter groups of the types $G_2,F_4,E_6,E_7$ and $E_8$
本文研究Coxeter群G₂,F₄,E₆,E₇和E₈的Gröbner-Shirshov基，通过重新排列生成元并标记Coxeter-Dynkin图，获得简洁的基表示。
This paper shows that every Plactic algebra of finite rank admits a finite Gröbner--Shirshov basis. The result is proved by using the combinatorial properties of Young tableaux to construct a finite complete rewriting system for the corresponding Plactic monoid, which also yields the corollaries that Plactic monoids of finite rank have finite derivation type and satisfy the homological finiteness properties left and right $FP_\infty$. Also, answering a question of Zelmanov, we apply this rewriting system and other techniques to show that Plactic monoids of finite rank are biautomatic.
In this paper we give some relationships among the Groebner-Shirshov bases in free associative algebras, free left modules and "double-free" left modules (free modules over a free algebra). We give the Chibrikov's Composition-Diamond lemma for modules and show that Kang-Lee's Composition-Diamond lemma follows from this lemma. As applications, we also deal with highest weight module over the Lie algebra $sl_2$, Verma module over a Kac-Moody algebra, Verma module over Lie algebra of coefficients of a free conformal algebra and the universal enveloping module for a Sabinin algebra.
In this paper, we establish the Gröbner-Shirshov bases theory for metabelian Lie algebras. As applications, we find the Gröbner-Shirshov bases for partial commutative metabelian Lie algebras related to circuits, trees and some cubes.
In this paper, we generalize the Lyndon-Shirshov words to Lyndon-Shirshov $Ω$-words on a set $X$ and prove that the set of all non-associative Lyndon-Shirshov $Ω$-words forms a linear basis of the free Lie $Ω$-algebra on the set $X$. From this, we establish Gröbner-Shirshov bases theory for Lie $Ω$-algebras. As applications, we give Gröbner-Shirshov bases for free $λ$-Rota-Baxter Lie algebras, free modified $λ$-Rota-Baxter Lie algebras and free Nijenhuis Lie algebras and then linear bases of such three free algebras are obtained.
We review some applications of Gröbner-Shirshov bases, including PBW theorems, linear bases of free universal algebras, normal forms for groups and semigroups, extensions of groups and algebras, embedding of algebras.
In this survey, we formulate the Gröbner-Shirshov bases theory for associative algebras and Lie algebras. Some new Composition-Diamond lemmas and applications are mentioned.
In this paper, we construct free Lie Rota-Baxter superalgebra by using Gröbner-Shirshov bases theory. We firstly construct free operated Lie superalgebras by the operated super-Lyndon-Shirshov monomials. Secondly, we establish Gröbner-Shirshov bases theory for operated Lie superalgebras. Thirdly, we find a Gröbner-Shirshov basis of a free Lie Rota-Baxter superalgebra on a $\mathbb{Z}_2$-graded set. Consequently, we can obtain a linear basis of a free Lie Rota-Baxter superalgebra by the composition-diamond lemma for operated Lie superalgebras.
For Temperley-Lieb algebras of types $B$ and $D$, we construct their Gröbner-Shirshov bases and the corresponding standard monomials.
We establish the Gröbner-Shirshov bases theory for differential Lie $Ω$-algebras. As an application, we give a linear basis of a free differential Lie Rota-Baxter algebra on a set.
In this paper, we obtain respectively some new linear bases of free unitary (modified) weighted differential algebras and free nonunitary (modified) Rota-Baxter algebras, in terms of the method of Gröbner-Shirshov bases.
In this paper we establish Composition-Diamond lemma for small categories. We give Gröbner-Shirshov bases for simplicial category and cyclic category.
In this paper we use the operadic framework to find Gröbner-Shirshov bases for the free quadri-algebra. We perform computations using the representation of the nonsymmetric operad by planar rooted trees in a very intuitive way. Gröbner-Shirshov bases for the free dendriform algebra are also found with this technique, simplifying the work by Chen and Wang in 2010.
Quite recently, Bremner et al. introduced a new approach to Rota's Classification Problem and classified some (new) operated polynomial identities. In this paper, we prove that all operated polynomial identities classified by Bremner et al. are Gröbner-Shirshov.
We construct free modules over an associative conformal algebra. We establish Composition-Diamond lemma for associative conformal modules. As applications, Gröbner-Shirshov bases of the Virasoro conformal module and module over the semidirect product of Virasoro conformal algebra and current algebra are given respectively.
We establish Gröbner--Shirshov bases theory for commutative dialgebras. We show that for any ideal $I$ of $Di[X]$, $I$ has a unique reduced Gröbner--Shirshov basis, where $Di[X]$ is the free commutative dialgebra generated by a set $X$, in particular, $I$ has a finite Gröbner--Shirshov basis if $X$ is finite. As applications, we give normal forms of elements of an arbitrary commutative disemigroup, prove that the word problem for finitely presented commutative dialgebras (disemigroups) is solvable, and show that if $X$ is finite, then the problem whether two ideals of $Di[X]$ are identical is …
In the paper, we establish Gröbner-Shirshov bases for semirings and commutative semirings. As applications, we obtain Gröbner-Shirshov bases and A. Blass's (1995) and M. Fiore -T. Leinster's (2004) normal forms of the semirings $\mathbb{N}[x]/(x=1+x+x^2)$ and $\mathbb{N}[x]/(x=1+x^2)$ with one generator $x$ and one defining relation, correspondingly.
In this survey article, we report some new results of Gröbner-Shirshov bases, including new Composition-Diamond lemmas and some applications of some known Composition-Diamond lemmas.
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.
In this paper, by using Composition-Diamond lemma for Lie algebras, we give a Gröbner-Shirshov basis for free partially commutative Lie algebra over a commutative ring with unit. As an application, we obtain a normal form for such a Lie algebra.
In this paper, we elaborate Gröbner-Shirshov bases method for Leibniz (super)algebras. We show that there is a unique reduced Gröbner-Shirshov basis for every (graded) ideal of a free Leibniz (super)algebra. As applications, we construct linear bases of free metabelian Leibniz superalgebras and new linear bases of free metabelian Lie algebras. We present a complete characterization of extensions of a Leibniz (super)algebra by another Leibniz (super)algebra, where the former is presented by generators and relations.
We establish Gröbner-Shirshov bases theory for Gelfand-Dorfman-Novikov algebras over a field of characteristic $0$. As applications, a PBW type theorem in Shirshov form is given and we provide an algorithm for solving the word problem of Gelfand-Dorfman-Novikov algebras with finite homogeneous relations. We also construct a subalgebra of one generated free Gelfand-Dorfman-Novikov algebra which is not free.
We study the relation between Poisson algebras and representations of Lie conformal algebras. We establish a setting for the calculation of a Gröbner--Shirshov basis in a module over an associative conformal algebra and apply this technique to Poisson algebras considered as conformal modules over appropriate associative envelopes of current Lie conformal algebras. As a result, we obtain a setting for the calculation of a Gröbner--Shirshov basis in a Poisson algebra.
In this paper, we give a Gröbner-Shirshov basis of the free dendriform algebra as a quotient algebra of an $L$-algebra. As applications, we obtain a normal form of the free dendriform algebra. Moreover, Hilbert series and Gelfand-Kirillov dimension of finitely generated free dendriform algebras are obtained.
In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gröbner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative $λ$-differential algebra and free commutative $λ$-differential Rota-Baxter algebra are given, respectively. Consequently, these three free algebras are constructed directly by commutative $Ω$-words.
In this paper, we study the averaging operator by assigning a rewriting system to it. We obtain some basic results on the kind of rewriting system we used. In particular, we obtain a sufficient and necessary condition for the confluence. We supply the relationship between rewriting systems and Grobner-Shirshov bases based on bracketed polynomials. As an application, we give a basis of the free unitary averaging algebra on a non-empty set.
Some new operated Lie polynomial identities and Gröbner-Shirshov bases
本文证明Bremner-Elgendy分类中新的带算子结合多项式恒等式所对应的李多项式恒等式均为Gröbner-Shirshov，肯定回答了Guo等人提出的问题，推进了李代数背景下Rota纲领的发展。
In this paper we revisit Rota's Classification Problem on classifying algebraic identities for linear operator. We reformulate Rota's Classification Problem in the contexts of rewriting systems and Gröbner-Shirshov bases, through which Rota's Classification Problem amounts to the classification of operators, given by their defining operator identities, that give convergent rewriting systems or Gröbner-Shirshov bases. Relationship is established between the reformulations in terms of rewriting systems and that of Gröbner-Shirshov bases. We provide an effective condition that gives Gröbner-Shirs…
We present the plactic algebra on an arbitrary alphabet set $A$ by row generators and column generators respectively. We give Gröbner-Shirshov bases for such presentations. In the case of column generators, a finite Gröbner-Shirshov basis is given if $A$ is finite. From the Composition-Diamond lemma for associative algebras, it follows that the set of Young tableaux is a linear basis of plactic algebra. As the result, it gives a new proof that Young tableaux are normal forms of elements of plactic monoid. This result was proved by D.E. Knuth \cite{Knuth} in 1970, see also Chapter 5 in \cite{M.…
Let $\mathfrak{a},\mathfrak{b},\mathfrak{e}$ be algebras over a field $k$. Then $\mathfrak{e}$ is an extension of $\mathfrak{a}$ by $\mathfrak{b}$ if $\mathfrak{a}$ is an ideal of $\mathfrak{e}$ and $\mathfrak{b}$ is isomorphic to the quotient algebra $\mathfrak{e}/\mathfrak{a}$. In this paper, by using Gröbner-Shirshov bases theory for associative (resp. Lie) algebras, we give complete characterizations of associative (resp. Lie) algebra extensions of $\mathfrak{a}$ by $\mathfrak{b}$, where $\mathfrak{b}$ is presented by generators and relations.
We give Gröbner-Shirshov bases for Drinfeld-Kohno Lie algebra $\textbf{L}_{n}$ in \cite{[Et]} and Kukin Lie algebra $A_P$ in \cite{Kukin}, where $P$ is a semigroup. As applications, we show that as $\mathbb{Z}$-module $\textbf{L}_{n}$ is free and a $\mathbb{Z}$-basis of $\textbf{L}_{n}$ is given. We give another proof of Kukin Theorem: if semigroup $P$ has the undecidable word problem then the Lie algebra $A_P$ has the same property.
We prove that if the neutral component in a finitely-generated associative algebra graded by a finite group has a Shirshov base, then so does the whole algebra.
Disuccessors, Gröbner-Shirshov bases and free L-dendriform algebras
本文证明结合、李、预李operad上的后继算子保持格罗比纳-希尔绍夫基，据此提出构造dend和pre-Lie operad基的新方法，显式构造自由L-双dendriform代数的基，为Madariaga问题提供高效解决方案并给出该代数组合结构的新见解。
In this paper, we establish the Composition-Diamond lemma for associative nonunitary Rota-Baxter algebras with weight $λ$. As applications, we obtain a linear basis of a free commutative Rota-Baxter algebra without unity and show that every countably generated Rota-Baxter algebra with weight 0 can be embedded into a two-generated Rota-Baxter algebra.
In this paper, we establish the Composition-Diamond lemma for right-symmetric algebras. As an application, we give a Gröbner-Shirshov basis for universal enveloping right--symmetric algebra of a Lie algebra.
In this paper we establish a Gröbner-Shirshov bases theory for Lie algebras over commutative rings. As applications we give some new examples of special Lie algebras (those embeddable in associative algebras over the same ring) and non-special Lie algebras (following a suggestion of P.M. Cohn (1963) \cite{Conh}). In particular, Cohn's Lie algebras over the characteristic $p$ are non-special when $p=2,\ 3,\ 5$. We present an algorithm that one can check for any $p$, whether Cohn's Lie algebras is non-special. Also we prove that any finitely or countably generated Lie algebra is embeddable in a …
We study a question which can be roughly stated as follows: Given a (unital or nonunital) algebra $A$ together with a Gröbner-Shirshov basis $G$, consider the free operated algebra $B$ over $A$, such that the operator satisfies some polynomial identities $Φ$ which are Gröbner-Shirshov in the sense of Guo et al., when doesthe union $Φ\cup G$ will be an operated Gröbner-Shirshov basis for $B$? We answer this question in the affirmative under a mild condition in our previous work with Wang. When this condition is satisfied, $Φ\cup G$ is an operated Gröbner-Shirshov basis for $ B$ and as a consequ…
Finite Gröbner-Shirshov bases for double extension regular algebras of type (14641)
本文用Matlab算法计算了(14641)型双重扩张正则代数的Gröbner-Shirshov基，并证明其具有PBW基。
This paper investigates algebraic objects equipped with an operator, such as operated monoids, operated algebras etc. Various free object functors in these operated contexts are explicitly constructed. For operated algebras whose operator satisfies a set $Φ$ of relations (usually called operated polynomial identities (aka. OPIs)), Guo defined free objects, called free $Φ$-algebras, via universal algebra. Free $Φ$-algebras over algebras are studied in details. A mild sufficient condition is found such that $Φ$ together with a Gröbner-Shirshov basis of an algebra $A$ form a Gröbner-Shirshov basi…
We construct a Gröbner-Shirshov basis of the Temperley-Lieb algebra $\mathfrak{T}(d,n)$ of the complex reflection group $G(d,1,n)$, inducing the standard monomials expressed by the generators $\{E_i\}$ of $\mathfrak{T}(d,n)$. This result generalizes the one for the Coxeter group of type $B_n$ in \cite{KimSSLeeDI}. We also give a combinatorial interpretation of the standard monomials of $\mathfrak{T}(d,n)$, relating to the fully commutative elements of the complex reflection group $G(d,1,n)$. In this way, we obtain the dimension formula of $\mathfrak{T}(d,n)$.
As a fundamental notion, the free differential algebra on a set is concretely constructed as the polynomial algebra on the differential variables. Such a construction is not known for the more general notion of the free differential algebra on an algebra, from the left adjoint functor of the forgetful functor from differential algebras to algebras, instead of sets. In this paper we show that generator-relation properties of a base algebra can be extended to the free differential algebra on this base algebra. More precisely, a Gröbner-Shirshov basis property of the base algebra can be extended …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。