计算群论

（一个新兴数学分支）

计算群论(computational group theory)是群论与计算机科学相结合而产生的一个新兴数学分支。它研究群论算法的设计、分析及有关的理论基础和软件实现等问题一个群论算法可定义为解决某个群论问题而设计的一系列操作.算法分析要对执行算法所需的时间、存贮空间等资源进行估计.在计算机上实现群论算法的关键是选择合适的数据结构，使之能够很好地代表要进行操作的各种数学对象.