Stallings' Foldings and Subgroups of Amalgams of Finite Groups

Details Stallings' Foldings and Subgroups of Amalgams of Finite Groups Stallings' Foldings and Subgroups of Amalgams of Finite Groups

2007-05-05

arxiv.org/abs/0705.0754v1

Mathematics

Group Theory

43 pages with 14 figures

Scientific paper

In the 1980's Stallings showed that every finitely generated subgroup of a free group is canonically represented by a finite minimal immersion of a bouquet of circles. In terms of the theory of automata, this is a minimal finite inverse automaton. This allows for the deep algorithmic theory of finite automata and finite inverse monoids to be used to answer questions about finitely generated subgroups of free groups. In this paper we attempt to apply the same methods to other classes of groups. A fundamental new problem is that the Stallings folding algorithm must be modified to allow for ``sewing'' on relations of non-free groups. We look at the class of groups that are amalgams of finite groups. It is known that these groups are locally quasiconvex and thus all finitely generated subgroups are represented by finite automata. We present an algorithm to compute such a finite automaton and use it to solve various algorithmic problems.

Affiliated with

Also associated with

No associations

Rating

Stallings' Foldings and Subgroups of Amalgams of Finite 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 Stallings' Foldings and Subgroups of Amalgams of Finite Groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stallings' Foldings and Subgroups of Amalgams of Finite Groups will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-28786