模上的实赋值与高层序.pdfVIP

第一章 引言 第一章 引言 赋值与序是实域理论中两个密切相关的重要概念.围绕这两个概念所得到的 结果是实域理论的重要组成部分，见文献[1].1969年，M.Manis[2】在交换环范 畴中引入了如次的赋值:设R是一个有单位元的交换环，r是一个运算为加法的 Abel群，令r.=ru{00)，同时规定，对于任意长Ts,5+Q0=00+t=00，且对于所有 怜r.Y-。从R到r.的一个满射u称作R的一个赋值，如果对于所有a.bER, u(ab)=u(a)+ub()，且u(a+b)zmin(u(a),u(b))。此时，r称为u的值群。在后来的 文献中，如上定义的赋值被称为Manis赋值。对于环R上的一个斌值u，可得 到如下R的三个子集:A.:={aERIu(a)x0).P.:二{aERIu(a)0}和P.:=(aERI 城.卜00}。容易验证:A.是R的子环，P.是A.的素理想，而夕。既是R的素理 想又是A.的素理想.A..P.和p.分别称为u的赋值环，斌值理想和核，且(A.. P.)称为u的赋值对.环R上的一个赋值u称作实的，如果人尸.是一个实整环， 这里 (A..P.)为u的赋值对。 与此同时，序这一概念在交换环范畴中也获得相应的推广，见文献[3]。为 了研究环上赋值与序之间的密切关系，人们借鉴实域的情形，在交换环上引入了 赋值与序之间的相容性，由此获得到许多重要的结果。有关这方面的内容，可见 文献[4.5]. 由于模是与环密切相关的一个代数系统，人们自然期望在模范畴中开展相同 的研究。1999年，曾广兴在模上引入了序的概念，有关定义和结论见文6【].随 后，模上高层序在文阴中获得推广。最近，在文献8【]中，模上的赋值被定义如 下:设M是一个R-模，其中R是一个有单位元的交换环，A是一个含最大元二 但不等于{00)的序集.一个从M到△的满射v称作M上的一个赋值，如果下列条 件成立:(1)对于任意x.yEM，有v(x+Y)amin{v(x),v(Y));(2)若v(x)av(y). 其中x.YEM，则v(-)-(ay)对于所有ZR都成立:(3)记v(00):={xEMlv(x)=0o) 若v(az)-(bz)，其中a.bER.zEV(oo)，则v(ax)sv(bx)对于所有XEM都成立: (4)对于任意:曰洲 峋，存在一个。.ER，使得对于每个XEM.v((a咖卜 v(x).此时，称e为v的值集，称v(oc)为v的核.r-v是R-模M的一个斌值，其中 R是一个有单位元的交换环，则可得到R上的一个赋值对(A.IP)，其中 Ar:二{aERlv(ax)zv(x)，对于任意XEM}.P,:二{aERv[(ax)v(x)对于所有 xEM\v(oc)).此时，称(A,..Pv)为v在R上所诱导的赋值对. 在模上序和斌值获得定义的基础上，曾广兴在文献9【)中研究了模上赋值与 序之间的密切关系.通过引进 “相容”这一概念，许多与环上类似的结果得以建 第一章 引言 立。 作为域上序的一个重要推广，E.Becker首先在域上引进了高层序这一概念， 从而使得原来的普通序作为一层序而成为其特款。在此基础上，E.Becker研究 了域上的高层序与实赋值之间的密切关系，由此获得一系列重要的结果，参见文 [10,11].随后，E.Becker[12]和S.M.Barten[13】分别以不同的方式给出了环上 高层序的定义。此后，人们引入了环上赋值与高层序的相容性，并借此研究了环 上斌值与高层序的关系，有关内容见文1【4】和1【5]. 本文将首先回顾了模上实赋值的概念，并且给出了几个与实赋值有关的结 果。然后将在文献[6,7,8,9】的基础上，研究模上赋值与高层序之间的密切关 系。通过引进模上赋值与高层序的 “融洽”和 “相容”等概念，我们获得与模上 赋值和高层序相关的一些结果。我们的结果表明，模上赋值与高层序之间的 “融 洽”和 “相容”并不等价，这有别于模上赋值与普通序(即一层序)。文章的最后 给出的命题表明，模上的一个赋值为实赋值，当且仅当它与模上的某个高层序相 容。 在本文中，环“”均指含有单位元的交换环， 环“上的赋值”均指Manis赋值。 此外，本文所采用的记号同文献[6]. 第二幸 模上的反值