Permutation Groups in Gaps

asked 2013-08-20 13:47:54 +0200

lalitkumarj gravatar image


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.


(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).

edit retag flag offensive close merge delete


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.

Dima gravatar imageDima ( 2013-09-04 08:12:04 +0200 )edit

GAP has an email-based forum ( You can subscribe to it and ask there.

Dima gravatar imageDima ( 2013-09-04 18:37:26 +0200 )edit