幂半群与正规列

讨论群G上的幂半群Γ，即以G的非空子集为元素，在G的集的乘法运算下所成的幂半群。给出了Γ是G的一个正规子群列的正规子群的陪集的集合的条件。