Some general algorithms. I: Arithmetic groups

DOI10.2307/1971091zbMath0457.20047OpenAlexW2317797899MaRDI QIDQ1150699

Daniel Segal, Fritz J. Grunewald

Publication date: 1980

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1971091

zbMATH Keywords

algorithmsarithmetic subgroupalgebraic matrix groupfinite presentations of nilpotent groupsisomorphism problem for nilpotent groups

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Nilpotent groups (20F18) Linear algebraic groups over the reals, the complexes, the quaternions (20G20) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Classical groups (11E57)

Related Items (37)

The complete classification of unital graph \(C^{\ast}\)-algebras: geometric and strong ⋮ Decision problems concerning S-arithmetic groups ⋮ The automorphism group of a finitely generated virtually abelian group. ⋮ The isomorphism problem for residually torsion-free nilpotent groups. ⋮ On rigidity and the isomorphism problem for tree braid groups. ⋮ Effective estimates on integral quadratic forms: Masser's conjecture, generators of orthogonal groups, and bounds in reduction theory ⋮ A lower bound for faithful representations of nilpotent Lie algebras ⋮ On geodesic homotopies of controlled width and conjugacies in isometry groups ⋮ Relative hyperbolicity for automorphisms of free products and free groups ⋮ Unsolvable algorithmic problems for semigroups, groups and rings ⋮ Extensions of Hilbert's tenth problem ⋮ Decidability of flow equivalence and isomorphism problems for graph C*-algebras and quiver representations ⋮ Expansion in perfect groups. ⋮ Finite subgroups of automorphisms of K3 surfaces ⋮ Zariski density and computing in arithmetic groups ⋮ The simultaneous conjugacy problem in groups of piecewise linear functions. ⋮ A problem of equality for Galois cohomology ⋮ Deciding isomorphy using Dehn fillings, the splitting case ⋮ Algorithms for arithmetic groups with the congruence subgroup property. ⋮ Decidability of epimorphisms of dimension groups and certain modules ⋮ The conjugacy problem for two-by-two matrices over polynomial rings ⋮ The isomorphism problem for torsion free nilpotent groups of Hirsch length at most \(5\) ⋮ Algebraic groups ⋮ Constructing arithmetic subgroups of unipotent groups. ⋮ Poset block equivalence of integral matrices ⋮ Linear groups and computation ⋮ Problems equivalent to rational Diophantine solvability ⋮ The conjugacy problem in GL (n,Z) ⋮ Finding Integral Linear Dependencies of Algebraic Numbers and Algebraic Lie Algebras ⋮ Constructing algebraic groups from their Lie algebras. ⋮ Unnamed Item ⋮ Submodules of free Lie rings ⋮ Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Asymptotic invariants, complexity of groups and related problems ⋮ Integral similarity and commutators of integral matrices ⋮ Commutators in $SL_2$ and Markoff surfaces I

This page was built for publication: Some general algorithms. I: Arithmetic groups