Undecidability of equations in free lie algebras

Olga Kharlampovich, Alexei Myasnikov

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

In this paper we prove undecidability of finite systems of equations in free Lie algebras of rank at least 3 with coefficients in an arbitrary integral domain. We also show that the ring of integers Z is interpretable by positive existential formulas in such free Lie algebras if the integral domain has characteristic 0.

Original languageEnglish
Pages (from-to)2987-2999
Number of pages13
JournalTransactions of the American Mathematical Society
Volume371
Issue number4
DOIs
StatePublished - 2019

Fingerprint

Dive into the research topics of 'Undecidability of equations in free lie algebras'. Together they form a unique fingerprint.

Cite this