剩余环上的多项式函数的判定.pdfVIP

江苏广播 电视大学学报 JournalofJiangsuRadioTelevisionUniversity 2009．5Vo1．20 剩余环上的多项式函数的判定 夏建 军 淮安市广播 电视大学 江苏 淮安223002 摘 要：L．Carlitx完善了剩余环 z／pZ的多项式函数的判定并给出相应的证明，在原有条件不变的情况 下，对原有的证明进行了简化，并将这一结果从一维函数推广到多维函数上。 关键词：witt环；多项式函数；Teichmuller元素；剩余环 ；p一函数 中图分类号：0153．3 文献标识码：A 文章编号：1008—4207(2009)05—0055—04 一 、 引论及预备知识 是L．的单位元 A CP 。 本文讨论的是剩余类环 Z／pZ上的一维函数和多维 引理1．2… f(X 一，X)=∑aiXi：… ，g(x。， i=1 函数，早在 1954年，L．Carlitx…就给出了剩余类环上多项 … 式函数的判定和证明，后来，WolfmannJ_2等人进一步完 ， Xn)=∑biXilI… 是z上的次数n=max i：1 善了L．Carlitx等前人的工作，使得剩余类环上的一类 函 数的有关理论变得更加完善，并广泛应用于Java软件编 (∑i+···+i)p的多项式函数。如果对V=(， l= l 程以及机械电子行业。本文所做的工作只是对前人的理 … ，Xn)∈Z )一g()(m0dp)，贝4有 0 b(moap)，对 论证明作了一些改进及推广。 所有的i=1，2，…，n都成立。 令 ．，表示由P和 。一 ，…， 一 生成的环 z[ ， 证明：假使 ，使 a≠6(mo@ ) … ， ]的理想，则有 自然满同态 Ah：Z[X 一， ]／— f-g=p∑勺 … rl，3j使 ( ，P)=1 Ph，其中P 是Z／pZ上所有的多项式形成的环。 =0 · ’ 命题 1．1 任意 ∈Z／pz可唯一的用 t∈ ，OlE ． ，()g(~)(modp) V =(l，…， )∈Z pZ／pZ表示为： ． · ． ∑ … =-O(modp)。 J U =t+ (1．1) 证明：如果V(，P)=1，有 pl’一1(mo@ )而 (P) 令日()=∑cJ… ，则H()是 上的零函数。 =p (P一1) 因(c，，P)=1，则 H(x)是非零且次数小于P的多项 ． ·． ( 卜)__-xp卜(modv)