The Hurwitz Equivalence Problem is Undecidable
Eran Liberman, Mina Teicher · arXiv (Cornell University) · 2005
In this paper, we prove that the Hurwitz equivalence problem for 1-factorizations in $F_2 \oplus F_2$ is undecidable, and as a consequence, the Hurwitz equivalence problem for $Δ^2$-factorizations in the braid groups $B_n, n\geq 5$ is also undecidable.