/* www-ATLAS of Group Representations. M24 represented as 23 x 23 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,23,[ "01000000000000000000000", "10000000000000000000000", "00010000000000000000000", "00100000000000000000000", "00000100000000000000000", "00001000000000000000000", "00000000100000000000000", "00000000010000000000000", "00000010000000000000000", "00000001000000000000000", "00000000000001000000000", "00000000000000100000000", "00000000000000001000000", "00000000001000000000000", "00000000000100000000000", "00000000000000000000100", "00000000000010000000000", "00000000000000000000010", "00000000000000000000001", "11001132321411441044404", "00000000000000010000000", "00000000000000000100000", "00000000000000000010000"]); y:=CambridgeMatrix(1,F,23,[ "00100000000000000000000", "04400000000000000000000", "12100000000000000000000", "00001000000000000000000", "00000010000000000000000", "00000001000000000000000", "00010000000000000000000", "00000000001000000000000", "00000000000100000000000", "00000000000010000000000", "00000100000000000000000", "00000000000000010000000", "00000000000000000100000", "00000000000000000010000", "00000000000000000001000", "00000000100000000000000", "33110242211041031040000", "00000000010000000000000", "22441303244214110024000", "30231014031112240134000", "23210343414140400001100", "11232402214342400031010", "44311432214144020010001"]); G:=MatrixGroup<23,F|x,y>; print "Group G is M24 < GL(23,GF(5))";