广义循环布尔矩阵三明治半群的正则元

设B={0,1}是二元布尔代数,Cn(r)是B上所有n阶r—循环矩阵组成之集,Gn=∪n-1r=0Cn(r),则Gn对二元布尔矩阵的乘法构成一个半群,称它为广义循环布尔矩阵半群.对于半群Gn中任一个固定的非零c—循环矩阵C,在Gn中定义一个新的运算“”如下:A,B∈Gn,AB=ACB.则(Gn,)也构成一个半群,称(Gn,)为(带有三明治矩阵C)的广义循环布尔矩阵三明治半群,并记为Gn(C).本研究刻画了半群Gn(C)中的所有正则元,并且给出求Gn(C)中每一个正则元的所有g-逆的一个方法.     

集合Λ上的简单半格Γ确定的二元关系半群P_Γ(Λ×Λ)的幂等元和极大子群

设Λ是任意的非空集合,Γ是集合Λ上的简单半格,P_Γ(Λ×Λ)是集合Λ上的简单半格Γ确定的二元关系半群,也是集合Λ上半格Γ确定的二元关系半群中的一类特殊的半群.首先通过简单半格的性质和利用集合Λ上半格Γ确定的二元关系半群的Green-关系已有的结论,刻画了半群P_Γ(Λ×Λ)的幂等元,从而得到半群P_Γ(Λ×Λ)的所有幂等元构成一个子半群.根据幂等元的结构,证明了半群P_Γ(Λ×Λ)的极大子群是由一个幂等元构成的单位元群.     

C-rpp半群的局部化

得到了C-rpp半群在幂等元半格上的局部化在同构的意义下存在惟一,并证明了其局部化为仅有一个幂等元(即幺元)的左可消幺半群,从而证明了Clifford半群在其幂等元半格上的局部化为群.     

模糊幂幺半群的性质和结构

将模糊集理论运用到幂半群,给出了模糊幂半群(幺半群)和正规模糊幂幺半群的定义,进一步研究了其性质和结构.     

一类幂等元集闭包是Clifford半群的逆半群上的同余

刻画出了半群~$\overline{P}(T,G,R)$~上的幂等纯同余、最大幂等分离同余和最小群同余,其中~$P(Y,G,X)$~为满足条件~$F$~和幂等元集闭包是~Clifford~半群的逆半群.     

弱右逆半群上最大幂等元分离同余和群同余

0　引言弱右逆半群的概念是印度的Ｂ .Ｒ .Ｓｒｉｎｉｖａｓｍ于 1 968年在文献〔1〕中引入的 ,他发现该类半群是逆半群的自然推广 ,并证明了任一非空集Ｘ的所有部分变换之集ＰＴ(Ｘ)在通常情况的合成运算又构成一个弱右逆半群 (在Ｂ .Ｒ .Ｓｒｉｎｉｖａｓａｍ的文中为了方便起见简称为弱逆半群 ,但是因为左右具有不对偶性 ,本文中不用简称 ) ,进而 ,任一弱右逆半群也受到许多数学工作者的关注 .研究弱右逆半群的结构去刻画弱右逆半群Ｓ上的最大幂等元分离同余和群同余 .本文给出了Ｓ上的最大幂等元离同余的准确描述 (见定理 1 ) ;这个描述…     

几乎可裂半群

研究几乎可裂半群.证明了幂等元集组成一个子半群的几乎可裂半群都是带和右消去幺半群半直积的幂等元分离同态像.并且引入了强几乎可裂半群.     

半群G(n,r)的秩和(0,1)-平方幂等元秩

引入了保升序且保序有限部分一一奇异变换半群,通过对其(0, 1)-平方幂等元和星格林关系的分析,分别获得了半群G (n, r)唯一的极小(0, 1)-平方幂等元生成集,秩和(0, 1)-平方幂等元秩.进一步确定了当0≤l≤r 时,半群G (n, r)关于其星理想G (n, l)的相关秩.     

富足pou-半群

介绍了pou-半群的概念、序幂等元集及序正则性等.讨论了pou-半群(po-半群)的基本性质,给出了富足pou-半群的一般结构,得到关于(自然序)正则半群的一些结论.     

关于由群与幂等元生成半群的若干组合结果

全变换半群是由它自身的对称群和任意一个秩为n-1的幂等元生成的。特别地,在一个有限集合X上,由置换群和秩为n-1的幂等元生成的半群都是正则的。考虑了Hamilton四元数群的所有子群与幂等元生成纯正半群和逆半群的组合结果。同时,也考虑循环群与二面体群的所有子群与幂等元生成纯正半群与逆半群的情形。     

Boole幂格与Boole幂环

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

布尔行列式及其性质

在布尔代数上引入多种意义下的行列式,主要讨论了det1(A)和det2(A)的性质,并推广了各行列式的性质,得到一些交换体上行列式不曾具有的结论.     

软布尔代数

将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

Boolean方阵的注记

一个 n阶 Boolean方阵 A =[aij] n× n 等价于顶点集是 1 ,2 ,… ,n的有向图 D(A) ,所以 Boolean方阵有很大实用价值 .目前它已经成为工程技术和信息处理中不可缺少的数学工具 ,并逐渐渗透到其他领域 .Kim[1 ] 曾论述了 Boolean向量和 Boolean方阵的性质 ,但对 Boolean方阵的某些性质未做深入研究 .Boolean方阵与 Hadamard矩阵有许多相似之处 ,文献 [2 ]作者利用 Boolean向量巧妙地证明了不存在4K(K >1 )阶完全循环的 Hadamard矩阵的猜想 .文献 [3]较系统地讨论了 Boolean方阵的幂序列 ,使人们对 Boolean方阵的性质的认识日渐深化 ,…     

关于道义逻辑系统的一种布尔值模型

本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型.     

关于布尔线路计算模型的注记

本文给出了一种布尔线路的编码方案.证明了有关布尔线路编码中的两个定理,其中定理1表明对布尔线路这种计算模型,没有类似于图灵机的递归式定理那样的结论;定理2表明对于布尔线路计算模型,存在类似于图灵机中的Smn定理那样的结论.另外,本文还证明了一个有关布尔线路宽度的定理,此定理表明,布尔线路的宽度与计算能力无关.     

关于严格蕴涵系统的布尔值模型

本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.