Undecidability of Equations in Free Lie Algebras
Logic
2017-08-25 v1 Rings and Algebras
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 is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero.
Cite
@article{arxiv.1708.07419,
title = {Undecidability of Equations in Free Lie Algebras},
author = {Olga Kharlampovich and Alexei Myasnikov},
journal= {arXiv preprint arXiv:1708.07419},
year = {2017}
}
Comments
arXiv admin note: text overlap with arXiv:1606.03617