Every finitely presented group is the fundamental group of a closed connected smooth manifold in dimension at least four. Build a compact zero/one/two-handle manifold with the generators and relators of the presentation. Disjoint attaching loops can be embedded in its boundary of dimension at least three. The Seifert-van Kampen theorem gives , and the dual relative handle structure makes surjective. Doubling along its boundary gives the amalgam of two copies of along that same surjection, which is again . This construction underlies binary families of nonhomeomorphic Sunada quotients.
Articles by others on the same topic
There are currently no matching articles.