Constructing arithmetic subgroups of unipotent groups.

DOI10.1016/J.JALGEBRA.2009.03.027MaRDI QIDQ2267448zbMATH OpenOpenAlexFDO

Authors Andrea Pavan, Willem A. De Graaf

Publication date 1 March 2010

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

algorithmsalgebraic groupsLie algebrasarithmetic groupsfinite generating setsunipotent groups

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to nonassociative rings and algebras (17-04) Generators, relations, and presentations of groups (20F05) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Discrete subgroups of Lie groups (22E40) Number-theoretic algorithms; complexity (11Y16) Lie algebras of linear algebraic groups (17B45)

Abstract: Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G cap GL_m(Z). This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists.

Recommendations

• Finite arithmetic subgroups of \(GL_ n\). III
• Integrality and arithmeticity of solvable linear groups.
• scientific article; zbMATH DE number 3873598
• Computing in unipotent and reductive algebraic groups.
• On systems of generators of arithmetic subgroups of higher rank groups

Cites work

• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 3689557 (Why is no real title available?)
• scientific article; zbMATH DE number 50185 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 2166996 (Why is no real title available?)
• scientific article; zbMATH DE number 217454 (Why is no real title available?)
• scientific article; zbMATH DE number 3297203 (Why is no real title available?)
• Arithmetic subgroups of algebraic groups
• Computing with infinite polycyclic groups
• Some general algorithms. I: Arithmetic groups
• The Magma algebra system. I: The user language

Cited in

(8)

• Algorithms for linear groups of finite rank.
• The automorphism group of a finitely generated virtually abelian group.
• Integrality and arithmeticity of solvable linear groups.
• Linear groups and computation
• scientific article; zbMATH DE number 3948164 (Why is no real title available?)
• Computing in unipotent and reductive algebraic groups.
• ON AUTOMORPHISMS OF ARITHMETIC SUBGROUPS OF UNIPOTENT GROUPS IN POSITIVE CHARACTERISTIC
• The isomorphism problem for torsion free nilpotent groups of Hirsch length at most \(5\)

Describes a project that uses

Uses Software

• Polycyclic
• Magma
• GAP

This page was built for publication: Constructing arithmetic subgroups of unipotent groups.

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