On some basic applications of Gröbner bases in non-commutative polynomial rings
In this paper we generalize some basic applications of Gröbner bases in commutative polynomial rings to the non-commutative case. We define a non-commutative elimination order. Methods of finding the intersection of two ideals are given. If both the ideals are monomial we deduce a finitely written basis for their intersection. We find the kernel of a homomorphism, and decide membership of the imag
