Abstract:
An AT-group is said to possess the congruence property if every normal subgroup of that group contains a congruence subgroup. We construct a series of examples of periodic AT-groups without this property. Moreover, we give an example of a periodic group which has a decidable conjugacy problem but lacks conjugacy separability.