Abstract:We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of type ${\rm{FP}}_n$ if and only if it is of type ${\rm{F}}_n$. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm{FP}}_\infty$ nor of Stallings-Bieri type. The template for these examples leads to a more constructive characterization of finitely presented residually free groups up to commensurability. We show that the class of finitely presented residually free groups is recursively enumerable and present a reduction of the isomorphism problem. A new algorithm is described which, given a finite presentation of a residually free group, constructs a canonical embedding into a direct product of finitely many limit groups. The (multiple) conjugacy and membership problems for finitely presented subgroups of residually free groups are solved.

Profinite properties of residually free groups

On the profinite rigidity of free and surface groups

Absolute profinite rigidity, direct products, and finite presentability

Virtual homology of limit groups and profinite rigidity of direct products

Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

Prosoluble subgroups of the profinite completion of the fundamental group of compact 3-manifolds

Profinite almost rigidity in 3-manifolds

Higman-Thompson groups and profinite properties of right-angled Coxeter groups

Profinite genus of fundamental groups of compact flat manifolds with the cyclic holonomy group of square-free order

Profinite rigidity for free-by-cyclic groups with centre

Profinite rigidity properties of central extensions of 2-orbifold groups

Profinite isomorphisms and fixed-point properties

Finite subgroups of the profinite completion of good groups

Profinite completions of free-by-free groups contain everything

On profinite groups with the Magnus Property

On the finite axiomatizability of some metabelian profinite groups

Finitely presented residually free groups

Probabilistic properties of profinite groups

On residual finiteness of graphs of free groups with cyclic edge groups

Conjugacy separability of 1-acylindrical graphs of free groups