正则半群的性质及应用+文献综述(2)
定义1.7[4] 对半群 ，设 为 的非空子集，若 ( )，则称 是 的左(右)理想，左(右)理想又称单边理想；如果 既为 的左理想又为 的右理想(即 )，则称 是 的理想，理想又称双边理想.若 为半群 的理想，且 为 的真子集，则称 为 的真理想； 为半群 的理想，若不存在其他 的真理想 ，使得 为 的真子集，则 被称为 的极大理想.
定义1.8[3] 对半群 ， ，若 ，则称 为 的幂等元.若半群 中仅含有幂等元，则称 为带.
定义1.9[3] 对半群 ，若对于每个元素 ， 及唯一的 使得
= ， = ,则称 为 -逆半群.
定义1.10[8] 对半群 ，若 是逆半群,且对于 ， ,使得 = ，则称 为 -逆半群.
定义1.11[3] 对半群 ，若对于 ， ，使得 ，则称 为 半群.
定义1.12[3] 如果半群 为 -正则的,且 中每一正则元都为完全正则的，则称 为 -半群.
定义1.13[3] 设 为完全 -正则半群， ， 和 分别表示 在极大子群 中的逆和元素 = .
在本文中分别用 与Reg 来表示半群 的幂等元集与正则元集. 并分别用 ， ， 表示 的所有真理想的并集、所有真左理想的并集、所有真右理想的并集. 若 ，用 表示使 Reg 的最小的正整数 ，称为 的正则指数.
2.正则半群的性质
2.1左(右)正则半群的性质
引理2.1.1[5] 设 为半群， 为完全正则的当且仅当 ，有 .
引理2.1.2[3] 设 为半群， 为完全 正则的当且仅当 ， ，使得 .
性质 2.1.1 设 为半群， ， 为左(右)正则元，则对 ，有 .
证明 用数学归纳法证明，
当 时，由 知 成立
设 时成立，则 ，于是 ，
进而有 ，
即当 时成立.
性质 2.1.2 若半群 是左(右)正则的，则 的任意左(右)理想也是正则的.
证明 设 是 的左(右)理想，对 则有 ( )，又因 是左(右)正则的，由性质2.1.1可知 ( )，所以 ( )，即 左(右)正则.
性质 2.1.3 为半群， 是 中的左正则元，设 ={ | = ， }，则下列四个条件等价：
（1） 中有幂等元；
（2） 使 = ；
（3） 是幂等元；
（4） 是 的子半群.
下一篇：微分方程积分因子的求法