[GAP Forum] Basic question: picking out a certain subgroup of A_{31}

[William DeMeo]

Dear Forum,

How do I get ahold of a subgroup of A_{31} that is isomorphic to
SL(5,2).  I know there's one in there, but I don't know how to get a
handle on it.

If I simply define

a31 := AlternatingGroup(31);

and

K := SL(5,2);

then, of course, IsSubgroup(a31,K) will return "false," since I don't
have a particular SL(5,2) that sits inside A_{31}.

Thanks in advance for your help, and I apologize if this a dumb question.

-William