This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
 BUILT-IN MATHEMATICA SYMBOL

# GroupStabilizerChain

 GroupStabilizerChain[group] returns a list of successive stabilizers in group of the points in a base of group.
• A base of a group is a list of points of its domain of action such that the only element in the group fixing them all is the identity.
• GroupStabilizerChain gives strong generators for a group, automatically choosing an appropriate base.
• For a base the stabilizer chain is given as a list of elements of the form {b1, ..., bi}->GroupStabilizer[group, {b1, ..., bi}] with . The first element is the stabilizer of , which is the complete group. The last element is the stabilizer of the base, which is the trivial group.
• The list of generators of each stabilizer is a subset of the list of generators of the previous stabilizer in the list. Therefore they are strong generators for the respective groups.
Stabilizer chain for a group:
These are strong generators for the group:
This is a base for the group:
Stabilizer chain for a group:
 Out[1]=
These are strong generators for the group:
 Out[2]=
This is a base for the group:
 Out[3]=
 Scope   (1)
Group orders in the chain of stabilizers. The first line is associated with the original group and the last line corresponds to the identity group:
 Options   (1)
By default, GroupStabilizerChain chooses an appropriate base:
We can specify the initial points of a base:
 Applications   (1)
GroupStabilizerChain is the function that gives access to the strong generators and their base. It is hence the starting point for further programming of tools for computation with permutation groups.
Those groups for which the length of the base is much shorter than the degree of the permutations can be efficiently manipulated using strong generators.
This is a permutation representation of the sporadic simple group ConwayGroupCo3 acting on 276 points, but here a base with only 6 points is used:
There is no guarantee that bases are minimal, so that they can have redundant points:
In this example point 4 is redundant because the stabilizer of equals the stabilizer of :
New in 8