雪靜，任學(xué)明

（西安建筑科技大學(xué)數(shù)學(xué)系，陜西西安710055）

超富足半群及其子類(lèi)

雪靜，任學(xué)明

（西安建筑科技大學(xué)數(shù)學(xué)系，陜西西安710055）

借助半群的Malcev積和公理化條件，對(duì)超富足半群及其子類(lèi)進(jìn)行了刻畫(huà)，給出了超富足半群及其子類(lèi)的若干特征.

超富足半群；可消幺半群；Malcev積；同余

1　引言

為了深入研究廣義正則半群，人們引入了如下的廣義格林關(guān)系.令S為一半群，a，b為S的任意兩個(gè)元素.則定義

容易驗(yàn)證，L?L?和R?R?，其中L和R為半群S上通常的格林關(guān)系.特別地，當(dāng)a，b為正則元時(shí)，（a，b）∈L?，當(dāng)且僅當(dāng)（a，b）∈L.對(duì)偶地，（a，b）∈R?，當(dāng)且僅當(dāng)（a，b）∈R.用H?表示L?和R?的交，即H?=L?∧R?；用D?表示L?和R?的連，即D?=L?∨R?.半群S稱(chēng)為富足半群，如果S的每一L?-類(lèi)和每一R?-類(lèi)都含有冪等元.半群S稱(chēng)為超富足半群，如果S的每一H?-類(lèi)含有冪等元.據(jù)文獻(xiàn)［1］，易知正則半群是富足半群，完全正則半群是超富足半群.

超富足半群作為完全正則半群在富足半群類(lèi)中的推廣，它的研究受到人們的廣泛關(guān)注［1-2］.本文將利用半群的Malcev積和公理化條件，對(duì)超富足半群及其若干子類(lèi)進(jìn)行研究，并給出這些子類(lèi)的特征刻畫(huà).

為了方便陳述，首先引入以下半群類(lèi)及記號(hào)：

令A(yù)表示某些半群構(gòu)成的類(lèi).半群S上的一個(gè)同余ρ稱(chēng)為A-同余，如果商半群S/ρ屬于A(yíng)；半群S上的一個(gè)同余ρ稱(chēng)為在A(yíng)上的，如果每一個(gè)冪等的ρ-類(lèi)屬于A(yíng).假設(shè)A和B分別為半群所構(gòu)成的類(lèi)，那么A和B的Malcev積是指具有一個(gè)B-同余ρ，且ρ是在A(yíng)上的半群構(gòu)成的類(lèi)，記為A?B，即A?B=｛S∈S|半群S上存在一個(gè)B-同余ρ，且ρ是在A(yíng)上的｝.文中未給出的符號(hào)和術(shù)語(yǔ)見(jiàn)文獻(xiàn)［3-8］.

2　若干準(zhǔn)備

令S為一半群.假設(shè)ρ為S上的等價(jià)關(guān)系，用aρ表示元素a所在的ρ-類(lèi).稱(chēng)半群S帶有一元運(yùn)算，如果存在一個(gè)映射ρ?：S→S，使得關(guān)于任意a∈S，其中a0表示aρ的恒等元.本文總假定S為帶有一元運(yùn)算的半群.顯然a0ρa(bǔ)，且關(guān)于任意x∈aρ，有xa0=a0x=x，特別地，a=aa0=a0a.此外，由文獻(xiàn)［1］知，任意超富足半群S總可表示為完全J?-單半群Sα（α∈Y）的半格，即S=（Y；Sα）.

為了便于對(duì)超富足半群S及其子類(lèi)進(jìn)行刻畫(huà)，羅列下面的公理?xiàng)l件：

下面先給出關(guān)于半群S的一個(gè)基本引理.

引理2.1令S為一半群.則下述各款成立：

（i）S∈M?B，當(dāng)且僅當(dāng)S滿(mǎn)足公理?xiàng)l件（C1），（C2）及（C5）；

（ii）S∈M?SL，當(dāng)且僅當(dāng)S滿(mǎn)足公理?xiàng)l件（C1），（C2），（C5）及（C8）；

（iii）S∈M?ReB，當(dāng)且僅當(dāng)S滿(mǎn)足公理?xiàng)l件（C1），（C2），（C5）及（C7）.

下述定理給出了超富足半群的一個(gè)刻畫(huà).

定理2.1半群S是超富足半群，當(dāng)且僅當(dāng)S滿(mǎn)足公理?xiàng)l件（C1）-（C4）.

證明（?）假設(shè)半群S為超富足半群，且a∈S.用a0表示H?a的唯一冪等元.顯然，a=a0a=aa0和a0=a00.因此，公理（C1），（C2）成立.又因aL?a0和aR?a0，據(jù)L?和R?的定義，有公理（C3），（C4）成立.

（?）令a∈S.因半群S滿(mǎn)足公理（C1）和（C2），則有a0=a0a00=a0a0=（a0）2.從而a0∈E（S）.若關(guān)于任意x，y∈S1，a0x=a0y，由S滿(mǎn)足（C1），知ax=aa0x=aa0y=ay.又由半群S滿(mǎn)足公理（C3），從而aL?a0.類(lèi)似地，可證aR?a0.因此aH?a0，這表明S是超富足半群.

現(xiàn)建立關(guān)于超富足半群的下述引理.

引理2.2［1］令S是超富足半群.則下面結(jié)論成立：

（i）關(guān)于任意a∈S，aH?a0；

（ii）如果H?a是半群S的子半群，則H?a∈C；

（iii）關(guān)于任意a，b∈S，aH?b，當(dāng)且僅當(dāng)a0=b0；

（iv）L??R?=R??L?=D?.

現(xiàn)在，考慮超富足半群S的一個(gè)重要子類(lèi)，即H?為S上同余的情況.

引理2.3令S是超富足半群，且H?是同余.則關(guān)于任意a，b∈S，有

（i）aL?b，當(dāng)且僅當(dāng)aH?LbH?；

（ii）aR?b，當(dāng)且僅當(dāng)aH?RbH?；

（iii）aD?b，當(dāng)且僅當(dāng)aH?DbH?；

（iv）S∈（C?RB）?SL.

這里，L，R和D分別表示商半群S/H?上的格林關(guān)系.

3　主要結(jié)果

本節(jié)將給出超富足半群某些子類(lèi)的若干特征.

定理3.1令S為一半群.則下列各款等價(jià)：

（i）S∈C?B；

（ii）H?是一個(gè)B-同余，且是在C上的；

（iii）S為超富足半群，H?是同余；

（iv）S滿(mǎn)足公理?xiàng)l件（C1）-（C5）.

證明（i）?（ii）假設(shè)S∈C?B.則在S上存在一個(gè)B-同余ρ，且ρ是在C上的.因此，關(guān)于每個(gè)a∈S，aρ是商半群S/ρ的冪等元，且每個(gè)aρ是S的一個(gè)可消幺子半群.令a0表示aρ中的恒等元，顯然，aρa(bǔ)0.現(xiàn)令aH?b.則aL?b.由a=aa0和L?的定義，得b=ba0.因ρ為同余，則baρba0.類(lèi)似地，據(jù)aR?b和b=b0b，得a=b0a.從而a=b0aρbaρba0=b.因此，H??ρ.反過(guò)來(lái)，令aρb.顯然，aρa(bǔ)0.假設(shè)關(guān)于任意x，y∈S1，ax=ay.由ρ為同余，得a0xaρa(bǔ)xaρ（ax）0a及a0yaρa(bǔ)yaρ（ay）0a.但

從而，

注意到（a0xa）ρ為一個(gè)可消幺半群，則由（ax）0aa0xa=（ay）0aa0ya和（ax）0a=（ay）0a，得a0xa=a0ya.這蘊(yùn)含a0xay=a0yay.再由a0xρa(bǔ)x=ayρa(bǔ)0y及（a0x）ρ為一個(gè)可消幺半群，得a0x=a0y.顯然，若a0x=a0y，則ax=aa0x=aa0y=ay.因此，aL?a0.類(lèi)似地，有bL?b0.但b0=a0，因此aL?b.類(lèi)似地，可證aR?b，從而aH?b.這樣，有ρ?H?.因此，ρ=H?.且H?是S上的一個(gè)B-同余，每個(gè)H?-類(lèi)都是可消幺半群.

（ii）?（iii）顯然.

（iii）?（iv）因?yàn)镾是超富足半群，由定理2.1可知，S滿(mǎn)足公理（C1）-（C4）.又由引理2.2（i）可知，關(guān)于任意a，b∈S，有aH?a0，bH?b0.又H?是同余，則有abH?a0b0.據(jù)引理2.2（iii），有（ab）0=（a0b0）0，即公理（C5）成立.

（iv）?（i）因S滿(mǎn)足公理（C1）-（C4），由定理2.1，知S是超富足半群.由引理2.2（i），知關(guān)于任意a，b∈S，有aH?a0和bH?b0.又因S滿(mǎn)足公理（C5），則（a0b0）0=（ab）0.因此據(jù)引理2.2（iii），得abH?a0b0，這蘊(yùn)含H?是S上的一個(gè)同余.據(jù)引理2.2（ii），知關(guān)于任意a∈S，H?a∈C.進(jìn)一步，關(guān)于任意a∈S，aH?=a0H?=（a0）2H?=（a0H?）2=（aH?）2，即商半群S/H?構(gòu)成帶.因此，S∈C?B.

定理3.2令S為一半群.則下列各款等價(jià)：

（i）S∈C?SL；

（ii）S是可消幺半群的強(qiáng)半格；

（iii）H?是S的一個(gè)SL-同余，且是在C上的；

（iv）S為超富足半群，H?是同余，且S的冪等元在它的中心里；

（v）S滿(mǎn)足公理?xiàng)l件（C1）-（C6）.

證明（i）?（ii）假設(shè)S∈C?SL.則存在一個(gè)半格同余ρ，使得S=（Y；Sα），其中Y∈SL為半格，Sα∈C為可消幺半群.現(xiàn)記eα為Sα的恒等元，且關(guān)于α，β∈Y，α≥β.則關(guān)于任意a∈Sα，有eβa∈Sβα=Sβ.因此定義映射Φα，β：Sα-→Sβ如下：

易知（2）式是有意義的.關(guān)于任意α∈Y及a∈Sα，aΦα，α=eαa=a，從而Φα，α為Sα上的恒等映射.現(xiàn)證Φα，β為一個(gè)半群同態(tài).關(guān)于任意a∈Sα，顯然，eβa∈Sβ.因eβ是Sβ的恒等元，則eβa=eβaeβ，從而

下面證明Φα，βΦβ，γ=Φα，γ.假設(shè)α≥β≥γ.則關(guān)于任意a∈Sα，

故Φα，βΦβ，γ=Φα，γ.又關(guān)于任意a∈Sα，b∈Sβ，有ab∈Sγ，其中γ=αβ.從而，

這證明了S=［Y；Sα；Φα，β］，即S為可消幺半群的強(qiáng)半格.

（ii）?（iii）令S=［Y；Sα；Φα，β］，其中Y∈SL，Sα∈C，且eα為Sα的恒等元.關(guān)于任意a∈Sα，b∈Sβ，假設(shè)aH?b.顯然，aR?b.由a=eαa，有b=eαb.類(lèi)似地，a=eβa.因此α=β，即有a，b∈Sα.反過(guò)來(lái)，假設(shè)a，b∈Sα.若關(guān)于任意x，y∈Sα1，ax=ay.顯然，有aeαx=aeαy.由于Sα為可消幺半群，從而eαx=eαy.由此，beαx=beαy，即bx=by.類(lèi)似地，若bx=by，則ax=ay.因此，aL?b.類(lèi)似地，可以證明aR?b.這樣，有aH?b.實(shí)際上，證明了關(guān)于任意a，b∈S，a，b∈Sα，當(dāng)且僅當(dāng)aH?b.因此H?是S上的一個(gè)SL-同余，且它是在C上的.

（iii）?（iv）顯然S是超富足半群及H?是同余.由（iii）知，S/H?是半格.則關(guān)于任意a∈S，e∈E（S），顯然aeH?ea.從而aeL?ea.又由ae=aee，得ea=eae.類(lèi)似地，可證ae=eae，從而ae=ea，即S的冪等元在它的中心里.

（iv）?（v）因S是超富足半群，且H?是同余，由定理3.1，知S滿(mǎn)足公理?xiàng)l件（C1）-（C5）.又由假設(shè)，S的冪等元在它的中心里，知S滿(mǎn)足公理（C6）.

（v）?（i）因S滿(mǎn)足公理?xiàng)l件（C1）-（C5），由定理3.1，知S∈C?B，且H?是同余.又由S滿(mǎn)足公理（C6），即?a，x∈S，ax0=x0a.從而（aH?）（x0H?）=（ax0）H?=（x0a）H?=（x0H?）（aH?），又aH?=（aa0）H?=（aH?）（a0H?）=（a0H?）2=（aH?）2.易知每個(gè)H?-類(lèi)為可消幺半群.因此，S/H?∈SL.這證明了S∈C?SL.

定理3.3令S為一半群.則下列各款等價(jià)：

（i）S∈C?ReB；

（ii）H?是ReB-同余，且是在C上的；

（iii）S為超富足半群，L?和R?均是同余；

（iv）S滿(mǎn)足公理?xiàng)l件（C1）-（C5）和（C7）.

證明（i）?（ii）類(lèi)似于定理3.1（i）?（ii）的證明.

（ii）?（iii）易知，S為超富足半群.由（ii），知商半群S/H?為正則帶.據(jù)文獻(xiàn)［5］，知商半群S/H?上的關(guān)系L和R均為同余.由引理2.3（i）和（ii），得S上的關(guān)系L?和R?均為同余.

（iii）?（iv）由（iii），知S是超富足半群及H?為S上的同余.又據(jù)定理3.1，知S滿(mǎn)足公理?xiàng)l件（C1）-（C5）.又因L?和R?為同余，據(jù)引理2.3（i），（ii），知商半群S/H?上的關(guān)系L和R均為同余.從而由文獻(xiàn)［5］，得S/H?是正則帶.因此，關(guān)于任意a，x，y∈S，

從而，（axya）H?=（axaya）H?.據(jù)引理2.2（iii），有（axya）0=（axaya）0，即公理（C7）成立.

（iv）?（i）因S滿(mǎn)足公理?xiàng)l件（C1）-（C5），由定理3.1，知S∈C?B，且H?是同余.又由S滿(mǎn)足公理（C7），即?a，x，y∈S，（axya）0=（axaya）0.據(jù)引理2.2（iii），有（axya）H?=（axaya）H?，從而（aH?）（xH?）（yH?）（aH?）=（aH?）（xH?）（aH?）（yH?）（aH?）.這蘊(yùn)含S/H?∈ReB.另易知每個(gè)H?-類(lèi)為可消幺半群.因此S∈C?ReB.

［1］Founiain J B.Abundant semigroups［J］.Proc.London.Math.Soc.，1982，3：103-129.

［2］Ren X M，Shum K P.The structure of superabundant semigroups［J］.Science in China，Ser.A，Mathematics，2004，47（5）：756-771.

［3］Howie J M.Fundamentals of Semigroup Theory［M］.New York：Oxford University Press，1995.

［4］Petrich M.Introduction to Semigroups［M］.Columbus：Merrill，1973.

［5］Petrich M，Reilly N R.Completely Regular Semigroup［M］.New York：Wiley，1999.

［6］Petrich M.Malcev products of unipotent monoids and varieties of bands［J］.Semigroup Forum，2011，83：161-189.

［7］Howie J M.An Introduction to Semigroup Theory［M］.London：Academic Press，1976.

［8］Ren X M，Shum K P.The structure of L?-inverse semigroups［J］.Science in China Ser.A，Mathematics，2006，49（8）：1065-1081.

On superabundant semigroups and its subclasses

Xue Jing，Ren Xueming

（Department of Mathematics，Xi′an University of Architecture and Technology，Xi′an 710055，China）

By using malcev product of semigroups and axiomatic conditions，we describe superabundant semigroups and its several subclasses.Some characterizations of these semigroups are given in this paper.

superabundant semigroups，cancellative monoids，malcev products，congruences

O152.7

A

1008-5513（2015）06-0636-07

10.3969/j.issn.1008-5513.2015.06.012

2015-04-15.

國(guó)家自然科學(xué)基金（11471255）.

雪靜（1988-），碩士生，研究方向：半群代數(shù)理論.

2010 MSC：20M10