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

F:=GF(17);

x:=CambridgeMatrix(3,F,9,\[
0,1,0,0,0,0,0,0,0,
1,0,0,0,0,0,0,0,0,
0,0,0,1,0,0,0,0,0,
0,0,1,0,0,0,0,0,0,
0,0,0,0,0,1,0,0,0,
0,0,0,0,1,0,0,0,0,
7,10,13,4,3,14,1,0,0,
0,0,0,0,0,0,0,0,1,
0,0,0,0,0,0,0,1,0]);

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

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