Regular Gröbner bases

DOI10.1006/jsco.2001.0500zbMath1011.16017OpenAlexW1963877727MaRDI QIDQ1599541

Jonas Mȧnsson, Patrik Nordbeck

Publication date: 11 June 2002

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6ff577470398c1bec9c4da563518ac494e0cf6eb

zbMATH Keywords

algorithmsfree algebrasnoncommutative Gröbner basesfinitely generated algebrasregular setsbi-automaton algebras

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) Computational aspects of associative rings (general theory) (16Z05)

Related Items (4)

Gröbner bases for quadratic algebras of skew type ⋮ On the semiprimitivity of finitely generated algebras ⋮ On a Class of Automaton Algebras ⋮ Recognition of certain properties of automaton algebras.

Uses Software

• MRC

Cites Work

• A graded algebra with a non-rational Hilbert series
• The use of Knuth-Bendix methods to solve the word problem in automatic groups
• Quelques constructions et algorithmes rélatifs aux sous-monoides d'un monoide libre
• The diamond lemma for ring theory
• Some undecidability results concerning the property of preserving regularity
• Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
• MRC -- data structures and procedures for computing in monoid and group rings
• An introduction to commutative and noncommutative Gröbner bases
• On the computation of Hilbert series and Poincaré series for algebras with infinite Gröbner bases
• Using Gröbner bases to determine algebra membership, split surjective algebra homomorphisms determine birational equivalence
• Infinite regular Thue systems
• On finitely generated subsemigroups of a free semigroup
• On the Homology of Associative Algebras
• 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

This page was built for publication: Regular Gröbner bases