[GAP Forum] Projection for Semidirect Product

Sopsku rrburns at cox.net
Thu Oct 10 18:19:55 BST 2013


Dear forum,

I am having some difficulty understanding projections and semidirect products. 

I think I understand Projection for a Direct Product:

f:= FreeGroup("a");; a:=f.1;;
g := f/[a^4];; a:=g.1;;    ## C4
f:= FreeGroup("b");; b:=f.1;;
h := f/[b^2];; b:=h.1;;    ## C2
## form
d:=DirectProduct(h,g);
## write elements of d terms of [e_h,e_g]
p1:=Projection(d,1);
p2:=Projection(d,2);
List(Elements(d),x->[Image(p1,x),Image(p2,x)]);

Now I would like to do soemthing similar for a semidirect product group, e.g

a:=AutomorphismGroup(g);
s:=SemidirectProduct(a,g);

but now
Projection(s,1); 
fails.

Can I use the GAP Projections to do a decomposition similar to the  direct
product example above?

Thank you for any help.





More information about the Forum mailing list