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