李小光
(西安航空學(xué)院 理學(xué)院,陜西 西安 710077)
P-理想下半環(huán)的新特性
李小光
(西安航空學(xué)院 理學(xué)院,陜西 西安 710077)
研究P-理想下半環(huán)的一些新特性。以P-理想為工具,構(gòu)造冪等P-理想、素P-理想,半素P-理想,并給出一些新結(jié)論,從而定義弱P-正則半環(huán)。應(yīng)用P-理想,研究半環(huán)具有的一些新特性,具有一定的實(shí)際意義。
全P-冪等半環(huán); 弱P-正則半環(huán);全P-素半環(huán)
設(shè)(R,+,?)是半環(huán),(R,+)是交換半群,(R,?)是分配半群,存在乘法單位元和吸收零元,則?a∈R,a?0=0?a=0,a+0=0+a=a。若?a,b∈R,a?b=b?a,則R是交換半環(huán)。若a∈R,?x∈R,axa=a,則稱a∈R是正則的,若半環(huán)R中每一個(gè)元素都是正則的,則半環(huán)R是正則的。若S是一個(gè)半環(huán),且半環(huán)R的運(yùn)算在S中封閉,則稱半環(huán)S是半環(huán)R的子集。若A是半環(huán)R的非空子集,滿足
(Ⅰ) ?a,b∈R,則a+b∈R;
(Ⅱ)a∈R,r∈R,則ra∈R(ar∈R)
則稱A是半環(huán)R的左(右)理想。
若A既是半環(huán)R的左理想,又是半環(huán)R的右理想,則A是半環(huán)R的理想。
若I,J是半環(huán)R的理想,則I+J={i+j|i∈I∧j∈J}是半環(huán)R的理想,且I+J?I,J。IJ={∑aibi|ai∈I∧bi∈J}是半環(huán)R的理想,且IJ?I∩J。若I是半環(huán)R的理想,a+b∈I,a∈I,則b∈I,稱I是半環(huán)R的K-理想。令P+(R)={x∈R|nx=(n+1)x,?n∈N},則稱P+(R)是半環(huán)R的理想,但不是K-理想[1]。
定理1[1]若R是半環(huán),令a∈P+(R),?b∈R,n∈N,滿足a+nb=(n+1)b,則b∈P+(R)。
定義1[1-2]設(shè)R是半環(huán),I是(左或右)理想,滿足
(Ⅰ)?x∈R,n∈N,則nx+a=(n+1)x;
(Ⅱ)?a∈I,則x∈I,
稱I是R的P-(左或右)理想。
由文獻(xiàn)[1]知,P-理想的交集是P-理想,但是P-理想的和不是P-理想。由文獻(xiàn)[2]可知,P-理想不是K-理想,一般情況下,K-理想也不是P-理想。
定義2[2]設(shè)R是半環(huán),A?R,定義
定理2[2]設(shè)R是半環(huán),I,J是R的理想,且I是R的P-理想,下面的結(jié)論成立:
定義3 設(shè)R是半環(huán),A,B是R的P-理想,A∩B=I,(A∩B?I),則A=I或B=I(A=I或B=I)稱A是強(qiáng)不可約P-理想。
顯然,強(qiáng)不可約P-理想是不可約P-理想。
定理3 設(shè)R是半環(huán),I是R的素理想,a∈R,a?I,則R中存在不可約P-理想H,I?H,a?H。
證明 如果{Hi|i∈Ω}是R中P-理想的鏈,I?Hi,a?Hi,則∪Hi是R的P-理想,且a?∪Hi。R的所有P-理想的集合包含I,不包含a,都有一個(gè)最大元素H。若H=A∩B,A,B是R的P-理想,則構(gòu)造H,a∈A,b∈B,a∈A∩B=H,H是矛盾的,因此H一定是不可約P-理想。
定理4 設(shè)R是半環(huán),I是R的P-理想,R的所有不可約P-理想的交集包含I。
證明 令{Ai|i∈Ω}是包含I的,是R的所有不可約P-理想族,則I?∩Ai。對于反向包含,令x∈R,x?I,則存在不可約P-理想A,I?A,但是x?A,x?∩Ai,所以I=∩Ai。
定理5 設(shè)R是半環(huán),I是素的P-理想,等價(jià)于I是半素P-理想且強(qiáng)不可約。
證明 假設(shè)I是R的素P-理想,則I是R的半素P-理想。A,B是R的P-理想,A∩B?I,AB?A∩B?I,則A?I或B?I,所以I是強(qiáng)不可約的。
相反地,假設(shè)I是半素P-理想,且強(qiáng)不可約,AB?I,則(A∩B)2?AB?I,由半素定義可知,A∩B?I,由強(qiáng)不可約定義可知,A?I或B?I,因此I是素P-理想。
若半環(huán)R的每個(gè)理想都是冪等的,則R是全P-冪等半環(huán)[3]。
下面,我們定義全P-冪等半環(huán),運(yùn)用上面的命題描述全P-冪等半環(huán)的特性。
定義5 設(shè)R是半環(huán),若每一個(gè)P-理想是冪等的,則稱R是全P-冪等半環(huán)。(若I2=I,則稱P-理想I是冪等的。)
定義6[1-2]設(shè)R是半環(huán),若每一個(gè)P-理想是冪等的,則稱R是P-正則半環(huán)。
定理6 設(shè)R是半環(huán),以下結(jié)論是等價(jià)的:
(Ⅰ)R是全P-冪等半環(huán);
(Ⅲ) 若R是包含單位元1的交換半環(huán),則R是P-正則半環(huán)。
設(shè)L是格,?a,b∈L,?x∈L滿足a∧xb,a∧x包含一個(gè)最大的元素C,C稱為a相對于b的偽補(bǔ),格L稱為布勞沃格。設(shè)LR是一個(gè)完備的布勞沃分配格。
以下研究全P-冪等半環(huán)R的P-理想格的一些性質(zhì)。
定理8 設(shè)R是全P-冪等半環(huán),P是R的P-理想,則下面的結(jié)論是等價(jià)的:
(Ⅰ)P是強(qiáng)不可約的;
(Ⅱ)P是不可約的;
(Ⅲ)P是素的。
證明 (Ⅰ)? (Ⅱ)[5-6],設(shè)A,B是R的P-理想,滿足A∩B=P,當(dāng)P是R的強(qiáng)不可約P-理想時(shí),A?P或B?P,但是P?A并且P?B,這樣A=P或B=P。因此P是不可約的P-理想。
(1)農(nóng)業(yè)資源利用。農(nóng)業(yè)資源包括農(nóng)業(yè)自然資源和農(nóng)業(yè)經(jīng)濟(jì)資源,其中農(nóng)業(yè)自然資源是指像土地資源、氣候資源、水資源等在農(nóng)業(yè)生產(chǎn)過程中可利用的自然環(huán)境因素,農(nóng)業(yè)經(jīng)濟(jì)資源是指像交通設(shè)施、農(nóng)業(yè)人口、農(nóng)用機(jī)械等在農(nóng)業(yè)生產(chǎn)過程中可利用的社會經(jīng)濟(jì)因素。眾所周知,我國水資源短缺,且時(shí)空分布不均勻,隨著農(nóng)業(yè)經(jīng)濟(jì)的發(fā)展,在農(nóng)業(yè)生產(chǎn)過程中水資源利用率不高、浪費(fèi)等現(xiàn)象日益明顯,水資源污染狀況也日益嚴(yán)重。因此,我們要合理高效地利用水資源,本文用各地區(qū)有效灌溉面積(千公頃)與各地區(qū)耕地面積(千公頃)比值表示農(nóng)業(yè)資源利用,用x1表示。
(Ⅲ)?(Ⅰ),令A(yù),B是R的P-理想,滿足A∩B=P,由于AB?A∩B,因此AB?A∩B?P。由于P是素理想,因此A?P或B?P,所以P是強(qiáng)不可約的。
定理9 設(shè)P是半環(huán)R的包含單位元的P-右理想,則下面的結(jié)論是等價(jià)的:
(Ⅰ)R是全P-冪指半環(huán);
(Ⅲ)R的每一個(gè)P-理想都是半素的;
(Ⅳ)R的每一個(gè)真P-理想是R的素理想的交。
證明 (Ⅰ)?(Ⅱ),由命題6顯然成立。
(Ⅰ)?(Ⅳ),由命題4和命題8顯然成立。
(Ⅳ)?(Ⅲ),由于素P-理想的交集是半素P-理想,由條件可知,每個(gè)P-理想都是半素P-理想。
定義7 設(shè)R是半環(huán),如果R的每一個(gè)P-理想都是素P-理想(半素P-理想),則稱R是全P-素(P-半素)半環(huán)。
顯然,由命題9可知,全P-半素半環(huán)等價(jià)于全P-冪等半環(huán)。
定理10 設(shè)R是半環(huán),R是全P-素半環(huán)等價(jià)于R是全P-冪等半環(huán),且R的P-理想的集合在包含運(yùn)算下是全序的。
證明 當(dāng)R的每個(gè)P-理想是素的(半素的)。由命題9,R是全P-冪等半環(huán)。令A(yù),B是R的P-理想,當(dāng)AB?A∩B,A∩B是P-理想,則A?A∩B或B?A∩B。從而A?B或B?A。這樣R的P-理想集合在交運(yùn)算下是全序的。
[1]P.Mukhopadhyay,S.Ghosh,Anewclassofidealinsemirings[J].SEAMSBull,1999,23(2):253-264.
[2]P.Mukhopadhyay,M.K.Sen,S.Ghosh,p-idealsinp-regularsemirings[J].SEAMSBull,2002(26):439-452.
[3]J.Ahsan,Fullyidempotentsemirings[J].Proc.JapanAcad.1993(69):185-188.
[4]G.Birkhoff,LatticeTheory[M].Publication:Amer.Math.Soc.Colloq,1954:30-50.
[5]BorzooeiRA,ZahediMM.(Anti)fuzzypositiveimplicativehyperk-ideals[J].ItalianJ.PureandAppl.Math,2003,14:9-22.
[6] 王國俊.非經(jīng)典數(shù)理邏輯與近似推理[M].北京:科學(xué)出版社,2000:30-50.
[7] 吳忘名.Fuzzy蘊(yùn)含代數(shù)[J].模糊系統(tǒng)與數(shù)學(xué),1990,4(1):56-63.
[8] 謝云鵬.基于包含度的模糊不定性度量[D].西安:西北大學(xué),2008:18-28.
[9] 姚炳學(xué).群和環(huán)上的模糊理論[M].北京:科學(xué)出版社,2007:84-88.
[10] 戈魯辛.復(fù)變函數(shù)的幾何理論[M].北京:科學(xué)出版社,1956:23-45.
[11] 鐘玉泉.復(fù)變函數(shù)[M].北京:高等教育出版社,2003:72-102.
[責(zé)任編輯、校對:周 千]
Semiring Characterized by P-Ideals
LIXiao-guang
(School of Science, Xi'an Aeronautical University, Xi'an 710077, China)
In this paper, the properties of semirings by P-ideals are studied.Through P-ideals, idempotent P-ideals, prime P-ideals and semiprime P-ideals are introduced, and some properties of fully P-idempotent semiring, weakly P-regular semirings, fully P-prime semirings are given accordingly to define weakly P-regular semirings.It is of practical significance to study some new characteristics of semirings.
fully P-idempotent semiring; weakly P-regular semirings; fully P-prime semirings
2015-03-01
陜西省科技廳自然科學(xué)基礎(chǔ)研究基金資助項(xiàng)目(2013JM1019);西安航空學(xué)院校級科研立項(xiàng)(13XP13)
李小光(1973-),女,遼寧鐵嶺人,副教授,從事代數(shù)學(xué)及信息論方面的研究。
O153.1
A
1008-9233(2015)03-0058-03