Dear GAP forum,
On Mon, Mar 11, 2002 at 04:41:41PM -0500, Igor Schein wrote: > In particular, > I'd like to know how to obtain in GAP the result above, that g2003 is > a factor group of g4003. > gap> g:=SmallGroup(40,3); <pc group of size 40 with 4 generators> gap> g1:=g/Centre(g); <pc group of size 20 with 3 generators> gap> IsomorphismGroups(g1,SmallGroup(20,3)); [ f1, f2, f3 ] -> [ f1, f2, f3 ]
this all shows how to do this.
(certainly, it requires knowing that g2003 is obtained in this
way. One can presumably also list all the factorgroups of g4003.)