8.22 Stabilizer

Stabilizer( G, d )
Stabilizer( G, d, operation )

Stabilizer returns the stabilizer of the point d under the operation of the group G.

The stabilizer S of d in G is the subgroup of those elements g of G that fix d, i.e., for which d^g = d. The right cosets of S correspond in a canonical way to the points p in the orbit O of d under G; namely all elements from a right coset S g map d to the same point d^g in O, and elements from different right cosets S g and S h map d to different points d^g and d^h. Thus the index of the stabilizer S in G is equal to the length of the orbit O. RepresentativesOperation (see RepresentativesOperation) computes a system of representatives of the right cosets of S in G.

Stabilizer accepts a function operation of two arguments d and g as optional third argument, which specifies how the elements of G operate (see Other Operations).

    gap> g := Group( (1,2,3)(6,7), (3,4,5)(7,8) );;
    gap> g.name := "G";;
    gap> Stabilizer( g, 1 );
    Subgroup( G, [ (3,4,5)(7,8), (2,5,3)(6,7) ] )
    gap> Stabilizer( g, [1,2,3], OnSets );
    Subgroup( G, [ (7,8), (6,8), (2,3)(4,5)(6,7,8), (1,2)(4,5)(6,7,8) ] )

Stabilizer calls
G.operations.Stabilizer( G, d, operation )
and returns the value. Note that the third argument is not optional for functions called this way.

The default function called this way is GroupOps.Stabilizer, which computes the orbit of d under G, remembers a representative r_e for each point e in the orbit, and uses Schreier's theorem, which says that the stabilizer is generated by the elements r_e g r_{e^g}^{-1}. Special categories of groups overlay this default function with more efficient functions.

Previous Up Top Next
Index

GAP 3.4.4
April 1997