具有(s)条件的正关联BCK—代数的同构定理

K.Iséki在[6]中定义了具有(S)条件的BCK—代数,並证明了当BCK—代数具有(S)条件时就组成有序可换半群。我们在文[7]中讨论了BCK—代数同态、同构的基本定理。在本文中我们进而讨论具有(S)条件的正关联BCK—代数的同构问题,我们得到的结果是,当M是具有(S)条件的正关联BCK—代数时,它将与自同态反序可换子半群同构。     

具有(S)条件的正关联BCK—代数的自同态

日本数学家K.IseKi在[1]中定义了具有(S)条件的BCK—代数M,並证明了当BCK—代数具有(S)条件时,组成有序可换半群。我们在文(3]中得到的是:当M具有(S)条件的正关联BCK—代数与自同态组成的反序可换子半群同构。本文继文[3]得到进一步的结果:M的自同态EndM组成拟环。     

关于弱关联BCI—代数

本文证明了弱关联BCI—代数必是弱可换的,建立了弱关联BCI—代数的一个结构定理:一个BCI—代数X是弱关联的当且仅当存在一个关联BCK—代数Y和一个p—半单BCI—代数Z使得X≌Y×Z。并讨论了弱关联、弱可换和弱正关联BCI—代数的关系。     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

一类与BCK—代数相关的代数

本文中,我们介绍一类新的代数,称为BCK—自同态代数,简称为BE—代数。BE—代数与BCK—代数的自同态有着密切的联系,其中定义了两个两元合成。BE—代数,事实上是特殊带算子BCK—代数。本文中,我们还要不带证明地给出作者最近得到的有关BE—代数的几个性质。     

对合BCK—代数

本文给出对合BCK—代数的概念,系统地讨论了它的有关性质,并得到了下面的结果: 1、非交换对合BCK—代数的阶数至少为4; 2、在同构意义下,四阶非交换对合BCK—代数有且只有一个。     

带算BCK—代数分解理论初步

在BCK—代数中引入算子的概念,并且就带算BCK—代数证明了几个同构定理。本文利用这些结果建立了带算BCK—代数的带算理想列的基本理论,初步探讨了带算BCK—代数的直积分解理论,它为我们讨论一类与BCK—代数及其同态紧密相关的代数结构提供了方便。     

n级交换BCK—代数

本文引进n级交换BCK—代数的概念,它是交换BCK—代数概念的推广,讨论了它与几种特殊类型的BCK—代数之间的关系,证明当n≥2时,n级交换BCK—代数类不构成一个簇。     

减法系统Ⅲ——各种BCY代数的等价类

在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。     

原子生成的BCK-代数

本文讨论了由原子(即非零极小元)生成的BCK—代数。证明了原子生成的BCK—代数的非零同态象及非零理想都是原子生成的。其次,引入了原子高的概念,进一步得到了一些关于具有基的BCK—代数的性质。特别地,我们有:具有基的有界BCK—代数是有限的,并且理想的阶整除它的阶。最后,我们还给出了具有基的BCK—代数自同构的一些性质。     

中国剩余定理在交换环上的推广

通过对交换环相关理论的研究,给出了中国剩余定理在交换幺环、不一定含单位元的交换环和Dedekind整环上的几种推广形式,并得到了在交换环上同余方程组有解的充要条件.     

GCD-摹群条件下的半群环主理想升链条件

对交换半群环的主理想升链条件进行了讨论.在环是整环,半群S是交换无挠可消摹群,S中存在完全不可逆生成集的条件下得到一个关于半群环的主理想升链条件的充要条件.在交换摹群S是唯一分解的条件下证明了在S中存在完全不可逆生成集,由此得到交换无挠可消摹群是GCD-摹群的条件下关于半群环的主理想升链条件的充要条件.     

一类交换环上辛群的正规子群

本文进一步讨论了交换环上辛群的正规子群的标准性问题。给出了一类交换环上辛群的正规子群是标准正规子群的一个充要条件。     

在对称群Sm中解方程组

本文对方程组■的解进行了研究,得到了该方程组有可交换解的充分必要条件、解的方法及解的个数。     

一类混合型交换四元数矩阵实表示的性质及应用

在引入混合型交换四元数及混合型交换四元数矩阵概念的基础上,首先,证明了混合型交换四元数和实数域上的4阶矩阵是同构的,将对混合型交换四元数的研究转化为对实数域上4阶矩阵的研究.其次,在混合型交换四元数矩阵和实数域上4n阶矩阵同构的基础上,将对混合型交换四元数矩阵的研究转化为对实数域上4n阶矩阵的研究.利用实矩阵的性质得到混合型交换四元数矩阵实表示的系列性质,并给出了混合型交换四元数矩阵可逆的等价条件.以混合型交换四元数矩阵实表示的性质为基础,得到混合型交换四元数矩阵复特征值的个数及特征值存在的充分必要条件,并将实数域上的盖尔圆盘定理推广到混合型交换四元数矩阵上.最后,利用具体的数值算例验证了混合型交换四元数矩阵盖尔圆盘定理的正确性和有效性.     

半群环的主理想升链条件问题

在环为整环、半群为交换无挠可消摹群的条件下对半群环的主理想升链条件进行了研究．得到了半群环满足“主理想升链条件”的必要条件，以及在U(S)=(e)的条件下半群环满足“主理想升链条件”的充要条件．     

环与群的可换性的一些讨论

给出了环与群满足可换性的一个充分必要条件及一个相关的命题，指出了参考文献［２］中的一个错误     

Smash双积Hoρf代数的结构

从度量及smash积等概念中对偶地引入了余度量和smash余积的定义并论证了smash双积成立的充要条件。最后，进一步讨论了smash双积的交换和余交换性以及构成Hopf代数的结构问题。     

拟三角拟Hopf代数上的量子交换代数

设(H,Δ,ε,Φ,R,S)是一个拟三角拟Hopf代数,A是一个关于(H,R)量子交换的左H-模代数.证明了(A#HM,A,A)是一个张量范畴,并且给出了它成为一个辫化张量范畴的充分必要条件.     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.