交换环上线性递归阵列的代数表示
设R是交换Noether环,R”X”是R上n个变元的多项式环,其中X=(x<,1>,···,x<,n>,I是R”X”的理想,Zer(I)是R上的以I中的每个多项式的为线性递归关系的n维阵列组成的集合。该文利用同调代数的观点,给出Zer(I)中阵列的代数表示,这些表示是域上序列的迹、母函数、状态矩阵等表示在形式和作用范围等方面的综合和推广。利用Grobner基理论,该文给出构造Zer(I)生成元的算法。
线性递归阵列 逆幂级数 状态转移矩阵 交换环
陆佩忠
复旦大学计算机系(上海)
国内会议
武汉
中文
6~10
2000-01-01(万方平台首次上网日期,不代表论文的发表时间)