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

F:=GF(3);

x:=CambridgeMatrix(1,F,9,[
"122200000",
"212200000",
"221200000",
"222100000",
"000020000",
"000002000",
"000000200",
"000000020",
"000000002"]);

y:=CambridgeMatrix(1,F,9,[
"010000000",
"001000000",
"000100000",
"000010000",
"000001000",
"000000100",
"000000010",
"000000001",
"100000000"]);

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