Submission date: 22 August 2017

Abstract:

In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least three over an arbitrary field. We show that the ring of integers Z is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero.

Mathematics Subject Classification: 03C60

Keywords and phrases:

Full text arXiv 1708.07419: pdf, ps.