APP下载

完全正则半群和幺半群上的Rees 矩阵半群

2020-09-29黎宏伟

科学技术创新 2020年29期
关键词:子群正则宿迁

黎宏伟

(宿迁学院数学系,江苏 宿迁223800)

1 预备知识

其中 P =[ pλi],pλi∈ H1, λ , μ ∈Λ, i ,j ∈I,则S 关于此运算构成半群,称为幺半群上的Rees 矩阵半群,记作S = M [ A; I , Λ; P].设A 是含幺Clifford 半群, 则 S = M [ A; I , Λ; P]是含幺Clifford 半群上的Rees 矩阵半群.设含幺Clifford 半群A 是群{Ge|e ∈ E ( A)}的强半格,由文[3]知Se= M [ Ge; I , Λ; P]是含幺Clifford 半群上的Rees 矩阵半群S = M [ A; I , Λ; P]的子完全单半群,且S 是它的子完全单半群{Se}的强半格.根据文[3]的结论可知含幺Clifford 半群上的Rees 矩阵半群是完全单半群。

文[3]研究了含幺Clifford 半群上的Rees 矩阵半群S 的性质,给出了S 的正规加密群结构,指出正规加密群是含幺Clifford 半群上的Rees 矩阵半群当且仅当它是幺半群上的Rees 矩阵半群.由文[3]知正规加密群是一种特殊的完全正则半群,如果把正规加密群改为普通的完全正则半群,那么当幺半群上的Rees 矩阵半群是完全正则半群的时候, 它会是含幺Clifford 半群上的Rees 矩阵半群吗?本文对这个问题进行了研究,证明了下面的定理:

定理1 完全正则半群是含幺Clifford 半群上的Rees 矩阵半群当且仅当它是幺半群上的Rees 矩阵半群.

2 几个引理

设S 是完全正则半群,则S 是它的子完全单半群{Sα=M [Ge; Iα, Λα; Pα]|α ∈ Y }的半格,即 S =(Y , Sα),其中e 是群Ge 的单位元,则可以证明下面的引理.

引理1 设完全正则半群S 是它的子完全单半群{Sα=M [Ge; Iα, Λα; Pα]|α ∈Y }的半格, 且S 是幺半群上的Rees 矩阵半群,即 S = M [ A; I , Λ; P],其中A 是幺半群,则Iα= I ,Λα=Λ.

但 Sα是S 的子完全单半群,而 ( a , iα, λ )∈Sα,故( a , iα, λ)∈ S,这与 ( a , iα, λ )∉S矛盾.故假设不成立,即Iα⊆I.

再证 Iα= I.假设 Iα≠ I,则存在 i。 ∈I,但 i。 ∉Iα.

设(i, λ )∈ Iα×Λα,显然 (i 。 , λ )∉ Iα×Λα.于是任意的 a ∈ Ge,有 ( a , i。 , λ )∉Sα,但 ( a , i。 , λ )∈S.

故( a , i。 , λ ) L ( a , i, λ).

由[4]知 ( a , i。 , λ ) J ( a , i, λ).

由于 Sα是S 中的J 类且 ( a , i, λ)∈Sα,故( a , i。 , λ )∈Sα.这与 ( a , i。 , λ )∉Sα矛盾。

故假设不成立,于是可得 Iα= I.同理可证 Λα=Λ.引理1 得证。

引理2 设 Sα= M [Ge; I , Λ; Pα]是S = M [ A; I , Λ; P]任一J 类,则

由引理2 可知S 任一J 类可以表示为

Sα= M [Ge; I , Λ; P].

引理3 设完全正则半群S 是幺半群上的Rees 矩阵半群,即S = M [ A; I , Λ; P],其中A 是幺半群,且S 是它的子完全单半群 {Sα= M [ Ge; I , Λ; P] |α ∈ Y }的半格,则A 是{Ge}的不交并集。

证明:由[4]知S 是它的子完全单半群 {Sα}的并集,从而可得A 是 {Ge}的并集。设

Sα= M [Ge; I , Λ; P]和Sβ= M [Gf; I , Λ; P]是S 的两个不同的子完全单半群,由[4]知 Sα和 Sβ的交集是空集,从而可得Ge和Gf的交集是空集.故A 是 {Ge}的不交并集.

由于 Sα和 Sαγ是S 中的J 类, ( a , i , λ)∈Sα且( a , i, λ )∈ Sαγ,故 Sα和 Sαγ是S 中的同一个J 类,即Sα= Sαγ.由 (b a , i, λ )∈ Sαγ可得 ( ba , i, λ )∈Sα,于是ba ∈ Ge.同理可证 ab ∈Ge.引理4 得证.

设Sα=M [Ge; I , Λ; P ], Sβ=M [Gf; I , Λ; P]是S = M [ A; I , Λ; P]的两个J 类.

引理5Sαβ= M [Gef; I , Λ; P]

证明:设 Sαβ= M [Gh; I , Λ; Pαβ],

( a , i, λ) ∈Sα,( b, i, λ)∈Sβ.

设x =(e f )-1∈Gh,则(e f ) x = efx = h, x( e f )= xef =h 由( fxe)2=f ( xef )xe = fhxe =fxe知fxe 是Gh中的幂等元,因此, fxe =h.由于

( ef )( fxe) ( ef ) = ef2xe2f = efxef = e( fxe) f = ehf =ef,( fxe) (e f )( fxe) = fxe2f2xe = fxefxe = ( fxe)2=fxe,故ef = ( fxe)-1= h-1=h .同理可证fe=h.故Sαβ= M [Gh; I , Λ; Pαβ] = M [Gef; I , Λ; Pαβ].

3 证明定理1

(⇒ )设S 是完全正则半群, 若S 是含幺Clifford 半群上的Rees 矩阵半群,则S 显然是幺半群上的Rees 矩阵半群.

(⇐ )设S 是完全正则半群, 且S 是幺半群上的Rees 矩阵半群,即 S = M [ A; I , Λ; P],其中A 是幺半群,其单位元是1A.由S 是正则半群知A 是正则半群.

由引理3 知A 是子群 {Ge}的不交并集,下证A 是子群{Ge}的半格。

设Sα=M [Ge; I , Λ; P ], Sβ=M [Gf; I , Λ; P]是

由文[6]知A 是Clifford 半群,又因为A 是幺半群,故A 是含幺Clifford 半群, 进而可得 S = M [ A; I , Λ; P]是含幺Clifford半群上的Rees 矩阵半群.定理1 得证。

猜你喜欢

子群正则宿迁
Schmidt子群为Hall S-拟正规嵌入群的有限群①
有限群的局部化HC-子群①
半群的极大正则子半群
有限群的弱τσ-嵌入子群
π-正则半群的全π-正则子半群格
Virtually正则模
江苏宿迁:为500余名农民工解“薪”事
宿迁姑娘登上珠穆朗玛峰
关于ss-拟正规子群和c-正规子群
任意半环上正则元的广义逆