English

Elimination Theory for Solvable Polynomial Algebras and Their Free Modules

Rings and Algebras 2019-01-15 v2

Abstract

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

Keywords

Cite

@article{arxiv.1812.11491,
  title  = {Elimination Theory for Solvable Polynomial Algebras and Their Free Modules},
  author = {Huishi Li},
  journal= {arXiv preprint arXiv:1812.11491},
  year   = {2019}
}

Comments

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