/* www-ATLAS of Group Representations. M24 represented as 22 x 22 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,22,[ "0100000000000000000000", "1000000000000000000000", "0001000000000000000000", "0010000000000000000000", "0000010000000000000000", "0000100000000000000000", "0000000010000000000000", "0000000001000000000000", "0000001000000000000000", "0000000100000000000000", "0000000000000100000000", "0000000000000010000000", "0000000000000000100000", "0000000000100000000000", "0000000000010000000000", "2222000202000002000000", "0000000000001000000000", "0000000000000000000100", "2200220000000000002000", "0000000000000000010000", "0000000000000000000001", "0000000000000000000010"]); y:=CambridgeMatrix(1,F,22,[ "1200000000000000000000", "0010000000000000000000", "0220000000000000000000", "0000100000000000000000", "0000001000000000000000", "0000000100000000000000", "0001000000000000000000", "0000000000100000000000", "0000000000010000000000", "0000000000001000000000", "0000010000000000000000", "0000000000000001000000", "0000000000000000010000", "0000000000000000001000", "0001002000000010000000", "0000000010000000000000", "0200000200101100122000", "0000000001000000000000", "0000000000000000000010", "0122100010020200000110", "0000000000000100000000", "0221210200000100000021"]); G:=MatrixGroup<22,F|x,y>; print "Group G is M24 < GL(22,GF(3))";