(陕西广播电视大学 工程与建筑教学部， 陕西 西安 710119)

关于一类幂等元半环的同余*

李斌

(陕西广播电视大学 工程与建筑教学部， 陕西 西安 710119)

目的 证明乘法半群为右拟正规带的幂等元半环上的乘法半群上的相关同余可以推广到半环上，成为半环同余. 方法 利用幂等元半环的乘法半群上的同余和半环同余的性质来阐明相关结论．结果 得到了乘法半群的一些同余为半环同余． 结论 推广了文[3]的一些结果。

幂等元半环；同余；正规带；右拟正规带

一、引言

半环(S，+，·)是指非空集合S上装有两个二元运算加法“+”和乘法“·”的代数,其中(S，+)和(S，·)均是半群,且满足乘法对加法的分配律,即对任意的有，a，b，c∈S有(a+b)c=ac+bc

幂等元半环S是指满足附加条件对任意的的a∈S，a+a=a·a=a半环，即S的加法半群和乘法半群均为带．

正规带[左零带，右零带，矩形带]是指适合恒等式xyzu=xzyu[xy=x，xy=y，xyz=xz]的带，右拟正规带则是满足zxa=zaxa的带．我们用Lz[Rz，ReB，NB,RQNB]表示左零带[右零带，矩形带，正规带，右拟正规带]的全体．由[1]知Lz[Rz，ReB，NB，RQNB]是带簇的子簇．

二、结论及其证明

我们用Con(S)表示半群S的同余的全体,设A是半群类且ρ∈Con(S)，若S/ρ∈A，则称ρ为A-同余.若由任意同余θ使得S/θ∈A得到ρ⊆θ, 则称ρ为S上的最小A-同余[2].

设半群S∈NB，定义S的二元关系λ，λ*，μ分别如下：

(a,b∈S)aλb⟺(∃u∈S)au=bu；

aλ*b⟺(∃u∈S)ua=ub；

aμb⟺(∃u∈S)aub=bua；

则由文[1]知λ[λ*，μ]是S上的最小Lz[Rz，Re，B]-同余, 由此，可以得到

引理2.1半群S∈RQNB，如上定义二元关系λ，λ*，μ，则λ[λ*，μ]是S上的最小Lz[Rz，Re，B]-同余.

证明半群S∈RQNB，即S满足恒等式xyz=xzyz.首先证λ是S上的等价关系. 显然λ是反身、对称的.设a，b，c∈S，且aλb,bλc即存在u,v∈S使得au=bu,bv=cv．则

avu=(au)(vu)=(bu)(vu)=bvu,bvu=(bv)(vu)=(cv)(vu)=cvu.,即a(vu)=c(vu)．从而aλc, 故λ是S上的等价关系.

下证λ是同余．即(∃u∈S)au=bu则(∃c∈S)auc=buc，cau=cbu.由于S∈RQNB，acuc=auc=buc=bcuc从而acλbc,caλcb即λ∈Con(s)得证.

下面再证λ是S上……