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 |