Conjugacy Separability in Groups

Given a group (infinite) we want to know criteria to decide when two elements of a group are conjugate. In certain groups this happens iff this is the case in the finite homomorphic images of the group. These are called conjugacy separable groups. This relates to the algorithmic decidability of whether elements are conjugate. I will speak of groups that are conjugacy separable. Este curso é apoiado por: CAUL, Financiamento Programático