9 citations · 39 across the 30 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.LO2017
Undecidability of Equations in Free Lie Algebras
Olga Kharlampovich, Alexei Myasnikov
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…
math.GR2017
Low-complexity computations for nilpotent subgroup problems
Jeremy Macdonald, Alexei Miasnikov, Denis Ovchinnikov
We solve the following algorithmic problems using TC0 circuits, or in logspace and quasilinear time, uniformly in the class of nilpotent groups with bounded nilpotency class and ra…
math.LO2017
Undecidability of the first order theories of free non-commutative Lie algebras
Olga Kharlampovich, Alexei Myasnikov
Let be a commutative integral unital domain and a free non-commutative Lie algebra over . In this paper we show that the ring and its action on are 0-interpretab…