Constructing arithmetic subgroups of unipotent groups.

DOI10.1016/J.JALGEBRA.2009.03.027zbMATH Open1229.20044arXiv0806.4916OpenAlexW2024967499MaRDI QIDQ2267448FDOQ2267448

Willem A. De Graaf, Andrea Pavan

Publication date: 1 March 2010

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

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.

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

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

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)

Cites Work

• The Magma algebra system. I: The user language
• Computing with infinite polycyclic groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some general algorithms. I: Arithmetic groups
• Title not available (Why is that?)
• Arithmetic subgroups of algebraic groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• 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
• Title not available (Why is that?)
• 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\)

Uses Software

• GAP
• Magma
• Polycyclic

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)