Technical Report Number
Let S be any finite subset GLn(F(t)) where F is a field. In this paper we give algorithms to decide if the group generated by S is finite. In the case of characteristic zero, slight modifications of earlier work of Babai, Beals and Rockmore  give polynomial time deterministic algorithms to solve this problem. The case of positive characteristic turns out to be more subtle and our algorithms depend on a structure theorem proved here, generalizing a theorem of Weil. We also present a fairly detailed analysis of the size of finite subgroups in this case and give bounds which depend upon the number of generators. To this end we also introduce the notion of the diameter of a finitely generated algebra and derive some upper bounds related to this quantity. In positive characteristic the deterministic algorithms we present are exponential. A randomized algorithm based on ideas of the Meat-Axe is also given. While not provably efficient, the success of the Meat-Axe suggests the randomized algorithm will be useful.
Dartmouth Digital Commons Citation
Beals, Robert; Rockmore, Daniel N.; and Tan, Ki-Seng, "Deciding Finiteness for Matrix Groups Over Function Fields" (1995). Computer Science Technical Report PCS-TR94-227. https://digitalcommons.dartmouth.edu/cs_tr/101