Elimination Theory for Solvable Polynomial Algebras and Their Free Modules

Abstract

Let $K$ be a field, and $A=K[a_1,\dots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. Based on the Gröbner basis theory for $A$ and for free modules over $A$, an elimination theory for left ideals of $A$ and an elimination theory for submodules of free $A$-modules are established.

29 pages. The statement i_1<i_2<...<i_m<n, which appears in Proposition 2.2, in the paragraph before Theorem 2.4, in Proposition 2.5, and in the paragraph straight after the proof of Proposition 2.6, is changed to i_1<i_2<...<i_m and m<n