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

F:=GF(7);

x:=CambridgeMatrix(1,F,2,[
"01",
"60"]);

y:=CambridgeMatrix(1,F,2,[
"66",
"10"]);

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