25.62 CompositionSubgroup

CompositionSubgroup( G, i )

CompositionSubgroup returns the i.th subgroup of the AG series of an ag group G.

Let (g_1, ..., g_n) be an induced generating system of G with respect to the parent group of G. Then the i.th composition subgroup S of the AG series is generated by (g_i, ..., g_n).

    gap> CompositionSubgroup( s4, 2 );
    Subgroup( s4, [ b, c, d ] )
    gap> CompositionSubgroup( s4, 4 );
    Subgroup( s4, [ d ] )
    gap> CompositionSubgroup( s4, 5 );
    Subgroup( s4, [  ] ) 

Previous Up Top Next
Index