|
Solvability of Independent Systems of Equations in Finitely Generated Nilpotent Groups
V. A. Roman'kov Omsk Branch of Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
It is proved that the solvability problem for a finite independent system of equations in a finitely generated nilpotent group can effectively be reduced to a similar problem in some finite quotient group of this group. Therefore, this problem is algorithmically solvable. This strengthens a theorem of A. G. Makanin on the residual finiteness and algorithmic solvability of a regular splittable equation in a finitely generated nilpotent group.
Keywords:
Diophantine problem, nilpotent group, regular equation, independent system, residual finiteness.
Received: 13.11.2020 Revised: 09.06.2021
Citation:
V. A. Roman'kov, “Solvability of Independent Systems of Equations in Finitely Generated Nilpotent Groups”, Mat. Zametki, 110:4 (2021), 569–575; Math. Notes, 110:4 (2021), 560–564
Linking options:
https://www.mathnet.ru/eng/mzm12957https://doi.org/10.4213/mzm12957 https://www.mathnet.ru/eng/mzm/v110/i4/p569
|
|