Photo from academic.microsoft.com
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… Click to show full 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 $\mathbb{Z}$ is interpretable by positive existential formulas in such free Lie algebras over a field of characteristic zero.
Keywords:
lie algebras;
undecidability equations;
free lie;
equations free
Journal Title: Transactions of the American Mathematical Society
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Transactions of the American Mathematical Society
Year Published: 2018
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!