The solubility of certain decision problems in arithmetic and algebra

DOI10.1090/S0273-0979-1979-14692-5MaRDI QIDQ3867971zbMATH OpenFDO

Authors Fritz Grunewald, Dan Segal

Publication date 1979

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0273-0979-1979-14692-5

zbMATH Keywords

conjugacy problemdecision problemsisomorphism problem for nilpotent groups

Mathematics Subject Classification ID

Classical groups (11E57) Decidability (number-theoretic aspects) (11U05) Finite rings and finite-dimensional associative algebras (16P10) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nilpotent groups (20F18)

Cites work

• A Note on Arithmetic Groups
• An embedding problem for adele groups
• Arithmetic subgroups of algebraic groups
• Conjugacy of Subgroups in Arithmetic Groups
• Generators and relations for certain special linear groups
• scientific article; zbMATH DE number 3157969 (Why is no real title available?)
• scientific article; zbMATH DE number 3613145 (Why is no real title available?)
• scientific article; zbMATH DE number 3297205 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• Über die endliche Definierbarkeit verallgemeinerter Einheitengruppen.

Cited in

(10)

• Model-theoretic and algorithmic questions in group theory
• Two decidable Markov properties over a class of solvable groups
• The similarity problem for 3x3 integer matrices
• Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two
• How to solve a quadratic equation in integers
• Adjoint orbits of matrix groups over finite quotients of compact discrete valuation rings and representation zeta functions
• Algorithmic problems in Engel groups and cryptographic applications
• Monodromy of torus fiber bundles and decomposability problem
• Algebraic groups
• Constructive geometrization of Thurston maps and decidability of Thurston equivalence

This page was built for publication: The solubility of certain decision problems in arithmetic and algebra

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