Nonseparating sphere gives a sphere-circle summand
ID: nonseparating-sphere-gives-a-sphere-circle-summand
In an orientable three-manifold, an embedded nonseparating two-sphere has a product neighborhood. Join its two boundary spheres by an arc outside that neighborhood and take a regular neighborhood of the union. This region is with an open ball removed. Its boundary sphere exhibits the displayed connected sum. Consequently a prime but nonirreducible orientable three-manifold is .
New to topics? Read the docs here!