Talk:Extensions of groups (Ex)
From Manifold Atlas
Suppose that is the fundamental group of a closed irreducible -manifold , and that we have the exact sequence . If is finitely generated, then Stallings' theorem says that is the fundamental group of a closed surface , and moreover that can be realised as a fibre bundle over where is the fibre.
It is a theorem of Thurston that if is a closed surface of genus , and is a pseudo-Anosov diffeomorphism, then the mapping torus of is a closed hyperbolic -manifold. Hence is hyperbolic. Furthermore is non-trivial, torsion-free, and finitely generated.