An algorithm to decide if a 3-manifold is a Haken manifold (Q797188): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0040-9383(84)90039-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1982860805 / rank | |||
Normal rank |
Revision as of 22:36, 19 March 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