25.78 AgOrbitStabilizer

AgOrbitStabilizer( U, gens, omega )
AgOrbitStabilizer( U, gens, omega, f )

Let U be an ag group acting on a set Omega. Let omega be an element of Omega. Then AgOrbitStabilizer returns the point-stabilizer of omega in the group U and the orbit of omega under this group. The stabilizer and orbit are returned as record R with components R.stabilizer and R.orbit. R.stabilizer is the point-stabilizer of omega. R.orbit is the list of the elements of <omega> ^ <U>.

Let (u_1, ..., u_n) be an induced generating system of U and gens be a list h_1, ..., h_n of generators of a group H, such that the map u_imapsto h_i extends to an homomorphism alpha from U to H, which is compatible with the action of G and H on Omega, such that g in Stab_U( <omega> ) if and only if g^alpha in Stab_H( <omega> ). If f is missing OnRight is assumed, a typical application of this function being the linear action of U on an vector space. If f is OnPoints then ^ is used as operation of H on Omega. Otherwise f must be a function, which takes two arguments, the first one must be a point p of Omega and the second an element h of H and which returns p ^ h.

    gap> AgOrbitStabilizer( s4, [a,b,c,d], d, OnPoints );
    rec(
      stabilizer := Subgroup( s4, [ a, c, d ] ),
      orbit := [ d, c*d, c ] ) 

Previous Up Top Next
Index

GAP 3.4.4
April 1997