Outputs (2)

Linear groups and computation (2018)
Journal Article
Detinko, A. S., & Flannery, D. L. (2019). Linear groups and computation. Expositiones Mathematicae, 37(4), 454-484. https://doi.org/10.1016/j.exmath.2018.07.002

We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for this class of groups are surveyed. We... Read More about Linear groups and computation.

Zariski density and computing in arithmetic groups (2017)
Journal Article
Detinko, A., Flannery, D. L., & Hulpke, A. (2018). Zariski density and computing in arithmetic groups. Mathematics of Computation, 87(310), 967-986. https://doi.org/10.1090/mcom/3236

For n > 2, let Gamma _n denote either SL(n, {Z}) or Sp(n, {Z}). We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group H\leq \Gamma _n. This forms the main component of our methods for c... Read More about Zariski density and computing in arithmetic groups.