拟正规嵌入子群论文