Todd-Coxeter算法的证明  

The Proving of Todd - Coxeter Algorithm

作　　者：刘文海[1] 李忠森[1] 

机构地区：[1]福建对外经济贸易职业技术学院,福建福州350016

出　　处：《长沙大学学报》2013年第5期5-6,共2页Journal of Changsha University

摘　　要：提出了Todd-Coxeter算法在有限步内终止的条件,并作出了论证.结论可以作为Todd-Coxeter算法应用的理论依据.The paper has put forward the condition to terminate the Todd - Coxeter algorithm within finite steps and also proves it. The theorem can be used as the theoretical basis of the application of Todd - Coxeter algorithm.

关 键 词：群论 群作用 Todd-Coxeter 陪集枚举 

分 类 号：O29[理学—应用数学] TP301.6[理学—数学]