Details:
Title  Recognizing finite matrix groups over infinite fields  Author(s)  A.S. Detinko, D.L. Flannery, E.A. OʼBrien  Type  Article in Journal  Abstract  We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm that, given such a finite group as input, in practice successfully constructs an isomorphic copy over a finite field, and uses this copy to investigate the groupʼs structure. Implementations of our algorithms are available in Magma.  Keywords  Finitely generated linear group, Finite linear group, Decision problem, Algorithm  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717112001071 
Language  English  Journal  Journal of Symbolic Computation  Volume  50  Number  0  Pages  100  109  Year  2013  Edition  0  Translation 
No  Refereed 
No 
