> < ^ Date: Wed, 15 Oct 1997 01:14:50 -0500 (CDT)
> < ^ From: Bruce W. Colletti <bcolletti@compuserve.com >
> ^ Subject: Wreath vs Semidirect Product

I'm experimenting (GAP3.4.4) with WreathProduct and SemidirectProduct and
seek to express the former in terms of the latter. A simple example
illustrates my question.

If S8 and S3 are respectively the symmetric groups on 8 and 3 letters, what
values of f and Z would equate WreathProduct(S8,S3,IdentityMapping(S3)) to
SemidirectProduct(DirectProduct(S8,S8,S8),f,Z), where f is a homomorphism
from DirectProduct(S8,S8,S8) into Aut(Z)?


> < [top]