On the approximability with respect to conjugacy of free products of two groups with an amalgamated subgroup by finite \(p\)-groups. (Q556553): Difference between revisions

A group \(G\) is said to be conjugacy separable if, given any pair \(a,b\) of elements of \(G\) which are not conjugate in \(G\), there exists a morphism \(\varphi\) of \(G\) onto a suitable finite group \(X\) such that \(\varphi(a)\) and \(\varphi(b)\) are not conjugate in \(X\). If \(X\) can always be chosen to be a finite \(p\)-group, then \(G\) is said to be conjugacy \(p\)-separable. In the paper under review the author proves that the free product with amalgamated central subgroups of two finite \(p\)-groups is conjugacy \(p\)-separable. As a consequence, one obtains that a free product with amalgamated subgroups of two finitely generated Abelian groups is a residually finite \(p\)-group if and only if it is conjugacy \(p\)-separable. Note that if a group is conjugacy (\(p\)-)separable, then it is a residually finite (\(p\)-)group, but the converse fails to hold in general. We refer to the very clear and informative introduction of the paper for further details.