The Ideal Membership Problem in Non-Comm
✍
F.LEON PRITCHARD
📂
Article
📅
1996
🏛
Elsevier Science
🌐
English
⚖ 689 KB
Let X be a non-commutative monoid with term order; let R be a commutative, unital ring; let I be an ideal in the non-commutative polynomial ring R X ; and let f ∈ R X . In this setting the problem of determining whether f ∈ I is studied. In a manner analogous to the commutative case, see , weak Gröb