Abstract
Higman’s group [Formula: see text] is a remarkable group with large (non-elementary) Dehn function. Higman constructed the group in 1951 to produce the first examples of infinite simple groups. Using finite state automata, and studying fixed points of certain finite state transducers, we show the conjugacy problem in [Formula: see text] is decidable for all inputs. Diekert, Laun and Ushakov have recently shown the word problem in [Formula: see text] is solvable in polynomial time, using the power circuit technology of Myasnikov, Ushakov and Won. Building on this work, we also show in a strongly generic setting that the conjugacy problem for [Formula: see text] has a polynomial time solution.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
