[GAP Forum] A question on semidirect products

[Alexander Hulpke]

Dear GAP Forum,

On Jan 16, 2007, at 7:01 PM, anvita21 wrote:

> I am trying to construct in GAP the natural semidirect product
> of SL(2,4) and the underlying vector space GF(4)^2 and then
> Why isn't VV normal in SV?

Thank you for reporting this bug. The current code forms a wrong  
embedding if the underlying field is not a prime field. (It returns  
in your example GF(2)^2 and not GF(4)^2 -- thus the subgroup is not  
normal.
This will be corrected in the next bugfix.

Best wishes,

     Alexander Hulpke