Subgroup separability in residually free groups. (Q938256): Difference between revisions

A group \(G\) is called residually free if, given an element \(g\in G\setminus 1\), there exists a homomorphism \(f\colon G\to F\) (\(F\) free) with \(f(g)\neq 1\). It is proved that the finitely presentable subgroups of residually free groups are separable and that the subgroups of type \(\text{FP}_\infty\) over \(\mathbb{Q}\) are virtual retracts. Remind that a subgroup \(H\) of a group \(G\) is a virtual retract if and only if it is contained in a subgroup \(V\) of \(G\) of finite index for which \(H\) is a retract. A uniform solution to the membership problem for finitely presentable subgroups of residually free groups is given.