> < ^ Date: Mon, 02 Sep 1996 14:33:32 +0200
> < ^ From: Steve Linton <sal@dcs.st-and.ac.uk >
< ^ Subject: Re: a simple question on finitely presented groups

Dear GAP-forum,

Juergen Ecker asked :

Dear GAP-forum,

does anybody have an idea, what a presentation for the symmetric group
of order n
could look like?

One possibility is

< a_1, a_2, ..., a_{n-1} | (a_ia_{i+1})^3 = 1  1 <= i <= n-2
                           (a_ia_j)^2     = 1  1 <= i < n-2, i+1 < j <= n-1
                           (a_i)^2        = 1  1 <= i <= n-1 >

Here the generator a_i corresponds to the permutation (i i+1)

Steve Linton


> < [top]