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