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

F:=GF(23);

x:=CambridgeMatrix(3,F,5,\[
0,1,0,0,0,
1,0,0,0,0,
0,0,0,1,0,
0,0,1,0,0,
20,3,18,5,1]);

y:=CambridgeMatrix(3,F,5,\[
0,0,1,0,0,
1,11,12,0,0,
22,13,12,0,0,
0,0,0,0,1,
0,21,21,22,22]);

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