> < ^ From:

> < ^ Subject:

When one looks at the output of

gp.stabilizer

if gp is a well defined permutation group, than one finds a record containing

many "transversals". How should these transversals be understood? E.g. they con

tain

often many "extra comma's".

The transversal is realy what is known as a Schreier vector.

The extra commas come from the fact that S.transversal[x] is only

bound if x lies in S.orbit. If so, then

while x <> S.orbit[1] do x/S.transversal[x]; od;

will always terminate (and reasonably quickly).

To put it another way, from S.transversal you can compute,

efficiently an element s in S such that S.orbit[1]^s = x, for any x

in S.orbit.

Is there a procedure in GAP to solve the "word"-problem for permutation groups?

E.g. something like "wordsolve(element, group, group.generators)" ?

Not as far as I know, though it might be possible (I'm guessing) to

do something by defining a homomorphism from a free group to your

permutation group and the looking for a pre-image representative of

the element in question.

Steve

> < [top]