P-正則半群上的同余的中期報(bào)告本文將介紹P-正則半群上的同余的研究進(jìn)展，并給出一些相關(guān)定理的證明。首先，我們先介紹P-正則半群和同余的概念。P-正則半群是一個(gè)滿足以下條件的半群：1.對(duì)于任意的元素a，存在一個(gè)唯一的元素a'，使得aa'a=a和a'aa=a。2.對(duì)于任意的元素a和b，如果ab=1，則ba=1。同余是半群中的一種等價(jià)關(guān)系。如果對(duì)于半群中的任意元素a和b，如果存在元素c，使得ac=bc，則認(rèn)為a和b是同余的。同余關(guān)系將半群劃分成一個(gè)等價(jià)類族。現(xiàn)在我們來(lái)研究P-正則半群上的同余。首先，我們可以證明以下定理：定理1：在P-正則半群中，同余關(guān)系是一個(gè)等價(jià)關(guān)系。證明：對(duì)于關(guān)系的自反性，顯然對(duì)于任意的元素a，它和自己同余；對(duì)于關(guān)系的對(duì)稱性和傳遞性，也可以通過(guò)簡(jiǎn)單的代換證明。因此，同余關(guān)系在P-正則半群中是一個(gè)等價(jià)關(guān)系。接下來(lái)，我們可以定義同余類：定義：在P-正則半群S中，元素a的同余類是所有與a同余的元素組成的集合[a]={x|ax=xa}。由定理1可知，同余類構(gòu)成了一個(gè)劃分P-正則半群S的等價(jià)類，即P-正則半群S是以上同余類的并。接下來(lái)我們來(lái)研究同余的性質(zhì)：定理2：在P-正則半群中，同余類是一個(gè)子半群。證明：對(duì)于同余類中的任意兩個(gè)元素a和b，我們有：(a'a)b=a'(ab)=a'ba因此，a和b的同余類中的元素乘積也在這個(gè)類中。定理3：在P-正則半群中，同余類是一個(gè)正則的、且完全分界的理想。證明：同余類中的任意元素都是相互同余的，因此這個(gè)集合滿足正則性。而對(duì)于完全分界性質(zhì)，我們可以先證明以下引理：引理：在P-正則半群中，如果a是一個(gè)正則元素，那么a的同余類對(duì)于所有的元素都是一個(gè)分界點(diǎn)。證明：設(shè)a的同余類是[A]，而元素b不在A中，則存在元素c使得ac≠bc（否則b∈A）。令d=a'c，由P-正則半群的定義可知，d滿足ad=a，bd=b。因此，對(duì)于任意的元素x∈[A]，我們都有ax=xa和bx=xb，因此：a(xd)=(ax)d=xdb(xd)=b(xa')c=(bx)a'c=bx=b因此，xd在a的同余類中，但是不在b的同余類中，因此a和b的同余類是完全分界的。對(duì)于定理3，我們可以利用引理來(lái)證明。由于每個(gè)同余類都是完全分界的，因此它們構(gòu)成P-正則半群中的一個(gè)理想。最后，我們給出一個(gè)結(jié)論：定理4：在P-正則半群中，同余類的個(gè)數(shù)不超過(guò)P-正則半群中任意正則元素的個(gè)數(shù)。證明：設(shè)P-正則半群中正則元素的個(gè)數(shù)為n，我們對(duì)這n個(gè)元素依次考慮它們的同余類。對(duì)于第一個(gè)正則元素，它的同余類一定是一個(gè)子半群。對(duì)于第二個(gè)正則元素，它的同余類要么和第一個(gè)正則元素的同余類相交，要么和第一個(gè)正則元素的同余類不相交。如果它的同余類和第一個(gè)正則元素的同余類相交，則它的同余類一定是第一個(gè)正則元素的同余類的子集（因?yàn)橥囝愂峭耆纸绲模Ｈ绻耐囝惡偷谝粋€(gè)正則元素的同余類不相交，那么它的同余類也是一個(gè)子半群。以此類推，對(duì)于第i個(gè)正則元素，它的同余類要么和前面的i-1個(gè)同余類相交，要么和前面i-1個(gè)同余類不相交。如果前面i-1個(gè)同余類的并的大小小于等于n，那么第i個(gè)正則元素的同余類也是一個(gè)子半群。反之，第i個(gè)正則元素的同余類