Integrality and arithmeticity of solvable linear groups.

DOI10.1016/J.JSC.2014.08.011MaRDI QIDQ480648zbMATH OpenOpenAlexFDO

Authors A. S. Detinko, D. L. Flannery, Willem A. De Graaf

Publication date 9 December 2014

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.04287, http://hdl.handle.net/11572/138665

zbMATH Keywords

algorithmslatticesfinitely generated subgroupsarithmetic groupssolvable algebraic groups

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Discrete subgroups of Lie groups (22E40) Software, source code, etc. for problems pertaining to group theory (20-04) Other matrix groups over fields (20H20)

Abstract: 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}.

Recommendations

• Algorithms for the Tits alternative and related problems.
• Algorithms for linear groups of finite rank.
• Algorithms for arithmetic groups with the congruence subgroup property.
• Practical algorithms for polycyclic matrix groups
• scientific article; zbMATH DE number 1004942

Cites work

• scientific article; zbMATH DE number 3871623 (Why is no real title available?)
• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 1263310 (Why is no real title available?)
• scientific article; zbMATH DE number 1392311 (Why is no real title available?)
• scientific article; zbMATH DE number 3367188 (Why is no real title available?)
• Algorithms for linear groups of finite rank.
• Algorithms for the Tits alternative and related problems.
• Computing generators of the unit group of an integral Abelian group ring.
• Constructing algebraic groups from their Lie algebras.
• Constructing arithmetic subgroups of unipotent groups.
• Recognizing finite matrix groups over infinite fields.
• Testing polycyclicity of finitely generated rational matrix groups
• The Magma algebra system. I: The user language
• The Orbit-Stabilizer Problem for Linear Groups
• Theory of Lie groups. Vol. III. General theorems of Lie algebra

Cited in

(9)

• Constructing arithmetic subgroups of unipotent groups.
• Algorithms for arithmetic groups with the congruence subgroup property.
• Algorithms for linear groups of finite rank.
• Experimenting with Symplectic Hypergeometric Monodromy Groups
• Decision problems concerning S-arithmetic groups
• Arithmetically long orbits of solvable linear groups.
• scientific article; zbMATH DE number 3857370 (Why is no real title available?)
• Linear groups and computation
• Soluble linear groups over Euclidean rings.

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Integrality and arithmeticity of solvable linear groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q480648)