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