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

L.A. Bokut,Yuqun Chen,Yu Li

DOI: https://doi.org/10.48550/arXiv.0903.0706

2009-03-04

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.

Rings and Algebras,Representation Theory

What problem does this paper attempt to address?

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

L.A. Bokut,Yuqun Chen,Jiapeng Huang

DOI: https://doi.org/10.1142/S0218196713500094

2010-05-02

Abstract:In this paper, we firstly establish Composition-Diamond lemma for $\Omega$-algebras. We give a Grö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 $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$.

Rings and Algebras
Anti-commutative Groebner-Shirshov basis of a free Lie algebra

L. A. Bokut,Yuqun Chen,Yu Li

DOI: https://doi.org/10.1007/s11425-008-0168-y

2008-04-06

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-commutative (non-associative) algebras (A.I. Shirshov, 1962).

Rings and Algebras
Groebner-Shirshov bases for brace algebras

Yu Li,Qiuhui Mo,Xiangui Zhao

DOI: https://doi.org/10.48550/arXiv.1709.01401

2017-10-03

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

Rings and Algebras
Groebner--Shirshov bases method for vertex algebras

R.A. Kozlov,P.S. Kolesnikov

2023-12-04

Abstract:In this note we show how to apply the Gröbner--Shirshov bases (GSB) method for modules over an associative algebra to the study of vertex algebras defined by generators and relations. We compute GSBs for a series of vertex algebras and study the problem of embedding of a left-symmetric algebra into a vertex one preserving the normally ordered product.

Rings and Algebras
Gröbner--Shirshov bases for commutative dialgebras

Yuqun Chen,Guangliang Zhang

DOI: https://doi.org/10.1080/00927872.2018.1513017

2019-07-11

Abstract: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 solvable. We construct a Gröbner--Shirshov basis in associative dialgebra $Di\langle X\rangle$ by lifting a Gröbner--Shirshov basis in $Di[X]$.

Rings and Algebras
Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras

Yu Li,Qiuhui Mo,L. A. Bokut

DOI: https://doi.org/10.1080/00927872.2020.1779277

2020-06-25

Communications in Algebra

Abstract:E. Chibrikov defined regular monomials (here called Chibrikov words) and proved that they form a linear basis of a free Sabinin algebra. In this paper, we introduce the notion of a generalized anti-commutative algebra and establish Gröbner-Shirshov basis theory for those algebras. We provide another approach to the definition of Chibrikov words i.e. we find a generalized anti-commutative Gröbner-Shirshov S of a free Sabinin algebra such that Irr(S) is the set of all Chibrikov words on X, where Irr(S) is the set of all normal Ω-words not containing maximal monomials of polynomials from S. Following from Gröbner-Shirshov basis theory of generalized anti-commutative algebras, the set Irr(S) is a linear basis of a free Sabinin algebra.

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

L. A. Bokut,Yuqun Chen

DOI: https://doi.org/10.48550/arXiv.0804.1254

2008-04-09

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.

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

Yuxiu Bai,Yuqun Chen

DOI: https://doi.org/10.48550/arXiv.2008.04889

2020-08-08

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

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

Zihao Qi,Yufei Qin,Guodong Zhou

DOI: https://doi.org/10.48550/arXiv.2112.11631

2021-12-22

Rings and Algebras

Abstract:We study a question which can be roughly stated as follows: Given a (unital or nonunital) algebra $A$ together with a Gr\"obner-Shirshov basis $G$, consider the free operated algebra $B$ over $A$, such that the operator satisfies some polynomial identities $\Phi$ which are Gr\"obner-Shirshov in the sense of Guo et al., when doesthe union $\Phi\cup G$ will be an operated Gr\"obner-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, $\Phi\cup G$ is an operated Gr\"obner-Shirshov basis for $ B$ and as a consequence, we also get a linear basis of $B$. However, the condition could not be applied directly to differential type algebras introduced by Guo, Sit and Zhang, including usual differential algebras. This paper solves completely this problem for differential type algebras.Some new monomial orders are introduced which, together with some known ones, permit the application of the previous result to most of differential type algebras, thus providing new operated GS bases and linear bases for these differential type algebras.Versions are presented both for unital and nonunital algebras. However, a class of examples are also presented, for which the natural expectation in the question is wrong and these examples are dealt with by direct inspection.
Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

Daoji Huang,Matt Larson

2024-11-26

Abstract:We give a criterion for a collection of polynomials to be a universal Gröbner basis for an ideal in terms of the multidegree of the closure of the corresponding affine variety in $(\mathbb{P}^1)^N$. This criterion can be used to give simple proofs of several existing results on universal Gröbner bases. We introduce fine Schubert polynomials, which record the multidegrees of the closures of matrix Schubert varieties in $(\mathbb{P}^1)^{n^2}$. We compute the fine Schubert polynomials of permutations $w$ where the coefficients of the Schubert polynomials of $w$ and $w^{-1}$ are all either 0 or 1, and we use this to give a universal Gröbner basis for the ideal of the matrix Schubert variety of such a permutation.

Algebraic Geometry,Commutative Algebra,Combinatorics
Gröbner-Shirshov Bases and Hilbert Series of Free Dendriform Algebras

Yuqun Chen,Bin Wang

DOI: https://doi.org/10.48550/arXiv.1009.0185

2010-09-01

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

Rings and Algebras
On the Combinatorics of the Universal Enveloping Algebra Uh(sl2)

Rafael Diaz,Edward Salamanca

DOI: https://doi.org/10.48550/arXiv.1604.02063

2016-04-08

Abstract:We study using combinatorial methods the structural coefficients of the formal homogeneous universal enveloping algebra Uh(sl2) of the special linear algebra sl2 over a field of characteristic zero. We provide explicit formulae for the product of generic elements in Uh(sl2), and construct combinatorial objects giving flesh to these formulae.

Quantum Algebra,Mathematical Physics,Combinatorics
Gröbner-Shirshov bases for Lie $Ω$-algebras and free Rota-Baxter Lie algebras

Jianjun Qiu,Yuqun Chen

DOI: https://doi.org/10.48550/arXiv.1604.06675

2016-03-24

Abstract: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 set $X$. From this, we establish Gröbner-Shirshov bases theory for Lie $\Omega$-algebras. As applications, we give Gröbner-Shirshov bases for free $\lambda$-Rota-Baxter Lie algebras, free modified $\lambda$-Rota-Baxter Lie algebras and free Nijenhuis Lie algebras and then linear bases of such three free algebras are obtained.

Rings and Algebras
Groebner-Shirshov basis for HNN extensions of groups and for the alternating group

Yuqun Chen,Chanyan Zhong

DOI: https://doi.org/10.1080/00927870701665180

2008-04-04

Abstract:In this paper, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Groebner-Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained.

Group Theory
Gröbner bases for operads

Vladimir Dotsenko,Anton Khoroshkin

DOI: https://doi.org/10.1215/00127094-2010-026

2009-09-09

Abstract:We define a new monoidal category on collections (shuffle composition). Monoids in this category (shuffle operads) turn out to bring a new insight in the theory of symmetric operads. For this category, we develop the machinery of Gröbner bases for operads, and present operadic versions of Bergman's Diamond Lemma and Buchberger's algorithm. This machinery can be applied to study symmetric operads. In particular, we obtain an effective algorithmic version of Hoffbeck's PBW criterion of Koszulness for (symmetric) quadratic operads.

Quantum Algebra
Composition-Diamond Lemma for Non-associative Algebras over a Commutative Algebra

Yuqun Chen,Jing Li,Mingjun Zeng

DOI: https://doi.org/10.48550/arXiv.1009.0196

2010-09-01

Abstract:We establish the Composition-Diamond lemma for non-associative algebras over a free commutative algebra. As an application, we prove that every countably generated non-associative algebra over an arbitrary commutative algebra $K$ can be embedded into a two-generated non-associative algebra over $K$.

Rings and Algebras
Algebras Defined by Monic Gröbner Bases over Rings

Huishi Li

DOI: https://doi.org/10.48550/arXiv.0906.4396

2010-05-28

Abstract:Let $K\langle X\rangle =K\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over a field $K$, and let $R\langle X\rangle =R\langle X_1,...,X_n\rangle$ be the free algebra of $n$ generators over an arbitrary commutative ring $R$. In this semi-expository paper, it is clarified that any monic Gröbner basis in $K\langle X\rangle$ may give rise to a monic Gröbner basis of the same type in $R\langle X\rangle$, and vice versa. This fact turns out that many important $R$-algebras have defining relations which form a monic Gröbner basis, and consequently, such $R$-algebras may be studied via a nice PBW structure theory as that developed for quotient algebras of $K\langle X\rangle$ in ([LWZ], [Li2, 3]).

Rings and Algebras
Subalgebra and Khovanskii bases equivalence

Colin Alstad,Michael Burr,Oliver Clarke,Timothy Duff

2024-02-09

Abstract:The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our philosophy is that most interesting examples of Khovanskii bases can also be realized as subalgebra bases and vice-versa. We also discuss the computation of Newton-Okounkov bodies, illustrating how interpreting Khovanskii bases as subalgebra bases makes them more amenable to the existing computer algebra tools.

Algebraic Geometry,Symbolic Computation
Free differential Lie Rota-Baxter algebras and Gröbner-Shirshov bases

Jianjun Qiu,Yuqun Chen

DOI: https://doi.org/10.48550/arXiv.1704.04493

2017-04-13

Abstract:We establish the Gröbner-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.

Rings and Algebras
The extra basis in noncommuting variables

Farid Aliniaeifard,Stephanie van Willigenburg

2024-08-31

Abstract:We answer a question of Bergeron, Hohlweg, Rosas, and Zabrocki from 2006 to give a combinatorial description for the coproduct of the x-basis in the Hopf algebra of symmetric functions in noncommuting variables, NCSym, which arises in the theory of Grothendieck bialgebras. We achieve this using the theory of Hopf monoids and the Fock functor. We also determine combinatorial expansions of this basis in terms of the monomial and power sum symmetric functions in NCSym, and by taking the commutative image of the x-basis we discover a new multiplicative basis for the algebra of symmetric functions.

Combinatorics

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

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

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

Groebner-Shirshov bases for brace algebras

Groebner--Shirshov bases method for vertex algebras

Gröbner--Shirshov bases for commutative dialgebras

Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras

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

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

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

Fine multidegrees, universal Grobner bases, and matrix Schubert varieties

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

On the Combinatorics of the Universal Enveloping Algebra Uh(sl2)

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

Groebner-Shirshov basis for HNN extensions of groups and for the alternating group

Gröbner bases for operads

Composition-Diamond Lemma for Non-associative Algebras over a Commutative Algebra

Algebras Defined by Monic Gröbner Bases over Rings

Subalgebra and Khovanskii bases equivalence

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

The extra basis in noncommuting variables