超可解嵌入子群相关论文