Integrality and arithmeticity of solvable linear groups.

DOI10.1016/j.jsc.2014.08.011zbMath1309.20044arXiv1905.04287MaRDI QIDQ480648

Dane L. Flannery, Alla S. Detinko, 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

zbMATH Keywords

algorithms; finitely generated subgroups; lattices; arithmetic groups; solvable algebraic groups

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

22E40: Discrete subgroups of Lie groups

20-04: Software, source code, etc. for problems pertaining to group theory

20H20: Other matrix groups over fields

Related Items

Algorithms for arithmetic groups with the congruence subgroup property., Linear groups and computation

Uses Software

• Magma

Cites Work

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