Random equations in nilpotent groups

Robert Gilman, Alexei Myasnikov, Vitalii Romankov

In this paper we study satisfiability of random equations in an infinite finitely generated nilpotent group G. We show that the set SAT(G,k) of all equations in k > 1 variables ove…