What are the properties that hold for a fundamental group of a surface and does not hold necessary for the fundamental groups of manifolds of higher dimensions?