正特征矩阵群有限性的判定
群论
2019-05-20 v1
摘要
我们提出一种新算法，用于判定定义在正特征域上的矩阵群的有限性。结合先前针对零特征群的工作，这给出了任意域上有限生成矩阵群有限性问题的首个完全解。我们还给出一种算法，用于计算正特征函数域上有限矩阵群的阶。这些算法的 MAGMA 实现已公开可用。
引用
@article{arxiv.1905.07017,
title = {Deciding finiteness of matrix groups in positive characteristic},
author = {A. S. Detinko and D. L. Flannery and E. A. O'Brien},
journal= {arXiv preprint arXiv:1905.07017},
year = {2019}
}