[GAP Forum] Symmetrising presented group from a given presentation

Minghui Liu minghuiliu2006 at gmail.com
Sat Mar 23 21:02:48 GMT 2019


Dear GAP users,

I have the following question on inputting symmetrised relations in a group.

Let G be a group generated by x_1, x_2, x_3, x_4 with one relation for
example x_1*x_2*x_3^(-1)*x_4^(-2). Now I wish to let the symmetric group
S_4 on 4 letters acts on this relation and therefore obtain a total of
4!=24 relators. For example, one of the obtained relator is
x_2*x_3*x_4^(-1)*x_1^(-2). Is there any easy way for me to write all 24
relators in GAP?

Thank you!

Minghui


More information about the Forum mailing list