Conjugacy separability of certain torsion groups (Q1358284)

A group \(G\) is called conjugacy separable if for every pair \(g,h\) of elements of \(G\) which are not conjugate there is a finite quotient group of \(G\) in which the images of \(g,h\) fail to be conjugate. The authors show that certain torsion groups studied by Grigorchuk and by N. Gupta and Sidki are conjugacy separable. Also conditions are found when all groups in a given class \(K\) are conjugacy separable.