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