可解多项式代数K((?))[a_1,…,a_n]上左Gr(?)bner基的计算 06月04日
【摘要】设(?)是域K上的代数元,p(x)∈K[x]是(?)在K上的极小多项式,A=K((?))[a1,…,an]是单代数扩域K((?))上具有n个生成元的可解多项式代数.本文证明,若A的子代数K[a1,…,an]是K上可解多项式代数,则该子代数上关于可交换未定元x的一元多项式代数A=K[a1,…,an][x]是K上具有n+1个生成元的可解多项式代数,且A的任何一个由m个元素{f1,…,fm}生成 […]


