Affiliation:
1. Department für Elektrotechnik und Informatik, Universität Siegen, Germany
Abstract
It is shown that there exist d, ℓ ≥ 3 and a sequence C1, …, Cℓ of cyclic subgroups of the d-dimensional unitriangluar matrix group over ℤ (which is finitely generated nilpotent) such that membership in the product C1 C2 ⋯ Cℓ is undecidable.
Publisher
World Scientific Pub Co Pte Lt
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献