Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity

DOI10.1016/J.JALGEBRA.2020.01.030MaRDI QIDQ2178495zbMATH OpenOpenAlexFDO

Authors Albert Garreta, Denis Ovchinnikov, Alexei Myasnikov

Publication date 11 May 2020

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

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

zbMATH Keywords

nilpotent groupsisomorphismrelative presentationelementary equivalencefull rank presentation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Nilpotent groups (20F18)

Abstract: We study finitely generated nilpotent groups $G$ given by full rank finite presentations $langleAmidRangle$ in the variety $mathcal{N}_c$ of nilpotent groups of class at most $c$, where $cgeq2$. We prove that if the deficiency $|A|-|R|$ is at least $2$ then the group $G$ is virtually free nilpotent, it is quasi finitely axiomatizable (in particular, first-order rigid), and it is almost (up to finite factors) directly indecomposable. One of the main results of the paper is that the Diophantine problem in nilpotent groups given by full rank finite presentations $langleAmidRangle$ is undecidable if $|A|-|R|geq2$ and decidable otherwise. We show that this class of groups is rather large since finite presentations asymptotically almost surely have full rank, so a random nilpotent group in the few relators model has a full rank presentation asymptotically almost surely. Full rank presentations give one a useful tool to approach random nilpotent groups and study their properties. Note, that the results above significantly improve our understanding of the Diophantine problem in finitely generated nilpotent groups: from a few special examples of groups with undecidable Diophantine problem we got to the place where we know that the Diophantine problem in all "typical" nilpotent groups is also undecidable.

Recommendations

• Metabelian groups: full-rank presentations, randomness and Diophantine problems
• Equations with one unknown in nilpotent groups
• Random nilpotent groups, polycyclic presentations, and Diophantine problems
• Diophantine questions in the class of finitely generated nilpotent groups
• Random nilpotent groups. I

Cites work

• scientific article; zbMATH DE number 3875506 (Why is no real title available?)
• scientific article; zbMATH DE number 5012619 (Why is no real title available?)
• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 3652594 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 534859 (Why is no real title available?)
• scientific article; zbMATH DE number 2146477 (Why is no real title available?)
• scientific article; zbMATH DE number 3794324 (Why is no real title available?)
• scientific article; zbMATH DE number 3415841 (Why is no real title available?)
• ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS
• A generalized theorem on freedom for pro-p-groups
• A matrix model for random nilpotent groups
• Centroids of groups
• Diophantine Sets over Some Rings of Algebraic Integers
• Diophantine problems in solvable groups
• Equations in nilpotent groups.
• Quasi-finitely axiomatizable nilpotent groups
• Random nilpotent groups, polycyclic presentations, and Diophantine problems
• Random nilpotent groups. I
• Random walk in random groups.
• Random walk: A modern introduction
• Tarski-type problems for free associative algebras
• The decision problem for exponential diophantine equations
• Undecidability of existential theories of rings and fields: A survey
• Words. Notes on verbal width in groups.

Cited in

(4)

• Metabelian groups: full-rank presentations, randomness and Diophantine problems
• Diophantine questions in the class of finitely generated nilpotent groups
• Random nilpotent groups, polycyclic presentations, and Diophantine problems
• The Diophantine problem in the classical matrix groups

This page was built for publication: Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity

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