P-正则半群上的同余的中期报告.docxVIP

P-正则半群上的同余的中期报告

本文将介绍P-正则半群上的同余的研究进展，并给出一些相关定理的证明。首先，我们先介绍P-正则半群和同余的概念。

P-正则半群是一个满足以下条件的半群：

1.对于任意的元素a，存在一个唯一的元素a，使得aaa=a和aaa=a。

2.对于任意的元素a和b，如果ab=1，则ba=1。

同余是半群中的一种等价关系。如果对于半群中的任意元素a和b，如果存在元素c，使得ac=bc，则认为a和b是同余的。同余关系将半群划分成一个等价类族。

现在我们来研究P-正则半群上的同余。首先，我们可以证明以下定理：

定理1：在P-正则半群中，同余关系是一个等价关系。

证明：对于关系的自反性，显然对于任意的元素a，它和自己同余；对于关系的对称性和传递性，也可以通过简单的代换证明。

因此，同余关系在P-正则半群中是一个等价关系。

接下来，我们可以定义同余类：

定义：在P-正则半群S中，元素a的同余类是所有与a同余的元素组成的集合[a]={x|ax=xa}。

由定理1可知，同余类构成了一个划分P-正则半群S的等价类，即P-正则半群S是以上同余类的并。

接下来我们来研究同余的性质：

定理2：在P-正则半群中，同余类是一个子半群。

证明：对于同余类中的任意两个元素a和b，我们有：

(aa)b=a(ab)=aba

因此，a和b的同余类中的元素乘积也在这个类中。

定理3：在P-正则半群中，同余类是一个正则的、且完全分界的理想。

证明：同余类中的任意元素都是相互同余的，因此这个集合满足正则性。

而对于完全分界性质，我们可以先证明以下引理：

引理：在P-正则半群中，如果a是一个正则元素，那么a的同余类对于所有的元素都是一个分界点。

证明：设a的同余类是[A]，而元素b不在A中，则存在元素c使得ac≠bc（否则b∈A）。

令d=ac，由P-正则半群的定义可知，d满足ad=a，bd=b。

因此，对于任意的元素x∈[A]，我们都有ax=xa和bx=xb，因此：

a(xd)=(ax)d=xd

b(xd)=b(xa)c=(bx)ac=bx=b

因此，xd在a的同余类中，但是不在b的同余类中，因此a和b的同余类是完全分界的。

对于定理3，我们可以利用引理来证明。由于每个同余类都是完全分界的，因此它们构成P-正则半群中的一个理想。

最后，我们给出一个结论：

定理4：在P-正则半群中，同余类的个数不超过P-正则半群中任意正则元素的个数。

证明：设P-正则半群中正则元素的个数为n，我们对这n个元素依次考虑它们的同余类。

对于第一个正则元素，它的同余类一定是一个子半群。

对于第二个正则元素，它的同余类要么和第一个正则元素的同余类相交，要么和第一个正则元素的同余类不相交。如果它的同余类和第一个正则元素的同余类相交，则它的同余类一定是第一个正则元素的同余类的子集（因为同余类是完全分界的）。如果它的同余类和第一个正则元素的同余类不相交，那么它的同余类也是一个子半群。

以此类推，对于第i个正则元素，它的同余类要么和前面的i-1个同余类相交，要么和前面i-1个同余类不相交。如果前面i-1个同余类的并的大小小于等于n，那么第i个正则元素的同余类也是一个子半群。反之，第i个正则元素的同余类一定包含了前面i-1个同余类中至少一个元素的补集，因此同余类的数量就不能超过n。

以上就是P-正则半群上的同余及相关性质的介绍和一些定理的证明。