徐文鋒

（韶關(guān)學(xué)院數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，廣東韶關(guān)512005）

逆半群作為群最臨近的推廣,在半群理論中具有非常重要的作用.循環(huán)半群和雙循環(huán)半群因其生成元簡(jiǎn)單,結(jié)構(gòu)優(yōu)美,一直以來(lái)對(duì)它們的研究都非常活躍,得到了許多很好的結(jié)論.文獻(xiàn)［2-3］研究了雙循環(huán)半群的同余刻畫(huà),文獻(xiàn)［4-5］研究了廣義雙循環(huán)半群，文獻(xiàn)［6］研究了一類特殊的三循環(huán)半群，文獻(xiàn)［8］研究了4-循環(huán)半群的一個(gè)子半群，文獻(xiàn)［7］研究了一類多循環(huán)半群.作為雙循環(huán)半群的推廣，本文研究了一類特殊的三循環(huán)半群.文中所用到的半群代數(shù)理論中的基本概念以及記號(hào)，如半群、循環(huán)半群、冪等元等，均與文獻(xiàn)[1]相同，本文將直接引用而不再一一定義.

三循環(huán)半群根據(jù)其三個(gè)生成元之間關(guān)系的不同而得到不同的結(jié)構(gòu).例如，在文獻(xiàn)［6］給出了三循環(huán)半群＜p，的結(jié)構(gòu)，在文獻(xiàn)［7］研究了三循環(huán)半群的結(jié)構(gòu).本文所要研究的三循環(huán)半群定義如下本文討論三循環(huán)半群 T 的元素結(jié)構(gòu)，其中 N表示全體自然數(shù)集合.

1 三循環(huán)半群的元素結(jié)構(gòu)

定理1 三循環(huán)半群T中的每一個(gè)元素都可以唯一的表示為aibjck,其中i，j，k∈N.

在證明定理1之前，先來(lái)討論下面引理.

引理1 對(duì)于T中的元素a，b，c,有cia=abi,其中i∈N.

證 對(duì)i作數(shù)學(xué)歸納法.當(dāng)i=0時(shí)有a=a,結(jié)論顯然成立.假設(shè)結(jié)論對(duì)i時(shí)成立，那么i+1時(shí)，根據(jù)T的定義有ca=ab，因此有ci+1a=cica=ciab=abib=abi+1.證畢.

引理3 對(duì)于T中的元素b，c，若有j≥1，則有cibj=bi+j,其中i∈N.

證 對(duì)i作數(shù)學(xué)歸納法.當(dāng)i=0時(shí)有bj=bj,結(jié)論顯然成立.假設(shè)結(jié)論對(duì)i時(shí)成立，那么i+1時(shí)，根據(jù)T的定義有cb=b2，因此有證畢 .

引理 4 對(duì)于 T 中的元素 a，b，c，若有 j≥1，則有

由上述引理可證定理1.

2 三循環(huán)半群T的自然表示

雙循環(huán)半群除了它的定義表示以外，還可以由集合N到N的映射構(gòu)成的半群來(lái)表示，以及由自然數(shù)集上的二元序?qū)?gòu)成的集合表示.最后一種表示法也是最常用的一種方法，稱為雙循環(huán)半群的自然表示.

三循環(huán)半群T的自然表示可以通過(guò)分析三循環(huán)半群T的運(yùn)算，在集合N×N×N中定義乘法，使之成為一個(gè)與半群T同構(gòu)的半群.

在研究三循環(huán)半群T的自然表示時(shí)，因其乘法運(yùn)算法則比雙循環(huán)半群乘法運(yùn)算法則復(fù)雜許多，為了表述上方便，給出記號(hào) N（x，y）定義為

定理2令N表示自然數(shù)集，在N×N×N上定義乘法。如下：

則（N×N×N，。）是一個(gè)半群，并且同構(gòu)于三循環(huán)半群T.

證 對(duì)于T中任意兩個(gè)元aibjck和albsct,根據(jù)結(jié)合律以及上一節(jié)的結(jié)論，分情況討論如下：

（1）l=0.

設(shè) Π：T→（N×N×N，。）使得 aibjck→（i，j，k）.根據(jù)以上計(jì)算，得到 Π 是同構(gòu)映射.所以（N×N×N，。）是一個(gè)半群，并且同構(gòu)于三循環(huán)半群T.

3 三循環(huán)半群T的冪等元

定理3 T的冪等元除1以外，都是具有形式aj+kbjck的元素,其中j，k∈N，j＞0.

整理得：

由上式得到i=j=k=0或者i=j+k,其中j，k∈N，j＞0.于是得到T的冪等元除1以外，都是具有形式aj+kbjck的元素,其中 j，k∈N，j＞0.

將T中的全體元素如下排列：

顯然地，該排列從左到右可以分成無(wú)窮多個(gè)方塊，其中第i個(gè)方塊的全部元素構(gòu)成集合{aibjck，j，k∈N},i=0,1,2，···從行上看，該排列第 j行的全部元素構(gòu)成{aibjck，j，k∈N},j=1,2，···三循環(huán)半群 T 的冪等元分布如下：第0 個(gè)方塊含有冪等元 1，第 i個(gè)方塊具有冪等元 aibi，aibi-1c，···，aibci-1,共有 i個(gè)，其中 i≥1.

［1］ohn M H.Fundamentals of Semigroup Theory[M].Oxford:Oxford University Press,1995.

［2］周淑云.雙循環(huán)半群同余的刻畫(huà)[J].青海師專學(xué)報(bào)(教育科學(xué)版),2005,22(4):8-10.

［3］徐文鋒.雙循環(huán)半群上的同余結(jié)構(gòu)[J].韶關(guān)學(xué)院學(xué)報(bào)(自然科學(xué)版)，2012,33(8):11-13.

［4］蔣啟芬,喻秉均.一類廣義雙循環(huán)半群[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),1999,22(1):17-23.

［5］喻秉均,蔣啟芬.廣義雙循環(huán)半群和Jones半群[J].數(shù)學(xué)進(jìn)展,2000,29(3):235-244.

［6］朱用文.一類三循環(huán)半群[J].煙臺(tái)大學(xué)學(xué)報(bào)(自然科學(xué)與工程),2006,19(3)166-169.

［7］江洪,田振際,王亞偉.一類多循環(huán)半群的研究[J].甘肅科學(xué)學(xué)報(bào)，2008，20(2):30-32.

［8］商宇,汪立民.關(guān)于4-循環(huán)半群的一個(gè)子半群-II[J].數(shù)學(xué)雜志,2013,33(6):983-988.