Effective conjugacy separability of finitely generated nilpotent groups
Mark Pengitore · arXiv (Cornell University) · 2015
We make effective conjugacy separability for finitely generated nilpotent groups using work of Blackburn and Mal'tsev. More precisely, we give polynomial upper and lower bounds for the asymptotic behavior of an associated complexity function introduced by Lawton, Louder, and McReynolds that measures how large the needed quotients are in separating pairs of conjugacy classes of bounded word length.