Searcharxiv⌕ Search

arXiv subjects

L. A. Bokut

Publications and source records attributed to L. A. Bokut.

At least 19 recordsLinked to original sources
arXiv2024

On the locality of formal distributions over pre-Lie and Novikov algebras

The Dong Lemma in the theory of vertex algebras states that the locality property of formal distributions over a Lie algebra is preserved under the action of a vertex operator. A~similar statement is known for associative algebras. We study local formal distributions over pre-Lie (right-symmetric), pre-associative (dendriform), and Novikov algebras to show that the analogue of the Dong Lemma holds for Novikov algebras but does not hold for pre-Lie and pre-associative ones.

math.QA↗
arXiv2019

Word problem for finitely presented metabelian Poisson algebras

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 Gröbner--Shirshov bases for metabelian Poisson algebras. Finally, we show that the word problem for finitely presented metabelian Poisson algebras are solvable.

math.RA↗
arXiv2018

On free Gelfand--Dorfman--Novikov superalgebras and a PBW type theorem

We construct a linear basis of a free GDN superalgebra over a field of characteristic $\neq 2$. As applications, we prove a PBW theorem, that is, any GDN superalgebra can be embedded into its universal enveloping commutative associative differential superalgebra. An Engel theorem under some assumptions is given.

math.RA↗
arXiv2017

On free Gelfand-Dorfman-Novikov-Poisson algebras and a PBW theorem

In 1997, X. Xu \cite{Xiaoping Xu Poisson} invented a concept of Novikov-Poisson algebras (we call them Gelfand-Dorfman-Novikov-Poisson (GDN-Poisson) algebras). We construct a linear basis of a free GDN-Poisson algebra. We define a notion of a special GDN-Poisson admissible algebra, based on X. Xu's definition and an S.I. Gelfand's observation (see \cite{Gelfand}). It is a differential algebra with two commutative associative products and some extra identities. We prove that any GDN-Poisson algebra is embeddable into its universal enveloping special GDN-Poisson admissible algebra. Also we prove that any GDN-Poisson algebra with the identity $x\circ(y\cdot z)=(x\circ y )\cdot z +(x\circ z) \cdot y$ is isomorphic to a commutative associative differential algebra.

math.RA↗
arXiv2017

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.

math.RA↗
arXiv2014

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.

math.RA↗
arXiv2014

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

math.RA↗
arXiv2013

Groebner-Shirshov bases for free inverse semigroups

A new construction of a free inverse semigroup was obtained by Poliakova and Schein in 2005. Based on their result, we find a Groebner-Shirshov basis of a free inverse semigroup relative to the deg-lex order of words. In particular, we give the (unique and shortest) Groebner-Shirshov normal forms in the classes of equivalent words of a free inverse semigroup together with the Groebner-Shirshov algorithm to transform any word to its normal form.

math.GR↗
arXiv2012

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.

math.RA↗
arXiv2011

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$. Following from Shirshov's anti-commutative Gröbner-Shirshov bases theory \cite{S62a2}, the set $Irr(S)$ is a linear basis of a free Lie algebra.

math.RA↗
arXiv2011

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 two-generated Lie algebra.

math.RA↗
arXiv2011

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.

math.RA↗
arXiv2011

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.

math.RA↗
arXiv2010

Groebner-Shirshov bases for dialgebras

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.

math.RA↗
arXiv2010

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 embedded into a simple $L$-algebra. 3) Every countably generated $L$-algebra over a countable field can be embedded into a simple two-generated $L$-algebra. 4) Three arbitrary $L$-algebras $A$, $B$, $C$ over a field $k$ can be embedded into a simple $L$-algebra generated by $B$ and $C$ if $|k|\leq \dim(B*C)$ and $|A|\leq|B*C|$, where $B*C$ is the free product of $B$ and $C$.

math.RA↗
arXiv2009

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.

math.RA↗
arXiv2009

Gröbner-Shirshov bases and embeddings of algebras

In this paper, by using Gröbner-Shirshov bases, we show that in the following classes, each (resp. countably generated) algebra can be embedded into a simple (resp. two-generated) algebra: associative differential algebras, associative $Ω$-algebras, associative $λ$-differential algebras. We show that in the following classes, each countably generated algebra over a countable field $k$ can be embedded into a simple two-generated algebra: associative algebras, semigroups, Lie algebras, associative differential algebras, associative $Ω$-algebras, associative $λ$-differential algebras. Also we prove that any countably generated module over a free associative algebra $k< X>$ can be embedded into a cyclic $k< X>$-module, where $|X|>1$. We give another proofs of the well known theorems: each countably generated group (resp. associative algebra, semigroup, Lie algebra) can be embedded into a two-generated group (resp. associative algebra, semigroup, Lie algebra).

math.RA↗