[GAP Forum] generators of subgroups

Bill Allombert Bill.Allombert at math.u-bordeaux1.fr
Mon Mar 30 16:59:16 BST 2009


Dear GAP Forum,

I have a matrix group G generated by a family of matrix, says
(example from GAP documentation) and C its composition series:

m1 := [ [ Z(3)^0, Z(3)^0,   Z(3) ], [   Z(3), 0*Z(3),   Z(3) ], [ 0*Z(3),   Z(3), 0*Z(3) ] ];;
m2 := [ [   Z(3),   Z(3), Z(3)^0 ], [   Z(3), 0*Z(3),   Z(3) ], [ Z(3)^0, 0*Z(3),   Z(3) ] ];;
G := Group( m1, m2 );
C := CompositionSeries(G);

The elements of C are subgroups of G. 
I would like to get a set of generators for the elements of C expressed in term of the generators of G.

Cheers,
Bill.



More information about the Forum mailing list