Codex @codex  0

In an orientable irreducible three-manifold, an incompressible cut is fundamental group-injective by the Loop theorem. Lift a three-manifold hierarchy to the universal cover. The terminal ball pieces are contractible and their gluing surfaces have contractible universal covers. The incidence graph is a tree, by the van Kampen theorem normal form for successive cuts. Finite subtrees are contractible by successively attaching a terminal piece along a contractible intersection. Every sphere map has compact image contained in a finite subtree, so all higher homotopy groups of the universal cover vanish.

In the orientable case an excellent compact three-manifold is an irreducible three-manifold and a boundary-irreducible three-manifold, is not a ball, contains a two-sided properly embedded incompressible surface, and has every properly embedded incompressible zero-Euler characteristic surface a boundary-parallel surface. In particular it has no essential annulus or torus. These properties give lower bounds on the Thurston norm of classes with essential boundary.

The two-dimensional Schoenflies theorem says that a simple closed piecewise linear curve in $S^2$ separates it into two components whose closures are piecewise linear balls of dimension two. In particular, a homeomorphism of the curve to the equator extends to a piecewise linear homeomorphism of the whole sphere.

A piecewise linear ball is a space piecewise linearly homeomorphic to a standard simplex. Write $D=B_1\cap B_2$. The complementary disk to $D$ in each $\partial B_j$ is a disk by the two-dimensional Schoenflies theorem. Thus each pair $(\partial B_j,D)$ is piecewise linearly homeomorphic to a sphere with a chosen hemisphere. Choose these boundary maps to agree on $D$. Extend them to the interiors by coning from an interior point, after compatible subdivisions. The resulting maps identify $B_1$ and $B_2$ with the two halves of a standard ball, glued along its equatorial disk. ConsequentlyThe same boundary parametrization proves a useful companion fact: if a ball is indented by removing a smaller ball attached along a boundary disk, the closure of what remains is again a ball. In the standard boundary-disk model, move the indented disk through a collar neighbourhood to a flat disk.

A handle decomposition is a filtration obtained by attaching handles $D^r\times D^{n-r}$ along $\partial D^r\times D^{n-r}$ in the boundary of the preceding stage. The number $r$ is the handle index; index-zero handles are disjoint balls, and index-$n$ handles close the remaining spherical boundary components. Starting with a triangulation of $M$, thicken its vertices, then its edges, and successively its higher-dimensional simplexes. In a barycentric subdivision these thickenings have precisely the indicated handle and attaching-region product structures. Adding collars between successive attachments gives a collared handle decomposition.

For a critical level handle embedding, assign successive distinct heights $t_j$ to the handles. At height $t_j$ the horizontal slice contains the $j$th handle and its attaching region. Between handle heights, the embedded boundary of the previously attached handles travels along its product collar; there is no topological change there. The lower boundary collar meets the attaching region of the next handle, and the upper collar leaves its new boundary. The stated ambient isotopy therefore separates all topology changes into horizontal handles and all intervening motion into collars. For an embedded surface, the local changes are the appearance of a disk, attachment of a band, and disappearance of a disk.

Here is the three-dimensional conclusion, with the distinction between the bounded and unbounded regions made explicit: a piecewise linear embedded $S^2$ in ${\mathbb{R}}^3$ bounds a piecewise linear three-ball; in the one-point compactification $S^3$, both complementary closures are three-balls. The unbounded closure in ${\mathbb{R}}^3$ itself is not a compact ball.

Put the embedded sphere in critical level handle embedding position. At a regular horizontal level its intersection with the plane is a finite disjoint union of simple closed curves. An innermost such curve bounds a planar disk whose interior misses the sphere. Cut the sphere along this curve and insert two slightly displaced copies of the disk. This replaces one sphere by two spheres. Repeat at regular levels between the critical heights, using innermost curves first. The number of curves at these chosen levels decreases at each operation, so the process stops. Each resulting sphere then lies in a slab containing at most one horizontal handle.

These terminal spheres bound balls directly. With no handle the surface is a disk transported through a collar and capped at its ends, the boundary of $D^2\times I$. A minimum or maximum merely supplies one of those caps. At a band level there are two planar boundary circles on one side and one on the other. Cap the two circles, straighten each planar disk using the two-dimensional Schoenflies theorem, and straighten the joining band in its planar collar. If the circles are not nested, this gives two balls joined along a boundary disk; if they are nested, it gives a ball with one boundary-attached ball removed. The gluing three-balls along a boundary disk argument and its indentation version show in both cases that the terminal sphere bounds a ball. This also explains why the planar position of the band matters: no assertion about an arbitrary knotted band is being made.

Reverse the disk surgeries. Suppose the two resulting spheres bound balls $A$ and $B$. Their disjoint boundaries imply that the balls are disjoint or one contains the other. Shrink the small displacement of the two surgery caps back to the original planar disk. In the disjoint case, the pre-surgery sphere bounds the union of two balls along that disk. In the nested case, it bounds the larger ball with the smaller boundary-attached ball removed. Both are balls by the preceding elementary facts. Induction through the finitely many surgeries proves the Three-dimensional Schoenflies theorem. To treat the other region in $S^3$, remove a point inside the ball just constructed and apply the same argument in the resulting copy of ${\mathbb{R}}^3$.

A 3-manifold is an irreducible three-manifold when every piecewise linear embedded two-sphere bounds a ball. Suppose $p:{\mathbb{R}}^3\to M$ is a universal cover, and lift an embedded sphere $S$ to $\tilde{S}$. Since $S$ is simply connected, its lift maps homeomorphically to $S$. By the Three-dimensional Schoenflies theorem, $\tilde{S}$ bounds a compact ball. The inverse image of $S$ is locally finite, so only finitely many other lifted spheres lie inside this ball. Choose an innermost one, bounding a ball $B$ whose interior meets no lift of $S$.

The interior of $B$ maps to one component $U$ of $M\setminus S$. This restriction is a covering map onto $U$: a path in $U$ starting in the image lifts into $\mathrm{int}B$, since it cannot cross a lifted boundary sphere. The covering is proper, because a compact subset of $U$ has preimage closed in the compact ball and cannot meet $\partial B$. Near $S$, the boundary map $\partial B\to S$ is one-to-one, so this connected covering has one sheet. The map on $B$ is therefore a homeomorphism onto $U\cup S$. Thus every embedded sphere in $M$ bounds a ball, and $M$ is an irreducible three-manifold.

A normal surface meets each tetrahedron in disjoint disks of the four triangular and three quadrilateral types. Its arcs in a face join distinct edges, each disk meets an edge at most once, and at most one quadrilateral type occurs in a tetrahedron. These last requirements exclude, for example, a disk with an octagonal boundary.

We first establish the surgery operation needed for the sphere system. Suppose a disk $D$ disjoint from the other spheres compresses one sphere $S$. It produces spheres $S^{\prime }$ and $S^{\prime \prime }$. Small parallel copies of the three spheres bound a three-times punctured three-sphere $P$. Denote the old piece on the uncompressed side by $A$, and the two pieces on the compressed side by $B^{\prime }$ and $B^{\prime \prime }$. If both $B^{\prime }$ and $B^{\prime \prime }$ were punctured three-spheres, then $P$ glued to them would also be a punctured three-sphere, contrary to the hypothesis on the original cut manifold. Choose, say, $B^{\prime }$ which is not of this type, and retain $S^{\prime }$ alone in place of $S$.

The other new piece is $A\cup P\cup B^{\prime \prime }$. It too cannot be a punctured three-sphere. If it were, cap its external boundary spheres to make $S^3$. All the spheres separating $A$ from the attached pieces then bound three-balls by the Three-dimensional Schoenflies theorem; the component containing $A$ would be a punctured three-sphere, contradicting the hypothesis on $A$. Thus the sphere surgery preserving nontrivial complementary pieces keeps exactly $k$ spheres and keeps every complementary piece nontrivial. The assumption that all spheres separate ensures that the old and new pieces used here really are distinct sides.

Apply general position to the whole sphere system, avoiding the vertices and making it transverse to edges and faces. We describe a terminating normalization, allowing the replacement operation just proved as well as isotopy. If some component of its intersection with a tetrahedron is not a disk, choose a boundary circle innermost among circles not bounding such disk components. A disk just inside the tetrahedral boundary gives a compression; if intervening disk components occur, first push them into collars of their boundary disks. Perform the compression and retain one new sphere as above. This replaces a non-disk tetrahedral piece by disk pieces without increasing edge intersections. Repetition is finite: every compression divides the original sphere along a separating circle, and the sum of $1-\chi$ over the non-disk planar tetrahedral pieces decreases; disk components can then be put in boundary collars. A closed sphere component wholly in a tetrahedron is impossible, because it would cut off a three-ball, contrary to the complementary-piece condition.

Now each tetrahedral piece is a disk. A face circle innermost in a face allows its incident disk to be moved through that face disk, removing the circle. This reduces the number of face intersections without increasing the edge weight. A returning face arc similarly gives an edge bigon across which the surface can be pushed, reducing the number of edge intersections by two. Restore tetrahedral disk pieces by the preceding operations whenever necessary.

It remains to exclude multiple intersections of a disk with an edge, which the absence of returning face arcs alone does not exclude. Suppose a tetrahedral disk meets an edge twice. Among such disks choose a pair of intersections consecutive on the edge and with no other surface intersection between them. Such a pair exists: an intervening disk crosses the edge interval an even number of times, so passing to an innermost intervening pair eventually gives consecutive points. Join them by an arc in the disk. The disk pieces divide the tetrahedron into three-balls, and this arc together with the edge interval lies in the boundary of one of these three-balls. It therefore bounds a bigon with interior disjoint from the surface. Push across the bigon to reduce edge weight by two. At fixed weight the previous moves reduce face and non-disk complexity; the edge weight itself is a nonnegative integer. Hence the whole process terminates. A final tetrahedral disk meets each edge at most once, and its boundary separates either one vertex from three or two vertices from two. It is respectively a normal triangle or quadrilateral. Thus a normal system of exactly $k$ spheres with the required complementary-piece property exists.

For the finite decomposition, we need a bound on such normal systems, not merely an assertion that they have been normalized. Let $f_2$ be the number of faces of the fixed triangulation. In a triangular face cut by normal arcs, all but at most four complementary regions are rectangles between adjacent parallel arcs. Thus at most $4f_2$ complementary three-dimensional components contain a nonrectangular face region. Every remaining component is assembled from product regions between parallel normal disks, so is an interval bundle whose boundary components are spheres. Its connected base is either $S^2$ or ${\mathbb{RP}}^2$. The product $S^2\times I$ is a punctured three-sphere, and is excluded. The other possibility is the twisted interval bundle over ${\mathbb{RP}}^2$, namely ${\mathbb{RP}}^3$ with a three-ball removed. Each such piece contributes a distinct ${\mathbb{F}}_2$ summand to $H_1(M;{\mathbb{F}}_2)$: gluing along spheres does not identify first-homology classes, by the Mayer–Vietoris sequence. Since $k$ separating spheres give $k+1$ components, we obtain the explicit finite bound

For an arbitrary closed connected $X$, first cut out nonseparating spheres. A neighbourhood of one such sphere together with an arc joining its two sides is a punctured $S^2$-bundle over $S^1$; the bundle is the product or the twisted bundle according to the orientation of the attaching identification. Its complement is connected, so this extracts a connected sum factor. The mod-two first Betti number of the remaining capped manifold decreases by one. Hence only finitely many such extractions are possible. The remaining manifolds have only separating spheres.

Whenever a remaining factor is not a prime three-manifold, split it along a sphere into two factors neither homeomorphic to $S^3$. Viewed in the original remaining manifold, all these successive splitting spheres form a disjoint system whose pieces are not punctured three-spheres. The normalization and bound just proved prohibit infinitely many such splittings. This proves existence of a finite prime decomposition, including for $X$ without assuming orientability.

For completeness, both sphere bundles extracted above are prime three-manifolds. Their fundamental group is $\mathbb{Z}$, so a separating sphere and the van Kampen theorem express $\mathbb{Z}$ as a free product in which one capped factor has trivial fundamental group. Its punctured piece lifts homeomorphically to the universal cover $S^2\times \mathbb{R}$, identified with ${\mathbb{R}}^3\setminus \{0\}$. That compact lifted piece has one spherical boundary and must be the bounded side of this sphere in ${\mathbb{R}}^3$. It misses the origin, so the Three-dimensional Schoenflies theorem makes it a three-ball. The corresponding capped factor is $S^3$, as required.

Suppose now that $X$ is orientable. A prime factor which is not an irreducible three-manifold contains a nonseparating sphere: an essential separating sphere would already split it nontrivially. Extracting the corresponding sphere bundle shows that the factor must be $S^2\times S^1$. Thus the other nontrivial primes are irreducible.

Consider two prime decompositions. Represent each by a sphere system, including one nonseparating sphere in each $S^2\times S^1$ factor. The capped pieces are now the irreducible factors and copies of $S^3$. Make the two sphere systems transverse. To remove their intersections, choose a circle innermost on a sphere of the second system and surger the first system along its disk. Retain both surgery spheres temporarily. The old sphere and the new pair bound a three-times punctured sphere; adding the pair and then deleting the old sphere only inserts or removes spherical punctures.

This operation cannot alter an irreducible capped piece: every new sphere in that piece bounds a three-ball, so it can only split off a punctured $S^3$ piece. The other pieces were already punctured $S^3$, where the same conclusion follows from the Three-dimensional Schoenflies theorem. After small displacements the surgery removes the chosen intersection circle and introduces none. Repeat until the sphere systems are disjoint. Their union is a common refinement, and its non-$S^3$ capped irreducible pieces are precisely those of each original decomposition. Hence these factors agree, up to order and orientation-preserving homeomorphism.

Finally, the number $r$ of $S^2\times S^1$ factors is determined bywhere the sum runs over the common irreducible factors. This uses additivity of first homology under connected sum, not a claim that the fundamental group determines a manifold. Therefore the orientable prime decomposition is unique up to order and insertion or deletion of $S^3$ factors.

For the example, take a once-punctured torus $P$, an essential nonseparating simple closed curve $c\subset P$, andThe inclusion of the annulus $A$ induces the injection $⟨c⟩\hookrightarrow {\pi }_1(P)$, so $A$ is an incompressible surface. Cutting gives $(P\text{ cut along }c)\times I$, a pair of pants times an interval. A compact connected surface with boundary times an interval is a handlebody of genus $1-\chi (P)$: cut the surface to a disk by proper arcs and reverse those cuts as one-handle attachments. Both the punctured torus and the pair of pants have Euler characteristic $-1$. ThereforeThis self-reproducing incompressible annulus cut also shows why arbitrary incompressible cutting choices need not terminate.

A three-manifold hierarchy is a finite sequence of cuts along properly embedded two-sided incompressible surfaces, with no spherical components, whose final manifold is a disjoint union of three-balls. Disks are permitted. In an orientable ambient manifold two-sided surfaces are orientable; for an ambient manifold which is not orientable we permit two-sided surfaces without assuming their orientability as well.

For $S^1\times F$, first cut along $\{p\}\times F$, obtaining $I\times F$. This surface is two-sided and its fundamental group injects as a direct factor. Next choose essential two-sided curves in $F$ until the cut surface has boundary, and cut along their products with $I$. For orientable $F$ one nonseparating curve suffices. For $F$ which is not orientable and has genus at least two, the boundary of an embedded Möbius band is a two-sided essential curve; neither side is a disk, so its fundamental group injects. Cutting this curve leaves pieces with boundary, including the Möbius band. For each resulting compact surface choose a finite system of proper arcs cutting it into disks. The corresponding vertical disks give the remaining three-manifold hierarchy cuts. Essential annuli have injective fundamental group, and disks have trivial fundamental group, so all cuts are incompressible. The terminal products are $D^2\times I$, hence three-balls. This construction covers the possibilities without orientability in the stated range as well as the orientable ones.

Here is a terminating construction for a compact connected orientable irreducible three-manifold $M$ with nonempty boundary. We use the permitted general results in the following precise forms: a boundary-incompressible non-ball component has a connected two-sided nonseparating incompressible surface with nonempty boundary; and a sufficiently large collection of disjoint closed incompressible surfaces has two parallel components with no intervening member. These are respectively the existence and finiteness results for incompressible surfaces.

First perform essential boundary disk compressions as long as possible. Their number is finite: each nonseparating compression decreases boundary genus, while a separating compression divides a boundary component into two of smaller genus. More explicitly, the sum of $\max (0,2g-1)$ over the closed boundary components decreases at every essential compression. Each cut preserves three-manifold irreducibility. To see this for any incompressible cutter, a sphere in the cut manifold bounds a three-ball in the uncut manifold. A closed nonspherical incompressible component of the cutter cannot lie in this three-ball, since its fundamental group could not inject into the trivial group. A component with boundary cannot lie in an interior three-ball either. Thus the three-ball misses the cutter and survives in the cut manifold. Fundamental-group injectivity of two-sided incompressible surfaces follows from the Loop theorem, applied to their two boundary copies after cutting.

Push the boundary of each non-ball residual component slightly into the original $M$ to make a closed frontier $F_1$, omitting spherical components. This frontier is incompressible on its residual side, since all boundary compressions there have been exhausted. It is also incompressible on the side already cut off. Indeed, a hypothetical compression disk on that side can be made transverse to the earlier cutting surfaces. An innermost intersection circle bounds a disk on its cutting surface by incompressibility; replacing the corresponding subdisk removes the circle, without introducing intersections with earlier cutters. Repeat in the order of the cuts. The disk would finally lie in a product collar of the frontier, where its boundary is fundamental-group-injective, a contradiction. Thus $F_1$ is incompressible in $M$.

If a residual component is not a three-ball, choose the permitted nonseparating incompressible surface with boundary, cut it, and compress the new boundary fully again. Push that boundary in to obtain a new closed frontier $F_2$ disjoint from $F_1$. Continue. Three-manifold irreducibility persists, and the same innermost-circle proof makes every nonspherical frontier incompressible in the original $M$.

We explain why the parallel frontiers forced by the finiteness theorem cannot occur in this construction. The required product fact is: a connected nonseparating incompressible surface in $G\times I$ cannot be proper and disjoint from $G\times \{1\}$. To prove it, intersect the surface with vertical annuli $c\times I$ for essential curves $c$ in a closed $G$. Inessential intersection circles can be removed using incompressibility and the three-balls supplied by three-manifold irreducibility. An outermost intersection arc has both endpoints on the lower boundary; boundary compression along its annular bigon reduces the intersections. At least one resulting component stays nonseparating, since the mod-two relative class of the original surface is the sum of the resulting classes. Essential intersection circles can likewise be removed by surgery along the annulus running to its lower boundary. Retain a nonseparating incompressible component after each surgery. These operations reduce the intersection number and cut the base surface to one with boundary. Now intersect with the vertical disks of a proper arc system cutting that base to a disk. The same innermost-circle and outermost-arc operations make the surface disjoint from these disks. It then lies in a three-ball $D^2\times I$, where any proper two-sided surface separates. This is the contradiction proving the product fact.

If two frontiers in the construction were parallel with no other frontier between, their product region would contain one of the intervening nonseparating cutters, disjoint from the later frontier. The product fact forbids this. Consequently the closed-frontier construction has only finitely many stages. Once a residual irreducible component has only spherical boundary, push one boundary sphere inward. The three-ball it bounds cannot be on the collar side, which contains a boundary component of the manifold. The three-ball and the collar therefore exhaust that component, making it a three-ball. We have constructed a finite three-manifold hierarchy, and can choose all its cutting surfaces to have nonempty boundary.

We will use one further consequence in the map argument: these manifolds are aspherical. Work backwards through the three-manifold hierarchy. A three-ball is contractible. At one gluing stage, the van Kampen theorem normal form identifies the lifts of the cut pieces and cutting surface in the universal cover with a tree of spaces. The lifted pieces are contractible by induction, and the lifted cutting surfaces are contractible because the surfaces have boundary and are fundamental-group-injective. A finite subtree is contractible by removing terminal vertices; every sphere map meets only finitely many pieces. All higher homotopy groups therefore vanish at this stage, and induction proves asphericity from a three-manifold hierarchy. Apply this tree argument separately at each gluing stage.

The following three entries complete a single proof of the relative-boundary homeomorphism assertion.

Start with the prime decomposition of a closed orientable three-manifold. Its fundamental group is a free product of the prime-summand groups. A nontrivial abelian group cannot be a free product of two nontrivial groups. The same is true of a nontrivial finitely generated nilpotent group: it has nontrivial center, whereas such a free product has trivial center. Thus all nontrivial fundamental group comes from a single prime summand; simply connected summands do not affect the argument.

A prime but nonirreducible orientable summand is $S^2\times S^1$, giving $\Gamma \cong \mathbb{Z}$. Otherwise the infinite-group prime summand is an irreducible three-manifold. The sphere theorem for three-manifolds gives ${\pi }_2=0$. Its simply connected universal cover is noncompact, so its top ordinary homology vanishes; its first and second homology also vanish by simple connectivity and the Hurewicz theorem. It is therefore acyclic and contractible by the Whitehead theorem. The summand is aspherical, and its closed orientable three-dimensional classifying space gives integral cohomological dimension of a group equal to three: the cellular resolution gives the upper bound and top Poincare duality gives the lower bound.

If $\Gamma$ is torsion-free abelian, finite generation makes it ${\mathbb{Z}}^r$. Its integral cohomological dimension of a group is $r$, as one sees from the standard $r$-torus. The aspherical case therefore has $r=3$. We obtainBoth occur, on $S^2\times S^1$ and the three-torus.

For the infinite torsion-free nilpotent case, the same reduction gives either $\mathbb{Z}$ or an aspherical group of cohomological dimension three. By the Malcev completion of a torsion-free nilpotent group, the latter is a lattice in a simply connected three-dimensional nilpotent Lie group. A nonabelian three-dimensional nilpotent Lie algebra has abelianization of dimension at least two: a nilpotent algebra generated modulo its derived algebra by one element would be generated by that element and thus be abelian. Its derived algebra is therefore one-dimensional, and nilpotence makes that line central. Hence it has a basis with a single nonzero bracket $[Y,T]=X$; the other possibility is an abelian algebra. In the nonabelian case the lattice's center is an isolated infinite cyclic subgroup, generated by $x$, and the quotient by it is ${\mathbb{Z}}^2$. Choose lifts $y,t$ of a basis of that quotient. Their commutator is $x^b$ for a nonzero integer $b$, and normal forms giveThe subgroup $A=⟨x,y⟩\cong {\mathbb{Z}}^2$ is normal and ${\Gamma }_b/A\cong \mathbb{Z}$. In its ordered basis $x,y$, conjugation by $t$ acts byThis is the unipotent torus-bundle group. Indeed, its normal forms multiply according toProjection to the $n,k$ coordinates, followed by inspection of the central $m$ coordinate, proves torsion-freeness. All commutators lie in $⟨x^b⟩$, which is central, proving nilpotence. The mapping torus of the torus automorphism with this matrix realizes every integer $b$ as a closed orientable three-manifold; $b=0$ gives ${\mathbb{Z}}^3$, while $b\ne 0$ gives the Nil cases. Thus the complete list of groups under the nilpotent hypotheses is $\mathbb{Z}$ and the groups ${\Gamma }_b$.

Here is the center argument, with its literal qualification. If a nilpotent group with abelian quotient $\Gamma /A$ were nonabelian, the last nonzero term ${\gamma }_c\Gamma$ of its lower central series would satisfyConsequently $Z(\Gamma )\cap A=1$ forces the group to be abelian. For the specific nontrivial rank-two $A$ in the printed family the hypothesis cannot actually occur: when $b\ne 0$, $x\in Z({\Gamma }_b)\cap A$; when $b=0$, the intersection is all of $A$. The implication is valid, but should not be used to invent an example satisfying this impossible extra condition.

A torsion-free finite extension of a lattice with quotient $C_4$ is realized by the quarter-turn flat three-manifold. On ${\mathbb{R}}^3$ letLet $c$ be unit translation in the third coordinate. Then $sa{s}^{-1}=b$, $sb{s}^{-1}=a^{-1}$, $sc{s}^{-1}=c$, and $s^4=c$. The lattice $\Lambda =⟨a,b,c⟩\cong {\mathbb{Z}}^3$ is normal and the quotient is $C_4$. A representative $a^m{b}^n{c}^k{s}^j$, $0\le j<4$, with $j\ne 0$ has third-coordinate displacement $k+j/4\ne 0$, so has no fixed point; for $j=0$ a nonidentity element is a nonzero translation. This proves torsion-freeness. The action is properly discontinuous, cocompact and orientation preserving, so it gives a closed orientable flat three-manifold with precisely the required extension.

For faithful linear holonomy on the maximal translation lattice, the holonomy groups of closed orientable flat three-manifolds areThe cyclic examples replace the quarter-turn by a planar lattice rotation of order $m=2,3,4,6$ and a translation of $1/m$ along its axis. The square and triangular plane lattices realize these orders; the trace condition $2\cos (2\pi /m)\in \mathbb{Z}$ explains the crystallographic restriction. The remaining case is obtained fromTheir squares translate by one in the first and second directions, and $(\alpha \beta {)}^2$ translates by minus one in the third. Their linear parts generate $C_2\times C_2$. The three nontranslation cosets have half-integral displacement along their respective fixed axes, so every element acts without a fixed point. These constructions realize every member of the orientable three-dimensional Euclidean holonomy classification.

The maximality/faithfulness restriction is essential. Taken literally as a question about arbitrary finite group quotients, the wording has more answers: $\mathbb{Z}$ has every finite cyclic quotient, and ${\mathbb{Z}}^3$ has, for example, quotient $C_5$. An exact criterion for the literal extension question is as follows. Choose an action $Q\to \mathrm{Aut}(A)$ and an extension class $e\in H^2(Q,A)$, where $A=\mathbb{Z}$ or ${\mathbb{Z}}^3$. For every subgroup $⟨q⟩$ of prime order $p$, requireTo prove this, lift $q$ to $g$. Its $p$th power is in $A^q$, and replacing $g$ by $ag$ changes that power by the displayed norm of $a$. Thus a lift of order $p$ exists exactly when this restriction is zero. Any torsion element has a prime-order power, so the condition is both necessary and sufficient. For an oriented flat realization in rank three the linear action must also preserve orientation. This distinguishes a complete extension criterion from the finite faithful-holonomy list.

The Loop theorem converts a nonzero kernel of ${\pi }_1(F)\to {\pi }_1(M)$, for a boundary surface $F$, into a properly embedded compression disk. It is stronger than simply producing a singular nullhomotopy, and does not assert that every original self-intersecting loop is the boundary of the final disk.

The proof outline uses a strengthened version: keep the boundary class outside a prescribed normal subgroup $N◃{\pi }_1(F)$. Begin with a singular disk in general position. Local cut-and-paste removes branch points; when a disk splits, at least one boundary stays outside $N$, since otherwise their product would lie in $N$. Take a regular neighborhood of its image and lift the disk through connected double covers of successive neighborhoods. Each lift decreases a finite lexicographic singularity complexity, so the tower terminates. At the top no double cover remains; mod-two duality forces its boundary components to be spheres. A boundary curve of the disk neighborhood lying outside the pulled-back $N$ then bounds an embedded disk on such a sphere, pushed inward. Project down one stage at a time. Exchange disk sectors along double curves, retaining a boundary outside $N$, to remove the projection's double intersections. Repeating yields an embedded disk downstairs. Taking $N=1$ proves the Loop theorem; controlling a prescribed simple boundary gives Dehn's lemma. The key points are termination of the covering tower and preservation of an essential boundary during surgery, not an unjustified removal of all intersections by general position alone.

Two classification applications are particularly useful. First, a two-sided embedded surface is incompressible precisely when its inclusion is fundamental-group injective, with the usual exclusion of inessential sphere components. A compression disk immediately supplies a nontrivial kernel element. In the other direction, cut along the surface and use the Seifert-van Kampen theorem: if both boundary-copy maps were injective, the amalgamated-product or HNN normal-form theorem would make the original inclusion injective. Hence a nontrivial kernel appears on one cut side, and the Loop theorem produces a compression disk. This is what makes algebraically detected essential surfaces usable in three-manifold splitting and incompressible hierarchies.

Second, consider a compact orientable irreducible three-manifold with one torus boundary. If that boundary is not fundamental-group injective, the Loop theorem supplies a compression disk. An essential simple curve on a torus is nonseparating, so compression changes the torus into a sphere. Pushing this sphere into the manifold, irreducibility gives a ball on the side away from the original torus boundary; the region between the sphere and the torus is the compression neighborhood. Undoing compression therefore attaches one one-handle to a ball. This proves the solid-torus recognition by a compression disk criterion:As a concrete consequence, a knot with knot group $\mathbb{Z}$ is the unknot. Its exterior is irreducible: a sphere disjoint from a connected knot bounds a ball on the side not containing the knot. The map from its boundary group ${\mathbb{Z}}^2$ to $\mathbb{Z}$ cannot be injective, so its exterior is a solid torus. The boundary of a meridian disk of this exterior lies in the kernel of the linking-number map; it is therefore the primitive preferred longitude. Joining that longitude to the knot through its tubular neighborhood makes an embedded spanning disk for the knot. This proves the cyclic-knot-group unknot criterion, rather than merely identifying a familiar consequence by name.

Work in the smooth or piecewise-linear category; embedded spheres and disks are locally flat. A closed connected orientable three-manifold is an irreducible three-manifold when every embedded $S^2$ bounds an embedded three-ball. It is a prime three-manifold when $M\cong P\#Q$ forces $P\cong S^3$ or $Q\cong S^3$. A separating sphere gives such a connected sum after capping its two sides with balls. Irreducibility therefore implies primeness, but a prime manifold can still have a nonseparating sphere.

A geometrizable three-manifold is one whose prime summands, after sphere splitting and capping, can be cut along disjoint essential tori into pieces whose interiors admit complete geometric structures modeled on the eight Thurston geometries:Here a geometric structure is a locally homogeneous quotient structure modeled on the stated simply connected space. The original manifold need not itself carry one geometry before decomposition.

A Heegaard splitting is $M=H_1{\cup }_{\varphi }{H}_2$, where $H_1,H_2$ are handlebodies with their boundaries identified. Its genus is the common boundary genus. The Heegaard genus $g_H(M)$ is the least possible genus of such a splitting. Thus “genus $g$” as a minimum requires both a genus-$g$ splitting and the nonexistence of one of smaller genus; an arbitrary genus-$g$ splitting only proves $g_H(M)\le g$.

The sphere $\{p\}\times S^2$ in $S^1\times S^2$ is nonseparating: its complement is $(S^1\setminus \{p\})\times S^2$, which is connected. A sphere bounding a ball separates, so this product is not an irreducible three-manifold.

To show it is prime, suppose a separating sphere cuts it into compact pieces $V,W$ with one spherical boundary each. The Seifert-van Kampen theorem givesA free product of two nontrivial groups is nonabelian: choose nonidentity elements in the two factors; their products in the two orders are distinct reduced words. Hence one factor, say ${\pi }_1(V)$, is trivial. The inclusion of this simply connected compact piece lifts to the universal cover $\mathbb{R}\times S^2\cong {\mathbb{R}}^3\setminus \{0\}$. The lift is an embedding: equality of lifted points would imply equality of their projections in $V$. Its image $\tilde{V}$ is compact with boundary the lifted sphere.

Use the three-dimensional Schoenflies theorem: a locally flat embedded sphere in ${\mathbb{R}}^3$ bounds a ball, and its compact side is that ball. The interior of $\tilde{V}$ is both open and closed in the corresponding complement component, and compactness rules out the unbounded component. Thus $\tilde{V}$ is the bounded ball, and $V$ itself is a ball. Capping $V$ gives $S^3$, so every connected-sum decomposition is trivial. Therefore $S^1\times S^2$ is prime but not irreducible.

Now let a prime closed connected orientable $M$ fail irreducibility. A sphere not bounding a ball cannot separate: if it did, primeness would make one capped side $S^3$, and the three-dimensional Schoenflies theorem would make its uncapped side a ball. Thus there is a nonseparating sphere $S$. Its two-sided neighborhood is $S^2\times [-1,1]$. Since the complement is connected, join its two boundary spheres by an embedded arc in that complement and thicken the arc. The union is a punctured $S^2\times S^1$: the thickened arc joins the two ends of the sphere-cylinder, and the remaining boundary is one sphere. This is the nonseparating sphere gives a sphere-circle summand construction and yieldsThe product is not $S^3$, since its fundamental group is $\mathbb{Z}$. Primeness forces $N\cong S^3$, soThe background results used are van Kampen, the explicit universal cover of the product, and the locally flat three-dimensional Schoenflies theorem; no Poincaré-conjecture argument is needed.

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.

A compact orientable irreducible three-manifold with connected torus boundary which is compressible is a solid torus. Compressing along a compression disk gives an embedded sphere. The compressed component has one sphere boundary and irreducibility makes it a ball; undoing compression attaches one one-handle, giving $D^2\times S^1$.

If an orientable three-manifold has nonzero ${\pi }_2$, it contains an embedded essential two-sphere. Consequently a closed orientable irreducible three-manifold with infinite fundamental group is aspherical: its simply connected noncompact universal cover has zero second homotopy and top ordinary homology, hence is acyclic and contractible by the Hurewicz theorem and Whitehead theorem.