正则^＊—半群的覆盖

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