local z, r, result; result := rec(); result.comment := "L2(163) as 164 x 164 monomial matrices over Z(z81)\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 L2(163) r := 1; z := E(81)^r; result.symmetricforms := [ ]; result.antisymmetricforms := [ ]; result.hermitianforms := [ IdentityMat(164) ]; result.centralizeralgebra := [ IdentityMat(164) ]; result.generators := [ DiagonalMat([z^36,z^3,z^61,z^76,z^3,z^67,z^14,z^27,z^62,z^2,z^43,z^57, z^54,z^9,z^26,z^74,z^76,z^29,z^7,z^65,z^54,z^41,z^64,z^9,z^12,z^49, z^31,z^51,z^31,z^4,z^72,z^78,z^33,z,z^10,z^53,z^5,z^47,z^18,z^37, z^6,z^36,z^16,z^44,z,z^48,z^4,z^75,z^25,z^69,z^62,z^74,z^19,z^38, z^17,z^34,z^77,z^73,z^46,z^22,z^34,z^44,z^66,z^6,z^52,z^49,1,z^63, z^26,z^28,z^13,z^52,z^30,z^75,z^61,z^32,z^48,z^39,z^23,z^45,z^33, z^60,z^29,z^25,z^19,z^46,z^78,z^20,z^24,z^79,z^71,z^14,z^6,z^40, z^80,z^68,z^2,z^32,z^50,z^11,z^42,z^55,z^56,z^56,z^41,z^5,z^30,z^59, z^11,1,z^39,z^18,z^22,z^15,z^66,z^57,z^55,z^64,z^80,z^23,z^17,z^35, z^16,z^21,z^77,z^60,z^50,z^51,z^59,z^7,z^13,z^8,z^28,z^69,z^79,z^45, z^15,z^70,z^24,z^38,z^37,z^35,z^21,z^70,z^27,z^8,z^58,z^42,z^53, z^12,z^58,z^65,z^40,z^47,z^72,z^67,z^43,z^10,z^63,z^68,z^71,z^20, z^73,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^32,z^40,z^62,z^2,z^48,z^45,z^77,z^59,z^22,z^24,z^9, z^48,z^26,z^71,z^57,z^28,z^44,z^35,z^19,z^41,z^29,z^56,z^25,z^21, z^15,z^42,z^74,z^16,z^20,z^75,z^67,z^10,z^2,z^36,z^76,z^64,z^79, z^28,z^46,z^7,z^38,z^51,z^52,z^52,z^37,z,z^26,z^55,z^7,z^77,z^35, z^14,z^18,z^11,z^62,z^53,z^51,z^60,z^76,z^19,z^13,z^31,z^12,z^17, z^73,z^56,z^46,z^47,z^55,z^3,z^9,z^4,z^24,z^65,z^75,z^41,z^11,z^66, z^20,z^34,z^33,z^31,z^17,z^66,z^23,z^4,z^54,z^38,z^49,z^8,z^54,z^61, z^36,z^43,z^68,z^63,z^39,z^6,z^59,z^64,z^67,z^16,z^69,z^80,z^57, z^72,z^80,z^63,z^10,z^23,z^58,z^79,z^39,z^53,z^50,z^5,z^22,z^70, z^72,z^25,z^3,z^61,z^50,z^37,z^60,z^5,z^8,z^45,z^27,z^47,z^27,1, z^68,z^74,z^29,z^78,z^6,z^49,z,z^43,z^14,z^33,z^70,z^32,z^12,z^40, z^78,z^44,1,z^71,z^21,z^65,z^58,z^70,z^15,z^34,z^13,z^30,z^73,z^69, z^42,z^18,z^30,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;