Gapplet
Given a set of permutations of {1,...,n} generating the subgroup G of Sn, determine the order of G by means of stabilizer and orbit computations.
Give a sequence of generators for G,
e.g., (1,2,3)(4,5,6), (2,3)(5,6), (1,4)(2,5)(3,6)(7,8) |
|
A basis b1, ..., bl of G
is being computed.
G(b1) is the orbit of G containing
b1. Then the stabilizer
Gb1 is being computed
(later it wil be explained how).
Then Gb1(b2) is computed.
Then the stabilizer
Gb1, b2
And so on. Then the theorem is applied.
| |