半环上的赋值与实赋值

在有单位元的交换半环上,引入赋值和实赋值的概念,在此基础上建立有关半环上赋值和实赋值的一些基本结论。此外,引入了赋值与亚序之间的相容性,并通过赋值与亚序的相容性建立了一个赋值是实赋值的充分必要条件。     

半环的正锥与序

在交换半环范畴中引进"正锥"和"序"等概念,实代数学中有关正锥和序的重要结果被推广到交换半环上。如下两个结果被建立:(1)一个半环是半实的,当且仅当它有一个正锥(或序);(2)半环中一个理想为实素理想,当且仅当它是某个序的支集。     

关于“交换环上赋值的完全性”一文的两则注记

将上述论文中之某些结论予以推广。1)设R为一有赋值v的环,v的核是R中一极大理理想φ。于是(R,v)成为完全赋值环,当且仅当(F,v)是完全赋值域,此处F=R/p,v是由v所导出。2)设v是环R的一个赋值,其核为R中极大理想;又设S为R的整扩环,且又是R上的有限R-模。于是(1)v在S上有拓展,设为w,它的核是S中一极大理想(2)(S,w)是个完全赋值环。3)前文定理4中关于S的条件可简化为:S是R的一个整扩张,且为R上的有限R-模。     

交换环上赋值的合成

研究交换环上(Manis)赋值的合成。对于交换环R的一个赋值v及其值群的一个孤立子群Δ,定义了所谓的ν关于Δ所诱导的第一赋值和第二赋值,由此建立有关这两个诱导的赋值的一些结果。作为另一个主要结果,证明了对于交换环R上一个赋值u以及u的剩余环上一个核为零的赋值w,存在R上唯一的赋值v,使得u和w分别等价于v关于Δ所诱导的第一赋值和第二赋值,其中Δ是v的值群的某个孤立子群。此外,所合成的赋值v的实性被获得研究,由此获得了赋值v为实赋值的一个充分必要条件。     

半环的高层序

在交换半环范畴中引进"n层亚序"和"n层序"等概念,其中n为任意正整数。实代数学中有关高层序的重要结果被推广到交换半环上。对于一个半环S以及任意给定的正整数n,两个这样的结果被建立:(1)半环S有一个n层序,当且仅当S是半实的;(2)半环S中一个理想为实素理想,当且仅当它是某个n层序的支集。     

关于模上赋值的分解

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

关于交换环的V-赋值的几个结果

定义了V-赋值的比较，给出了定理2．2：若Aω是关于Av的中间集，则(ω，A)≥(v，Γ)。研究了布尔V-幺半群，得到：若Γ为布尔V-幺半群，则(v，Γ)是形式有限的。证明了：设(B，M)为环R的非浅显Manis赋值对，则B为实环当且仅当R为实环。进一步，给出一个反例用来说明，命题2对于V-赋值对而言未必成立。     

交换环上M-赋值的分解

研究交换环上M-赋值的分解与合成。通过在序幺半群上引进融洽同余，交换环上M-赋值被分解为一个可消M-赋值及其剩余环的一个核为零的Manis赋值。反之，对于交换环上一个可消M-赋值及其剩余环的一个核为零的Manis赋值，该环的一个M-赋值被合成，使得它能通过所述的分解回复到两个给定的赋值。     

*_环的*_序和*_赋值的相容性

在带有一个对合映射*的具有*_序的*_环上，即在所谓的半实*_环上，引入了*_赋值、*_赋值对和*_序相容的概念，并给出了一些性质。在此基础上，对*_环的实位与实赋值进行了刻画，从而推广了实代数中交换环的一些结论。     

交换环的实V-赋值与亚序

在带有单位元的交换环上,引入了V-赋值与亚序间的相容性,并得出了一些性质。在此基础上,对环的实V-赋值进行了讨论,从而推广了实Manis赋值理论中许多的结论。     

交换环的M-赋值系统

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

半环的实理想与半实理想

在交换半环范畴中引进"半实理想","实理想"和"凸理想"等概念,从而将实代数学中有关(半)实环的主要结果推广到交换半环上。如下两个结果被建立:(1)一个半环是半实的,当且仅当它有一个实素理想;(2)半环中一个理想为实的,当且仅当它是若干个实素理想的交集。     

关于模上的赋值

针对交换环上的模引进赋值这一概念，并在此基础上建立模上赋值的一些基本结论。此外，通过在模上引进赋值的骨架来揭示该赋值的值集结构。     

关于模上赋值的拓展

旨在研究交换环上模的赋值的拓展问题。通过构造反例表明,一个模的赋值在该模的扩张上不一定总存在拓展。基于一些有关模上赋值的拓展的事实,模上赋值在扩模上存在拓展的两个充分必要条件被获得。     

交换环的M-赋值与序的相容性

在有单位元的交换环上,引入了M-赋值与序之间的相容性,由此获得一些有关M-赋值与序相容的结果.结果可看作Manis赋值和形式有限V-赋值的相关结果的推广.     

环上的Hensel赋值和半序

研究交换环上的Hensel赋值，从而将域上Hensel赋值的一些相关结果推广到交换环上，由此得到类似实域理论中的一些基本结论。