Integrality and arithmeticity of solvable linear groups.

DOI10.1016/J.JSC.2014.08.011zbMATH Open1309.20044arXiv1905.04287OpenAlexW2047938516MaRDI QIDQ480648FDOQ480648

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)

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

Full work available at URL: https://arxiv.org/abs/1905.04287

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

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)

Cites Work

• The Magma algebra system. I: The user language
• Constructing arithmetic subgroups of unipotent groups.
• Title not available (Why is that?)
• Testing polycyclicity of finitely generated rational matrix groups
• Algorithms for the Tits alternative and related problems.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recognizing finite matrix groups over infinite fields.
• Algorithms for linear groups of finite rank.
• The Orbit-Stabilizer Problem for Linear Groups
• Title not available (Why is that?)
• Constructing algebraic groups from their Lie algebras.
• Computing generators of the unit group of an integral Abelian group ring.
• Title not available (Why is that?)

Cited In (8)

• Decision problems concerning S-arithmetic groups
• Experimenting with Symplectic Hypergeometric Monodromy Groups
• Arithmetically long orbits of solvable linear groups.
• Algorithms for arithmetic groups with the congruence subgroup property.
• Linear groups and computation
• Constructing arithmetic subgroups of unipotent groups.
• Soluble linear groups over Euclidean rings.
• Title not available (Why is that?)

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)