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. _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
