Abstract
Let <!-- MATH $G = (A \ast B;U)$ --> where is finitely generated and of finite index in both and . We prove that is a finite extension of a free group iff and are both finite. In particular, this answers in the negative a question of W. Magnus as to whether or not can be free. Analogous results are obtained for tree products and HNN groups.

This publication has 8 references indexed in Scilit: