On an algorithm to decide whether a free group is a free factor of another
Abstract
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in the rank of F. We show that the latter dependency can be made exponential in the rank difference rank(F) - rank(H), which often makes a significant change.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- September 2006
- DOI:
- 10.48550/arXiv.math/0609552
- arXiv:
- arXiv:math/0609552
- Bibcode:
- 2006math......9552S
- Keywords:
-
- Mathematics - Group Theory;
- 20E05;
- 05C25
- E-Print:
- 20 pages