25.65 RefinedSubnormalSeries

RefinedSubnormalSeries( L )

Let L be a list of ag groups G_1, ..., G_n, such that G_{i+1} is a normal subgroup of G_i. Then the function computes a composition series H_1 = G_1, ..., H_m = G_n which refines the given subnormal series L and has cyclic factors of prime order (see also SubnormalSeries).

    gap> v4 := Subgroup( s4, [ c, d ] );
    Subgroup( s4, [ c, d ] )
    gap> T := TrivialSubgroup( s4 );
    Subgroup( s4, [  ] )
    gap> RefinedSubnormalSeries( [ s4, v4, T ] );
    [ s4, Subgroup( s4, [ b, c, d ] ), Subgroup( s4, [ c, d ] ),
      Subgroup( s4, [ d ] ), Subgroup( s4, [  ] ) ] 

Previous Up Top Next
Index