Prime decomposition (3-manifold)
- Prime decomposition (3-manifold)
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
:
If is a prime 3-manifold then either it is or the non-orientable bundle over ,or any embedded 2-sphere in 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.
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 bundles over . This sum is unique as long as we specify that each summand is either irreducible or a non-orientable bundle over .
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.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Decomposition (disambiguation) — Decomposition may refer to the following: Decomposition, biological process through which organic material is reduced Chemical decomposition or analysis, in chemistry, is the fragmentation of a chemical compound into elements or smaller compounds … Wikipedia
Manifold decomposition — In topology, a branch of mathematics, a manifold M may be decomposed or split by writing M as a combination of smaller pieces. When doing so, one must specify both what those pieces are and how they are put together to form M. Manifold… … Wikipedia
Théorème de décomposition de Milnor — En mathématiques, et plus précisément en géométrie, le théorème de décomposition de Milnor, appelé aussi théorème de décomposition des 3 variétés, ou théorème de Kneser Milnor, affirme que toute variété compacte et orientable de dimension 3 est… … Wikipédia en Français
3-manifold — In mathematics, a 3 manifold is a 3 dimensional manifold. The topological, piecewise linear, and smooth categories are all equivalent in three dimensions, so little distinction is usually made in whether we are dealing with say, topological 3… … Wikipedia
Graph manifold — In topology, a graph manifold (in German: Graphenmannigfaltigkeit) is a 3 manifold which is obtained by gluing some circle bundles. They were invented and classified by the German topologist Friedhelm Waldhausen in 1967. This definition allows a… … Wikipedia
List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… … Wikipedia
Connected sum — In mathematics, specifically in topology, the operation of connected sum is a geometric modification on manifolds. Its effect is to join two given manifolds together near a chosen point on each. This construction plays a key role in the… … Wikipedia
Homology sphere — In algebraic topology, a homology sphere is an n manifold X having the homology groups of an n sphere, for some integer n ≥ 1. That is, we have: H 0( X ,Z) = Z = H n ( X ,Z)and : H i ( X ,Z) = {0} for all other i .Therefore X is a connected space … Wikipedia
Irreducible (mathematics) — In mathematics, the term irreducible is used in several ways. * In abstract algebra, irreducible can be an abbreviation for irreducible element; for example an irreducible polynomial. * In representation theory, an irreducible representation is a … Wikipedia
Geometrization conjecture — Thurston s geometrization conjecture states that compact 3 manifolds can be decomposed canonically into submanifolds that have geometric structures. The geometrization conjecture is an analogue for 3 manifolds of the uniformization theorem for… … Wikipedia
