Related papers: Lyndon-Shirshov basis and anti-commutative algebra…
In this paper, we generalize the Lyndon-Shirshov words to Lyndon-Shirshov $\Omega$-words on a set $X$ and prove that the set of all non-associative Lyndon-Shirshov $\Omega$-words forms a linear basis of the free Lie $\Omega$-algebra on the…
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…
In this paper, by using the Composition-Diamond lemma for non-associative algebras invented by A. I. Shirshov in 1962, we give Gr\"{o}bner-Shirshov bases for free Pre-Lie algebras and the universal enveloping non-associative algebra of an…
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.
In this paper, we construct free Lie Rota-Baxter superalgebra by using Gr\"{o}bner-Shirshov bases theory. We firstly construct free operated Lie superalgebras by the operated super-Lyndon-Shirshov monomials. Secondly, we establish…
In this paper we establish a Gr\"{o}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…
We establish Gr\"obner--Shirshov bases theory for commutative dialgebras. We show that for any ideal $I$ of $Di[X]$, $I$ has a unique reduced Gr\"obner--Shirshov basis, where $Di[X]$ is the free commutative dialgebra generated by a set $X$,…
We use the Lie coalgebra and configuration pairing framework presented previously by Sinha and Walter to derive a new, left-normed monomial basis for free Lie algebras (built from associative Lyndon-Shirshov words), as well as a dual…
In this paper, by using Composition-Diamond lemma for Lie algebras, we give a Gr\"obner-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…
We construct an explicit Gr\"obner--Shirshov basis for free associative Rota--Baxter algebras of weight zero with nilpotent operator $R^n=0$, where $n\ge 2$. First, we define a monomial order on the standard linear basis $RS(X)$ of the free…
We establish the Gr\"obner-Shirshov bases theory for differential Lie $\Omega$-algebras. As an application, we give a linear basis of a free differential Lie Rota-Baxter algebra on a set.
In this paper, we elaborate Gr\"obner-Shirshov bases method for Leibniz (super)algebras. We show that there is a unique reduced Gr\"obner-Shirshov basis for every (graded) ideal of a free Leibniz (super)algebra. As applications, we…
We describe a basis for free Lie superalgebras which uses the theory of basic commutators. The only description for bases for free Lie superalgebras that I have found in the literature is in the book "Infinite dimensional Lie superalgebras"…
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…
In this paper, the Composition-Diamond lemma for commutative algebras with multiple operators is established. As applications, the Gr\"obner-Shirshov bases and linear bases of free commutative Rota-Baxter algebra, free commutative…
In this paper, we construct a canonical linear basis for free commutative integro-differential algebras by applying the method of Gr\"obner-Shirshov bases. We establish the Composition-Diamond Lemma for free commutative differential…
In this paper we use the Lyndon-Shirshov basis to study the shuffle type polynomials. We give a free noncommutative binomial (or multinomial) theorem in terms of the Lyndon-Shirshov basis. Another noncommutative binomial theorem given by…
In this paper, linear bases for the partially commutative Lie algebras are found. The method of the Gr\"{o}bner--Shirshov bases is used. It easily follows from the structure that the equality problem is algorithmically solvable for the…
We show that a set of monic polynomials in the free Lie superalgebra is a Gr\"obner-Shirshov basis for a Lie superalgebra if and only if it is a Gr\"obner-Shirshov basis for its universal enveloping algebra. We investigate the structure of…
In this paper, we firstly establish Composition-Diamond lemma for $\Omega$-algebras. We give a Gr\"{o}bner-Shirshov basis of the free $L$-algebra as a quotient algebra of a free $\Omega$-algebra, and then the normal form of the free…