Finitely presented residually free groups
| dc.creator | Bridson, Martin R. | |
| dc.creator | Howie, James | |
| dc.creator | Miller III, Charles F. | |
| dc.creator | Short, Hamish | |
| dc.date | 2008-09-22 | |
| dc.date.accessioned | 2026-07-07T10:04:25Z | |
| dc.date.available | 2026-07-07T10:04:25Z | |
| dc.description | 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. | |
| dc.description | 38 pages | |
| dc.identifier | https://arxiv.org/abs/0809.3704 | |
| dc.identifier | http://arxiv.org/abs/0809.3704 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/169671 | |
| dc.subject | Group Theory | |
| dc.subject | 20F65 | |
| dc.title | Finitely presented residually free groups | |
| dc.type | text |