几乎s正规子群相关论文