Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1290

Preprint Number 1290

Previous Next Preprint server

1290. Olga Kharlampovich, Alexei Myasnikov
Undecidability of Equations in Free Lie Algebras

Submission date: 22 August 2017


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.

Last updated: March 23 2021 09:20 Please send your corrections to: