论文部分内容阅读
设R是有单位元的交换环,设f(x)是R上的首一多项式,记S(f(x))为R中由f(x)生成的所有齐次线性递归序列集合.S(f(x))S(g(x))定义为所有乘积st,S∈S(f(x)),l∈S(g(x)),生成的R模,本文的目的是要确定h(x)∈R[x],使得S(f(x))S(g(x))=S(h(x)).当R是一个域时,我们进一步给出确定h(x)的可计算的方法,使得S(f(x))S(g(x))=S(h(x)).