關于具有右逆半群和右逆半群的更新過程_第1頁
關于具有右逆半群和右逆半群的更新過程_第2頁
關于具有右逆半群和右逆半群的更新過程_第3頁
全文預覽已結(jié)束

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領

文檔簡介

關于具有右逆半群和右逆半群的更新過程

正式*-半組的概念由t.e.nordah和h.e.scheiblih給出。m.異議語和t.imaka進行了進一步研究。左后半組和左后半組已由p.s.ventisan研究。在這項工作中,我們證明了正確的半群體不是右半群體,而正確的半群體不是右半群體。非正式半群體和右半群體的組合不是反半群。文本中未給出的概念和符號如下。1正則型半群設S是正則半群,E(S)為S的冪等元集,V(a)為a的逆元集.定義1.1正則半群S稱為右逆半群(左逆半群),如果E(S)是左正則帶(右正則帶)即?e、f∈E(S)滿足efe=ef(efe=fe).定理1.2S是正則半群,那么下列幾條等價(1)S是右逆半群.(2)每一個R-類僅有一個冪等元.(3)對?e∈E(S)?a∈S和a′∈V(a)有aea′=ae.(4)對?a∈Sa′、a″∈V(a)aa′=aa″.定義1.3如果一個半群S上有一個一元運算*:S→S,它滿足對?a、b∈S,(1)aa*a=a.(2)(a*)*=a.(3)(ab)*=b*a*.則稱S是正則*-半群.在正則*-半群S中,a*aa*=((a*aa*)*)*=(aa*a)*=a*.所以a*是a的一個逆元、S是正則半群.定義1.4設S是正則半群,E(S)為S的冪等元集.E(S)的一個子集F被稱為p-組如果滿足:(1)對?a∈S,存在唯一一個逆元a*使得aa*、a*a屬于F.(2)對?a∈S,a*Fa?F,這里*一元運算由(1)確定.(3)F2?E(S).定理1.5正則半群S是正則*-半群的充分必要條件為:它至少有一個p-組.定義1.6設S是正則半群,如果S的每一個元素的逆元唯一,則稱S是逆半群.定理1.7S是正則半群,以下幾條等價:(1)S是逆半群.(2)S的冪等元可以交換.(3)每一個R-類僅有一個冪等元并且每一個L-類僅有一個冪等元.2生成s是型逆半群的一個正則型半群定理2.1存在不是右逆半群的正則*-半群、存在不是正則*-半群的右逆半群.證明設S={1,a,b,c,d}它的乘法由下表1給出.對于任意x,y,z∈S,當x,y,z中有1時結(jié)合律成立.主要到S中的元素都是冪等元,(ab)a=ba=a,a(ba)=aa=a容易驗證,當x,y,z中有兩個元素相同時結(jié)合律成立.(ab)c=bc=a,a(bc)=aa=a,(ab)d=bd=b,a(bd)=ab=b……容易驗證,當x,y,z中兩兩不同時結(jié)合律成立.注意到S中的元素都是冪等元S是一個正則半群.E(S)=SV(1)={1}V(a)={a,b,c,d}V(b)={a,b,c,d}V(c)={c,a,d,b}V(d)={a,b,c,d}令F={1,a,d}取1*=1,a*=a,b*=c,c*=b,d*=d.因為注意到1只有一個逆元,ab=b,ad=b,ca=c,bb=b,bd=b,cc=c,dc=c,都不屬于F.F滿足定義1.4的條件(1).1F1=FaFa=FcFb=xftdmpzbFc={a}dFd=j2g8iug滿足定義1.4的條件(2).E(S)=S條件(3)顯然.F是一個p-組,再由定理1.5可知S是一個正則*-半群.但是,aba=aab=b由定義1.1,S不是右逆半群.設S={a,b,c,d},它的乘法由上表2給出,容易驗證S是一個正則半群,因為a、d只和自己有R關系,所以S的R-類為{a},,{c},7rp6ucj每個R-類只有一個冪等元,由定理1.2可知S是一個右逆半群.下面證明S不是一個正則*-半群.假設S有一個p-組F,由定義1.4的(1)可知,要使aa*、dd*∈F必須有a、d屬于F,而aa=a,ada=a,dad=d.a、d都是a的逆元,ad=ada=da、d∈F不滿足定義1.4的(1)中的唯一性.所以S沒有p-組.由定理1.5得S不是一個正則*-半群.定理2.2一個半群S是逆半群的充分必要條件是,S是一個右逆半群并且S是一個正則*-半群.證明假設S是逆半群據(jù)定理1.7,每一個R-類僅有一個冪等元并且每一個L-類僅有一個冪等元.再據(jù)定理1.2S是右逆半群.因為S是逆半群,對于任意S中的元素a,逆元唯一.所以令*:a→a′再據(jù)定義1.3S是正則*-半群.反之,假設S是右逆半群并且S是一個正則*-半群.要證明S是逆半群,據(jù)定理1.7、定理1.2,只須證明每一個L-類僅有一個冪等元.設e、f∈E(S),eLf.那么ef=e,fe=f,再據(jù)定義1.1有efe=ef由于S是正則*-半群e*e*=(ee)*=e*所以是冪等

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
  • 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論