/* www-ATLAS of Group Representations. L2(17) represented as 3 x 3 matrices over GF(17). */ F:=GF(17); x:=CambridgeMatrix(3,F,3,\[ 1,0,0, 3,16,0, 3,0,16]); y:=CambridgeMatrix(3,F,3,\[ 0,1,0, 0,0,1, 1,0,0]); G:=MatrixGroup<3,F|x,y>; print "Group G is L2(17) < GL(3,GF(17))";