S-拟正规嵌入子群相关论文