Prime three-manifold
= Prime three-manifold
A closed connected <orientable smooth manifold> of dimension three is prime when a decomposition as a <connected sum> forces at least one summand to be the <three-sphere>. Unlike an <irreducible three-manifold>, it may contain a nonseparating embedded two-sphere.