Groebner-Shirshov Bases for Lie Algebras: after A. I. Shirshov

Anti-commutative Groebner-Shirshov basis of a free Lie algebra

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).

Groebner-Shirshov Basis for the Chinese Monoid

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.

Groebner-Shirshov Bases: Some New Results

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.

Groebner-Shirshov bases for brace algebras

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}$.

Gelfand-Kirillov dimension of bicommutative algebras

We first offer a fast method for calculating the Gelfand-Kirillov dimension of a finitely presented commutative algebra by investigating certain finite set. Then we establish a Groebner-Shirshov bases theory for bicommutative algebras, and show that every finitely generated bicommutative algebra has a finite Groebner-Shirshov basis. As an application, we show that the Gelfand-Kirillov dimension of a finitely generated bicommutative algebra is a nonnegative integer.

Composition-Diamond Lemma for Tensor Product of Free Algebras

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.

在Z上计算自由非交换格鲁布纳基（Groebner基）的Singular:Letterplace扩展

Computing Free Non-commutative Groebner Bases over Z with Singular:Letterplace

本文在Z上扩展了Singular:Letterplace系统，用于计算自由非交换格鲁布纳基，适用于Iwahori-Hecke代数等应用。

Leavitt Path Algebras of Finite Gelfand-Kirillov Dimension

Groebner-Shirshov basis and Gelfand-Kirillov dimension of the Leavitt path algebra are derived.

Operator identities on Lie algebras, rewriting systems and Gröbner-Shirshov bases

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…

Composition-Diamond lemma for differential algebras

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.

Embedding of post-Lie algebras into postassociative algebras

Applying Groebner-Shirshov technique, we prove that any post-Lie algebra injectively embeds into its universal enveloping postassociative algebra.

Embedding of pre-Lie algebras into preassociative algebras

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.

Rosso-Yamane Theorem on PBW basis of $U_q(A_N)$

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 metabelian Lie algebras

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.

Gröbner-Shirshov bases for Lie $Ω$-algebras and free Rota-Baxter Lie algebras

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.

Gröbner-Shirshov bases and PBW theorems

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.

Gröbner-Shirshov bases and their calculation

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.

Construction of free Lie Rota-Baxter superalgebra via Gröbner-Shirshov bases theory

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.

Gröbner-Shirshov bases for Temperley-Lieb algebras of types $B$ and $D$

For Temperley-Lieb algebras of types $B$ and $D$, we construct their Gröbner-Shirshov bases and the corresponding standard monomials.

Free differential Lie Rota-Baxter algebras and Gröbner-Shirshov bases

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.

一对相容李括号的泛包络代数

Universal enveloping algebra of a pair of compatible Lie brackets

本文利用PBW性质和Gröbner-Shirshov基技术，确定了一对相容李括号的泛包络代数的线性基，并证明其增长率等于n+1。

Free weighted (modified) differential algebras, free (modified) Rota-Baxter algebras and Gröbner-Shirshov bases

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.

Gröbner-Shirshov bases for categories

In this paper we establish Composition-Diamond lemma for small categories. We give Gröbner-Shirshov bases for simplicial category and cyclic category.

Gröbner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras (unabridged version)

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.

New operated polynomial identities and Gröbner-Shirshov bases

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.

Gröbner-Shirshov bases for associative conformal modules

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.

Gröbner--Shirshov bases for commutative dialgebras

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 …

Gröbner-Shirshov bases for semirings

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.

Some new results on Gröbner-Shirshov bases

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.

Grobner-Shirshov bases for plactic algebras

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.

Gröbner-Shirshov bases for free partially commutative Lie algebras

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.

Gröbner-Shirshov bases theory and extensions of Leibniz superalgebras

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.

Gröbner-Shirshov bases method for Gelfand-Dorfman-Novikov algebras

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.

Defining relations and Gröbner--Shirshov bases of Poisson algebras as of conformal modules

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.

Gröbner-Shirshov Bases and Hilbert Series of Free Dendriform Algebras

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.

Lyndon-Shirshov basis and anti-commutative algebras

Chen, Fox, Lyndon 1958 \cite{CFL58} and Shirshov 1958 \cite{Sh58} introduced non-associative Lyndon-Shirshov words and proved that they form a linear basis of a free Lie algebra, independently. In this paper we give another approach to definition of Lyndon-Shirshov basis, i.e., we find an anti-commutative Gröbner-Shirshov basis $S$ of a free Lie algebra such that $Irr(S)$ is the set of all non-associative Lyndon-Shirshov words, where $Irr(S)$ is the set of all monomials of $N(X)$, a basis of the free anti-commutative algebra on $X$, not containing maximal monomials of polynomials from $S$. Fol…

Gröbner-Shirshov Bases for Commutative Algebras with Multiple Operators and Free Commutative Rota-Baxter Algebras

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.

Averaging algebras, rewriting systems and Gr$ö$bner-Shirshov bases

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.

一些新的带算子李多项式恒等式与Gröbner-Shirshov基

Some new operated Lie polynomial identities and Gröbner-Shirshov bases

本文证明Bremner-Elgendy分类中新的带算子结合多项式恒等式所对应的李多项式恒等式均为Gröbner-Shirshov，肯定回答了Guo等人提出的问题，推进了李代数背景下Rota纲领的发展。

New approaches to plactic monoid via Gröbner-Shirshov bases

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.…

Extensions of associative and Lie algebras via Gröbner-Shirshov bases method

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.

Gröbner-Shirshov bases for some Lie algebras

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.

后继算子、格罗比纳-希尔绍夫基与自由L-双 dendriform 代数

Disuccessors, Gröbner-Shirshov bases and free L-dendriform algebras

本文证明结合、李、预李operad上的后继算子保持格罗比纳-希尔绍夫基，据此提出构造dend和pre-Lie operad基的新方法，显式构造自由L-双dendriform代数的基，为Madariaga问题提供高效解决方案并给出该代数组合结构的新见解。

Gröbner-Shirshov bases for Rota-Baxter algebras

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.

Gröbner-Shirshov bases for Lie algebras over a commutative 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 …

Gröbner-Shirshov bases and linear bases for free differential type algebras over algebras

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…

Free objects and Gröbner-Shirshov bases in operated contexts

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…

Composition-Diamond Lemma for Modules

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.

Gröbner-Shirshov bases for Temperley-Lieb algebras of the complex reflection group of type $G(d,1,n)$

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)$.

Construction of free differential algebras by extending Gröbner-Shirshov bases

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 …

Gröbner-Shirshov bases and linear bases for free multi-operated algebras over algebras with applications to differential Rota-Baxter algebras and integro-differential algebras

Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $Ω$-operated algebra is a an (associative) algebra equipped with a set $Ω$ of linear operators which might satisfy certain operator identities such as the Leibniz rule. A free $Ω$-operated algebra $B$ can be generated on an algebra $A$ similar to a free algebra generated on a set. If $A$ has a Gröbner-Shirshov basis $G$ and if the linear operators $Ω$ satisfy a set $Φ$ of operator identities, it is natural to ask when the union $…

Free $Ω$-Rota-Baxter systems and Gröbner-Shirshov bases

In this paper, we propose the concept of an $Ω$-Rota-Baxter system, which is a generalization of a Rota-Baxter system and an $Ω$-Rota-Baxter algebra of weight zero. In the framework of operated algebras, we obtain a linear basis of a free $Ω$-Rota-Baxter system for an extended diassociative semigroup $Ω$, in terms of bracketed words and the method of Gröbner-Shirshov bases. As applications, we introduce the concepts of Rota-Baxter system family algebras and matching Rota-Baxter systems as special cases of $Ω$-Rota-Baxter systems, and construct their free objects. Meanwhile, free $Ω$-Rota-Baxte…

Gröbner-Shirshov bases for $L$-algebras

In this paper, we firstly establish Composition-Diamond lemma for $Ω$-algebras. We give a Gröbner-Shirshov basis of the free $L$-algebra as a quotient algebra of a free $Ω$-algebra, and then the normal form of the free $L$-algebra is obtained. We secondly establish Composition-Diamond lemma for $L$-algebras. As applications, we give Gröbner-Shirshov bases of the free dialgebra and the free product of two $L$-algebras, and then we show four embedding theorems of $L$-algebras: 1) Every countably generated $L$-algebra can be embedded into a two-generated $L$-algebra. 2) Every $L$-algebra can be e…

Free integro-differential algebras and Gröbner-Shirshov bases

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such equations. In both cases, free objects are crucial for analyzing the underlying algebraic structures, e.g. of the (matrix) functions. In this paper we apply the method of Gröbner-Shirshov bases to construct the free (noncommutative) integro-differential algebra on a set. The construction is from the free Rota-Baxter algebra on the free differential algebra on…