25.29 IsElementaryAbelianAgSeries

IsElementaryAbelianAgSeries( G )

Let G be a parent group. IsElementaryAbelianAgSeries returns true if and only if the AG series of G is the refinement of an elementary abelian series of G.

The function sets G.elementaryAbelianSeries G in case of a true result. This component is described in ElementaryAbelianSeries.

    gap> IsElementaryAbelianAgSeries( s4 );
    true
    gap> ElementaryAbelianSeries( s4 );
    [ s4, Subgroup( s4, [ b, c, d ] ), Subgroup( s4, [ c, d ] ),
      Subgroup( s4, [  ] ) ]
    gap> CompositionSeries( s4 );
    [ s4, Subgroup( s4, [ b, c, d ] ), Subgroup( s4, [ c, d ] ),
      Subgroup( s4, [ d ] ), Subgroup( s4, [  ] ) ] 

Previous Up Top Next
Index