楊聞起

（寶雞文理學(xué)院數(shù)學(xué)系，陜西 寶雞 721013）

1 預(yù)備知識

定義1［1］設(shè)S是一個半群，S上有偏序≤，如果?a，b，c∈S，有

則稱S是序半群.如果序半群S還滿足左、右消去律：

則稱序半群S是強(qiáng)序的.設(shè)S是序半群，?≠A?S.如果：

則稱A是序半群S的理想.

1966年，日本數(shù)學(xué)家K.Iséki以邏輯運(yùn)算和集合的差運(yùn)算為背景，引入了BCK－代數(shù)和BCI－代數(shù)，文獻(xiàn)［2］將其定義簡化.

定義2［2］設(shè)集X 上有運(yùn)算＊及常元0，?x，y，z∈X.如果：

則稱X是一個BCI－代數(shù)，記為（X，＊，0），簡記為X.如果BCI－代數(shù)X還滿足

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

在BCK（BCI）－代數(shù)X中規(guī)定：x≤′y?x＊y＝0，那么≤′是X 上的偏序，叫做X的自然偏序，且0為該偏序的最小元（極小元）.

引理1［2］設(shè)BCK－代數(shù)（X，＊，0）的自然偏序?yàn)椤堋?，那?x，y，z∈X.有：

（6）0≤′x，即0為該偏序的最小元.

1993年，韓國數(shù)學(xué)家田英培（Young Bae Jun）等通過在BCK（BCI）－代數(shù)上再賦予半群結(jié)構(gòu)，又建立了BCK（BCI）－半群，后來稱為 KS－代數(shù)（IS－代數(shù)）.文獻(xiàn)［3］系統(tǒng)論述了 KS（IS）－代數(shù)理論，文獻(xiàn)［4－5］則給出了IS－代數(shù)與半環(huán)的關(guān)系.

定義3［3］設(shè)X是非空集合，它帶有兩種二元運(yùn)算＊和·及一個常元0.如果：

（1）（X，＊，0）是BCK（BCI）－代數(shù)；

（2）（X，·）是半群；

（3）·對＊的左、右分配律成立，即?x，y，z∈X，有

則稱X 關(guān)于這兩種運(yùn)算和常元0是一個BCK（BCI）－半群，也簡稱為 KS－代數(shù)（IS－代數(shù)），記為（X，＊，·，0），在不致混淆時，簡記為X.為了書寫方便，還把x·y簡記為xy.另外，把BCK－代數(shù)（X，＊，0）的自然偏序≤′也叫做KS－代數(shù)的自然偏序.

設(shè)A是KS－代數(shù)（X，＊，·，0）中的非空子集.如果：

（1）?x∈X，?a∈A，有xa，ax∈A；

（2）?x∈X，?a∈A，由x＊a∈A可推出x∈A.稱A是X的I－理想，簡稱為理想.

顯然，KS（IS）－代數(shù)（X，＊，·，0）的非空子集A是它的理想當(dāng)且僅當(dāng)A 是半群（X，·）的理想且是BCK－代數(shù)（X，＊，0）的理想.

引理2［3］在 KS（IS）－代數(shù)X 中，≤′是其中的自然偏序，?x，y，x∈X，有：

（1）0x＝x0＝0；

（2）如果x≤′y，那么zx≤′zy，xz≤′yz.

由引理2知，X關(guān)于偏序≤′必是一個以0為最小元（極小元）的序半群，稱之為KS－代數(shù)的自然序半群.另外，設(shè)A是KS－代數(shù)（X，＊，·，0）的理想，任取a∈A，則0＝0a∈A，故KS－代數(shù)的任意理想都包含0.

偏序集與半群的交融形成了序半群，BCK－代數(shù)與半群的交融形成了KS－代數(shù)，本文試圖討論序半群與KS－代數(shù)的關(guān)系.

2 概念和基本性質(zhì)

那么，（X，＊，·，0）必是一個 KS－代數(shù).

證明 首先，我們證明（X，＊，0）是BCK－代數(shù).任取x∈X，如果0≤x，則0＊x＝0；如果0≤/x，由（1）式也有0＊x＝0.總之，?x∈X，都有0＊x＝0.下面只需驗(yàn)證（X，＊，0）是BCI－代數(shù).

（1）如果x≤0，由于0為極小元，故x＝0，從而x＊0＝0＝x；如果x≤/0，則x＊0＝x.總之?x∈X，有x＊0＝x.

（2）再任取y，z∈X，如果x≤y，則x＊y＝0，又由于0＊（x＊z）＝0，故得

如果x≤/y，但x≤z，則z≤/y，從而x＊y＝x，x＊z＝0，z＊y＝z，有

如果x≤/y，且x≤/z，即x＊y＝x，x＊z＝x，有

所以，?x，y，z∈X，都有（（x＊y）＊（x＊z））＊（z＊y）＝0.

（3）如果x＊y＝y(tǒng)＊x＝0，則x≤y或x＝0，且y≤x或y＝0；如果x≤y且y≤x，由于“≤”為偏序，

本文將以0為極小元的序半群記為（X，≤，·，0）.

定理1 在強(qiáng)序半群（X，≤，·，0）中，定義運(yùn)算＊：故x＝y(tǒng).如果x≤y，y＝0，由于0是極小元，故x＝0＝y(tǒng).如果x＝0，y≤x，即y≤0，但0為極小元，故y＝0＝x.如果x＝0，y＝0，顯然x＝y(tǒng).所以，只要x＊y＝y(tǒng)＊x＝0，就有x＝y(tǒng).所以（X，＊，0）必是BCK－代數(shù).

其次，我們證明分配律成立.?x，y，z∈X，有：

（1）如果y≤z，即y＊z＝0，則xy≤xz，故x（y＊z）＝x0＝0，（xy）＊（xz）＝0，從而x（y＊z）＝（xy）＊（xz）.

（2）如果y≤/z，則y＊z＝y(tǒng)，即x（y＊z）＝xy.又由于≤是一個強(qiáng)序，從而xy≤/xz，故（xy）＊（xz）＝xy，則x（y＊z）＝（xy）＊（xz）.同理可得（y＊z）x＝（yx）＊（zx），故（X，＊，·，0）必是一個 KS－代數(shù).

定義4 設(shè)（X，≤，·，0）是以0為極小元的強(qiáng)序半群，把按照（1）式給出運(yùn)算＊而得的KS－代數(shù)（X，＊，·，0）叫做該強(qiáng)序半群的伴隨 KS－代數(shù)，記為（X，＊，·，0）.

由于BCK－代數(shù)（X，＊，0）的自然偏序≤′為x≤′y?x＊y＝0，故兩個偏序≤，≤′顯然不同，它們之間的關(guān)系如下：

定理2 設(shè)強(qiáng)序半群（X，≤，·，0）的伴隨 KS－代數(shù)（X，＊，·，0）的自然偏序?yàn)椤堋洌?x，y∈X，x≤′y當(dāng)且僅當(dāng)x≤y或者x＝0.

定理3 設(shè)（X，≤，·，0）是以0為最小元的強(qiáng)序半群，則它的伴隨KS－代數(shù)的（X，＊，·，0）的自然偏序與序半群的偏序一致.

證明 設(shè)KS－代數(shù)（X，＊，·，0）的自然偏序?yàn)椤堋洌?x，y∈X，設(shè)x≤y，由定理2知，x≤′y.反過來，設(shè)x≤′y，由定理2知，x≤y或者x＝0，而當(dāng)x＝0時，由于0為最小元，故0≤y，總之都有x≤y，從而兩個偏序≤，≤′相同.

文獻(xiàn)［1］和文獻(xiàn)［3］分別給出了序半群同構(gòu)和KS－同構(gòu)的概念：設(shè)f是由序半群（X，≤，·，0）到（X′，≤′，·′，0′）的雙射，如果f既保持乘法又保持偏序，稱f是由（X，≤，·，0）到（X′，≤′，·′，0′）的序半群同構(gòu)映射；如果有一個雙射f，使f和f－1都是同構(gòu)映射，稱（X，≤，·，0）與（X′，≤′，·′，0′）是序半群同構(gòu).

如果存在 KS－代數(shù)（X，＊，·，0）到（X，＊′，·′，0′）的雙射f，使得?x，y∈X，有

稱（X，＊，·，0）與（X，＊′，·′，0′）是 KS－同構(gòu).

定理4 設(shè)以0為最小元的強(qiáng)序半群（X，≤，·，0）的伴隨KS－代數(shù)為（X，＊，·，0），以0′為最小元的強(qiáng)序半群（X′，≤′，·′，0′）的伴隨 KS－代數(shù)為（X，＊′，·′，0′），那么，序半群（X，≤，·，0）與（X′，≤′，·′，0′）是序半群同構(gòu)當(dāng)且僅當(dāng)（X，＊，·，0）與（X，＊′，·′，0′）是 KS－同構(gòu).

證明 設(shè)f是序半群（X，≤，·，0）到（X′，≤′，·′，0′）的序半群同構(gòu)映射，由于0，0′都是最小元，故f（0）＝0′.?x，y∈X，首先f（x·y）＝f（x）·′f（y），其次有：

（1）如果x≤y，從而f（x）≤′f（y），即x＊y＝0，f（x）＊′f（y）＝0′，故有

（2）如果x≤/y，從而f（x）≤/′f（y），故x＊y＝x，f（x）＊′f（y）＝f（x），則f（x＊y）＝f（x）＝f（x）＊′f（y），故f是（X，＊，·，0）與（X，＊′，·′，0′）的 KS－同構(gòu)映射.

設(shè)f是（X，＊，·，0）與（X，＊′，·′，0′）的 KS－同構(gòu)映射，則有f（0）＝0′.設(shè)x≤y，則x＊y＝0，故f（x）＊′f（y）＝f（x＊y）＝0′.則f（x）≤′f（y），或者f（x）＝0′，如果f（x）＝0′，由于0′為最小元，故也有f（x）≤′f（y），從而f是保序的.同理，f－1也保序.又由于f（x·y）＝f（x）·′f（y），故（X，≤，·，0）與序半群同構(gòu).

定理5 設(shè)強(qiáng)序半群（X，≤，·，0）的伴隨 KS－代數(shù)為（X，＊，·，0），則?x，y，z∈X，有

證明 如果x≤y，那么（x＊y）＊y＝0＊y＝0＝x＊y.如果x≤/y，那么

又由于y＊z≤′y，故

3 強(qiáng)序半群及其伴隨KS－代數(shù)的理想

定理6 設(shè)強(qiáng)序半群（X，≤，·，0）的伴隨KS－代數(shù)為（X，＊，·，0），I是X 的非空子集，那么I是強(qiáng)序半群（X，≤，·，0）的理想當(dāng)且僅當(dāng)I是伴隨 KS－代數(shù)（X，＊，·，0）的理想.

證明 如果I是KS－代數(shù)（X，＊，·，0）的理想，設(shè)x≤y，且y∈I，則x＊y＝0∈I，從而x∈I，又由于?x∈X，?a∈I，有ax，xa∈I，故I是強(qiáng)序半群（X，≤，·，0）的理想.反過來，如果I是強(qiáng)序半群（X，≤，·，0）的理想，設(shè)x＊y，y∈I，若x≤y，則x∈I；若x≤/y，則x＝x＊y∈I，又由于?x∈X，?a∈I，有ax，xa∈I，故I是 KS－代數(shù)（X，＊，·，0）的理想.

定理7 設(shè)強(qiáng)序半群（X，≤，·，0）的伴隨 KS－代數(shù)為（X，＊，·，0），I是半群（X，·）的理想，那么，I是強(qiáng)序半群（X，≤，·，0）的理想當(dāng)且僅當(dāng)由（x＊y）＊z∈I，y＊z∈I可推出x＊z∈I.

證明 設(shè)I是強(qiáng)序半群（X，≤，·，0）的理想，由定理6知，I必是KS－代數(shù)（X，＊，·，0）的理想，設(shè)（x＊y）＊z∈I，y＊z∈I，由定理5知，（x＊z）＊（y＊z）＝（x＊y）＊z∈I，由于y＊z∈I，故x＊z∈I.

反過來，設(shè)x≤y∈I，則（x＊y）＊0＝x＊y＝0∈I，但是y＊0＝y(tǒng)∈I，故x＝x＊0∈I，所以I是強(qiáng)序半群（X，≤，·，0）的理想.

［1］謝祥云.序半群引論［M］.北京：科學(xué)出版社，2001：5－9.

［2］HUANG YISHENG.BCI－algebra［M］.Beijing：Science Press，2006：11－33.

［3］楊聞起.BCI－代數(shù)與半群［M］.北京：科學(xué)出版社，2011：108－127.

［4］楊聞起.IS－代數(shù)的伴隨半環(huán)［J］.東北師大學(xué)報：自然科學(xué)版，2012，44（3）：46－51.

［5］楊聞起.IS－代數(shù)的伴侶半環(huán)［J］.山東大學(xué)學(xué)報：理學(xué)版，2011，46（12）：66－69.