amuacarlo上半格序广义逆半群.docxVIP

amuacarlo上半格序广义逆半群 1 广义逆半群的拟合 半群稀疏理论仍然是最活跃的代数学研究领域之一。自然序列在研究半群理论方面发挥着重要作用。著名的代数学家d.b.mcalister将反演集的自然序列推广到反演集（左、右）中，并给出了反演集的（左、右）amanable序列的定义。在这项工作中，我们研究了广义半部分的半格序和广义半部分的半部分。 设S是正则半群, 若S中的幂等元集E(S) 满足E(S) ≤S, 则称 (S, ·) 为纯正半群;若E(S) 是正规带, 即?x,y,z,w∈E(S) ,xyzw=xzyw, 则称 (S, ·) 为广义逆半群;若E(S) 是半格, 则称 (S, ·) 为逆半群;若E(S) 是右正规带, 即?x,y,z∈E(S) ,xyz=yxz, 则称 (S, ·) 为右正规纯正半群;类似的, 若E(S) 是左正规带, 即?x,y,z∈E(S) ,xyz=xzy, 则称 (S, ·) 为左正规纯正半群.设 (S, ·) 为逆半群.若?a∈S都有aa-1=a-1a成立, 则称S为Clifford半群. 设S为半群.如果S上存在偏序关系≤使得?a,b∈S和x,y∈S1,a≤b?xay≤xby, 那么称 (S, ·, ≤) 为偏序半群. 1.1 最大界ab 设 (S, ·, ≤) 是偏序半群, 若它满足 (1) ?a,b∈S,a和b在偏序≤下的最小上界 (最大下界) 存在, 记a和b的最小上界为a∨b(最大下界为a∧b) ; (2)S满足分配律:?a,b,c∈S,a(b∨c) =ab∨ac, (a∨b)c=ac∨bc(a(b∧c) =ab∧ac, (a∧b)c=ac∧bc) , 则称 (S, ·, ∨) ( (S, ·, ∧) ) 在给定偏序≤下为上 (下) 半格序半群.若S在给定偏序下既是上半格序半群也是下半格序半群, 则称S在给定偏序下为格序半群, 记为 (S, ∨, ∧, ·) . 1.2 自然偏序 若S是正则半群, 其中E(S) 是S的幂等元集, 则S上的自然偏序?是指?a,b∈S,a?b? (?e,f∈E(S) )a=eb=bf.然而, 若S是逆半群, 则S上的自然偏序?是指?a,b∈S,a?b? (?e∈E(S) )a=eb. 1.3 s,,,amoabcffford半群 著名的代数学者D.B.McAlister将逆半群上的自然偏序进行了推广, 给出了逆半群上的 (左.右) amenable序的定义.设 (S, ·, ≤) 是偏序逆半群, 如果给定偏序≤是自然偏序?的扩张, 即?? ≤, 并且?a,b∈S,a≤b?a-1a?b-1b(aa-1?bb-1) , 那么称 ≤为S上的左 (右) amenable序, 于是 (S, ·, ≤) 为左 (右) amenable.序逆半群.若≤既是左amenable序, 又是右amenable序, 则称≤是S上的amenable序.于是 (S, ·, ≤) 为amenable序逆半群.相应的也有amenable序Clifford半群的概念.设 (S, ·, ≤) 是amenable序逆半群, 若在给定的偏序≤下, (S, ·, ∨) 为上半格序半群, 则称 (S, ·, ∨) 为amenable上半格序逆半群.设 (S, ·, ≤) 是amenable序逆半群.若在该偏序下 (S, ·, ∨, ∧) 为格序半群, 则称 (S, ·, ∨, ∧) 为amenable格序逆半群.相应的也有amenable格序Clifford半群的概念. 文献给出了正则半群S上的amenable序的概念.正则半群S上的偏序≤是amenable序, 如果它满足 (1) ≤与S中的乘法相容; (2) ≤与自然偏序?在幂等元集上的限制是一致的, 即≤ |E(S)=?|E(S); (3) ?a,b∈S,a?b?a∈bS∩Sb. 本文则是给正则半群中的纯正半群, 装上amenable上半格序, 并对其进行了研究, 得出了一些有趣的结果. 2 efb 文献中的定理表明, 若S是纯正半群, 给它装上amenable序后, 它就是广义逆半群. 定义1 设 (S, ·, ≤) 是偏序广义逆半群, 其中≤为S上的amenable序.若在给定的偏序 ≤下, (S, ·, ∨) 是上半格序半群, 则称 (S, ·, ∨) 为amenable上半格序广义逆半群. 定理1 设S是右正规纯正半群, 若 (S, ·, ∨) 在给定的amenable序≤下为上半格序半群, 则 (S, ·) 为逆半群. 证明因为S是右正规纯正半群, 于是它的幂等元集E(S) 是右正规带, 要证明 (S, ·) 为逆半群, 只需证明 (E(S) , ·) 为半格, 即?e,f∈E(S) ,ef=fe. (1) 证明e∨f