交換可剩余半群的剩余BCI-代數(shù)

楊 聞 起

(寶雞文理學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院，陜西 寶雞 721013)

交換可剩余半群的剩余BCI-代數(shù)

楊 聞 起

(寶雞文理學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院，陜西 寶雞 721013)

引入了交換可剩余半群的剩余BCI-代數(shù)的概念并討論了其性質(zhì)，表明了交換可剩余半群與BCI-代數(shù)的關(guān)系，得到了全序半群的剩余BCI-代數(shù)是BCK-代數(shù)，序半群是平凡的當(dāng)且僅當(dāng)其剩余BCI-代數(shù)是p-半單的.還給出了交換可剩余半群與其剩余BCI-代數(shù)的理想和濾子之間的關(guān)系.

序半群；交換可剩余半群；BCI-代數(shù)；理想；濾子

1 預(yù)備知識

序半群是半群結(jié)構(gòu)與序結(jié)構(gòu)相互交融的產(chǎn)物，可剩余半群是一類重要的序半群.文獻(xiàn)[1]系統(tǒng)地論述了序半群理論.

定義1[1]設(shè)S是半群，“≤”為S上的偏序，?a，b，c∈S，如果當(dāng)a≤b時，必有

ac≤bc，ca≤cb，

則稱S為序半群，記為(S，≤，·)，在不致混淆時，也簡記為S.

在交換序半群中，左剩余與右剩余等價，故在交換剩余半群中，把左、右剩余統(tǒng)稱為剩余.另外，根據(jù)本文的需要，把交換半群中的乘法改寫為加法，那么有下面的結(jié)論.

引理1[1]在交換可剩余半群S中，?x，y，z∈S，有以下公式成立：

(1) (y∶x)+x≤y，y≤(y+x)∶x，y≤x∶(x∶y)；

(2) (x∶y)∶z=x∶(y+z)，(x∶y)∶z=(x∶z)∶y；

(3) (x∶y)+z≤(x+z)∶y；

(4)a≤b??x∈S，有a∶x≤b∶x，x∶b≤x∶a.

在交換可剩余半群(S，+，≤)中，如果存在元素0，使得?x∈S，有0+x=x+0=x，則稱0為零元.設(shè)m∈S，如果?x∈S，由m≤x可推出x=m，稱m是S中的極大元.

零元是極大元的交換可剩余半群是一類重要的序半群，文獻(xiàn)[2-3]從不同的角度研究了它的性質(zhì).為敘述方便，本文把零元是極大元的交換可剩余半群記為(S，+，≤，0)，0表示零元，它同時還是一個極大元.

BCI-代數(shù)是一類重要的邏輯代數(shù)，文獻(xiàn)[4]系統(tǒng)地論述了相關(guān)理論.

定義3[4]設(shè)集合X上有運(yùn)算*及常元0.?x，y，z∈X，如果：

(1) ((x*y)*(x*z))*(z*y)=0，

(2)x*0=x，

(3)x*y=0且y*x=0?x=y.

(4) 0*x=0，

則稱X是BCK-代數(shù).

在BCI(BCK)-代數(shù)X中規(guī)定x≤′y?x*y=0，那么“≤′”是X上的偏序，叫作X的自然偏序，且0為該偏序的極小元(最小元)，把偏序集(X，≤′)也叫作該BCI(BCK)-代數(shù)的自然偏序集.

(1)x*x=0；

(3)x*(x*y)≤′y；

(4) (x*z)*(y*z)≤′x*y;

(5)x*(x*(x*y))=x*y；

(6) 0*(x*y)=(0*x)*(0*y)；

(7) 由x≤′y可推出x*z≤′y*z，z*y≤′z*x.

本文試圖研究以下三個問題：

(1) 什么樣的序半群能導(dǎo)出BCI-代數(shù)？

(2) 由序半群導(dǎo)出的BCI-代數(shù)有怎樣的性質(zhì)和作用？

(3) 序半群與它導(dǎo)出的BCI-代數(shù)的理想和濾子之間的關(guān)系如何？

2 交換可剩余半群的剩余BCI-代數(shù)

定理1 設(shè)(S，+，≤，0)是一個以0為零元的交換可剩余半群，且0為極大元，a∶b表示a關(guān)于b的剩余，那么(S，∶，0)是一個以0為零元的BCI-代數(shù).特別地，如果0是最大元，那么(S，∶，0)是一個以0為零元的BCK-代數(shù).

證明 ?x，y，z∈S，有：

(1) 如果x∶y=0，那么0+y≤x，即y≤x；反之，如果y≤x，0+y≤x，則0≤x∶y，但0為極大元，故x∶y=0.從而x∶y=0當(dāng)且僅當(dāng)y≤x，進(jìn)而x∶y=0，且y∶x=0當(dāng)且僅當(dāng)x=y.

(2) 設(shè)x∶0=y，由于x+0=x≤x，故x≤y，又因?yàn)閥=y+0≤x，x=y，從而x∶0=x.

(3) 設(shè)x∶y=u，x∶z=v，z∶y=w，則

u+y=y+u≤x，v+z=z+v≤x，w+y=y+w≤z，

故v+w+y≤v+z≤x，w+v=v+w≤x∶y=u，w≤u∶v，由(1)知(u∶v)∶w=0，即((x∶y)∶(x∶z))∶(z∶y)=0.

由定義3知，(X，∶，0)是一個以0為零元的BCI-代數(shù).由于0為零元，0+x=x，如果0還是最大元，即?x∈S，x≤0，0+x≤0，故0≤0：x，但0是最大元，從而0∶x=0，所以(S，∶，0)是一個BCK-代數(shù).

定義4 在序半群(S，+，≤，0)中，把按照剩余運(yùn)算“∶”做成的BCI-代數(shù)(S，∶，0)叫作該序半群的剩余BCI-代數(shù).特別地，如果0是最大元，把BCK-代數(shù)(S，∶，0)叫作該序半群的剩余BCK-代數(shù).

必須注意，由于BCI-代數(shù)(S，∶，0)的自然偏序?yàn)閤≤′y?x∶y=0，而由定理1的證明過程知，序半群(S，+，≤，0)的偏序?yàn)閤≤y?y∶x=0，可見，這兩個偏序互相對偶，從而序半群的極大元就是其剩余BCI-代數(shù)的極小元.另外，我們還可以把定義3和引理2中的公式直接轉(zhuǎn)化為序半群(S，+，≤，0)關(guān)于剩余運(yùn)算的公式.

引理3 在序半群(S，+，≤，0)中，?x，y，z∈S，有以下公式成立：

(1)x∶y=0?y≤x，x=y?x∶y=y∶x=0；

(2)x∶0=x；

(3)z∶y≤(x∶y)∶(x∶z)；

(4) 0∶(x∶y)=(0∶x)∶(0∶y)；

(5)x∶x=0；

(7) (x∶z)∶(y∶z)≥x∶y；

(8)x∶(x∶(x∶y))=x∶y；

(9) 0∶(x∶y)=(0∶x)∶(0∶y)；

(10) 由x≤y可以推出x∶z≤y∶z，z∶y≤z∶x.

定理2 全序半群(S，+，≤，0)的剩余BCI-代數(shù)(S，∶，0)是BCK-代數(shù).

證明 設(shè)序半群(S，+，≤，0)是全序的，由于0是極大元，這時0必為最大元，從而在剩余BCI-代數(shù)(S，∶，0)中0就是最小元，由定理1知(S，∶，0)是BCK-代數(shù).

在半群S中，如果取偏序?yàn)?x，y∈S，x≤y?x=y，稱該序半群是平凡的.

顯然，以下命題等價：(1)序半群S是平凡的；(2)每個元素都是極大元；(3)任意兩個不同的元素不可比較；(4)偏序≤與其反序≥保持一致.

定理3 序半群(S，+，≤，0)是平凡的當(dāng)且僅當(dāng)它的剩余BCI-代數(shù)(S，∶，0)是p-半單的.

證明 設(shè)序半群(S，+，≤，0)是平凡的，即每個元素都是極大元，從而它的剩余BCI-代數(shù)(S，∶，0)中的每個元素都是極小元，從而它的剩余BCI-代數(shù)(S，∶，0)是p-半單的.由于以上各步都可逆，故反過來也成立.

定理4 設(shè)序半群(S，+，≤，0)的剩余BCI-代數(shù)為(S，∶，0)，則BCI-代數(shù)(S，∶，0)的加法序半群是(S，+，≤，0)，當(dāng)且僅當(dāng)序半群(S，+，≤，0)是平凡的.

證明 設(shè)BCI-代數(shù)為(S，∶，0)的加法序半群為(S，+′，≤′，0)，如果序半群(S，+，≤，0)是平凡的，則偏序≤的反序還是自身，即加法序半群的偏序≤′就是≤.另外，?x，y∈S，由引理1，x+′y=0∶((0∶x)∶y)=0∶(0∶(x+y))，但由定理3知，BCI-代數(shù)(S，∶，0)是p-半單的，故0∶(0∶(x+y))=x+y，從而x+′y=x+y，即兩個加法運(yùn)算一致，從而BCI-代數(shù)(S，∶，0)的加法序半群就是序半群(S，+，≤，0).反過來，如果BCI-代數(shù)為(S，∶，0)的加法序半群就是原序半群(S，+，≤，0)，則偏序≤的反序還是≤，故序半群(S，+，≤，0)是平凡的.

我們知道，全序與平凡偏序是偏序的兩個極端，而BCK-代數(shù)與p-半單BCI-代數(shù)也是BCI-代數(shù)的兩個極端，定理2和定理3表明，這兩個極端的序半群恰好導(dǎo)出這兩個極端的BCI-代數(shù).

3 交換可剩余半群與其剩余BCI-代數(shù)的理想和濾子

文獻(xiàn)[1]給出了序半群的理想和濾子的概念：設(shè)S是序半群，A是S的非空子集.如果：(1)a∈A，s∈S?as，sa∈A；(2)b≤a∈A?b∈A.則稱A是S的理想.如果：(1)ab∈A?a，b∈A；(2)b∈A，b≤a?a∈A.則稱A是S的濾子.

交換可剩余半群與其剩余BCI-代數(shù)的理想和濾子有著緊密的聯(lián)系.

定理5 設(shè)A是序半群(S，+，≤，0)的濾子，則A必是其剩余BCI-代數(shù)(S，∶，0)的理想.

證明 首先，取a∈A，由于0為零元，0+a∈A.注意到A是序半群(S，+，≤，0)的濾子，故0∈A.其次，設(shè)a∈A，b∶a∈A，則(b∶a)+a∈A，由引理1知(b∶a)+a≤b，故b∈A，從而A必是BCI-代數(shù)(S，∶，0)的理想.

定理6 如果A是序半群(S，+，≤，0)的理想，且A關(guān)于剩余運(yùn)算“∶”封閉，那么A必是其剩余BCI-代數(shù)(S，∶，0)的濾子.

證明 任取a∈A，由于A關(guān)于剩余運(yùn)算“∶”封閉，故0=a∶a∈A.再設(shè)a∶b∈A，由引理1知，b≤a∶(a∶b)∈A，且A是序半群(S，+，≤，0)的理想，故b∈A，所以A是BCI-代數(shù)(S，∶，0)的理想.

引理4[4]用M(S)表示BCI-代數(shù)(S，*，0)的全部極小元，則M(S)={0*x|x∈S}.

定理7 設(shè)序半群(S，+，≤，0)的剩余BCI-代數(shù)為(S，∶，0)，M(S)?A?S，如果A是BCI-代數(shù)為(S，∶，0)的理想，那么A必是序半群(S，+，≤，0)的濾子.

證明 設(shè)A是BCI-代數(shù)為(S，∶，0)的理想.首先，?a，b∈A，由引理1和定理3知((a+b)∶a)∶b=(a+b)∶(a+b)=0∈A，由于A是BCI-代數(shù)的理想，且a，b∈A，故a+b∈A.反過來，設(shè)a+b∈A，由引理1和引理3知a∶(a+b)=(a∶a)∶b=0∶b.由引理4知，0∶b是BCI-代數(shù)中的極小元.從而0∶b∈A，即a∶(a+b)∈A，由于a+b∈A，且A是BCI-代數(shù)為(S，∶，0)的理想，故a∈A，同理也有b∈A.

其次，設(shè)a∈A，a≤b，則b∶a=0∈A，但A是BCI-代數(shù)的理想，故b∈A，從而A必是序半群(S，+，≤，0)的濾子.

定理8 設(shè)序半群(S，+，≤，0)的剩余BCI-代數(shù)為(S，∶，0)，M(S)?A?S，如果A是BCI-代數(shù)(S，∶，0)的濾子，那么A必是序半群(S，+，≤，0)的理想.

證明 設(shè)A是BCI-代數(shù)為(S，∶，0)的濾子.?a∈A，?s∈S，由引理1和引理3知，a∶(a+s)=(a∶a)∶s=0∶s.由引理4知0∶s是BCI-代數(shù)的極小元，故0∶s∈A，從而a∶(a+s)∈A，但a∈A，且A為BCI-代數(shù)的濾子，故s+a=a+s∈A.

其次，設(shè)b≤a∈A，則a∶b=0∈A，但A為BCI-代數(shù)為(S，∶，0)的濾子，故b∈A.所以A是序半群(S，+，≤，0)的理想.

[1] 謝祥云.序半群引論[M].北京：科學(xué)出版社，2001：5-19.

[2] 李繼成.剩余幺半群的商結(jié)構(gòu)[J].純粹數(shù)學(xué)與應(yīng)用數(shù)學(xué)，1995，11(1)：109-113.

[3] 李繼成.關(guān)于剩余幺半群中元素的剩余周期[J].陜西師范大學(xué)學(xué)報(自然科學(xué)版)，1995，23(2)：27-30.

[4] HUANG YISHENG.BCI-algebra[M].Beijing：Science Press，2006：11-78.

[5] 楊聞起.BCI-代數(shù)與半群[M].北京：科學(xué)出版社，2011：87-90.

[6] 楊聞起.IS-代數(shù)的伴隨半環(huán)[J].東北師大學(xué)報(自然科學(xué)版)，2012，44(3)：46-51.

[7] 楊聞起.強(qiáng)序半群的伴隨KS-代數(shù)[J].東北師大學(xué)報(自然科學(xué)版)，2014，46(3)：34-37.

[8] 楊聞起.BCI-代數(shù)的濾子[J].安徽大學(xué)學(xué)報(自然科學(xué)版)，2013，37(2)：15-18.

(責(zé)任編輯：李亞軍)

Residual BCI-algebras of the commutative residuated semigroups

YANG Wen-qi

(College of Mathematics and Informatics，Baoji University of Arts and Sciences，Baoji 721013，China)

The concept of the residual BCI-algebra of a commutative residuated semigroup is introduced and the relation between them are discussed.In addition，two conclusions are obtained as follows. One is that the residual BCI-algebra of a total semigroup is a BCK-algebra.The other is that a ordered semigroup is trivial if and only if its residual BCI-algebra is p-semisimple.Besides，the relation of its ideal and filter between the residual BCI-algebra and a commutative residuated semigroup are investigated.

ordered semigroup;commutation residuated semigroup；BCI-algebra；ideal;filter

1000-1832(2015)04-0022-04

10.16163/j.cnki.22-1123/n.2015.04.005

2014-05-05

陜西省自然科學(xué)基金資助項目(2010JM1016)；陜西省教育廳專項基金資助項目(14JK1050).

楊聞起(1962—)，男，教授，主要從事代數(shù)學(xué)研究.

O 153.1 [學(xué)科代碼] 110·2115

A