[GAP Forum] Introducing a 2-Frobenius group

[Negin Yavari]

Dear Forum,
 
    According to the following text, I would like to introduce the group G in GAP:
 
 
"In the general linear group GL(4,2) and also in GL(4,3) there exists a Frobenius group E:=K : C of order 20 such that K acts fixed-point-freely on corresponding natural modules V_1 and V_2. Now if we take G:=(V_1 \times V_2) . E with the natural action of E on direct factors, then G is a 2-Frobenius group.
 
 
 
 
Thanks alot in advance,
Negin