Prefer a chat interface with context about you and your work?
Quadratic equations in the Grigorchuk group
We prove that the Diophantine problem for quadratic equations in the Grigorchuk group is algorithmically solvable. As a corollary to our approach, we prove that the group has a finite commutator width.