可定义群相关论文