Mathematics – Group Theory
Scientific paper
2008-09-22
Mathematics
Group Theory
38 pages
Scientific paper
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.
Bridson Martin R.
Howie James
Miller III Charles F.
Short Hamish
No associations
LandOfFree
Finitely presented residually free groups does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Finitely presented residually free groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Finitely presented residually free groups will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-299826