15 citations · 17 across the 7 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.GR2019
Algorithms for the Tits alternative and related problems
A. S. Detinko, D. L. Flannery, E. A. O'Brien
We present an algorithm that decides whether a finitely generated linear group over an infinite field is solvable-by-finite: a computationally effective version of the Tits alterna…
math.GR2019
Recognizing finite matrix groups over infinite fields
A. S. Detinko, D. L. Flannery, E. A. O'Brien
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 finite…
math.GR2019
Algorithms for linear groups of finite rank
A. S. Detinko, D. L. Flannery, E. A. O'Brien
Let be a finitely generated solvable-by-finite linear group. We present an algorithm to compute the torsion-free rank of and a bound on the Prüfer rank of . This yields…