设Ｐ（Ｇ）为群Ｇ的幂集，Ｐ０（Ｇ）＝Ｐ（Ｇ）－｛Х｝关于运算：ＡＢ＋｛ａｂａ∈Ａ，ｂ∈Ｂ｝，↓ＡＡ，Ｂ∈Ｐ（Ｇ）作成一个半群。若Ｑ≤Ｐ（Ｇ）关于此运算为一个群，则称Ｑ为Ｇ上的超群。利用群Ｇ的正规子半群的性质，将Ｇ的幂集进行......