环上的Hensel赋值和半序.pdfVIP

独创性声明 本人声明所呈交的学位论文是本人程导师指导下进行的研究王作及取得的 研究成果。据我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其 他人已经发表戏撰写过的研究成果，也不包含为获得南昌大学或其他教育机 构的学位或证书面使用过的秘莘萼。与我～涮工作的同志对本研究所傲豹任何贡献 均已在论文中作了明确的说明并表示谢意。 学位论文作者签名虽撩 签字日期： 2006年4月3目 学位论文版权使用授权书 本学位论文作者完全了解 南昌大学 有关保留、使用学位论文的规定， 有权保留并向国家有关部门或机构送交论文的复印件和磁盘，允许论文被查阅和 借阅。本人授权南昌大学可以将学位论文的全部或部分内容编入有关数据库进 行检索，可以采甩影印、缩印或扫描等笈制手段傈存、沤编学位论文。 (保密的学位论文在解密后适用本授权书) 学位做作者签名参多瓣 导筛签名：嚆础 签字日期：2006年4月3日 签字网期：2006年4月3日 学位论文作者毕业后去向： 工作单位： 电话： 通讯地址：南鼹大学数学系 邮编： 一 引言 实域理论中的序、实位、实赋倩和Hensel赋值是彼此之间有着密切关系的几个甚为重 要的概念，与这些概念有关的结果是实域理论的一个重要组成部分。1987年，戴执中在文 献[1]中借助环上位和味值的概念，成功地在环上建立了实位与实赋值，从而在环上得到了 与实域理论全然类似的有关结果。在实域论中，我们有如下重要结论：若v是域F的一个 Hensel赋值，则F的每个半序都与v柏容。对比域与交换环的性质，自然会思考这样一个 问题：能否将该结论～成不变地推广到交换环上?对此，本文通过一个反例作出了否定的回 答。同时，本文把域上Hensel赋值的一些相关理论推广到环上，从而得到一些类似的结果。 本文所谓的环，均指带有乘法单位元的交换环，其子环与所在环具有同一乘法单位元 二环问的同态映射使乘法单位元互相对应。环上的赋值v：R—F。端Manis赋值，其中 r。=ru{m)。对于环R的一个赋值V，令 A：={xERlv(x)≥o)，M。：={xERIv(x)o}，C。：一{xERlv(x)=。。} 此时，称A为V的斌值环，M。为v的赋值理想，(A。，M。)为v的赋值对，C。N赋ffiv的 核，且记R+；R＼C。。交换环上的Hensel赋值是一类重要的M口n括赋值。它是由戴执中 J中首先引进的(见下文中定义3 先生在文【2 1)。此外，环上Hensel赋值在半实Ng,与高层 实闭环的刻划中起着重要的作用，有关结果可参见文[3]和文[4]。 定义1．1设环R在于环K上是整的n若对于尺的每个非零理想，，总有，nK≠(0)， 则称月为Ⅳ的紧整扩张。 定义12设R是K的一个环扩张，V和～分别为月和K的赋值。如果vk=vo，那么 p称怍％在R上的一个拓展。 定理1．1设环R是环K的任意整扩张，％是K的一个赋值．则％在R上有拓展。 证明 令P=啄‘(。。)，则P为K的一个紊理想。由于R在K上摧，则存在R的素理 想q，使得qF／K=P。由文献[5]中命题316知P”=P，这里P。表示P在R中的扩理想 而P“=P。OK。再根据文献[6]的命题7可知，vo在R上有拓展。 定义1．3设v和v’都是环尺的赋值．且它们的值群为r和r’。若存在一个序群同构 妒：F—r’，使得v’=妒·V，则称v和v’是等价的，且记作v～v’。 事实 设V是环R的一个非浅显赋值，(B，M)为与V相对应的赋值对t则V一”㈣M 其中■口川为由赋值对∞，M)所定的赋值。 Elgl设r是V的值群，，为V的核a由文[7]中附录B的定理1知，U口，Ⅳ)的值群为 №∈R＼，。若 【x】一V@)， r㈣Ⅳ)=“叫lx∈R＼，}。作F(口，^，)到r的如