Showing 1–33 of 33 results for author: Bokut, L

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

Authors: L. A. Bokut, P. S. Kolesnikov

Abstract: 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… ▽ More 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. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 11 pages

MSC Class: 17B69; 17A30; 17A61

Journal ref: The Bulletin of Irkutsk State University. Series Mathematics, 2024, vol. 50, pp. 83--100 (in Russian)

Word problem for finitely presented metabelian Poisson algebras

Authors: Zerui Zhang, Yuqun Chen, L. A. Bokut

Abstract: 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 solvab… ▽ More 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. △ Less

Submitted 11 July, 2019; originally announced July 2019.

Comments: 26 pages

MSC Class: 17B63; 16S15; 13P10

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

Authors: Zerui Zhang, L. A. Bokut, Yuqun Chen

Abstract: 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. 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. △ Less

Submitted 22 November, 2018; v1 submitted 10 February, 2017; originally announced February 2017.

Comments: 21 pages

MSC Class: 16S15; 17A30; 17A70; 17B30

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

Authors: L. A. Bokut, Yuqun Chen, Zerui Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 6 June, 2017; v1 submitted 17 March, 2016; originally announced April 2016.

Comments: 23 pages

MSC Class: 16S10; 17A30; 17A50

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

Authors: L. A. Bokut, Yuqun Chen, Zerui Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 17 April, 2017; v1 submitted 9 May, 2015; originally announced June 2015.

Comments: 22 pages

MSC Class: 17D25; 16S15; 13P10; 08A50

Journal ref: Journal of Algebra and Its Applications, 16(1) (2017) 1750001-1--175001-22

Gröbner-Shirshov bases and PBW theorems

Authors: L. A. Bokut, Yuqun Chen

Abstract: 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. 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. △ Less

Submitted 8 November, 2014; originally announced February 2015.

Comments: 13 pages

MSC Class: 13P10; 16-xx; 16S15; 17-xx; 17B01; 17B66; 20F05; 20F36; 20M05

The Jacobian Conjecture, together with Specht and Burnside-type problems

Authors: Alexei Belov, Leonid Bokut, Louis Rowen, Jie-Tai Yu

Abstract: We explore an (unpublished) approach to the famous Jacobian Conjecture by means of identities of algebras, discovered by the brilliant deceased mathematician, Alexander Vladimirovich Yagzhev (1951{2001). This approach also indicates some very close connections between mathematical physics, universal algebra and automorphisms of polynomial algebras We explore an (unpublished) approach to the famous Jacobian Conjecture by means of identities of algebras, discovered by the brilliant deceased mathematician, Alexander Vladimirovich Yagzhev (1951{2001). This approach also indicates some very close connections between mathematical physics, universal algebra and automorphisms of polynomial algebras △ Less

Submitted 1 December, 2019; v1 submitted 3 August, 2013; originally announced August 2013.

Comments: 48 pages

MSC Class: 14R15

Journal ref: Automorphisms in Birational and Affine Geometry (Bellavista Relax Hotel, Levico Terme --Trento, October 29th --November 3rd, 2012, Italy), Springer Proceedings in Mathematics & Statistics, 79, Springer Verlag, 2014, 249--285

Gröbner-Shirshov bases and their calculation

Authors: L. A. Bokut, Yuqun Chen

Abstract: 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 survey, we formulate the Gröbner-Shirshov bases theory for associative algebras and Lie algebras. Some new Composition-Diamond lemmas and applications are mentioned. △ Less

Submitted 5 November, 2014; v1 submitted 19 March, 2013; originally announced March 2013.

Comments: 91 pages

MSC Class: 13P10; 16-xx; 16S15; 16S35; 16W99; 16Y60; 17-xx; 17B01; 17B37; 17B66; 17D99; 18Axx; 18D50; 20F05; 20F36; 20Mxx; 20M18

Journal ref: Bull. Math. Sci., 4(2014), 325-395

Gröbner-Shirshov bases for semirings

Authors: L. A. Bokut, Yuqun Chen, Qiuhui Mo

Abstract: 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 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. △ Less

Submitted 20 July, 2012; originally announced August 2012.

Comments: 22 pages

MSC Class: 16Y60; 16S15; 13P10

Journal ref: Journal of Algebra 385 (2013) 47--63

Lyndon-Shirshov basis and anti-commutative algebras

Authors: L. A. Bokut, Yuqun Chen, Yu Li

Abstract: 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-ass… ▽ More 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. △ Less

Submitted 6 October, 2011; originally announced October 2011.

MSC Class: 16S15; 13P10; 17Bxx

Journal ref: Journal of Algebra 378 (2013) 173--183

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

Authors: L. A. Bokut, Yuqun Chen, Weiping Chen, Jing Li

Abstract: 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 al… ▽ More 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}. △ Less

Submitted 3 October, 2014; v1 submitted 23 June, 2011; originally announced June 2011.

Comments: 22 pages

MSC Class: 16S15; 13P10; 20M05

Some new results on Gröbner-Shirshov bases

Authors: L. A. Bokut, Yuqun Chen, K. P. Shum

Abstract: 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. 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. △ Less

Submitted 7 January, 2011; originally announced February 2011.

Comments: 50 pages

MSC Class: 16S15; 13P10; 13N10; 16-xx; 17-xx; 17B01; 17B66; 18Axx; 20F36; 20M18; 17B37; 18D50

Journal ref: Proceedings of International Conference on Algebra 2010, Advances in Algebraic Structures, 2012, pp.53-102

Gröbner-Shirshov bases for categories

Authors: L. A. Bokut, Yuqun Chen, Yu Li

Abstract: 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 establish Composition-Diamond lemma for small categories. We give Gröbner-Shirshov bases for simplicial category and cyclic category. △ Less

Submitted 7 January, 2011; originally announced January 2011.

Comments: 20 pages

MSC Class: 16S15; 13P10; 18G30; 16E40

Journal ref: Nankai Series in Pure, Applied Mathematics and Theoretical Physics,Operads and Universal Algebra,Vol.9(2012), 1-23

Gröbner-Shirshov bases for Lie algebras over a commutative algebra

Authors: L. A. Bokut, Yuqun Chen, Yongshan Chen

Abstract: 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… ▽ More 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. △ Less

Submitted 27 May, 2011; v1 submitted 16 June, 2010; originally announced June 2010.

MSC Class: 17B01; 16S15; 13P10

Journal ref: Journal of Algebra 337 (2011) 82--102

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

Authors: L. A. Bokut, Yuqun Chen, Jiapeng Huang

Abstract: 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… ▽ More 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$. △ Less

Submitted 1 May, 2010; originally announced May 2010.

Comments: 22 pages

MSC Class: 16S15; 13P10; 16W99; 17D99

Journal ref: International Journal of Algebra and Computation, 23(3)(2013), 547--571

Gröbner-Shirshov bases for Rota-Baxter algebras

Authors: L. A. Bokut, Yuqun Chen, Xueming Deng

Abstract: 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 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. △ Less

Submitted 10 November, 2009; v1 submitted 17 August, 2009; originally announced August 2009.

Comments: 24 pages

MSC Class: 16S15; 13P10; 16W99; 17A50

Journal ref: Siberian Mathematical Journal, Vol. 51, No. 6, pp. 978-988, 2010

Gröbner-Shirshov bases and embeddings of algebras

Authors: L. A. Bokut, Yuqun Chen, Qiuhui Mo

Abstract: 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 emb… ▽ More 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). △ Less

Submitted 13 August, 2009; originally announced August 2009.

Comments: 26 pages

MSC Class: 20E34; 16Sxx; 17B05; 08Cxx; 16D10; 16S15; 13P10

Journal ref: International Journal of Algebra and Computation, 20(2010), 875-900

Composition-Diamond lemma for associative $n$-conformal algebras

Authors: L. A. Bokut, Yuqun Chen, Guangliang Zhang

Abstract: In this paper, we study the concept of associative $n$-conformal algebra over a field of characteristic 0 and establish Composition-Diamond lemma for a free associative $n$-conformal algebra. As an application, we construct Gröbner-Shirshov bases for Lie $n$-conformal algebras presented by generators and defining relations. In this paper, we study the concept of associative $n$-conformal algebra over a field of characteristic 0 and establish Composition-Diamond lemma for a free associative $n$-conformal algebra. As an application, we construct Gröbner-Shirshov bases for Lie $n$-conformal algebras presented by generators and defining relations. △ Less

Submitted 4 March, 2009; originally announced March 2009.

Comments: 47 pages

Gröbner--Shirshov bases for Vinberg--Koszul--Gerstenhaber right-symmetric algebras

Authors: L. A. Bokut, Yuqun Chen, Yu Li

Abstract: 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 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. △ Less

Submitted 4 March, 2009; originally announced March 2009.

Comments: 13 pages

MSC Class: 16S15; 13P10; 17A30

Journal ref: Fundamental and Applied Mathematics, 14(8)(2008), 55-67. (in Russian)

Groebner-Shirshov basis for the braid group in the Artin-Garside generators

Authors: L. A. Bokut

Abstract: In this paper, we give a Groebner-Shirshov basis of the braid group $B_{n+1}$ in the Artin--Garside generators. As results, we obtain a new algorithm for getting the Garside normal form, and a new proof that the braid semigroup $B^+{n+1}$ is the subsemigroup in $B_{n+1}$. In this paper, we give a Groebner-Shirshov basis of the braid group $B_{n+1}$ in the Artin--Garside generators. As results, we obtain a new algorithm for getting the Garside normal form, and a new proof that the braid semigroup $B^+{n+1}$ is the subsemigroup in $B_{n+1}$. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Markov and Artin normal form theorem for braid groups

Authors: L. A. Bokut, V. V. Chaynikov, K. P. Shum

Abstract: In this paper we will present the results of Artin--Markov on braid groups by using the Groebner--Shirshov basis. As a consequence we can reobtain the normal form of Artin--Markov--Ivanovsky as an easy corollary. In this paper we will present the results of Artin--Markov on braid groups by using the Groebner--Shirshov basis. As a consequence we can reobtain the normal form of Artin--Markov--Ivanovsky as an easy corollary. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Groebner-Shirshov basis for the braid group in the Birman-Ko-Lee-Garside generators

Authors: L. A. Bokut

Abstract: In this paper, we obtain Groebner-Shirshov (non-commutative Gröbner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $δ$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form in the braid groups, and thus a new algorithm for solving the word problem in these groups. In this paper, we obtain Groebner-Shirshov (non-commutative Gröbner) bases for the braid groups in the Birman-Ko-Lee generators enriched by new ``Garside word" $δ$. It gives a new algorithm for getting the Birman-Ko-Lee Normal Form in the braid groups, and thus a new algorithm for solving the word problem in these groups. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Groebner-Shirshov basis for the braid semigroup

Authors: L. A. Bokut, Y. Fong, W. -F. Ke, L. -S. Shiao

Abstract: We found Groebner-Shirshov basis for the braid semigroup $B^+_{n+1}$. It gives a new algorithm for the solution of the word problem for the braid semigroup and so for the braid group. We found Groebner-Shirshov basis for the braid semigroup $B^+_{n+1}$. It gives a new algorithm for the solution of the word problem for the braid semigroup and so for the braid group. △ Less

Submitted 6 June, 2008; originally announced June 2008.

Groebner-Shirshov Bases for Associative Algebras with Multiple Operators and Free Rota-Baxter Algebras

Authors: L. A. Bokut, Yuqun Chen, Jianjun Qiu

Abstract: 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 simi… ▽ More 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. △ Less

Submitted 4 March, 2009; v1 submitted 5 May, 2008; originally announced May 2008.

Comments: 21 pages

MSC Class: 16S15; 13P10; 16W99; 17A50

Journal ref: Journal of Pure and Applied Algebra, 214(2010), 89-100.

Composition-Diamond Lemma for Tensor Product of Free Algebras

Authors: L. A. Bokut, Yuqun Chen, Yongshan Chen

Abstract: 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. 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. △ Less

Submitted 15 April, 2008; v1 submitted 14 April, 2008; originally announced April 2008.

Comments: 19 pages

MSC Class: 16S10; 16S15; 13P10

Journal ref: Journal of Algebra, 323(2010), 2520-2537.

Groebner-Shirshov Bases: Some New Results

Authors: L. A. Bokut, Yuqun Chen

Abstract: 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. 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. △ Less

Submitted 8 April, 2008; originally announced April 2008.

Comments: 19 pages

Journal ref: Proceedings of the 2nd international congress of Algebras and Combinatorics, World Scientific, 2008, 35-56

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

Authors: L. A. Bokut, Yuqun Chen

Abstract: 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 review Shirshov's method for free Lie algebras invented by him in 1962 which is now called the Groebner-Shirshov bases theory. △ Less

Submitted 8 April, 2008; originally announced April 2008.

Comments: 18 pages

MSC Class: 17B01; 16S15; 13P10; 05-02

Journal ref: Southeast Asian Bull Math., 31(2007), 1057-1076

Groebner-Shirshov bases for free inverse semigroups

Authors: L. A. Bokut, Yuqun Chen, Xiangui Zhao

Abstract: 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 alg… ▽ More 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. △ Less

Submitted 15 October, 2013; v1 submitted 7 April, 2008; originally announced April 2008.

MSC Class: 16S15; 13P10; 20M05; 20M18

Journal ref: International Journal of Algebra and Computation, 19(2)(2009), 129-143

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

Authors: L. A. Bokut, Yuqun Chen, Yu Li

Abstract: 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-com… ▽ More 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). △ Less

Submitted 6 April, 2008; originally announced April 2008.

MSC Class: 16S15; 13P10; 17Bxx

Journal ref: Science in China, 52(2)(2009), 244-253.

Groebner-Shirshov bases for dialgebras

Authors: L. A. Bokut, Yuqun Chen, Cihua Liu

Abstract: 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. 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. △ Less

Submitted 15 May, 2010; v1 submitted 3 April, 2008; originally announced April 2008.

Comments: 23 pages

MSC Class: 16S15; 13P10; 17A32; 17A99

Journal ref: International Journal of Algebra and Computation, 20(3)(2010), 391-415

On the conjugacy problem for cyclic extensions of free groups

Authors: Valerij Bardakov, Leonid Bokut, Andrei Vesnin

Abstract: We study the conjugacy problem in cyclic extensions of free groups. It is shown that the conjugacy problem is solvable in split extensions of finitely generated free groups by virtually inner automorphisms. An algorithm for construction of the unique representative (the conjugacy normal form) for each conjugacy class is given. We study the conjugacy problem in cyclic extensions of free groups. It is shown that the conjugacy problem is solvable in split extensions of finitely generated free groups by virtually inner automorphisms. An algorithm for construction of the unique representative (the conjugacy normal form) for each conjugacy class is given. △ Less

Submitted 4 February, 2004; originally announced February 2004.

Comments: 18 pages

MSC Class: 20F10

Twisted conjugacy in free groups and Makanin's question

Authors: Valerij Bardakov, Leonid Bokut, Andrei Vesnin

Abstract: We discuss the following question of G. Makanin from ``Kourovka notebook'': does there exist an algorithm to determine is for an arbitrary pair of words $U$ and $V$ of a free group $F_n$ and an arbitrary automorphism $φ\in Aut(F_n)$ the equation $φ(X) U = V X$ solvable in $F_n$? We give the affirmative answer in the case when an automorphism is virtually inner, i.e. some its non-zero power is an… ▽ More We discuss the following question of G. Makanin from ``Kourovka notebook'': does there exist an algorithm to determine is for an arbitrary pair of words $U$ and $V$ of a free group $F_n$ and an arbitrary automorphism $φ\in Aut(F_n)$ the equation $φ(X) U = V X$ solvable in $F_n$? We give the affirmative answer in the case when an automorphism is virtually inner, i.e. some its non-zero power is an inner automorphism of $F_n$. △ Less

Submitted 4 February, 2004; v1 submitted 26 January, 2004; originally announced January 2004.

Comments: 19 pages

MSC Class: 20F10

Gröbner-Shirshov Bases for Lie Superalgebras and Their Universal Enveloping Algebras

Authors: Leonid A. Bokut, Seok-Jin Kang, Kyu-Hwan Lee, Peter Malcolmson

Abstract: We show that a set of monic polynomials in the free Lie superalgebra is a Gröbner-Shirshov basis for a Lie superalgebra if and only if it is a Gröbner-Shirshov basis for its universal enveloping algebra. We investigate the structure of Gröbner-Shirshov bases for Kac-Moody superalgebras and give explicit constructions of Gröbner-Shirshov bases for classical Lie superalgebras. We show that a set of monic polynomials in the free Lie superalgebra is a Gröbner-Shirshov basis for a Lie superalgebra if and only if it is a Gröbner-Shirshov basis for its universal enveloping algebra. We investigate the structure of Gröbner-Shirshov bases for Kac-Moody superalgebras and give explicit constructions of Gröbner-Shirshov bases for classical Lie superalgebras. △ Less

Submitted 6 September, 1998; originally announced September 1998.

Comments: 36 pages

MSC Class: 17A70