Gröbner–Shirshov bases and their calculation

DOI10.1007/s13373-014-0054-6zbMath1350.13001arXiv1303.5366OpenAlexW3102269898WikidataQ59318454 ScholiaQ59318454MaRDI QIDQ5172855

Yuqun Chen, Leonid A. Bokut'

Publication date: 5 February 2015

Published in: Bulletin of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1303.5366

zbMATH Keywords

free semigroupassociative algebrabraid groupsemiringplactic monoidGröbner-Shirshov basispre-Lie algebraChinese monoidRota-Baxter algebraLyndon-Shirshov worddialgebraComposition-Diamond lemmaPBW theorem\(\Omega\)-algebra

Mathematics Subject Classification ID

Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Identities, free Lie (super)algebras (17B01) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Inverse semigroups (20M18) Research exposition (monographs, survey articles) pertaining to nonassociative rings and algebras (17-02) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Nonassociative algebras satisfying other identities (17A30) Research exposition (monographs, survey articles) pertaining to associative rings and algebras (16-02)

Related Items

Algorithmic problems for differential polynomial algebras ⋮ Completions of Leavitt path algebras. ⋮ Context-free languages and associative algebras with algebraic Hilbert series ⋮ Automaticity of one-relator semigroups with length less than or equal to three ⋮ A Gröbner-Shirshov basis over a special type of braid monoids ⋮ Derivations of Leavitt path algebras ⋮ Gröbner-Shirshov basis and Hochschild cohomology of the group \(\Gamma^4_5\) ⋮ Standard bases for the universal associative conformal envelopes of Kac-Moody conformal algebras ⋮ Rota's classification problem, rewriting systems and Gröbner-Shirshov bases ⋮ Affine representability and decision procedures for commutativity theorems for rings and algebras ⋮ Averaging algebras, rewriting systems and Gröbner–Shirshov bases ⋮ On probabilistic algorithm for solving almost all instances of the set partition problem ⋮ Gröbner–Shirshov bases theory for Leibniz superalgebras ⋮ Free Rota-Baxter systems and a Hopf algebra structure ⋮ Algorithmic operator algebras via normal forms in tensor rings ⋮ Algebras defined by Lyndon words and Artin-Schelter regularity ⋮ Hall bases for free Leibniz algebras ⋮ Gröbner–Shirshov bases for Lie Ω-algebras and free Rota–Baxter Lie algebras ⋮ Gelfand-Kirillov dimension of bicommutative algebras ⋮ Noncommutative Novikov algebras ⋮ Hochschild cohomology of the Weyl conformal algebra with coefficients in finite modules ⋮ Noncommutative algebras, context-free grammars and algebraic Hilbert series ⋮ The Anick complex and the Hochschild cohomology of the Manturov \((2,3)\)-group ⋮ Construction of free commutative Reynolds algebras by Gröbner-Shirshov bases ⋮ Free weighted (modified) differential algebras, free (modified) Rota–Baxter algebras and Gröbner–Shirshov bases ⋮ Gröbner–Shirshov bases method for Gelfand–Dorfman–Novikov algebras ⋮ Free Lie differential Rota–Baxter algebras and Gröbner–Shirshov bases ⋮ On the Special Identities of Gelfand–Dorfman Algebras ⋮ On pre-Novikov algebras and derived Zinbiel variety ⋮ Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients ⋮ Gröbner-Shirshov bases for semirings. ⋮ Some new results on Gröbner–Shirshov bases for Lie algebras and around ⋮ Unnamed Item ⋮ Generalized anti-commutative Gröbner-Shirshov basis theory and free Sabinin algebras ⋮ Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras ⋮ Unital locally matrix algebras and Steinitz numbers ⋮ Evaluations of noncommutative polynomials on algebras: methods and problems, and the L'vov-Kaplansky conjecture ⋮ Noncommutative Gröbner Bases: Applications and Generalizations ⋮ Some algorithmic problems for Poisson algebras ⋮ Gröbner–Shirshov bases for symmetric brace algebras ⋮ Word problem for special braid groups ⋮ Free Lie-admissible algebras and an analogue of the PBW theorem ⋮ Anick complex, Hochschild cohomology, Hilbert and Poincare series of the Manturov (3,4)-group ⋮ On the homological dimensions of Leavitt path algebras with coefficients in commutative rings ⋮ Free operated monoids and rewriting systems ⋮ Representations of simple anti-Jordan triple systems of m × n matrices ⋮ A new Composition-Diamond lemma for associative conformal algebras ⋮ Universal enveloping commutative Rota-Baxter algebras of pre- and post-commutative algebras ⋮ Construction of free differential algebras by extending Gröbner-Shirshov bases ⋮ On the growth of algebras, semigroups, and hereditary languages ⋮ Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras ⋮ Gröbner–Shirshov bases for brace algebras ⋮ Free objects and Gröbner-Shirshov bases in operated contexts ⋮ Identification of proofs via syzygies ⋮ Gröbner-Shirshov bases of irreducible modules over the quantum group \(U_q(F_4)\) ⋮ Groebner-Shirshov basis of the universal enveloping Rota-Baxter algebra of a Lie algebra ⋮ Normal Forms for Operators via Gröbner Bases in Tensor Algebras ⋮ Free Rota-Baxter family algebras and (tri)dendriform family algebras ⋮ HNN-extension of Lie superalgebras ⋮ A weak version of Kirillov's conjecture on Hecke-Grothendieck polynomials ⋮ Gröbner–Shirshov bases for commutative dialgebras ⋮ Gelfand-Dorfman algebras, derived identities, and the Manin product of operads ⋮ On Free Pre-Lie Algebras ⋮ Jacobson’s Lemma via Gröbner-Shirshov Bases ⋮ A New Composition-Diamond Lemma for Dialgebras ⋮ Universal enveloping algebra of a pair of compatible Lie brackets

Uses Software

• FPLSA
• Letterplace
• operads

Cites Work

• Lyndon-Shirshov basis and anti-commutative algebras
• Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids.
• New approaches to plactic monoid via Gröbner-Shirshov bases.
• Filtrations and distortion in infinite-dimensional algebras.
• The Freiheitssatz for Poisson algebras
• Gröbner-Shirshov bases of some monoids.
• Gröbner-Shirshov bases for Rota-Baxter algebras.
• A new construction for free inverse semigroups.
• Artin-Markov normal form for braid group.
• Triangular decomposition of right coideal subalgebras
• Gröbner-Shirshov bases for Lie algebras over a commutative algebra
• Gröbner-Shirshov bases for quantum enveloping algebras
• Bases for partially commutative Lie algebras
• A combinatorial approach to the quantification of Lie algebras.
• Composition-diamond lemma for non-associative algebras over a polynomial algebra
• Gröbner-Shirshov basis of quantum group of type \(\mathbb D_4\)
• Non-commutative Gröbner bases in algebras of solvable type
• Die Unterringe der freien Lieschen Ringe
• Recursive unsolvability of group theoretic problems
• The monster Lie algebra
• Letterplace ideals and non-commutative Gröbner bases.
• A right normed basis for free Lie algebras and Lyndon-Shirshov words
• The origins of combinatorics on words
• Gröbner-Shirshov bases of some Weyl groups
• An analogue of P.B.W. theorem and the universal R-matrix for \(U_ h\mathfrak{sl}(N+1)\)
• A Poincaré-Birkhoff-Witt theorem for quantized universal enveloping algebras of type \(A_ N\)
• A composition lemma and the equality problem for color Lie superalgebras
• Gröbner-Shirshov basis for the braid group in the Artin-Garside generators.
• Gröbner-Shirshov bases for Lie algebras: after A. I. Shirshov
• Gröbner-Shirshov basis of the Adyan extension of the Novikov group.
• Selected works of A. I. Shirshov. Translated by Murray Bremner and Mikhail V. Kotchetov. Edited by Leonid A. Bokut, Victor Latyshev, Ivan Shestakov and Efim Zelmanov
• The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points
• Composition-diamond lemma for tensor product of free algebras.
• Gröbner bases for operads
• Gröbner-Shirshov basis for the braid group in the Birman-Ko-Lee generators.
• Word problem for Novikov's and Boone's groups via Gröbner-Shirshov bases.
• Gröbner-Shirshov bases for associative algebras with multiple operators and free Rota-Baxter algebras.
• Anti-commutative Gröbner-Shirshov basis of a free Lie algebra.
• Equality problem for center-by-metabelian Lie algebras
• Hecke algebra representations of braid groups and link polynomials
• Generalized Kac-Moody algebras
• History and basic features of the critical-pair/completion procedure
• Shirshov composition techniques in Lie superalgebras (noncommutative Gröbner bases)
• Hall algebras and quantum groups
• Infinite dimensional Lie superalgebras
• The diamond lemma for ring theory
• Free Lie algebras and free monoids. Bases of free Lie algebras and factorizations of free monoids
• The construction of finitely represented Lie algebras
• A new approach to the word and conjugacy problems in the braid groups
• Gröbner-Shirshov bases for exceptional Lie algebras. I
• Gröbner-Shirshov bases for Lie superalgebras and their universal enveloping algebras
• On free conformal and vertex algebras
• Free left-symmetric algebras and an analogue of the Poincaré-Birkhoff- Witt theorem
• The occurrence problem for Lie algebras
• Algorithmic problems in associative algebras
• Gröbner bases and the computation of group cohomology.
• Composition-diamond lemma for associative conformal algebras.
• Gröbner-Shirshov bases for irreducible \(sl_{n+1}\)-modules
• Gröbner-Shirshov bases for metabelian Lie algebras
• Gröbner-Shirshov bases: from their inception to the present time.
• Hecke algebras, Specht modules and Gröbner-Shirshov bases.
• Hall algebras, hereditary algebras and quantum groups
• Differential type operators and Gröbner-Shirshov bases.
• Gröbner-Shirshov bases for extended modular, extended Hecke, and Picard groups.
• On Post's and Markov's examples of semigroups with unsolvable word problem.
• Gröbner-Shirshov bases for some Lie algebras
• Linear algebraic approach to Gröbner-Shirshov basis theory
• Gröbner-Shirshov basis of quantum group of type \(\mathbb E_6\)
• Gröbner-Shirshov bases for semirings.
• Gröbner-Shirshov bases for Vinberg-Koszul-Gerstenhaber right-symmetric algebras
• Turing degrees and the word and conjugacy problems for finitely presented groups.
• Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras.
• Gröbner bases in difference-differential modules and difference-differential dimension polynomials
• Permutations, matrices, and generalized Young tableaux
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Representation of Turing reducibility by word and conjugacy problems in finitely presented groups
• Artin-Gruppen und Coxeter-Gruppen
• The geometry of iterated loop spaces
• Braided version of Shirshov-Witt theorem
• On a formal product over the conjugate classes in a free group
• Theory of braids
• Associative differential operations
• The word problem in semi-groups with cancellation
• On theories with a combinatorial definition of 'equivalence'
• GRÖBNER-SHIRSHOV BASES FOR COXETER GROUPS
• Gröbner-Shirshov Bases for Free Partially Commutative Lie Algebras
• Gröbner-Shirshov Bases of the Generalized Bruck-Reilly ∗-Extension
• Gröbner-Shirshov Bases for Some One-relator Groups
• On Free Sabinin Algebras
• Gröbner–Shirshov bases for commutative algebras with multiple operators and free commutative Rota–Baxter algebras
• Gröbner-Shirshov Basis of Quantum Groups
• Combinatorics of Coxeter Groups
• GRÖBNER–SHIRSHOV BASES AND EMBEDDINGS OF ALGEBRAS
• Composition-diamond lemma for modules
• Relative Gröbner–Shirshov bases for algebras and groups
• Gröbner–Shirshov Basis of Quantum Group of TypeG₂
• Sufficiency Conditions for Bokut' Normal Forms
• Embedding dendriform algebra into its universal enveloping Rota-Baxter algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Basis for Free Lie Rings and Higher Commutators in Free Groups
• On the Representation of Lie Rings in Associative Rings
• On Burnside's Problem
• A variant of a recursively unsolvable problem
• Free differential calculus. IV: The quotient groups of the lower central series
• The word problem
• A complex of algorithms for computations in Lie superalgebras
• Program for constructing a complete system of relations, basis elements, and commutator table for finitely presented Lie algebras and superalgebras
• Algorithms for construction of standard Gröbner-Shirshov bases of ideals of free algebras over commutative rings
• Some remarks on the Akivis algebras and the Pre-Lie algebras
• LEAVITT PATH ALGEBRAS OF FINITE GELFAND–KIRILLOV DIMENSION
• Gröbner-Shirshov Bases for Categories
• Subgroups of finitely presented groups
• Canonical Bases Arising from Quantized Enveloping Algebras
• Gröbner–Shirshov Bases for Schreier Extensions of Groups
• THE FREIHEITSSATZ AND THE AUTOMORPHISMS OF FREE RIGHT-SYMMETRIC ALGEBRAS
• PBW-bases of coideal subalgebras and a freeness theorem
• COMPOSITION-DIAMOND LEMMA FOR λ-DIFFERENTIAL ASSOCIATIVE ALGEBRAS WITH MULTIPLE OPERATORS
• GRÖBNER–SHIRSHOV BASES FOR DIALGEBRAS
• GRÖBNER–SHIRSHOV BASIS FOR THE CHINESE MONOID
• GRÖBNER-SHIRSHOV BASES: SOME NEW RESULTS
• GRÖBNER—SHIRSHOV BASES AND NORMAL FORMS FOR THE COXETER GROUPS E₆ AND E₇
• Gröbner–Shirshov Bases for Extensions of Algebras
• GRÖBNER–SHIRSHOV BASES FOR FREE INVERSE SEMIGROUPS
• Vertex algebras, Kac-Moody algebras, and the Monster
• SERRE RELATIONS AND GRÖBNER-SHIRSHOV BASES FOR SIMPLE LIE ALGEBRAS II
• Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
• A Remark on the Birkhoff-Witt Theorem
• Decision Problems in Group Theory
• Synergy in the Theories of Gröbner Bases and Path Algebras
• A Version of the Poincaré-Birkhoff-Witt Theorem
• Non-commutative Gröbner bases for commutative algebras
• Groebner-Shirshov basis for the braid semigroup
• GR BNER–SHIRSHOV BASES FOR THE KAC–MOODY ALGEBRAS OF THE TYPE
• A Contribution to the Theory of Groups of Prime-Power Order
• THE CHINESE MONOID
• Hecke Algebras with Unequal Parameters
• Representations of Ariki–Koike algebras and Gröbner–Shirshov bases
• ALGORITHMIC PROBLEMS IN VARIETIES
• PBW-bases of quantum groups.
• Some New Results on Gröbner-Shirshov Bases
• Recursive Unsolvability of a problem of Thue
• GRÖBNER–SHIRSHOV BASES FOR L-ALGEBRAS
• Gröbner-Shirshov Bases for Braid Groups in Adyan-Thurston Generators
• The occurrence problem for free metanilpotent Lie algebras
• Lie Algebras and Superalgebras Defined by a Finite Number of Relations: Computer Analysis
• A FINITELY PRESENTED GROUP WITH ALMOST SOLVABLE CONJUGACY PROBLEM
• The right-normed basis for a free lie superalgebra and Lyndon-Shirshov words
• ON SOME EMBEDDING OF LIE ALGEBRAS
• CONSTRUCTION OF FREE COMMUTATIVE INTEGRO-DIFFERENTIAL ALGEBRAS BY THE METHOD OF GRÖBNER–SHIRSHOV BASES
• Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group
• Rosso-Yamane Theorem on PBW basis of $U_q(A_N)$
• THE BRAID GROUP AND OTHER GROUPS
• On a Factorisation of Free Monoids
• Koszul Resolutions
• ON ISOMORPHISM OF LIE ALGEBRAS WITH ONE DEFINING RELATION
• Markov and Artin Normal Form Theorem for Braid Groups∗