Deciding finiteness of matrix groups in positive characteristic

A. S. Detinko, D. L. Flannery, E. A. O'Brien

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, thi…