Scott core theorem
In mathematics, the Scott core theorem is a theorem about the Mapping [class group of a surface#Finite presentability|finite presentability] of fundamental groups of 3-manifolds due to G. [Peter Scott],. The precise statement is as follows:
Given a 3-manifold with finitely generated fundamental group, there is a compact three-dimensional submanifold, called the compact core or Scott core, such that its inclusion map induces an isomorphism on fundamental groups. In particular, this means a finitely generated 3-manifold group is finitely presentable.
A simplified proof is given in, and a stronger uniqueness statement is proven in.