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