The ideal membership problem in non-commutative polynomial rings

DOI10.1006/jsco.1996.0040zbMath0954.16019OpenAlexW1976529759MaRDI QIDQ677035

F. Leon Pritchard

Publication date: 7 February 2001

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

Full work available at URL: https://doi.org/10.1006/jsco.1996.0040

zbMATH Keywords

word problemmembership problemidealsnon-commutative polynomial ringsweak Gröbner bases

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Ordinary and skew polynomial rings and semigroup rings (16S36) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of associative rings (general theory) (16Z05) Applications of logic in associative algebras (16B70)

Related Items (15)

A Gröbner-Shirshov basis over a special type of braid monoids ⋮ Buchberger-Weispfenning theory for effective associative rings ⋮ Letterplace ideals and non-commutative Gröbner bases. ⋮ Modular techniques for noncommutative Gröbner bases ⋮ Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace} ⋮ Signature Gröbner bases in free algebras over rings ⋮ Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I ⋮ Buchberger-Zacharias theory of multivariate Ore extensions ⋮ Toward involutive bases over effective rings ⋮ Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings ⋮ Zacharias representation of effective associative rings ⋮ Weight ideals associated to regular and log-linear arrays. ⋮ Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures ⋮ A primer on ideal theoretical operation in non-commutative polynomial rings ⋮ De nugis Groebnerialium 6: Rump, Ufnarovski, Zacharias

This page was built for publication: The ideal membership problem in non-commutative polynomial rings