Presentation complex for the symmetric group on three letters

ID: presentation-complex-for-the-symmetric-group-on-three-letters

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.

New to topics? Read the docs here!