Independence of the conjugacy problem and conjugacy separability
Group Theory
2025-04-17 v1
Abstract
We construct a class of finitely generated groups which have arbitrarily large conjugacy separability function, but in which the conjugacy problem can be solved in polynomial time, demonstrating that the McKinsey algorithm for the conjugacy problem can have complexity which lies arbitrarily far from the optimum.
Keywords
Cite
@article{arxiv.2504.12174,
title = {Independence of the conjugacy problem and conjugacy separability},
author = {Lukas Vandeputte},
journal= {arXiv preprint arXiv:2504.12174},
year = {2025}
}