论文部分内容阅读
设Ｓ是一个正则＊－半群，Ｃ＊（Ｓ）是Ｓ的最小自共轭全子半群．在Ｓ上定义关系ρ：ａρｂｕ，ｖ∈Ｃ＊（Ｓ）ｓ．ｔ．ｕ＊ｕ＝ａａ＊，ｕｕ＊＝ｂｂ＊，ｖ＊ｖ＝ｂ＊ｂ，ｖｖ＊＝ａ＊ａ，ｂ＝ｕａｖ．用Ｇ表示Ｓ／ρ的置换群，Ｐ（Ｇ）表示Ｇ非空子集的集合．τ是Ｓ到Ｐ（Ｇ）的映射满足条件：（１）ｓ１，ｓ２∈Ｓ，（ｓ１τ）（ｓ２τ）（ｓ１ｓ２）τ；（２）ｓ∈Ｓ，｛ｇ－１∈Ｇ：ｇ∈ｓτ｝ｓ＊τ；（３）１τ－１＝Ｃ＊（Ｓ）．则Ｔ＝｛（ｓ，ｇ）∈Ｓ×Ｇ：ｇ∈ｓτ｝是Ｓ的一个Ｃ＊－酉覆盖．称正则＊－半群Ｓ的一个