Algorithms for the Tits alternative and related problems
Algorithms for the Tits alternative and related problems
复制标题
Tits 替代算法及相关问题
DOI：
10.1016/j.jalgebra.2011.06.036
复制
发表时间：
2011
影响因子：
0.9
通讯作者：
E. O'Brien
中科院分区：
文献类型：
--
作者：
A. Detinko;D. Flannery;E. O'Brien
我们提出了一个算法来决定是否一个无限域上的一个非线性生成的线性群是可解的有限，从而获得一个计算有效的版本的山雀替代。我们还给出了算法，以决定是否幂零有限，阿贝尔有限，或中心有限。这些算法的实现在Magma中公开可用。
We present an algorithm to decide whether a finitely generated linear group over an infinite field is solvable-by-finite, thereby obtaining a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Implementations of the algorithms are publicly available in Magma.