Permutation Groups in Gaps
Hi
I have a group of size 1171875 given by generators and relations in GAP. To compute it's Schur Multiplier, I need a presentation of it as a permutation group. AsPermGroup takes forever (I have run it for over an hour) and I was wondering if there was a faster way.
Thanks!
(BTW I am not sure this is the right place to ask this question! I didn't see a GAP forum out there. If necessary, I can delete this post).
AsPermGroup constructs a regular representation, and indeed, you don't want a group of degree over 10^6. Do you know a small index (say, less tham 10000) subgroup in your group (such that the it does not contain a normal subgroup)? Enumerate cosets over it, this should be quick and give you a low degree permutation group to work with.
GAP has an email-based forum (http://gap-system.org/Contacts/Forum/forum.html). You can subscribe to it and ask there.