Stallings foldings for free extensions.

We generalize to extensions by free groups ($G \rtimes F_n$) the classical theory of Stallings describing subgroups of the free groups as automata.

This approach provides conditions for the solvability of the membership problem and provides insight on other important algorithmic problems for this family. For example, I will discuss an appealing geometric description of intersections of subgroups in $Z^m x F_n$, which denies both Howson's property, and any ``Hanna Neumann-like'' bound within this family.

This is a joint work with Enric Ventura.

Date and Venue

Start Date
Room FC1 030, DMat-FCUP
End Date


Jordi Delgado

Speaker's Institution




Semigroups, Automata and Languages