/* www-ATLAS of Group Representations. J2:2 represented as 28 x 28 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,28,[ "0100000000000000000000000000", "1000000000000000000000000000", "0001000000000000000000000000", "0010000000000000000000000000", "0000001000000000000000000000", "0000000010000000000000000000", "0000100000000000000000000000", "0000000000010000000000000000", "0000010000000000000000000000", "0000000000000100000000000000", "0000000000000001000000000000", "0000000100000000000000000000", "0000000000000000001000000000", "0000000001000000000000000000", "0000000000000000000001000000", "0000000000100000000000000000", "0000000000000000000000001000", "0000000000000000000000000010", "0000000000001000000000000000", "0301602364623001115515246500", "4611125065224232554644240065", "0000000000000010000000000000", "6556131022003664236352145022", "5640502603662651566442401425", "0000000000000000100000000000", "2302305363425062666503125364", "0000000000000000010000000000", "6551234153015030431366533231"]); y:=CambridgeMatrix(1,F,28,[ "0010000000000000000000000000", "0660000000000000000000000000", "0000100000000000000000000000", "0000010000000000000000000000", "0000000100000000000000000000", "0000000001000000000000000000", "0000000000100000000000000000", "1210600100000000000000000000", "0000000000001000000000000000", "0000000000000010000000000000", "0000000000000000100000000000", "0000000000000000010000000000", "0000000000000000000100000000", "0000000000000000000010000000", "0000000000000000000000100000", "0000000000000000000000010000", "0000000000000000000000000100", "0000000000000000000000000001", "5145605652464635343222412615", "2304253336416536420061545544", "3141221115332214060204012104", "4511632246030101565213451035", "0001000000000000000000000000", "6435152025606054360240442115", "4613254314254445550461152223", "1546446541114223650143665402", "3651242551242100421623023623", "0226231325664626203153636136"]); G:=MatrixGroup<28,F|x,y>; print "Group G is J2:2 < GL(28,GF(7))";