可除P-半单BCI-代数的若干性质

在P-半单BCI-代数的基础上定义了可除性,并给出了可除P-半单BCI-代数的直积还是可除P-半单BCI-代数,以及可除P-半单BCI-代数是它的扩代数的直积项等若干性质。     

关于半单优BCI-代数

本文将讨论半单优BCI-代数的性质。我们得到了如下主要的结果: (1) 一个非零优BCI-代数X是半单的充要条件是X为单理想的次直积。 (2) 设X是一个非零半单优BCI-代数,则如下命题是等价的: ⅰ,X可写成有限个单理想的次直积。ⅱ,X是Noether的。ⅲ,X是Artin的。     

P-半单BCI-代数积内射影的泛性

利用P-半单BCI-代数的某些基本性质,讨论了P-半单BCI-代数积的内射影的泛性质.     

BCI-代数根的补根

讨论BCI-代数中根性的补根,证明了遗传根一定有补根,并给出了补根及P-半单代数的结构。     

基于模糊二元运算的模糊P-半单BCI-代数

目的建立一种新的模糊BCI-代数。方法在BCI-代数上引入模糊运算及超模糊运算。结果新的模糊P-半单BCI-代数被建立,讨论了它的基本性质,给出了它的两种等价定义,并引入和研究模糊子代数。结论说明任一模糊P-半单BCI代数的模糊子代数,也是模糊P-半单BCI-代数。     

Γ－半群的次直积分解与Γ－半格分解

本文在Γ－半群中引入了次直积不可约Γ－半群，完全素理想，ｎ－单Γ－半群等概念，证实了定理１每个Γ－半群是次直积不可约Γ－半群的次直积；定理２每个Γ－半群是ｎ－单Γ－半群的Γ－半格．     

半环类■°I中成员的性质和结构

利用半环上的同余关系,研究了半环类.■°I中成员的性质.分别研究了半环类.O∩■°■B和■∩■°■中成员的次直积分解,并利用"(2,2)型代数的坚固构架"的概念,证明了半环S∈■°■l是■与■l中成员的次直积当且仅当S的乘法半群是群与半格的次直积.     

BCI-代数的一类理想子代数

本文首先证明了BCI-代数的一个新性质;T[X]是BCI-代数的一个理想子代数,并且T(X)同态于对合群T(B),商代数X/T(X)是P-半单代数.最后我们推广了上述结果,得到一组理想子代数,它们关于X 的商代数都是P-半单的,从而大大扩充了以往的结果.     

关于n-Lie代数的几个注记

在Lie代数的研究中 ,半单Lie代数是主要研究对象 ,在n -Lie代数中 ,人们试图将半单n -Lie代数放在同样位置去讨论 ,并希望得到像半单Lie代数那样好的结果 ,将举例说明 ,半单n -Lie代数并不具有半单Lie代数所具有的性质 ,半单Lie代数是单理想直和 ,半单Lie代数的导子是内导子 ,半单Lie代数与其导代数相等     

De Morgan代数的次直积构造

首先讨论了Ｄｅ Ｍｏｒｇａｎ代数的同余关系特性，在此基础上得到了Ｄｅ Ｍｏｒｇａｎ代数的次直积表示定理，然后着重就有限情况研究了Ｄｅ Ｍｏｒｇｎａ代数Ｌ和与之相联系的Ｄｅ Ｍｏｒｇａｎ代数Ｌ之间的关系。     

量子包络代数Uq（sl2）的代数自同构

令Ｕｑ表示一个有限维单李代数ψ的普遍包络代数的量子化。文献「１」描述了代数Ｕｑ（ψ）的所有Ｈｏｐｆ－代数自同构。文献「２」确定Ｕｑ（ψ）的所有变形代数自同构，所谓变形代数自同构是指底下的单李代数ψ的自同构的形变。文中将确定代数Ｕｑ（ｓｌ２）的所有代数自同构。从而表明Ｕｑ（ｓｌ２）的所有代数自同构都是变形代数自同构。     

区间代数与区间段代数在定性时态推理中的联合运用

详细讨论了从Allen代数演化为INDU代数的思路和INDU代数的几何表示.研究指出,INDU是Allen代数中原子关系的细分和可采纳域的细化,对于路径一致性计算它是比Allen更为准确的方法;但是在约束网络推理计算中由于INDU的合成运算表过于庞大,仍可使用Allen代数合成运算表.将Allen代数与INDU代数结合使用是时态约束网络定性推理的较好方法.     

粗糙集代数与MTL代数

讨论粗糙集代数与MTL代数的关系以及由粗糙集代数构造MTL代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为MTL代数.     

Novikov Color代数与Tortken Color代数

给出Novikov color代数、 Tortken color和Jordan color代数的定义, 并讨论它们之间的关系, 证明了有单位元的Tortken color代数是结合的, 也是color交换的. 给出Novikov color代数和Tortken color代数的基本性质以及利用Novikov color代数构造Tortken color代数的方法.     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

偏序集上的蕴涵

首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念，得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画，又从格论的角度出发；给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件．     

R_0代数的直觉模糊子代数

将直觉模糊集与R0代数相结合,定义了R0代数的直觉模糊子代数的概念。讨论了R0代数的直觉模糊子代数与R0子代数之间的关系;证明了R0代数的直觉模糊子代数的交是R0代数的直觉模糊子代数;定义了R0代数的直觉模糊子代数的像与逆像,证明了R0代数的直觉模糊子代数的同态像和同态逆像也是R0代数的直觉模糊子代数。研究结果进一步丰富和完善了R0代数的模糊理论。     

由结合代数构造q-李代数及低维q-李代数的分类

利用类似由结合代数构造李代数的方法来构造q-李代数,给出了要做成q-李代数须满足的条件。并且具体分析了1维,2维的q-李代数,使q-李代数进一步完善。     

伪的弱效应代数的同余和理想

在伪的弱效应代数的基础上给出伪的弱差分偏序集的概念,证明了伪的弱效应代数和伪的弱差分偏序集是等价的.通过引入伪的弱效应代数中的同余等概念证明了在特殊的同余条件下的商代数仍然是伪的弱效应代数,证明了满足RDP性质的伪BL-效应代数在特殊的同余关系下的商代数也是一个伪BL-效应代数并且具有子直积表示.     

布尔代数的软商布尔代数

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