/*
www-ATLAS of Group Representations.
U3(11):2 represented as 8 x 8 matrices over GF(11).
*/

F:=GF(11);

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

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

G<x,y>:=MatrixGroup<8,F|x,y>;
print "Group G is U3(11):2 < GL(8,GF(11))";