MODNET
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
E-mail:

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.


Last updated: August 31 2017 07:13 Please send your corrections to: