Related papers: Anti-commutative Groebner-Shirshov basis of a free…
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…
We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings. If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a…
The elimination theorem for free Lie algebras, a general principle which describes the structure of a free Lie algebra in terms of free Lie subalgebras, has been recently used by E. Jurisich to prove that R. Borcherds' ``Monster Lie…
We first construct a linear basis for a free metabelian Poisson algebra generated by an arbitrary well-ordered set. It turns out that such a linear basis depends on the characteristic of the underlying field. Then we elaborate the method of…
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"…
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 construct a basis for free Lie algebras via a ``left-greedy'' bracketing algorithm on Lyndon-Shirshov words. We use a new tool -- the configuration pairing between Lie brackets and graphs of Sinha-Walter -- to show that the left-greedy…
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\"{o}bner-Shirshov bases, we characterize completely the…
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…
We introduce the notion of $\lambda$-double Lie algebra, which coincides with usual double Lie algebra when $\lambda = 0$. We state that every $\lambda$-double Lie algebra for $\lambda\neq0$ provides the structure of modified double Poisson…
We establish Gr\"{o}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…
As it is known, the defining identities of a free Novikov algebra can be obtained from a commutative algebra with a derivation. In this paper, we consider a class of algebras obtained from the class of associative algebras with a derivation…
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.
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 prove the theorem on freedom for free sums of Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for free sums of Lie algebras (analogous with the…
We prove that free pre-Lie algebras, when considered as Lie algebras, are free. Working in the category of S-modules, we define a natural filtration on the space of generators. We also relate the symmetric group action on generators with…
We explicitly describe the structure of HNN extensions of Lie superalgebras. We specify their bases. Moreover, we prove that the HNN extension is a direct sum of two subalgebras: original Lie superalgebra, and the free Lie superalgebra,…
Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…
M.-P. Sch\"utzenberger asked to determine the support of the free Lie algebra ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ on a finite alphabet $A$ over the ring ${\mathbb Z}_{m}$ of integers $\bmod m$ and all the corresponding pairs of twin and…
A very first step to develop non-commutative algebraic geometry is the arithmetic of polynomials in non-commuting variables over a commutative field, that is, the study of elements in free associative algebras. This investigation is…