Hello All,
Let G be a finite group and H be a finite left G-module.
Let H^ := Hom(H, C*) denote the character group of H.
Then, H^ is a right G-module: (\rho \dot g)(h) := \rho(g \dot h)
for \rho \in H^, g \in G and h \in H.
Let G' := H^ : G (semi-direct product of H^ and G).
My question is: how to construct the group G' in GAP?
Any help is greatly appreciated.
Thanks,
DN
---------------------------------
Relax. Yahoo! Mail virus scanning helps detect nasty viruses!
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
