Gröbner–Shirshov bases for brace algebras

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. For each pre-Lie algebra L, we find a Gröbner–Shirshov basis for its universal brace algebra U_b(L). As applications, we determine an explicit linear basis for U_b(L) and prove that L is a pre-Lie subalgebra of U_b(L).     

Gröbner–Shirshov bases for pre-associative algebras

We develop Gröbner–Shirshov bases technique for pre-associative (dendriform) algebras and prove a version of composition-diamond lemma.     

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

In this paper, we establish the composition-diamond lemma for right-symmetric algebras. As an application, we give a Gröbner–Shirshov basis for the universal enveloping right-symmetric algebra of a Lie algebra.     

Parametrized Gröbner–Shirshov bases

We consider the problem of describing Gröbner–Shirshov bases for free associative algebras in finite terms. To this end we consider parametrized elements of an algebra and give methods for working with them which under favorable conditions lead to a basis given by finitely many patterns. On the negative side we show that in general there can be no algorithm. We relate our study to the problem of verifying that a given set of words in certain groups yields Bokut’ normal forms (or groups with a standard basis).     

Gröbner-Shirshov bases for Rota-Baxter algebras

We establish the composition-diamond lemma for associative nonunitary Rota-Baxter algebras of weight λ. To give an application, we construct a linear basis for a free commutative and nonunitary Rota-Baxter algebra, show that every countably generated Rota-Baxter algebra of weight 0 can be embedded into a two-generated Rota—Baxter algebra, and prove the 1-PBW theorems for dendriform dialgebras and trialgebras.     

Gröbner–Shirshov Bases for Schreier Extensions of Groups

In this article, by using the Gröbner–Shirshov bases, we give characterizations of the Schreier extensions of groups when the group is presented by generators and relations. An algorithm to find the conditions of a group to be a Schreier extension is obtained. By introducing a special total order, we obtain the structure of the Schreier extension by an HNN group.     

Rees algebras and gröbner bases

This paper deals with the following problem. Robbiano showed in [9] that standard bases, Gröbner bases, Macaulay bases are all instances of the same general situation. In this paper, we develop this philosophy from the point of view of the Rees algebra R of a ring A w.r.t. a filtration F given on A. The ring R plays a fine job between A and the graded ring G associated to A, F. The use of R and the properties of termorderings and their relate Gröbner bases led naturally to the definition of Gröbnerfiltrations ingeneral commutative rings.     

Symmetric and Rees algebras of Koszul cycles and their Gröbner bases

In this paper we study the symmetric algebra S(E _i ) and Rees algebra R(E _i ) of the modules E _i of i-cycles of the Koszul complex associated with the sequence of indeterminates of a polynomial ring . For i=2 and i=n–2 we show that is a d-sequence on S(E _i ) and R(E _i ) and we determine Gröbner bases and Sagbi bases related to these algebras. Mathematics Subject Classification (2000):13A30, 13D02, 13H10, 13P10The second author is grateful to the National Natural Science Foundation of China for support.Part of this work was made while the third author was visiting the Fachbereich Mathematik und Informatik der Universität Essen, to which he would like to thank for its hospitality.     

Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group

In this article, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Gröbner–Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained.     

On noncommutative Gröbner bases over rings

Let R be a commutative ring. It is proved that for verification of whether a set of elements {f _α} of the free associative algebra over R is a Gröbner basis (with respect to some admissible monomial order) of the (bilateral) ideal that the elements f _α generate it is sufficient to check the reducibility to zero of S-polynomials with respect to {f _α} iff R is an arithmetical ring. Some related open questions and examples are also discussed.     

Gröbner–Shirshov basis for the Braid group in the Birman–Ko–Lee generators

In this paper, we obtain Gröbner–Shirshov (non-commutative Gröbner) bases for braid groups in the Birman–Ko–Lee generators enriched by “Garside word” δ [J. Birman, K.H. Ko, S.J. Lee, A new approach to the word and conjugacy problems for the braid groups, Adv. Math. 139 (1998) 322–353]. It gives a new algorithm for getting the Birman–Ko–Lee normal forms in braid groups, and thus a new algorithm for solving the word problem in these groups.     

Gröbner–Shirshov Basis of Quantum Group of Type G 2

By using the generating sequence and relations given by Ringel for his Ringel–Hall algebra in [8 Ringel , C. M. ( 1996 ). PBW-bases of quantum groups . J. Reine Angew. Math. 470 : 51 – 88 .[Web of Science ®] , [Google Scholar]], we give a Gröbner–Shirshov basis for quantum group of type G ₂.     

Quadratic Gröbner bases for smooth 3×3 transportation polytopes

The toric ideals of 3×3 transportation polytopes T_rc\mathsf{T}_{\mathbf{rc}} are quadratically generated. The only exception is the Birkhoff polytope B ₃. If T_rc\mathsf{T}_{\mathbf{rc}} is not a multiple of B ₃, these ideals even have square-free quadratic initial ideals. This class contains all smooth 3×3 transportation polytopes.     

Simple signature based iterative algorithm for calculation of Gröbner bases

The paper presents an algorithm for calculation of Gröbner bases with the use of labeled polynomials from the F5 algorithm. The distinct feature of this algorithm is the simplicity both of the algorithm and the proof of its correctness achieved without loss of efficiency. This leads to a simple implementation whose performance is in par with more complex analogues.     

Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras

In this paper, we first found a magmatic (i.e., absolutely non-associative) Gröbner-Shirshov basis of a free Gelfand-Dorfman-Novikov algebra GDN(X) such that the corresponding set of irreducible magmatic words is the Dzhumadildaev-Löfwall linear basis of the GDN(X). Then, we prove a Composition-Diamond lemma for right ideals of a free right Leibniz algebra Lei(X).