专著介绍

<正> 《赋值论概要》与《域论》戴执中编著《赋值论概要》一书,1981年12月高教出版社出版,内容分五章,首章介绍绝对值;次章从赋值论的一些基本概念开始,直至逼近定理;第三章论及代数扩张;第四章     

交换环的M-赋值系统

在交换环的范畴中,引进了所谓的M-赋值系统的概念,由此从环的内部给出了环上M-赋值的结构.此外,一些有关M-赋值和M-赋值系统的结论被建立.     

关于模上赋值的分解

研究交换环上模的赋值分解。设M是交换环R上一个模,v:M→Δ是M的一个赋值,且Γ是由v所诱导的值群。通过引进Δ上融洽的等价关系以及Γ的v-孤立子群,研究了Δ上融洽的等价关系Γ和的-孤立子群之间的密切关系。证明了如下主要结果:对于Γ的一个v-孤立子群∑,v可分解为M的一个新赋     

双圆盘上内序列基子模的一些性质

研究了双圆盘上的内序列基子模,该子模与经典的单变量算子理论有着深刻的联系.完整地刻画了压缩算子Sz的紧性和正规性,同时回答了Yang于2002年提出的一个问题.还给出了赋值算子L(0)限制在内序列基商模上是紧算子的一个充要条件.     

Mahler型函数值代数无关性的p-adic度量

本文给出Mahler型函数值代数无关性的p-adic度量.     

MV-代数的Fuzzy拓扑表现定理

以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz赋值之集．本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM上引入fuzzy拓扑δ,建立了MV-代数的fuzzy拓扑表现定理,并给出了fuzzy拓扑δ的一些性质．     

Lukasiewicz p+1值逻辑系统中VDF问题的解决

为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题.     

具有V-不变凸的多目标规划的另一种方法

In this paper, optimality conditions for multiobjective programming problems having V-invex objective and constraint functions are considered. An equivalent multiobjective programming problem is constructed by a modification of the objective function.Furthermore, a (α, η)-Lagrange function is introduced for a constructed multiobjective programming problem, and a new type of saddle point is introduced. Some results for the new type of saddle point are given.     

一类Stirling数关于2的整除性

通过分析Stirling数S(n,k)的卷积性质,给出了一类Stirling数S(c2n+2n-1,k)的2-adic赋值的下界,其中2n+1≤k≤2n+2n-1.特别地,确定了当k=2n+2t,1≤t≤n-1时,S(c2n+2n-1,k)的2-adic赋值.同时还得到了关于S(c2n+2n-1+1,2n+i))的2-adic赋值的一些计算公式和下界.     

域的全Pre-hensel赋值环

<正> 设V是域K的一个非浅显Krull赋值,我们知道V在K中确定一个Hausdorff拓朴,使K成为一个拓朴域。1978年Engler证明了;域K在其拓朴完备化域K中相对可分封闭的充要条件是V在K的任意有限代数扩域中的任二个拓展都是相依的。这个结果早在1965年戴执中就已证明了,戴执中将K的这种赋