强Boole环

我们知道,任一阶数大于1的有限Boole环B,均存在某个自然数n,使B=A_i,其中每个A_i是单纯理想(参见〔1〕)。 自然会猜测,对于一般的Boole环B,应有结论 B=A_i或B=A_i,其中每个A_i是单纯理想。遗憾的是,这种猜测是错误的,有例子表明,甚至还存在一些Boole环,它们不包含任何单纯理想(参见〔2〕)。 会产生这些怪现象的一个重要原因就是一般Boole环的极大理想未必是直和项。 本文将引进所谓强Boole环的概念,来解决一类特殊的Boole环的结构问题,     

Boole环的推广

定义了弱Boole环,并在第一部分考虑了弱Boole环的一些基本性质,如特征和交换性.第二部分研究弱Boole环的理想,主要是素理想、极大理想和有限生成理想,并证明了有限弱Boole环是有限Boole环与Z3的直和.最后,给出了弱Boole环的一些扩张.     

Boole幂格与Boole幂环

超代数是近年来较为热门的研究对象,它在逻辑和近似推理等研究中具有重要的应用前景．在格的提升——幂格,环的提升——幂环的基础上给出了Boole幂格与Boole幂环的概念,并且讨论了Boole幂格与Boole幂环的一些基本性质和它们在一定条件下的对应关系。     

弱Boole代数

著名的Stone定理指出:Boole代数与有单位元的Boole环是等价的抽象体系。本文研究去掉单位元的限制后,一般的Boole环所伴随的代数——弱Boole代数。文中给出了弱Boole代数的定义,讨论了弱Boole代数的基本性质,证明了弱Boole代数与Boole环是等价的抽象体系,同时,还对弱Boole代数的子代数和理想的概念进行了探讨。     

有限Boole环的结构问题

若环B中的每个元素x都满足条件x~2=x,则称环B为一个Boole环. 下面几个是Boole环的例子. 例1 单元素环{0},模2剩余类环Z_2以及环Z_2上的多项式环Z_2〔x〕关于理想(x~2 x)的剩余类环Z_2〔x〕/(x~2 x)都是Boole环 例2 设B_1,B_2,…B_n,…是Boole环的序列,令 在B中规定加法和乘法如下: (b_1,b_2,…,b_n,…) (b_1~′,b_2~′,…,b_n~′,…)=(b_1 b_1~′,b_2 b~′_2,…,b_n b_n~′,…)。 (b_1,b_2,…,b_n,…)·(b_1~′,b_2~′,…,b_n~′,…)=(b_1b_1~′,b_2b_2~′,…,b_nb_n~′,…)。可以证明,B关于所规定的加法和乘法运算构成一个Boole环,它是一个没有单位元的无限Boole环,并且其中的每个元素都是零因子。     

关于Boole环的极大理想和单纯理想的几个问题

如果Boole环B包含单纯理想A={0,e},那么作理想C={x+xe|x∈B},则 B=A(?)C。 显然与A相伴的直和项C是一个极大理想。反之,如果C是一个极大理想,并且是直和项,那么与C相伴的直和项是一个单纯理想。 试问Boole环中是否一定存在单纯理想?是否一定存在极大理想?如果极大理想存在,那么它是否一定为直和项?本文将对这些问题作出回答。有趣的是除第二个问题外,其余两个问题的答案都是否定的。     

弱Boole代数的性质

本文是《弱Boole代数》一文的续篇, 文中对弱Boole代数的特性作了较系统的阐述,同时还研究了一些特殊的弱Boole代数的结构问题。     

σ-Boole格可以是没有支柱的

所谓某个Boole格有支柱指的是这个Boole格可以和某个集的子集的全体按包含关系组成的Boole格同构,由于可数Boole格的引入,知道一个任意的Boole格可以是没有支柱的·中山正在[1]中猜测,即使对于备Boole格,也未必是有支柱的。据作者所知,这是一个迄尚未解决的问题。本文就Boole格在比备性较弱的σ-性的情况证明了上述猜测。引理1 某集M的所有子集的集按包含关系构成的Boole格B中,任一极大全序子集的势都大于或等于B的原子元的集的势。证:对B的住一极大全序子集A,M的任一元P,记S_p为A中一切含有P的元的交,     

一般Boole格的反向积及应用

本文引入了一般Boole格的反向积概念,给出了一般Boole格到反向积的一个基本定理(定理1)。在此基础上,讨论了一般Boole格关于某一合同的合同类之间的关系以及一般Boole格的势与单项幻的势之间的关系等若干问题。     

关于商拓扑Boole格

商拓扑空间和商映射在拓扑学中一直是一个重要的基础课题,它们在拓扑学中有着大量的应用。近来仍有不少讨论商拓扑空间和商映射的文献。然而这样的概念和应用如何移植到拓扑Boole格中去?据作者所知,这是一个迄今没有解决的问题。本文探索了这一问题,建立了关于商拓扑Boole格的三个存在定理(即下面的定理1、3与4)。从而使得对商拓扑     

初论拓扑BOOLE格的积

在1929年和1935年定义了拓扑空间的积,提出了积的一系列性质。从而,积的概念成了现代拓扑学的重要概念之一。本文提出了近似于拓扑空间的积的拓扑Boole格的积的定义,讨论了这种积的存在与权数问题。设τ是拓扑Boole格B的所有闭元的集,则τ称作B的拓扑结构。此时B也记作 设与是两个拓扑Boole格,若τ_1τ_2,则称拓扑结构τ_1比拓扑结构τ_2     

拓扑Boole格的完备化（Ⅲ）

在《拓扑Boole格的完备化(Ⅰ)、(Ⅱ)》的基础上,讨论了拓扑Boole格的连续映象扩张的问题。     

一类Abel群的结构

本文得到了具有如下性质的一类 Abel 群的结构:Abel 群 A 的子群 nA(n∈Z)都是 A 的直和项,从而解决了 Szasz F.A 在[1]文中提出的一个问题:“在哪些环A 中,子环 nA 是环 A 的直和项?”     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

复盖与紧拓扑Boole格

作者在对紧拓扑Boole格(特别是非备的紧拓扑Boole格)的研究中,发现引入“Boole格B的子集复盖B的某一元”的概念,是建立紧拓扑Boole格的一些重要结果的有力工具.基于这一点,本文对格复盖的若干性质及其在紧拓扑Boole格上的应用作了初步探索,其中的定理4指出了Boole格的复盖与分划是一对孪生的概念,也是它们之间最本质的关系.至于本文叙述的紧拓扑Boole格上一些性质,将在作者以后的文章中使用到.     

拓扑一般Boole格的元之复盖

文[3]中引入“Boole格B的子集复盖B的某一元”的概念及其若干性质,并在紧拓扑Boole格上作了研究。本文的主要结果是把文[3]的某些结果推广到一般Boole格上去,并对文[3]中在紧拓扑Boole格上的应用作了一些推广,在定理4中指出了一般Boole格的元的覆盖与容这对概念的关系。     

关于(T_1)型拓扑Boole格若干定理及其证明的修改

本文对[2]中的几个定理及其证明作了修订.[2]P.146定理5如下:为了拓扑Boole代数B是(T_1)型,必须且只须其中每元是一些闭元的结,或必须且只须每元是它的一切开邻域的交.先看一个例子.例.设仅由最大元1与最小元0组成的二元Boole格.这个Boole格按最粗的拓扑结构构成的拓扑Boole格B是(T_1)型的,这只要直接验证就可以了.但1是闭元,而不是开     

有限Boole语义的随机化

基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.     

拓扑Boole格的完备化（Ⅰ）

本文引入了拓扑Boole格的完备化概念,它是Boole格的完备化概念的推广。建立了拓扑Boole格完备化的基本定理。     

命题演算系统f中的Boole型理论

研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件．利用Boole型理论在全体公式集F（S）中引入了同余关系，证明了商代数是Boole代数，并找到了TH（L）为最小的Boole型闭理论．