local z, r, result; result := rec(); result.comment := "L2(127) as 128 x 128 monomial matrices over Z(z63)\n"; # Change the value of r to any number between 1 and 31 # to get the complete set of inequivalent faithful irreducible 128-dimensional # representations of L2(127) r := 1; z := E(63)^r; result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ IdentityMat(128) ]; result.centralizeralgebra := [ IdentityMat(128) ]; result.generators := [ DiagonalMat([z^12,z^45,z^7,z^29,z^55,z^37,z^34,z,z^26,z^9,z^38,z^54, z^19,z^26,z^29,z^30,z^6,z^35,z^36,z^5,z^58,z^2,z^33,z^20,z^60,z^16, z^34,z^61,z^19,z^38,z^50,z^4,z^20,z^3,z^48,z^35,z^15,z^56,z^28,z^9, z^52,z^11,z^23,z^54,z^46,z^55,z^22,z^20,z^53,z^13,z^11,z^7,z^62, z^33,z^16,z^49,z^2,z^39,z^8,z^10,z^27,1,z^40,z^14,z^24,z^10,z^25, z^45,z^50,z^15,z^39,z^18,z^27,z^18,z^22,z^60,1,z^6,z^41,z^62,z^47, z^31,z^41,z^43,z^48,z^61,z^21,z^21,z^32,z^36,z^47,z^53,z^8,z^44, z^58,z^3,z^57,z^42,z^5,z^49,z^42,z^30,z^25,z^13,z^12,z^51,z^37,z^31, z^28,z^17,z^32,z^46,z^24,z^51,z^44,z^40,z,z^59,z^4,z^57,z^14,z^52, z^23,z^17,z^59,z^43,z^56,z^43]) * PermutationMat( ( 1,114)( 2, 74)( 3, 38)( 4, 27)( 5, 93)( 6, 14)( 7, 15)( 8, 53) ( 9,107)( 10, 44)( 11,103)( 12, 40)( 13, 94)( 16, 54)( 17,120)( 18,109) ( 19, 73)( 20, 95)( 21, 99)( 22, 28)( 23,102)( 24, 84)( 25, 96)( 26, 91) ( 29,115)( 30, 67)( 31,104)( 32,118)( 33,128)( 34, 76)( 35, 37)( 36, 39) ( 41, 42)( 43,116)( 45,124)( 46, 59)( 47, 83)( 48,126)( 49, 60)( 50, 69) ( 51,122)( 52,127)( 55, 81)( 56,121)( 57, 86)( 58, 65)( 61, 90)( 62, 77) ( 63,123)( 64,100)( 66, 92)( 68, 72)( 70, 85)( 71,113)( 75, 79)( 78, 97) ( 80,117)( 82, 89)( 87, 98)( 88,101)(105,106)(108,111)(110,112)(119,125), 128) , DiagonalMat([z^8,z^21,z^9,z^8,z^47,z^33,z^27,z^24,z^13,z^28,z^42,z^20, z^47,z^40,z^36,z^60,z^55,1,z^53,z^10,z^48,z^19,z^13,z^55,z^39,z^52, z^41,z^3,z^25,z^51,z^33,z^30,z^60,z^22,z^5,z^34,z^50,z^15,z^22,z^25, z^26,z^2,z^31,z^32,z,z^54,z^61,z^29,z^16,z^56,z^12,z^30,z^57,z^15, z^34,z^46,1,z^62,z^62,z^44,z^31,z^11,z^52,z^24,z^5,z^48,z^7,z^19, z^50,z^42,z^51,z^18,z^16,z^49,z^9,z^7,z^3,z^58,z^29,z^12,z^45,z^61, z^35,z^4,z^6,z^23,z^59,z^36,z^10,z^20,z^6,z^21,z^41,z^46,z^11,z^35, z^14,z^23,z^14,z^18,z^56,z^59,z^2,z^37,z^58,z^43,z^27,z^37,z^39, z^44,z^57,z^17,z^17,z^28,z^32,z^43,z^49,z^4,z^40,z^54,z^62,z^53, z^38,z,z^45,z^38,z^26,z]) * PermutationMat( ( 1, 45, 46)( 2, 26, 19)( 3, 18,120)( 4,119, 38)( 5, 37, 79)( 6, 78, 83) ( 7, 82,123)( 8,122, 74)( 9, 73, 55)( 10, 54, 12)( 13, 53, 34)( 14, 33, 41) ( 15, 40,103)( 16,102, 76)( 17, 75,121)( 20, 25, 97)( 21, 96,106)( 22,105,117) ( 23,116, 67)( 24, 66, 98)( 27,127, 87)( 28, 86,108)( 29,107, 95)( 30, 94, 48) ( 31, 47, 44)( 32, 43, 42)( 35, 52,114)( 36,113, 80)( 39,118,104)( 49, 93, 91) ( 50, 90, 69)( 51, 68,115)( 56, 72, 59)( 57, 58,128)( 60, 71, 61)( 62, 70, 89) ( 63, 88,126)( 64,125,111)( 65,110, 99)( 77,101, 84)( 81,112,124)( 85,100,109), 128)]; return result;