1. 引言
环及其它代数系统根理论的统一研究促使一般代数正规类根理论的建立 [1] - [15],为了进一步统一的研究一般代数正规类中根性质,文献 [16] - [23] 分别引入了可积代数正规类、完备代数正规类,对特殊根等进行了研究,并对一类特殊的半环——大半环(可做单侧减法的半环)建立了相应的根理论;文献 [24] [25] [26] 对完备代数正规类进行了点态化,研究了点态化完备代数正规类中的亚直既约代数类确定的上根——反单根、遗传幂等根、补根、对偶根、子幂等根、诣零根、λ-根、正则根的结构性质。
本文在文献 [24] [25] [26] 建立的点态化完备代数正规类基础上,定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,并证明了Jacobson代数类κ与Boolean代数类β都是遗传根类、左遗传根、右遗传根及强遗传根,但都不是超幂0根,从而都不是特殊根,并证明了正则根是遗传根,但不是超幂0根,从而不是特殊根。
2. 预备知识及基本引理
点态化完备代数正规类的相关概念及性质参见文献 [24] [25] [26]。
定义2.1 [12] :
是一个代数类,
,如果R满足:
a)
,
,如果
,则
(即R商闭);
b)
,a有一个最大的R-理想(记为R(a)),称a的R-根;
c)
,有
。
则称R为
中的一个根类,简称根。
定义2.2 [16] [21] :
,称K是一个特殊类,如果K满足以下3条:
1)
,a是一个素代数;
2)
,
,则
;
3)
,
,
,则
,其中i*是a的使得
的最大理想(称i的0化子)。
定义2.3 [16] [21] :设R为
中的一个根类。如果存在一个特殊类K,使得
,则称R是一个特殊根类。
定义2.4 [16] [21] :
,称K是一个弱特殊类,如果K满足以下3条:
1)
,a中无非0幂零理想;
2)
,
,则
;
3)
,
,
,
,则
。
定义2.5 [16] [21] :设R为
中的一个根类。如果
,
,都有
,则称R是遗传根。
定义2.6:设R为
中的一个根类。
1) 如果
,
(
),都有
,则称R是左(右)遗传根;
2) 如果
,
,都有
,则称R是强遗传根。
注1:由定义2.6知强遗传根分别是左、右遗传根,左、右遗传根都是遗传根。
定义2.7 [16] [21] :设S为
中的一个根类。如果S满足以下2条,则称根类S是一个超幂零根:
1) S是遗传根;
2)
,如果a是幂零代数,则
。
根类的判别经常可用以下2组条件。
引理2.1 [26] :
是一个代数类,
,R为
中的一个根类
R满足以下3个条件:
a)
,
,如果
,则
(即R商闭);
b)
,a有一个最大的R-理想(记为R(a));
)
,
,如果
,则有
(称R扩张闭)。
引理2.2 [26] :
是一个代数类,
,R为
中的一个根类
R满足以下3个条件:
a)
,
,如果
,则
(即R商闭);
)
,如果
是a的R-理想升链(即
,
),则理想
(称R有归纳性质);
)
,
,如果
,则有
(称R扩张闭)。
引理2.3 [26] :设
,
。
1)
,从而
,有
;
2) n是正整数,则
,
;
3) x是幂零元当且仅当存在正整数n,使得
。
引理2.4 [16] [21] :S为
中的一个根类。则:S是一个超幂0根
,其中K是一个弱特殊类,即S是由一个弱特殊类确定的上根。
3. 点态化完备代数正规类中的κ-根与β-根
是一个点态化完备代数正规类。
定义3.1 [21] :
。
1) 如果
,存在正整数
(n,m都与x有关),使得
,则称a是周期代数;
2) 如果
,存在正整数
(n与x有关),使得
,则称a是Jacobson代数;
3)
,如果有
,则称x是一个幂等元;
4) 如果
,有
,则称a是Boolean代数;
5) 如果有
,都有
,则称e是交换代数a的单位元,e通常记为1。
定理3.1:设
。
1) a是Boolean代数,则a是Jacobson代数;
2) a是Jacobson代数,则a是不含非0幂零元素的周期代数;
3) a是Jacobson代数,如果a有单位元1,则a是正则代数及λ-代数。
证明:1) 显然。
2) a是Jacobson代数,则显然a是周期代数。设
是a的幂零元素,则存在的
,使得
。又因为a是Jacobson代数,故存在正整数
,使得
,设
是分别满足条件的最小正整数。
如果
,则
,所以
;
如果
,则
,所以
;
如果
。当
时,则有
,
,即存在
,使得
,与k的最小性矛盾,即有
。设
,则
,所以
。
综上所述有
,即a是不含非0幂零元素的周期代数。
3) 如果a有单位元1,则
,
,所以
,
,故
,
,即a是正则代数及λ-代数。证毕。
由周期代数、Jacobson代数、Boolean代数的定义,即有定理3.2、定理3.3:
定理3.2:设
,
(
或
)。则:
1) 如果a是周期代数,则i是周期代数;
2) 如果a是Jacobson代数,则i是Jacobson代数;
3) 如果a是Boolean代数,则i是Boolean代数。
定理3.3:设
,
。则:
1) 如果a是周期代数,则s是周期代数;
2) 如果a是Jacobson代数,则s是Jacobson代数;
3) 如果a是Boolean代数,则s是Boolean代数。
记所有Jacobson代数的类为κ,记所有Boolean代数的类为β。
定理3.4:Jacobson代数类κ是一个根类。
证明:1) 设
,
,
,对满射
,存在
,
。由
,存在正整数
,使得
,所以
,从而a/i是Jacobson代数,代数类κ对商闭。
2)
,如果
是a的λ-理想升链,
,故存在μ,使得
,因此存在正整数
,使得
,即
是Jacobson代数,代数类κ有归纳性质。
3)
,
,如果
。
,
,存在正整数
,使得
,即
,故而
,因此
,所以有
,使得
,
。由于
,所以
,故
。又因为
,
,所以存在正整数
,使得
,故
,即
,代数类κ扩张闭。
根据引理2.2,代数类κ是一个根类。证毕。
Jacobson代数类κ确定的根类κ称κ-根。
定理3.5:Boolean代数类β是一个根类。
证明:1) 设
,
,
,对满射
,存在
,
。由
,则
,所以
,从而a/i是Boolean代数,代数类β对商闭。
2)
,如果
是a的λ-理想升链,
,故存在μ,使得
,因此有
,即
是Boolean代数,代数类β有归纳性质。
3)
,
,如果
。
,
,则
,即
,故而
,因此
,所以有
,使得
,
。由于
,所以
,故
。又因为
,
,所以
,故
,即
,代数类β扩张闭。
根据引理2.2,代数类β是一个根类。证毕。
Jacobson代数类β确定的根类β称β-根。
定理3.6:κ-根与β-根都是左遗传根、右遗传根及强遗传根。
证明:由定理3.3知Jacobson代数、Boolean代数都对子代数封闭即得κ-根与β-根都是强遗传根,从而都是左、右遗传根。证毕。
定理3.7:κ-根与β-根都是遗传根,但都不是超幂零根,从而都不是特殊根。
证明:由定理3.6知Jacobson代数类κ,Boolean代数类β都是遗传根。由定理3.1知Jacobson代数、Boolean代数都不含非0幂零元素,从而Jacobson代数类κ,Boolean代数类β中都不含非0幂零代数,故κ-根与β-根都是遗传根,但都不是超幂零根,从而都不是特殊根。证毕。
定理3.8:设
,a是正则代数,
,则i是正则代数,即正则代数对理想封闭,从而正则根是遗传根,但正则根不是超幂零根,从而不是特殊根。
证明:
,于是
,所以存在
,使得
。因为
,所以
,即x是正则元素,从而i是正则代数。
取a是非0零乘代数,即
,
,则
,故
,
,从而x不是正则元,即a不是正则代数,所以正则根不是超幂零根,从而不是特殊根。证毕。
4. 小结
本文定义了点态化完备代数正规类中的周期代数、Jacobson代数与Boolean代数,讨论了周期代数、Jacobson代数与Boolean代数的一些性质,证明了Jacobson代数类κ与Boolean代数类β都是遗传根类、左遗传根、右遗传根及强遗传根,但都不是超幂零根,从而都不是特殊根,并证明了正则根是遗传根,但不是超幂零根,从而不是特殊根。
基金项目
国家自然科学基金(11261067)。