定义了点态化完备代数正规类中的低幂等根,证明了Boolean根β、正则根ν、遗传幂等根χ、λ-根λ、幂等代数根ι都是低幂等根,并且这5个低幂等根满足β≤ν≤χ≤λ≤ι。进一步,证明了低幂等根半单类包含所有0乘代数,幂等代数根ι半单类满足弱同态闭性质。<br/>The hypoidempotent radicals in normal classes of pointwise complete algebras are defined. It is proved that the Boolean radical β, regular radical ν, hereditary idempotent radical χ, λ-radical λ and idempotent algebras radical ι are all hypoidempotent radicals, and these five hypoidempotent radicals satisfy β≤ν≤χ≤λ≤ι. Furthermore, it is proved that the semisimple class of hypoidempotent radicals contains all 0-multiplication algebras, and the semisimple classes of idempotent algebras radical ι is the weakly homomorphically closed.
定义了点态化完备代数正规类中的低幂等根,证明了Boolean根β、正则根ν、遗传幂等根χ、λ-根λ、幂等代数根ι都是低幂等根,并且这5个低幂等根满足 β ≤ ν ≤ χ ≤ λ ≤ ι 。进一步,证明了低幂等根半单类包含所有0乘代数,幂等代数根ι半单类满足弱同态闭性质。
点态化完备代数正规类,幂等代数根ι,β-根β,遗传幂等代数根χ,λ-根λ,正则根ν,低幂等根
Zongwen Yang, Bengong Lou
Department of Mathematics, Yunnan University, Kunming Yunnan
Received: Dec. 8th, 2020; accepted: Jan. 7th, 2021; published: Jan. 14th, 2021
The hypoidempotent radicals in normal classes of pointwise complete algebras are defined. It is proved that the Boolean radical β, regular radical ν, hereditary idempotent radical χ, λ-radical λ and idempotent algebras radical ι are all hypoidempotent radicals, and these five hypoidempotent radicals satisfy β ≤ ν ≤ χ ≤ λ ≤ ι . Furthermore, it is proved that the semisimple class of hypoidempotent radicals contains all 0-multiplication algebras, and the semisimple classes of idempotent algebras radical ι is the weakly homomorphically closed.
Keywords:Normal Classes of Complete Pointwise Algebras, Idempotent Algebras Radical ι, β-Radical β, Hereditary Idempotent Radical χ, λ-Radical λ, Regular Radical ν, Hypoidempotent 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/
环及其它代数系统根理论的统一研究促使一般代数正规类根理论的建立 [
本文在文献 [
点态化完备代数正规类的相关概念及性质参见文献 [
首先引入根类判别的2组条件。
引理2.1 [
(a) ∀ a ∈ A , i ⊲ a ,如果 a ∈ R ,则 a / i ∈ R (即R商闭);
(b) ∀ a ∈ A ,a有一个最大的R-理想(记为R(a));
( c ¯ ) ∀ a ∈ A , i ⊲ a ,如果 i , a / i ∈ R ,则有 a ∈ R (称R扩张闭)。
引理2.2 [
(a) ∀ a ∈ A , i ⊲ a ,如果 a ∈ R ,则 a / i ∈ R (即R商闭);
( b ¯ ) ∀ a ∈ A ,如果 i 1 ⊲ i 2 ⊲ ⋯ ⊲ i μ ⊲ ⋯ 是a的R-理想升链(即 ∀ μ , i μ ∈ R ),则理想 ∨ μ i μ ∈ R (称R有归纳性质);
( c ¯ ) ∀ a ∈ A , i ⊲ a ,如果 i , a / i ∈ R ,则有 a ∈ R (称R扩张闭)。
定义2.3 [
(1) a ∈ A ,如果 ∀ i ⊲ a ,都有 i 2 = i ,则称代数a是遗传幂等的;
(2) R是一个根,如果:(1) R是遗传根;(2) R根代数都是幂等的;则称R是一个子幂等根。
记所有遗传幂等代数的类为 χ ,遗传幂等代数的类 χ 是根类, χ 根的补根是反单根(所有幂等心的亚直既约代数类确定的上根)。
定义2.4 [
a x a = 〈 { y x z | y , z ∈ S a } 〉 , x a x = 〈 { x y x | y ∈ S a } 〉 .
(1) x ∈ S a ,如果有 〈 x 〉 ≤ a x a ,则称x是a的一个 λ -元素;
(2) 如果 ∀ x ∈ S a ,x是a的 λ -元素,则称a是一个 λ -代数;
(3) x ∈ S a ,如果有 〈 x 〉 ≤ x a x ,则称x是a的一个正则元素;
(4) 如果 ∀ x ∈ S a ,x是a的正则元素,则称a是一个正则代数。
记所有 λ -代数的类为 λ ,记所有正则代数的类为ν。 λ -代数类 λ 与正则代数类ν都是根类,正则根ν是遗传根,但不是超幂零根,从而不是特殊根。
a x a = 〈 { y x z | y , z ∈ S a } 〉 = a ( x ) a ⊲ a ,
x a x = 〈 { x y x | y ∈ S a } 〉 = 〈 x 〉 a 〈 x 〉 .
定义2.5 [
(1) x ∈ S a ,如果有 〈 x 2 〉 = 〈 x 〉 ,则称x是一个幂等元;
(2) 如果 ∀ x ∈ S a ,有 〈 x 2 〉 = 〈 x 〉 ,则称a是Boolean代数。
记所有Boolean代数的类为β。Boolean代数类β是遗传根类、左遗传根、右遗传根及强遗传根,但不是超幂零根。
Boolean根 β 、正则根ν、遗传幂等根 χ 、 λ -根 λ 分别是文献 [
定义2.6: A 是一个代数类。
(1) a ∈ A ,如果 a 2 = a ,则称代数a是一个幂等代数;
(2) R是一个根,如果R-代数都是幂等代数,则称R是一个低幂等根。
记所有幂等代数的类为 ι 。
由定义即有:
引理2.7:R是一个根,则:R是子幂等根 ⇔ R是一个遗传的低幂等根。
本节证明所有幂等代数的类 ι 构成一个根类,并讨论Boolean根 β 、正则根ν、遗传幂等根 χ 、 λ -根 λ 、幂等代数根 ι 的关系及低幂等根的一个性质。
A 是一个完备代数正规类。
定理3.1:幂等代数类 ι 是一个根类。
证明:(1) 设 a ∈ β , i ⊲ a , ∀ x ∈ S a / i 。由 a ∈ ι ,则 a 2 = a ,所以
( a / i ) 2 = ( a 2 ∨ i ) / i = ( a ∨ i ) / i = a / i ,
从而a/i是幂等代数,代数类 ι 对商闭。
(2) ∀ a ∈ A ,如果 i 1 ≤ i 2 ≤ ⋯ ≤ i μ ≤ ⋯ 是a的 ι -理想升链,则 ∀ μ , i μ 2 = i μ ,故
∨ i μ = ∨ i μ 2 ≤ ( ∨ i μ ) 2 ≤ ∨ i μ ,
从而 ( ∨ i μ ) 2 = ∨ i μ ,即 ∨ i μ 是幂等代数,代数类 ι 有归纳性质。
(3) ∀ a ∈ A , i ⊲ a ,如果 i , a / i ∈ ι ,则 i 2 = i , ( a / i ) 2 = a / i 。因为 ( a / i ) 2 = ( a 2 ∨ i ) / i ,所以
a = a 2 ∨ i = a 2 ∨ i 2 ≤ a 2 ∨ a 2 = a 2 ,
即 a ∈ ι ,代数类 ι 扩张闭。
根据引理2.2,幂等代数类 ι 是一个根类。证毕。
根 ι 称幂等代数根,幂等代数根 ι 是最大的低幂等根。对结合环类,整数环Z是幂等环,但Z的理想2Z有 ( 2 Z ) 2 = 4 Z ≠ 2 Z ,故幂等代数根 ι 不是遗传根,从而幂等代数根 ι 不是子幂等根。
定理3.2:正则根ν代数都是幂等根代数,从而正则根ν代数是遗传幂等根代数。
证明:设a是正则代数, i ⊲ a ,则 ∀ x ∈ S i , 〈 x 〉 ≤ x a x ≤ 〈 x 〉 a 〈 x 〉 ≤ i a i ≤ i 2 ,所以 i ≤ i 2 ,进而 i 2 = i 。又因为正则根ν是遗传根,所以正则根ν是遗传幂等根。证毕。
由定理3.2有 ν ≤ χ 。
定理3.3:遗传幂等根 χ 代数都是 λ -代数。
证明:设a是遗传幂等根 χ 代数, x ∈ S a ,有 〈 x 〉 ≤ ( x ) = ( x ) 2 = ( x ) 3 ≤ a x a ,即a是 λ -代数。证毕。
由定理3.3有 χ ≤ λ 。
定理3.4: λ -代数都是幂等代数。
证明:设a是 λ -代数, x ∈ S a ,有 〈 x 〉 ≤ a x a = a ( x ) a ≤ a a = a 2 ,所以 a ≤ a 2 ,进而 a 2 = a ,即a是幂等代数。证毕。
由定理3.4有 λ ≤ ι 。
定理3.5:Boolean代数都是正则代数。
证明:设a是Boolean代数, x ∈ S a ,有 〈 x 〉 = 〈 x 2 〉 = 〈 x 〉 2 = 〈 x 〉 3 ≤ 〈 x 〉 a 〈 x 〉 = x a x ,所以x是a的正则代数元素,进而a是正则代数。证毕。
由定理3.5有 β ≤ ν 。
由定理3.1~3.5知,Boolean根 β 、正则根ν、遗传幂等根 χ 、 λ -根 λ 、幂等代数根 ι 都是低幂等根,其中Boolean根 β 、正则根ν、遗传幂等根 χ 是遗传的,从而是子幂等根, λ -根 λ 、幂等代数根 ι 不是遗传根,从而是非遗传低幂等根,故不是子幂等根。并且这5个低幂等根满足 β ≤ ν ≤ χ ≤ λ ≤ ι ,在结合环类中有 β < ν < χ < λ < ι 。
定理3.6:设 a ∈ A ,R是低幂等根,则R-半单代数类PR满足条件(*):
(*) 如果 i ⊲ a 且 a 2 = 0 ,则 a / i ∈ PR 。
证明:R是一个低幂等根,则PR中不含非0幂等代数。 i ⊲ a 且 a 2 = 0 , R ( a / i ) = j / i , j ⊲ a , i ≤ j ,则 ( j / i ) 2 = j / i 。由 a 2 = 0 有 ( j / i ) 2 ≤ ( a / i ) 2 = 0 ,所以 j / i = 0 ,即 a / i ∈ PR 。证毕。
条件(*)即:低幂等根半单类包含所有0乘代数。
定理3.7:设 a ∈ A ,R是幂等代数根 ι ,PR是R-半单代数类,则满足弱同态闭性质:
如果 i ⊲ a ∈ PR 且 i 2 = 0 ,则 a / i ∈ PR 。
证明:如果存在 i ⊲ a ∈ PR 且 i 2 = 0 ,但 a / i ∉ PR ,则存在 j ⊲ a , i ≤ j ,使得
0 ≠ R ( a / i ) = j / i ⊲ a / i 。
由于 j / i = R ( a / i ) 是R-根代数,从而 j / i = R ( a / i ) 是幂等代数,即 j / i = ( j / i ) 2 = ( j 2 ∨ i ) / i ,所以 j = j 2 ∨ i 。进而
j 2 = ( j 2 ∨ i ) ( j 2 ∨ i ) ≤ j 4 ∨ j 2 i ∨ i j 2 ∨ i 2 ≤ j 4 ∨ ( j 2 ∧ i ) ,
j 4 = ( j 4 ∨ ( j 2 ∧ i ) ) ( j 4 ∨ ( j 2 ∧ i ) ) ≤ j 8 ∨ j 4 ( j 2 ∧ i ) ∨ ( j 2 ∧ i ) j 4 ∨ ( j 2 ∧ i ) 2 ≤ j 8 ∨ j 6 ∨ j 6 = j 6 ≤ j 4 ,
其中 j 2 i ∨ i j 2 ≤ j 2 ∧ i , j 4 ( j 2 ∧ i ) ∨ ( j 2 ∧ i ) j 4 ≤ j 6 , ( j 2 ∧ i ) 2 ≤ i 2 = 0 。因此
j 4 = j 6 = j 2 j 4 = j 2 j 6 = ( j 4 ) 2 ,
即 j 4 是幂等代数,故 j 4 ∈ R = ι 。又因为 j 4 ⊲ a ∈ PR ,所以 j 4 = 0 , ( j / i ) 4 = 0 , j / i 是幂0代数。再由 j / i = ( j / i ) 2 ,即得 j / i = 0 ,与 0 ≠ R ( a / i ) = j / i 矛盾。所以 ∀ i ⊲ a ∈ PR 且 i 2 = 0 ,则 a / i ∈ PR 。证毕。
本文定义了点态化完备代数正规类中的低幂等根,证明了Boolean根 β 、正则根ν、遗传幂等根 χ 、 λ -根 λ 、幂等代数根 ι 都是低幂等根,并且这5个低幂等根满足 β ≤ ν ≤ χ ≤ λ ≤ ι ,其中Boolean根 β 、正则根ν、遗传幂等根 χ 是遗传的,从而是子幂等根, λ -根 λ 、幂等代数根 ι 不是遗传根,从而是非遗传低幂等根,故不是子幂等根。进一步,证明了低幂等根半单类包含所有0乘代数,幂等代数根 ι 半单类满足弱同态闭性质。
国家自然科学基金(11861076);云南省自然科学基金(2019FB139)。
杨宗文,娄本功. 点态化完备代数正规类中的低幂等根The Hypoidempotent Radicals in Normal Classes of Pointwise Complete Alagebra[J]. 理论数学, 2021, 11(01): 1-6. https://doi.org/10.12677/PM.2021.111001