Pure Mathematics
Vol.
10
No.
05
(
2020
), Article ID:
35581
,
7
pages
10.12677/PM.2020.105057
Near Left (Right) Coset and Properties of the N(2,2,0) Algebras
Fang’an Deng
School of Mathematics and Computer Science, Shaanxi University of Technology, Hanzhong Shaanxi
Received: Apr. 18th, 2020; accepted: May 8th, 2020; published: May 15th, 2020
ABSTRACT
In this paper, the concept on near left (right) coset of algebras is introduced. Some related properties are obtained. Relations between algebras and Q-algebra, CI-algebra and quantum B-algebra are investigated.
Keywords: Algebra, Near Left (Right) Coset, Q-Algebra, CI-Algebra, Quantum B-Algebra
N(2,2,0)代数的拟左(右)陪集及其性质
邓方安
陕西理工大学数学与计算机科学学院,陕西 汉中
收稿日期:2020年4月18日;录用日期:2020年5月8日;发布日期:2020年5月15日
摘 要
本文提出了 代数的左(右)陪集的概念,讨论了左(右)陪集的性质,揭示了 代数与Q-代数、CI-代数及量子B-代数的关系。
关键词 : 代数,拟左(右)陪集,Q-代数,CI-代数,量子B-代数
Copyright © 2020 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
1990年,吴望名 [1] 在研究逻辑系统中的蕴涵关系时提出了模糊蕴涵代数(简称FI代数)。FI代数一度引起了同行的广泛关注,如,徐扬 [2]、刘练珍 [3] 研究了格蕴涵代数,讨论了FI代数与MV代数间的关系,邓方安 [4] 在研究FI代数的过程中对模糊蕴涵代数的模糊蕴涵算子从代数学角度做了进一步抽象,提出了 代数。文献 [5] 研究了 代数的子代数、理想与关联理想;文献 [6] 研究了 代数的RC-半群;文献 [7] 引入并讨论了 代数的中间单位的性质。本文提出 代数的拟左(右)陪集的概念,并讨论它的性质。
2. 代数的拟左(右)陪集的性质
定义2.1 [4] 设S是含常元0的集合。若在S中定义二元运算 和 满足以下公理: ,
(F1) ,
(F2) ,
(F3)
则称是一个 代数。
定理2.1 [4] 若 是 代数,则 ,下列等式成立:
(1) ;
(2) ;
(3) 。
推论1 [4] 若 是一个 代数,则 和 都是半群。
因此, 代数是带有一对对偶半群的双半群。
定义2.2 设 是一个代数,在半群 中定义集合
.
显然 ,即 非空。 ,有
,
因此 是S的子代数。
再定义集合
,
分别称为半群 关于子代数 的拟左陪集和拟右陪集。
定理2.2 设 是一个 代数,则半群 的拟左陪集就是半群 的拟右陪集。
证明 由于一个 代数 的半群 与 的特殊关系: ,,容易得出:半群 的拟左陪集
,
就是半群 的拟右陪集 。
这里只研究拟左陪集,类似可以研究拟右陪集的性质。
在群里,对于任意一个群G, ,则有下列性质成立:
(1) ;
(2) ;
(3) ;
(4) 若 ,则有 。
但在 代数 的半群 与中这些性质不再成立,下面的例子说明了这一点。
Table 1. Example of Theorem 2.2(a)
表1. 定理2.2(a)
Table 2. Example of Theorem 2.2(b)
表2. 定理2.2(b)
容易验证: 是一个 代数,且 。而
,
显然 。同时, ,但 。
Table 3. Example of Theorem 2.2(c)
表3. 定理2.2(c)
Table 4. Example of Theorem 2.2(d)
表4. 定理2.2(d)
可以验证: 是一个 代数,且 。而
.
这说明在群里“ ”在半群中不再成立。
在群中成立,但在半群中,这个结论不一定成立。在上例中,有 ,但 。
定理2.3 设 是一个 代数,则有 。
证明 由 可知,如果 ,使得
这与 矛盾,因此 。
定理2.4 设 是一个 代数,则有下列结论成立:
(1) ;
(2) ,如果b是a的右伴随非零零因子,则 ;
(3) 若 ,且 ,则a一定是幂等元;
(4) ,其中 是S的全体幂等元集合。
证明 (1) 设 ,因为 是S的子代数,故有 ;又任取 ,由 ,于是 ,且
,
从而又得到 。
(2) 设 ,令 ,,由b是a的右伴随非零零因子,则有
,
于是一方面 ,另一方面 ,即 。
(3) 由 知,存在 ,使得
(*)
再将 代入(*)式,就有 。
(4) ,故 。
3. 代数与Q-代数、CI-代数及量子B-的关系
定理3.1 若 是一个 代数, ,则在半群 中有下列结论成立:
(1) ;
(2) 。
证明 (1) 由 ;
;
(2) ;
,即 是一个右零半群。
定义3.1 [8] 设X是带常元0的一个非空集,在X上定义二元运算 ,满足下列公理: ,
(Q1) ;
(Q2) ;
(Q3)
的代数系统 称为Q-代数。
例3 设 ,在X上定义二元运算如下表5:
Table 5. Example of Q-algebras
表5. Q代数示例
不难验证 是一个Q-代数。
根据 代数的性质和定义2.3易得:
定理3.2 在 代数 中,如果 ,则半群 是一个Q-代数。
定义3.2 [9] [10] 设X是带常元0的一个非空集,在X上定义二元运算 ,满足下列公理: ,
(CI1) ;
(CI2) ;
(CI3)
的代数系统 称为CI-代数。
例4 设 ,在X上定义二元运算如下表6:
Table 6. Example of CI-algebras
表6. CI代数示例
可以验证 是一个CI-代数。
由定理2.1容易得到:
定理3.3 在 代数 中,如果 ,则有下列结论成立:
(I) 是一个Q-代数;
(II) 是一个CI-代数。
定义3.3 [11] [12] [13] 设X是带有两个二元运算 和 的偏序集,如果满足: ,有
(1)
(2)
(3)
则称 是一个量子B-代数。
定理3.4 设 是一个 代数上定义关系“ ”:
或 ,
如果 ,满足 ,则关系“ ”是 上的一个偏序,此时 代数 就是一个量子B-代数。
证明:(1) 由 ;
(2)
;
即 。
(3) 由
因此, 。
于是关系“ ”是 上的一个偏序。
再由在半群 上, ,于是
,
视“ ”为“ ”,“ ”为“ ”,则定义2.2中条件(1)成立。
由
,
从而得到:
,
即得到(2) 成立。
,
因此,条件(3) 成立。
基金项目
国家自然科学基金资助项目(61561040)。
文章引用
邓方安. N(2,2,0)代数的拟左(右)陪集及其性质
Near Left (Right) Coset and Properties of the N(2,2,0) Algebras[J]. 理论数学, 2020, 10(05): 471-477. https://doi.org/10.12677/PM.2020.105057
参考文献
- 1. 吴望名. Fuzzy 蕴涵代数[J]. 模糊系统与数学, 1990, 4(1): 56-63.
- 2. 徐扬. 格蕴涵代数[J]. 西南交通大学学报, 1993, 28(1): 20-27.
- 3. 刘练珍, 王国俊. Fuzzy蕴涵代数与MV代数[J]. 糊系统与数学, 1998, 12(1): 20-25.
- 4. 邓方安, 徐扬. 关于N(2, 2, 0)代数[J]. 西南交通大学学报, 1996, 31(4): 457-463.
- 5. 邓方安, 徐扬, 袁俭. N(2, 2, 0)代数的理想与关联理想[J]. 汉中师范学院学报, 1998, 16(1): 6-9.
- 6. 邓方安. 关于N(2, 2, 0)代数的RC半群[J]. 山东大学学报(理科版), 2011, 46(6): 8-11.
- 7. 陈露. 关于N( 2, 2, 0)代数的中间单位[J]. 黑龙江大学自然科学学报, 2014, 31(3): 287-290.
- 8. Neggers, J. and Ahn, S.S. (2001) On Q-Algebras. International Journal of Mathematics and Mathematics Sciences, 27, 749-757.
- 9. Meng, B.L. (2009) CI-Algebra. Scientiae Mathematicae Japonica Online, 695-701.
- 10. Saeid, A.B. (2013) CI-Algebra Is Equivalent to Dual Q-Algebra. Journal of the Egyp-tian Mathematical Society, 21, 1-2. https://doi.org/10.1016/j.joems.2012.08.021
- 11. Rump, W. (2013) Quantum B-Algebras. Central European Journal of Mathematics, 11, 1881-1899.
- 12. Pan, F. (2019) Dual Quantum B-Algebras. Soft Computing, 23, 6813-6817. https://doi.org/10.1007/s00500-018-03708-3
- 13. Saeid, A.R.-A.B. (2015) Relation between Dual S-Algebras and BE-Algebras. LE Matematiche, LXX, 71-79.