25.93 HallConjugatingWordAgGroup

HallConjugatingAgWord( S, H, K )

Let H, K and S be ag group with a common parent group such that H and K are Hall-subgroups of S, then HallConjugatingAgWord returns an element g of S as ag word, such that <H>^g = <K>.

    gap> d8 := HallSubgroup( s4, 2 );
    Subgroup( s4, [ a, c, d ] )
    gap> d8 ^ b;
    Subgroup( s4, [ a*b^2, c*d, d ] )
    gap> HallConjugatingAgWord( s4, d8, d8 ^ b );
    b
    gap> HallConjugatingAgWord( s4, d8 ^ b, d8 );
    b^2 

Previous Up Top Next
Index