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

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