[GAP Forum] group action on polynomials

Bill Chin chin.bill at gmail.com
Thu Feb 11 18:56:22 GMT 2010


I have defined a polynomial ring Q[x_1,...,x_5] over the rationals. How do
you define an action of S_5 such that gx_i=x_g(i) for all g in S_5, i.e. an
action permuting the vertices? I am interested in this and other actions on
the polynomial ring.

I have defined

Q:=Rationals
R:=PolynomialRing(Q,5)
G:=Group[(12),(1,2,3,4,5)]

Thanks in advance.


More information about the Forum mailing list