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.

A Presentation for the Outer Automorphism Group of a Free Product with No Free Rank

Finite subgroups of automorphisms of free products

One-endedness of outer automorphism groups of free products of finite and cyclic groups

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Groups not presentable by products

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Lifting finite groups of outer automorphisms of free groups, surface groups and their abelianizations

Cubulating a free-product-by-cyclic group

Characterizing inner automorphisms and realizing outer automorphisms

Rigidity of the free factor complex

Infinite groups acting faithfully on the outer automorphism group of a right-angled Artin group

An algorithm to decide if an outer automorphism is geometric

Automorphism groups of free groups, surface groups and free abelian groups

When is the Outer Space of a free product CAT(0)?

Fixed points of irreducible, displacement one automorphisms of free products

Geometric realisation over aspherical groups

Subgroups of the direct product of graphs of groups with free abelian vertex groups

Finitely presented residually free groups

Distortion for Abelian Subgroups of $\mathrm{Out}(F_n)$

Finite groups of untwisted outer automorphisms of RAAGs

Higher incoherence of the automorphism groups of a free group