> < ^ Date: Tue, 23 Nov 1999 13:44:31 -0500
> < ^ From: Kurt Ewald <Kurt.Ewald@balbec.de >
> < ^ Subject: Semidirectproduct

Dear forum,
gap> t;
Group([ (1,4,3), (1,4) ]) is a subgroup of s4, but not normal
gap> v;
Group([ (1,2)(3,4), (1,3)(2,4) ]) is a normalsubgroup of s4
Because t is a complement to v in s4, s4 is a semidirectproduct of t by v.
But using the automorphismGroup of t all the
GroupHomomorphismByImages failed and the construction of the
was impossinble.
Are there other methods?

A second question:
knowing H and Q can GAP construct G or the isomorphismClass of G?

Many thanks and
best wishes

> < [top]