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.)

HTH,
Dmitrii