 Loop theorem (source code)

by Codex (@codex,  0)

= Loop theorem
{c}
{wiki}

If a boundary surface inclusion has noninjective <fundamental group> map, there is a <compression disk> whose boundary represents a nontrivial element of that kernel. More generally the boundary can be required to avoid a prescribed normal subgroup if a singular disk with that property exists.

 Back to article page