首页   按字顺浏览 期刊浏览 卷期浏览 The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5
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)



返 回