共查询到20条相似文献,搜索用时 156 毫秒
1.
胡庆平 《西北大学学报(自然科学版)》1994,24(4):331-332,336
对用多项式集刻划的代数的等价作了讨论,对同构,子代数,商代数和积代数的等价问题分别给出了结果,还对代数的等价的定义作了推广,并作为应用而对群的等价作了讨论。 相似文献
2.
讨论着色李超代数的构造。将首先给出这种代数结构的定义,然后证明一个阶化向量空间作成着色李超代数的等价条件,它把着色李超代数的研究归结为一般李代数及其表示理论的研究,并根据该等价条件构造了3种形式的着色李超代数。 相似文献
3.
4.
5.
6.
关于BCI-代数的不动点 总被引:1,自引:0,他引:1
在BCI-代数中引进不动点的概念,对含有不动点的BCI-代数进行刻划,证明了具有不动点的真BCI-代数等价子BCK-代数的一点扩张;每个元都是不动点的BCK-代数等价于可解BCK-代数. 相似文献
7.
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。 相似文献
8.
9.
研究了某些二阶矩阵及其二阶矩阵对关于弱相似关系的等价分类,讨论了二阶全矩阵代数的kC2-模代数结构和kC3-模代数结构的同构类。在同构意义下给出了二阶全矩阵代数的kS3-模代数结构,且当k为代数闭域时,得到了二阶全矩阵代数的kS3 模代数结构的同构分类。 相似文献
10.
王书琴 《华东师范大学学报(自然科学版)》1992,(4)
本文用生成元和定义关系的方法,对每个可解可补李代数给出一个定义矩阵.把两个李代数的同构归结为定义矩阵的等价,应用矩阵等价下标准型的理论,得到这类李代数的同构分类. 相似文献
11.
在BCI-代数中引进不动点的概念,对含有不动点的BCI-代数进行刻划,证明了具有不动点的真BCI0-代数等价于BCK-代娄物一点扩张;每个元都是不动点的BCK-0代数等价于可解BCK-代数。‘ 相似文献
12.
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论. 相似文献
13.
王书琴 《上海师范大学学报(自然科学版)》1992,(4)
本文用生成元和定义关系的方法,对每个可解可补李代数给出一个定义矩阵。把两个李代数的同构归结为定义矩阵的等价,应用矩阵等价下标准型的理论,得到这类李代数的同构分类。 相似文献
14.
为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广.详细地探讨了伪格蕴涵代数的基本性质,给出了伪格蕴涵代数的等价特征. 相似文献
15.
引进Hopf模代数的概念,研究了Hopf模代数的结构,证明了Hopf模代数等价于Smash积,从而给出了Smash积的一种新的刻划。 相似文献
16.
拟代数Domain的若干性质 总被引:3,自引:0,他引:3
基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连续Domain.通过讨论Scott连续闭包算子保持集合与集合之间的Waybelow关系这一特性,证明了拟代数Domain在Scott连续闭包算子下的像仍是拟代数Domain;得到了拟代数Domain上赋予Scott拓扑构成Baire空间,拟代数格上赋予Lawson拓扑构成Priestley空间等结论. 相似文献
17.
18.
为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价. 相似文献
19.
汪明义 《四川师范大学学报(自然科学版)》2002,25(6):588-590
引进了一类新的余代数即拟余Noether余代数 ,它是一类Noether代数的对偶余代数 ,并且推广了M .Y .Wang,Z .X .Wu (AlgebraColloquium ,1998,5 (1) :117~ 12 0 .)引进的conoether余代数 .重要结果是给出了这一类余代数的一系列特征性质及相关结果 :即C是右拟余Noether余代数当且仅当每个有限自由右C 余模是右拟余Noether余代数等价于每个有限余生成右C 余模是右拟余Noether余代数等价于每个有限余生成右C 余模拟有限余表示 . 相似文献
20.
贺品品 《陕西师范大学学报(自然科学版)》1996,24(4):17-20
根据集合代数的研究引入了减法代数的概念.证明了任一Boolean代数等价于一个具有一个二元代数运算,且仅可由四个方程式定义的减法代数系统〈X;-,0,1〉 相似文献