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