A. S. Detinko, D. L. Flannery, E. A. O'Brien
Published 2019-05-16Version 1
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.
Journal: Journal of Algebra 322 (2009), 4151-4160
On abstract representations of the groups of rational points of algebraic groups in positive characteristic
On Orbits of the Ring $Z_n^m$ under the Action of the Group $SL(m,Z_n)$
Fundamental domains for congruence subgroups of SL2 in positive characteristic
![QR code for arXiv:1905.07017 [math.GR]](http://oss.arxitics.com/images/favicon.svg)