可解多项式代数及其自由模的消元理论
环与代数
2019-01-15 v2
摘要
设为一个域，为[K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]意义下的可解多项式代数。基于及上自由模的Gr"obner基理论，建立了的左理想的消元理论与自由-模的子模的消元理论。
引用
@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}
}
备注
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