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 language | English |
---|---|
Pages (from-to) | 2987-2999 |
Number of pages | 13 |
Journal | Transactions of the American Mathematical Society |
Volume | 371 |
Issue number | 4 |
DOIs | |
State | Published - 2019 |