Computing equations for residually free groups
Abstract
We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we discuss the possibility of finding an explicit set of defining equations (i.e. of expressing G as the maximal residually free quotient of an explicit finitely presented group).
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2009
- DOI:
- 10.48550/arXiv.0902.2119
- arXiv:
- arXiv:0902.2119
- Bibcode:
- 2009arXiv0902.2119G
- Keywords:
-
- Mathematics - Group Theory;
- Mathematics - Geometric Topology;
- 20F10;
- 20E26;
- 20E07;
- 20E10
- E-Print:
- 5 pages. Updated reference