Searcharxiv⌕ Search

arXiv subjects

A. S. Detinko

Publications and source records attributed to A. S. Detinko.

15 recordsLinked to original sources
arXiv2026

Algorithms for experimenting with Zariski dense matrix groups over number fields

Let $\mathbb{P}$ be an algebraic number field. We provide a computational analog of the strong approximation theorem for finitely generated Zariski dense groups $H\leq \mathrm{SL}(n,\mathbb{P})$, $n$ prime. That is, we present algorithms to find the set of congruence quotients of $H$ modulo all maximal ideals of a finitely generated subring $R$ of $\mathbb{P}$ such that $H\leq \mathrm{SL}(n,R)$. The algorithms have been implemented in GAP. Potential applications are illustrated by a range of experiments in degree $2$, with a special focus on Bianchi groups.

math.GR↗
arXiv2023

Zariski density and computing with $S$-integral groups

We generalize our methodology for computing with Zariski dense subgroups of $\mathrm{SL}(n, \mathbb{Z})$ and $\mathrm{Sp}(n, \mathbb{Z})$, to accommodate input dense subgroups $H$ of $\mathrm{SL}(n, \mathbb{Q})$ and $\mathrm{Sp}(n, \mathbb{Q})$. A key task, backgrounded by the Strong Approximation theorem, is computing a minimal congruence overgroup of $H$. Once we have this overgroup, we may describe all congruence quotients of $H$. The case $n=2$ receives particular attention.

math.GR↗
arXiv2022

Freeness and $S$-arithmeticity of rational Möbius groups

We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) Möbius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and algorithms to compute a presentation of $\mathrm{SL}(2, R)$ for a localization $R= \mathbb{Z}[\frac{1}{b}]$ of $\mathbb{Z}$. We prove that a Möbius subgroup $G$ is not free by showing that it has finite index in the relevant $\mathrm{SL}(2, R)$. Further information about the structure of $G$ is obtained; for example, we compute the minimal subgroup of finite index in $\mathrm{SL}(2,R)$ that contains $G$.

math.GR↗
arXiv2021

Linear groups and computation

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 practical computation in this class of groups are surveyed. We illustrate the solution of hard mathematical problems by computer experimentation. Possible avenues for further progress are discussed. This article is aimed at a broad mathematical audience, and more particularly at users of group-theoretical methods and computer algebra systems.

math.GR↗
arXiv2021

Locally nilpotent linear groups

We survey aspects of locally nilpotent linear groups. Then we obtain a new classification; namely, we classify the irreducible maximal locally nilpotent subgroups of $\mathrm{GL}(q, \mathbb F)$ for prime $q$ and any field $\mathbb F$.

math.GR↗
arXiv2020

Experimenting with symplectic hypergeometric monodromy groups

We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by extending our previous algorithms for Zariski dense groups, based on the strong approximation and congruence subgroup properties.

math.GR↗
arXiv2019

Algorithms for computing with nilpotent matrix groups over infinite domains

We develop methods for computing with matrix groups defined over a range of infinite domains, and apply those methods to the design of algorithms for nilpotent groups. In particular, we provide a practical algorithm to test nilpotency of matrix groups over an infinite field. We also provide algorithms that answer a number of structural questions for a given nilpotent matrix group. The algorithms have been implemented in GAP and MAGMA.

math.GR↗
arXiv2019

Algorithms for arithmetic groups with the congruence subgroup property

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital to this work. All algorithms have been implemented in GAP.

math.GR↗
arXiv2019

Deciding finiteness of matrix groups in positive characteristic

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, this provides the first complete solution of the finiteness problem for finitely generated matrix groups over an arbitrary field. We also give an algorithm to compute the order of a finite matrix group over a function field of positive characteristic. Our MAGMA implementations of these algorithms are publicly available.

math.GR↗
arXiv2019

Algorithms for the Tits alternative and related problems

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 alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Our algorithms have been implemented in MAGMA and are publicly available.

math.GR↗
arXiv2019

Recognizing finite matrix groups over infinite fields

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.

math.GR↗
arXiv2019

Algorithms for linear groups of finite rank

Let $G$ be a finitely generated solvable-by-finite linear group. We present an algorithm to compute the torsion-free rank of $G$ and a bound on the Prüfer rank of $G$. This yields in turn an algorithm to decide whether a finitely generated subgroup of $G$ has finite index. The algorithms are implemented in MAGMA for groups over algebraic number fields.

math.GR↗
arXiv2019

Integrality and arithmeticity of solvable linear groups

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemented in {\sc Magma}.

math.GR↗