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.

Finite presentability of twisted Brin-Thompson groups

Finite Presentations for Spherical/braid Twist Groups from Decorated Marked Surfaces

Embedding finitely presented self-similar groups into finitely presented simple groups

Finitely presented simple left-orderable groups in the landscape of Richard Thompson's groups

Non-congruence presentations of finite simple groups

Finitely presented condensed groups

On finite groups in which the twisted conjugacy classes of the unit element are subgroups

Groups not presentable by products

Embedding groups into boundedly acyclic groups

Thompson groups for systems of groups, and their finiteness properties

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

Finitely presented residually free groups

A Reidemeister-Schreier theorem for finitely $L$-presented groups

Absolute profinite rigidity, direct products, and finite presentability

A presentation for Hilden's subgroup of the braid group

Twisted conjugacy in residually finite groups of finite PrГјfer rank

The finite presentation of the stable Hom functors, the Bass torsion, and the cotorsion coradical

Hyperbolic groups satisfy the Boone-Higman conjecture

The twisted Gan-Gross-Prasad problem for finite classical groups

Twisted equivariant K-theory for proper actions of discrete groups