/*
www-ATLAS of Group Representations.
L2(23) represented as 7 x 7 matrices over GF(23).
*/

F:=GF(23);

x:=CambridgeMatrix(3,F,7,\[
0,1,0,0,0,0,0,
1,0,0,0,0,0,0,
0,0,0,1,0,0,0,
0,0,1,0,0,0,0,
0,0,0,0,0,1,0,
0,0,0,0,1,0,0,
6,6,11,11,1,1,22]);

y:=CambridgeMatrix(3,F,7,\[
13,22,0,0,0,0,0,
0,0,1,0,0,0,0,
11,15,10,0,0,0,0,
0,0,0,0,1,0,0,
0,0,0,0,0,0,1,
6,4,7,16,21,1,9,
0,0,0,1,0,0,0]);

G<x,y>:=MatrixGroup<7,F|x,y>;
print "Group G is L2(23) < GL(7,GF(23))";