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.
New to topics? Read the docs here!