Deciding finiteness of matrix groups in positive characteristic
Group Theory
2019-05-20 v1
Abstract
We present a new algorithm to decide finiteness of matrix groups defined over a field of positive characteristic. Together with previous work for groups in zero characteristic, this provides the first complete solution of the finiteness problem for finitely generated matrix groups over an arbitrary field. We also give an algorithm to compute the order of a finite matrix group over a function field of positive characteristic. Our MAGMA implementations of these algorithms are publicly available.
Cite
@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}
}