Pure Mathematics
Vol.
11
No.
12
(
2021
), Article ID:
47188
,
6
pages
10.12677/PM.2021.1112224
完备代数正规类中的基根
杨宗文,娄本功
云南大学数学系,云南 昆明
收稿日期:2021年11月6日;录用日期:2021年12月7日;发布日期:2021年12月14日
摘要
本文定义了完备代数正规类中代数类X确定的基根类 ,讨论了基根类 与代数类X、下根 的关系。
关键词
点态化完备代数正规类,基根,下根
The Base Radicals in Normal Classes of Complete Algebra
Zongwen Yang, Bengong Lou
Department of Mathematics, Yunnan University, Kunming Yunnan
Received: Nov. 6th, 2021; accepted: Dec. 7th, 2021; published: Dec. 14th, 2021
ABSTRACT
The base radicals classes determined by algebra class X in normal classes of complete pointwise algebras are defined, and the relationship between the base radicals classes , algebras classes X and the lower radicals is discussed.
Keywords:Normal Classes of Complete Pointwise Algebras, Base Radicals, Lower Radicals
Copyright © 2021 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. 引言
环及其它代数系统根理论的统一研究促使一般代数正规类根理论的建立 [1] - [15],为了进一步统一地研究一般代数正规类中根性质,文献 [16] - [23] 分别引入了可积代数正规类、完备代数正规类,对特殊根等进行了研究,并对一类特殊的半环——大半环(可做单侧减法的半环)建立了相应的根理论;文献 [24] [25] [26] [27] 对完备代数正规类进行了点态化,研究了点态化完备代数正规类中的亚直既约代数类确定的上根——反单根、遗传幂等根、补根、对偶根、子幂等根、诣零根、λ-根、正则根、κ-根和β-根的结构性质,文献 [28] 使用预根概念给出了根类的一个映射刻画,文献 [29] 定义了点态化完备代数正规类中的低幂等根,证明了Boolean根 、正则根ν、遗传幂等根 、λ-根 、幂等代数根 都是低幂等根,并且这5个低幂等根满足 ,文献 [30] 定义了点态化完备代数正规类中的小理想及小理想遗传根,讨论了小理想及根R和R-半单类SR与小理想相关的2个条件(*)与(**)的一些性质,进一步讨论了根R是一个小理想遗传根的2个条件。
本文在文献 [24] - [30] 建立的点态化完备代数正规类基础上,讨论完备代数正规类中基根的构造。
2. 预备知识及基本引理
点态化完备代数正规类的相关概念及性质参见文献 [24] - [30],为了建立每个代数的子代数乘积与 中点乘积之间的联系,本文使用文献 [26] [27] 中强化了的点乘积公理。
设 是一个完备代数正规类,X是 的子类。文献 [15] [16] 给出可积代数正规类的子类 上的如下算子:
,
,
,
,
,
。
从而,
,
。
进一步, ,引入3个记号:
,即 是a的所有X理想之并;
,即 是a的所有商为X同态像的理想之交;
。
是非0同态像都不在X中的代数全体, 是非0理想都不在X中的代数全体, 是非0同态像都有非0理想在X中的代数全体, 是非0理想都有非0同态像在X中的代数全体, 是代数a的所有可达子代数全体。
文献 [12] [13] [15] 分别建立了代数正规类中下根及上根的构造。
对于序 ,如果 ,定义
;
;
如果 不是极限序, 已定义,则
;
如果 是极限序,则 。
则 是一个根类,称X确定的下根。下根 是使得X中代数都是根代数的最小的根。
令 ,即 是X中代数的可达子代数全体构成的代数类, ,则 是一个根类,称X确定的上根。上根 是使得X中代数都是半单代数的最大的根。
的子类X上的算子在根性质的判定上有:
引理2.1 [13]: 是一个子类,则R是一个根类 。
引理2.2 [13]: 是一个子类,则P是一个根半单类 。
对 的子类X,下根 与上根 是根据子类X构造的2个根性质,下面讨论由子类X确定的另一种根性质的构造。
3. 点态化完备代数正规类中的基根
本节引入点态化完备代数正规类 的子类X确定中的基根的构造。
是一个完备代数正规类,X是 的子类,定义:
。
引理3.1: 是一个代数类,则 是一个同态闭类。
证明:设 ,,。因为a的非0同态像都有非0可达子代数不在X中,a的非0同态像的非0同态像也是a的非0同态像,即a的非0同态像都在 中,从而 是一个同态闭类。证毕。
引理3.2: 是一个同态闭类,则 是X确定的下根,则 。
证明:由 是一个同态闭类,从下根的构造有 ,,则a的非0同态像都有非0理想在 中,从而 。进一步有 ,从而 。证毕。
定理3.3: 是一个代数类,则 是一个根类。
证明:对 确定的下根 ,显然有 。
设 , 是一个同态闭类,故 ,, ( 是一个同态闭类,由引理3.2得)。则 有一个可达子代数 且c有一个非0可达子代数 ,因此 是 的一个非0 X-可达子代数,从而 ,即 。
综上, 是一个根类。证毕。
定义3.4: 是一个完备代数正规类, 是 的子类,定理3.3中确定的根类 称为是由X确定的基根。
推论3.5: 是一个同态闭类,则 。
证明:因为X同态闭时, ,,,从而 ,,故 。证毕。
注1 与X的关系不确定, , 及 ,X都可能成立,故通常 与 不一定相同。但是当X是一个同态闭类,则 与 相同。
定理3.6: 是2个代数类,则:
1) 如果 ,则 ;
2) a是一个单代数,则 ;
3) 。
证明:1),2)显然。
3) 因为 是一个根类,故 同态闭,所以 。证毕。
对一个代数类 ,令
,
,
则有:
推论3.7: 是一个代数类,有 。
证明:因为 , 同态闭,由定理3.6得 。证毕。
定理3.8:X是一个代数类,则 。
证明:由推论3.7得 。
“ ”如果 ,由于 是包含X的最小根类,而 是包含X的根类,因此 ,从而 。
“ ”如果 ,则 。证毕。
定理3.9:X是一个代数类,如果 ,则 是与X交为0的最大半单类。
证明:设R是根类,R-半单类PR真包含 ,且PR是与X交为0的最大半单类,设 ,但 ,则a有一个 -理想,但不是R-理想。即存在 ,使得 ,因此i有非0 X-可达子代数j。但j也是a的非0 X-可达子代数,由于R-半单类PR是遗传的,故 ,进而 ,和PR与X交为0矛盾,所以 是与X交为0的最大半单类。证毕。
定理3.10:如果R是一个遗传根类,则 。
证明:设 ,如果 ,由 ,则a有非0 PR-可达子代数b。R是一个遗传根类, ,从而 ,即 ,矛盾,所以 。证毕。
定理3.11:X是一个代数类,有 满足条件:
存在a的非0同态像c,使得c没有非0 X-可达子代数。
证明:“ ” ,如果有 , 且不存在a的非0同态像c,使得c没有非0 X-可达子代数,即a的非0同态像c都有非0 X-可达子代数,故 ,从而 ,与 矛盾,所以 存在a的非0同态像c,使得c没有非0 X-可达子代数。
“ ” 存在a的非0同态像c,使得c没有非0 X-可达子代数,设 ,如果 ,由 ,则a的非0同态像c都有非0 X-可达子代数,与存在a的非0同态像c,使得c没有非0 X-可达子代数矛盾,所以 ,即 。证毕。
4. 小结
本文定义了完备代数正规类中代数类X确定的基根类 ,讨论了基根类 与代数类X、下根 的关系。
基金项目
国家自然科学基金(11861076);云南省自然科学基金(2019FB139)。
文章引用
杨宗文,娄本功. 完备代数正规类中的基根
The Base Radicals in Normal Classes of Complete Algebra[J]. 理论数学, 2021, 11(12): 2012-2017. https://doi.org/10.12677/PM.2021.1112224
参考文献
- 1. Száse, F.A. (1981) Radicals of Rings. John Wiley & Sons, New York.
- 2. Gardner, B.J. and Wiegandt, R. (2004) Radical Theory of Rings. Marcel Dekker, Inc., New York and Basel. http://ecite.utas.edu.au/27037 https://doi.org/10.1201/9780203913352
- 3. McDougall, R. (1999) A Generalisation of the Lower Radical Class. Bulletin of the Australian Mathematical Society, 59, 139-146. https://doi.org/10.1017/S000497270003269X
- 4. Gardner, B.J. and McDougall, R.G. (2003) On the Base Radical Class for Associative Rings. Acta Mathematica Hungarica, 98, 263-272. https://doi.org/10.1023/A:1022882010815
- 5. Mcconnell, N.R., Mcdougall, R.G. and Stokes, T. (2013) On Base Radical and Semisimple Classes Defined by Class Operators. Acta Mathematica Hungarica, 138, 307-328. https://doi.org/10.1007/s10474-012-0249-9
- 6. Mcdougall, R.G. and Thornton, L.K. (2018) On Base Radical Operators for Classes of Finite Associative Rings. Bulletin of the Australian Mathematical Society, 98, 239-250. https://doi.org/10.1017/S0004972718000461
- 7. 谢邦杰. 关于周期环与Jacobson环的几个定理[J]. 数学研究与评论, 1982, 2(2): 11-13.
- 8. 于宪君. 关于FA,δ-环与广义周期环的几个定理[J]. 数学研究与评论, 1988, 8(3): 341-345.
- 9. 胡小美. 几类与Jacbson根相关环的研究[D]: [硕士学位论文]. 杭州: 杭州师范大学, 2017.
- 10. 于宪君, 朱捷. 关于周期环的几个定理[J]. 黑龙江大学自然科学学报, 2004, 21(3): 20-22.
- 11. 杜现昆, 齐毅. 周期环的刻划[J]. 吉林大学自然科学学报, 2001, 39(3): 29-31.
- 12. Puczylowski, E.R. (1993) On General Theory of Radicals. Algebra Universalis, 39, 53-60. https://doi.org/10.1007/BF01196549
- 13. Wang, Y. and Zhang, A.H. (2002) Radicals and Semisimple Classes of the Class of Algebras. Journal of Anshan Normal University, 4, 5-10.
- 14. 任艳丽, 王尧. 代数正规类中的遗传根与强半单根[J]. 数学研究与评论, 2004, 24(4): 597-602.
- 15. Yang, Z.W. (2006) The Upper Radical Classes of the Class of Algebras. Journal of Yunnan University (Natural Sciences Edition), 28, 8-11.
- 16. Yang, Z.W. and Pan, J.M. (2008) The Supernilpotent Radical, Special Radical and Bear Radical in Normal Classes of Product Algebras. Southeast Asian Bulletin of Mathematics, 32, 181-192.
- 17. Yang, Z.W. and Pan, J.M. (2010) The Radicals and Likemodules in Normal Classes of Complete Alagebras. Southeast Asian Bulletin of Mathematics, 34, 377-386.
- 18. 杨宗文, 杨柱元. 完备代数正规类的根与右理想[J]. 昆明理工大学学报(理工版), 2006, 31(3): 112-116, 120.
- 19. 杨宗文, 杨柱元. 子环的和与积[J]. 云南大学学报(自然科学版), 2007, 29(4): 335-338.
- 20. 杨宗文, 杨柱元, 李友宝. 大半环子半环的和与积[J]. 昆明理工大学学报(理工版), 2007, 32(6): 113-118.
- 21. 杨宗文, 杨柱元, 李友宝. 可积代数正规类中半素代数类及半素一致代数类确定的上根[J]. 数学理论与应用, 2008, 28(4): 71-75.
- 22. Yang, Z.W., Yang, Z.Y. and Li, Y.B. (2010) The General Radicals Theory of the Big Semirings. Southeast Asian Bulletin of Mathematics, 34, 1149-1167.
- 23. Yang, Z.W. and Yang, Z.Y. (2011) The Semihereditary and Semisupernilpotent Radicals in Normal Classes of Product Algebras. Southeast Asian Bulletin of Mathematics, 35, 891-902.
- 24. 杨宗文, 何青海. 点态化完备代数正规类中的亚直既约代数类[J]. 理论数学, 2018, 8(5): 546-554. https://doi.org/10.12677//pm.2018.85072
- 25. 杨宗文, 何青海. 点态化完备代数正规类中的遗传幂等根、补根、对偶根、子幂等根及诣零根[J]. 理论数学, 2018, 8(6): 712-722. https://doi.org/10.12677//pm.2018.86096
- 26. 杨宗文, 何青海. 点态化完备代数正规类中的λ-根和正则根[J]. 理论数学, 2019, 9(7): 836-842. https://doi.org/10.12677/pm.2019.97109
- 27. 杨宗文, 何青海. 点态化完备代数正规类中的Jacobson代数和Boolean代数[J]. 理论数学, 2019, 9(9): 1009-1014. https://doi.org/10.12677/pm.2019.99127
- 28. 杨宗文, 娄本功. 点态化完备代数正规类中Amitsur-Kurosh根的映射刻画[J]. 理论数学, 2020, 10(12): 1138-1144. https://doi.org/10.12677/pm.2020.1012135
- 29. 杨宗文, 娄本功. 点态化完备代数正规类中的低幂等根[J]. 理论数学, 2021, 11(1): 1-6. https://doi.org/10.12677/pm.2021.111001
- 30. 杨宗文, 娄本功. 点态化完备代数正规类中的小理想[J]. 理论数学, 2021, 11(10): 1691-1695. https://doi.org/10.12677/pm.2021.1110189