QF环上零维理想是线性递归阵列的零化理想的判别.pdfVIP

Q冒环上零维理想是线性递雕列豹零他理慧的搿掰” 陆佩忠 (复旦大学计算机科学系信患论宣，上棒200433) 刘术兰 (中国辩学院幕坑科学研究所，北京lo0082) ■要设R是Qu赫F№沁环(简记QF环)：R[x]是R上”个变元的多项 式环，其中x一(z1．“，^)。J是砒X]的任意一个零堆理想。本文蛤出判别，恰 是一个R上的一个线性递归阵列的特征理悬的方法。 关■调QF环Gr6bn目墓线性递归阵列零化理想 1．引 言 线性递归序列的研究已有悠久的历史，由于密码学、编码学和系统科学等理论的应用 背景，壤上的线性递归阵列(LilA)的研究已有丰礤的成果。近年来，Ga“s环上的UtA的 研究已gf起丁广_泛的兴趣口】。Gr6bner基理论对研究环上的LRA提供了十分有力的工 具．本文将用G曲nn基理论研究环上U认的零化理想。我们的日的是给出判断R[x] 的理想J是否恰是一个线性递归阵确的零化理想的方法。我们的结果推广了oI)sert旧和 M．HeiKg∞n捌等许多人的关于域上LRA零化理想判别的工作。 设黄是有单位元的变换环。称R是一个Qm摹i-F∞ben岫s环，简记QF环。如果R是 ，)是QF环，更一般的局部Art．m主理想环是QF环。 本文中，我们始终用R表示一个QF环。设J矿=舡[X-1]]=R[■i1’．．·，百1]]是形 式幂缓效环，也称之为R上的全体阵列组成的R一模。侈。在如下定义的数秉下构成 碰X]-模，即对任意舡x]中的单项膏=。}…曲，和R中的元素n，定义 羽·【∑qx一’}=∑(哟)x“‘∑呻+Ⅸ一， (1) jE4 难4 J∈4 其中当i≤J时，掣一△o，并由此线性扩展到多璜式环，即对任意，(x)=己正r∈ R[x]，口=2』难矗口雀一’∈矗[[x叫]] ，(x)·口一∑(∑如一x一， (2) ，夏7 · 爿置[[x“]]是R[x]一模。设 1)奉文稃封中蕾膏士后基全的责啮． ∥’={口∈∥I存在首一多项式工(z，)∈R[丑]，使得，，(z。Ⅺ一o，s=1，…，”} (3) 。一中的每十元素称之为腿A。显然J也是砒x]一模。 若J为R[x]的理想，M是彳的砒x]一子模，则定义 Zer』(，)一(}∈搿f，·芋一o，对任意，∈，} (4) (5) AnnR田(Ⅳ)一{，∈R[x]l，·#一o，对任意e∈M) 在上下文明确时，简记zeh(，)一z盯(J)，Anni闭(肘)=A呻(M)。 本文研究R暖]的任意一个零维理想j，是否存在口∈∥‘，使得J=Ann(a)，即，恰是 a的零化理想。同时研究何时存在a∈。矿使得Am(J)=R[x卫。 2．阵列的零化理想与不可约理想 下面讨论UtA特征理想的判别问越，我们需要下面的结果。 。 零他宅理‘归设R是QF环，j是R[x]的任意一个理想．则 A“R[∞(Z日』(，))一， (6) 曩递囊定理[63设R是QF环，肘是龇睇-1]]的R[x]一子摸，且是有限生成R一模， 则 五吁』(Ann虬明(M))一肘