Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I

DOI10.1142/S021819679800034XzbMath0923.16024OpenAlexW2003110504MaRDI QIDQ3839878

A. A. Zolotykh, Alexander A. Mikhalev

Publication date: 10 August 1998

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s021819679800034x

zbMATH Keywords

normal formsword problemterm rewritingreduced basesstandard bases of ideals of free algebrasweak standard bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) 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) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42)

Related Items (9)

Gröbner-Shirshov bases for some Lie algebras ⋮ Affine representability and decision procedures for commutativity theorems for rings and algebras ⋮ Signature Gröbner bases in free algebras over rings ⋮ Gröbner-Shirshov bases for semirings. ⋮ Gröbner-Shirshov bases for free Gelfand-Dorfman-Novokov algebras and for right ideals of free right Leibniz algebras ⋮ Formal proofs of operator identities by a single formal computation ⋮ New approaches to plactic monoid via Gröbner-Shirshov bases. ⋮ Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras. ⋮ Gröbner–Shirshov bases and their calculation

Cites Work

• Bi-rewrite systems
• The ideal membership problem in non-commutative polynomial rings
• Gröbner-Shirshov bases for quantum enveloping algebras
• Gröbner bases of modules over reduction rings
• Non-commutative Gröbner bases in algebras of solvable type
• The concept of Gröbner algebras
• The reduction ring property is hereditary
• On constructing bases for ideals in polynomial rings over the integers
• On the theory of graded structures
• New constructive methods in classical ideal theory
• History and basic features of the critical-pair/completion procedure
• A generalization of reduction rings
• Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
• An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras
• On recognisable properties of associative algebras
• On the D-bases of polynomial ideals over principal ideal domains
• Skew polynomial rings with binomial relations
• Termination and completion modulo associativity, commutativity and identity
• On lucky ideals for Gröbner basis computations
• The diamond lemma for ring theory
• Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen
• Théorème de division et stabilité en géométrie analytique locale
• A solution to Kronecker's problem
• An introduction to commutative and noncommutative Gröbner bases
• Analogs of Gröbner bases in polynomial rings over a ring
• Normalized rewriting: An alternative to rewriting modulo a set of equations
• Construction of finitely presented Lie algebras and superalgebras
• Constructions in a Polynomial Ring Over the Ring of Integers
• Generalized Lie Elements
• SERRE RELATIONS AND GRÖBNER-SHIRSHOV BASES FOR SIMPLE LIE ALGEBRAS I
• Generalized Lie algebras
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Subalgebras of free leibniz algebras
• ALGORITHMIC PROBLEMS IN VARIETIES
• Gröbner bases for polynomial ideals over commutative regular rings
• Computation and simplification in lie fields
• The Word Problem for Abstract Algebras
• A Canonical Basis for the Ideals of a Polynomial Domain

This page was built for publication: Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I