7

I am beginner in GAP. I have a group and a set. I wish to define an action the group on the set in my own way and wish to calculate its orbits and stabilizers. Is it possible? What is process?

user93432
  • 579
  • 2
  • 12
  • 4
    See Basic Actions Section from the "Group Actions" Chapter of the GAP Manual: "If one needs an action for which no acting function is provided by the library it can be implemented via a GAP function that conforms to the syntax actfun( omega, g ) where omega is an element of the action domain, g is an element of the acting group, and the return value is the image of omega under g. Please let me know if this helps, I may post a proper answer later. – Olexandr Konovalov Sep 30 '13 at 08:39
  • @AlexanderKonovalov I have also tried to post this question in Gap Forum two times but failed since it shows forum bounce. I shall send a private mail regarding this question in detail. thanks. – user93432 Sep 30 '13 at 08:52

1 Answers1

5

I am posting a CW answer to remove this question from the unanswered queue. This is just a quote from the GAP manual:

GAP already provides acting functions for the more common actions of a group. For built-in operations such as Stabilizer special methods are available for many of these actions.

If one needs an action for which no acting function is provided by the library it can be implemented via a GAP function that conforms to the syntax

actfun( omega, g )

where omega is an element of the action domain, g is an element of the acting group, and the return value is the image of omega under g.

For example one could define the following function that acts on pairs of polynomials via OnIndeterminates:

OnIndeterminatesPairs:= function( polypair, g )
  return [ OnIndeterminates( polypair[1], g ),
           OnIndeterminates( polypair[2], g ) ];
end;

Note that this function must implement a group action from the right. This is not verified by GAP and results are unpredictable otherwise.

Olexandr Konovalov
  • 7,002
  • 2
  • 34
  • 72