The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5
作者:
E. K. Burke,
期刊:
Journal of the London Mathematical Society
(WILEY Available online 2016)
卷期:
Volume s2-48,
issue 1
页码: 52-58
ISSN:0024-6107
年代: 2016
DOI:10.1112/jlms/s2-48.1.52
出版商: Oxford University Press
数据来源: WILEY
摘要:
We study the unification problem for the theories of nilpotent groups of class at least 5. This is equivalent to the problem of constructing an algorithm which will solve any equation in a free nilpotent group of class at least 5. Romankov in 1977 showed that the ‘endomorphic reducibility’ problem is undecidable for free nilpotent groups of class at least 9 and it follows that the Unification Problem for the theories of nilpotent groups of class at least 9 is undecidable. We shall improve this to 5 by reducing the problem of algorithmically solving an arbitrary diophantine equation of degree 4 to that of solving equations in a free nilpotent group of class 5 and then appealing to Matiyasevitch's Theorem.
点击下载:
PDF
(495KB)
返 回