> < ^ Date: Mon, 11 Mar 2002 23:20:47 +0000
> < ^ From: Dmitrii Pasechnik <d.pasechnik@twi.tudelft.nl >
> < ^ Subject: Re: SmallGroup(40,3)

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


> < [top]