Connected sum of simply connected manifolds is simply connected
Suppose is a natural number. Suppose and are Simply connected manifold (?)s (in other words, they are both manifolds that are Simply connected space (?)s, i.e., they are both path-connected spaces with trivial Fundamental group (?)) of dimension . Let denote the Connected sum (?) of these manifolds. Then, is also a simply connected manifold.
- Fundamental group of connected sum is free product of fundamental groups in dimension at least three
- Connected sum of compact manifolds is compact
- Point-deletion inclusion induces isomorphism on fundamental groups for manifold of dimension at least two
- Seifert-van Kampen theorem
Fill this in later