Conjugacy separable group
= Conjugacy separable group
{wiki}
A group $G$ is conjugacy separable when any two nonconjugate elements remain nonconjugate in some finite quotient. Equivalently, every <conjugacy class> is closed in the <profinite topology>.
= Conjugacy separable
{synonym}