设(?)是域K上的代数元,p(x)∈K[x]是(?)在K上的极小多项式,A=K((?))[a1,…,an]是单代数扩域K((?))上具有n个生成元的可解多项式代......

设I是可解多项式代数A=K[a1,…,an]的一个非零左理想,由可解多项式代数上的左Grobner基性质,可知A中任何一个左理想对于一个单项式......