Attaching a disc to along a based loop kills precisely the normal closure of its homotopy class:
A group presentation gives a two-dimensional cell complex with one vertex, one oriented loop for each generator, and one 2-cell attached along each relator. Its fundamental group is the presented group.
Attach three 2-cells to along loops representing , , and . The resulting group is
Indeed, and gives a surjection to , while reduces every word to one of or , so the presented group has at most six elements.

Articles by others on the same topic (0)

There are currently no matching articles.