Added to Favorites

Related Searches

Definitions

Nearby Words

In mathematics, the prime decomposition theorem for 3-manifolds states that every compact, orientable 3-manifold is the connected sum of a unique (up to homeomorphism) collection of prime 3-manifolds.

A manifold is prime if it cannot be presented as a connected sum in a non-trivial way, where the trivial way is

- $P=P\#S^3.$

If $P$ is a prime 3-manifold then either it is $S^2times\; S^1$ or the non-orientable $S^2$ bundle over $S^1$, or any embedded 2-sphere in $P$ bounds a ball, i.e. is irreducible. So the theorem can be restated to say that there is a unique connected sum decomposition into irreducible 3-manifolds and $S^2\; times\; S^1$'s.

The prime decomposition holds also for non-orientable 3-manifolds, but the uniqueness statement must be modified slightly: every compact, non-orientable 3-manifold is a connected sum of irreducible 3-manifolds and non-orientable $S^2$ bundles over $S^1$. This sum is unique as long as we specify that each summand is either irreducible or a non-orientable $S^2$ bundle over $S^1$.

The proof is based on normal surface techniques originated by Hellmuth Kneser. Existence was proven by Kneser, but the exact formulation and proof of the uniqueness was done more than 30 years later by John Milnor.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Tuesday August 26, 2008 at 10:00:56 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Tuesday August 26, 2008 at 10:00:56 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.