粗糙正规子群相关论文