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

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,6,[
"100000",
"001000",
"010000",
"000001",
"036112",
"000100"]);

y:=CambridgeMatrix(1,F,6,[
"010000",
"000100",
"000010",
"573160",
"222220",
"571252"]);

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