An algorithm to decide if a 3-manifold is a Haken manifold (Q797188): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q56172022, #quickstatements; #temporary_batch_1712272666262 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q56172022 / rank | |||
Normal rank |
Latest revision as of 01:33, 5 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algorithm to decide if a 3-manifold is a Haken manifold |
scientific article |
Statements
An algorithm to decide if a 3-manifold is a Haken manifold (English)
0 references
1984
0 references
The authors develop an algorithm which determines whether a closed, irreducible 3-manifold M (given by a handle-decomposition) contains an injective surface \(F\neq S^ 2\) (i.e. \(\pi_ 1(F)\to \pi_ 1(M)\) is injective). In fact, if there are any injective surfaces in M this algorithm will actually produce one. An essential ingredient of the proof is \textit{W. Haken}'s classical theory of normal surfaces [Acta Math. 105, 245-375 (1961; Zbl 0100.194)].
0 references
incompressible surface
0 references
irreducible 3-manifold
0 references
handle-decomposition
0 references
injective surfaces
0 references
algorithm
0 references
normal surfaces
0 references