一类富足半群的嵌入定理

主要目的是给出满足正则性条件且含Ｑ－适当断面的富足半群的嵌入定理．第一节列出文中要用到的有关富足半群与适当断面的一些基本结论,与逆断面的情形类似,给出了集合Ι和Λ的定义．第二节给出了含适当断面的富足半群的若干性质,例如,每个含Ｑ－适当断面的富足半群是局部适当半群;若Ｓ°是Ｓ的Ｑ－适当断面,则对任何ｘ∈ＲｅｇＳ,恒有｜Ｖ（ｘ）∩Ｓ°｜＝１,这一性质表明富足半群中的Ｑ－适当断面是正则半群中Ｑ－逆断面的推广．利用这些性质得到了主要结果：富足半群Ｓ满足正则性条件且含有Ｑ－适当断面当且仅当Ｓ可作为理想嵌入到一个满足正则性条件的局部适当半群Ｔ中,且Ｔ含有幂等元ｕ,使对任何ｆ∈Ｅ（Ｓ）,恒有ｆｕＲ＊ｆＬ＊ｕｆ．作为上述结论的一个特殊情形,证明了富足半群满足正则性条件且含有可乘适当断面当且仅当它可嵌入到一个满足正则性条件且含有中心正规幂等元的局部适当半群中．     

半格同余的扩张

本文研究了一般半群的任意子半群上半格同余扩张的问题。证明了，如果Ｔ是半群Ｓ的Ｃ－子半群，则Ｔ上的每个半格同余能唯一地扩张成Ｓ上的半格同余，并且Ｔ上所有的半格同余与Ｓ上所有的半格同余之间存在格同构。当Ｓ是正则半群，那么Ｓ的全子半群Ｔ上每个半格同余能唯一地扩张成Ｓ上的半格同余当且仅当Ｔ是Ｓ的Ｃ一子半群。     

幂等元为本原的半群

对幂等元是本原的半群进行了讨论。特别地,证明了非零幂等元是本原的Ｅ－逆半群是一个ＴＥ－半群关于半群Ｓ的理想扩张,而半群Ｓ是完全０－直并关于一个ＴＥ－半群的理想扩张。     

关于纯整Г—半群的一点注记

给出了Г－半群的左（右）算子半群ＭＳ（ＳＭ）的概念。证明了正则Г－半群Ｍ是纯整的，当且仅当半群ＭＳ和ＳＭ的正则元之集Ｒｅｍ（ＭＳ）和Ｒｅｇ（ＳＭ）分别是ＭＳ和ＳＭ的纯整子半群。由此简化了１９９０年ＳｅｎＭＫ和ＳａｈａＮＫ关于纯整Г－半群的若干结果的证明并获得了纯整Г－半群的一些新的性质。     

关于纯整Г－半群的一点注记

给出了Г－半群的左（右）算子半群＿ＭＳ（Ｓ＿Ｍ）的概念。证明了正则Г－半群Ｍ是纯整的，当且仅当半群＿ＭＳ和Ｓ＿Ｍ的正则元之集Ｒｅｇ（＿ＭＳ）和Ｒｅｓ（Ｓ＿）分别是＿ＭＳ和Ｓ＿Ｍ的纯整子半群。由此简化了１９９０年ＳｅｎＭＫｆｏＳａｈａＮＫ关于纯整Г－半群的若干结果的证明并获得了纯整Г－半群的一些新的性质。     

关于t—半群与广义E—极小半群

引进强分裂元以及广义Ｅ－极小半群的概念，从而给出半群Ｓ为ｔ－半群的充要条件是：具有ＰＩＥＰ或无强分裂元或具有某种ＣＥＰ，若周期半群Ｊ是广义Ｅ－极小半群，则Ｓ是一些ｐ群的并或一个左（或）零半群（或２个元素的半格）或诣零半群或幂零半群。     

半格的一类nil—扩张

研究半格的一类特殊ｎｉｌ－扩张，得到了两个基本的结论，一个是，如果半群Ｓ为交换半群，Ｅ为Ｓ的幂等元集合，且是Ｓ的理想，则Ｓ是Ｅ的ｎｉｌ－扩张的充要条件为Ｓ是其所有子半群Ｋｅ的半格；另一个是条件交换的右强可分半群Ｓ是其幂等元半格Ｅ的ｎｉｌ－扩张的充要条件为Ｓ是其所有有零元的子半群Ｋｅ的半格。     

一类有中间幂等元的正则半群

本文给出了右正则中间等元的概念，并且由含右正则中间幂等元ｕ的幂等元生成正则半群Ｅ和右逆半群Ｓ，构造出正则半群Ｗ，它含有右正则中间幂等元，而且使与同构，右逆半群与Ｓ同构，完成了对有右正则中间幂等元的这类正则半群的刻划，对称地研究有左正则中间幂等的正则半群，从而作为推论可以得到Ｂｌｙｔｈ，Ｔ．Ｓ和Ｒ．Ｂ．Ｍｃｆａｄｄｅｎ［１］的结果。     

算子双半群及其应用

算子双半群及其应用许跟起，王胜华（山西大学数学系）（上饶师专数学系）关键词Ｂａｎａｃｈ空间，算子双半群，应用ＢＩ－ＳＥＭＩＧＲＯＵＰＯＦＯＰＥＲＡＴＯＲＳＡＮＤＩＴＳＡＰＰＬＩＣＡＴＩＯＮＳ￥ＸｕＧｅｎｑｉ；ＷａｎｇＳｈｅｎｇｈｕａ（Ｄｅｐａｒｔｍｅ...     

正则^＊—半群的覆盖

设Ｓ是一个正则＊－半群,Ｃ＊（Ｓ）是Ｓ的最小自共轭全子半群．在Ｓ上定义关系ρ：ａρｂｕ,ｖ∈Ｃ＊（Ｓ）ｓ．ｔ．ｕ＊ｕ＝ａａ＊,ｕｕ＊＝ｂｂ＊,ｖ＊ｖ＝ｂ＊ｂ,ｖｖ＊＝ａ＊ａ,ｂ＝ｕａｖ．用Ｇ表示Ｓ／ρ的置换群,Ｐ（Ｇ）表示Ｇ非空子集的集合．τ是Ｓ到Ｐ（Ｇ）的映射满足条件：（１）ｓ１,ｓ２∈Ｓ,（ｓ１τ）（ｓ２τ）（ｓ１ｓ２）τ;（２）ｓ∈Ｓ,｛ｇ－１∈Ｇ：ｇ∈ｓτ｝ｓ＊τ;（３）１τ－１＝Ｃ＊（Ｓ）．则Ｔ＝｛（ｓ,ｇ）∈Ｓ×Ｇ：ｇ∈ｓτ｝是Ｓ的一个Ｃ＊－酉覆盖．称正则＊－半群Ｓ的一个子集Ｈ是允许的,如果关于任意ａ,ｂ∈Ｈ,ｕ,ｖ∈Ｃ＊（Ｓ）,有ａ＊ｂ,ａｂ＊∈Ｃ＊（Ｓ）和ｕａ,ｂｖ∈Ｈ．用Ｃ（Ｓ）表示Ｓ的所有允许子集（注意到Ｃ（Ｓ）是逆半群）．设Ｓ是一个正则＊－半群,Ｇ是一个群．如果θ：ｇ→θｇ是Ｇ到Ｃ（Ｓ）的一个准同态满足∪ｇ∈Ｇθｇ＝Ｓ,则Ｔ＝｛（ｓ,ｇ）∈Ｓ×Ｇ：ｓ∈θｇ｝是Ｓ的一个Ｃ＊－酉覆盖且Ｔ／σＧ．反之,Ｓ的每一个Ｃ＊－酉覆盖都可以如此构造．