> < ^ From:

> < ^ Subject:

Dear GAP-Forum,

On Wed, Sep 18, 2002 at 07:35:55AM -0500, Avital Oliver wrote:

> If I construct a wreath product using WreathProduct(G, P), when P is a

> permutation group of degree k, how can I get a projection onto the k copies

> of G in the direct product base of the wreath product? The documentation

> makes it seem as if it is only possible to get the projection onto P. Is

> this true?

do you mean to get the subgroup of w:=WreathProduct(G, P) isomorphic

to the direct product of the k copies of G ?

Then it is just

Group(Flat(List([1..k],x->GeneratorsOfGroup(Image(Embedding(w,x))))));

HTH,

Dmitrii

Miles-Receive-Header: reply

> < [top]