// Magma code for working with abstract group 122304.a. // Some of these functions may take a long time to execute (this depends on the group). // Construction of abstract group: G := PermutationGroup< 119 | (1,2)(3,13)(4,9)(5,14)(6,15)(7,16)(8,17)(10,18)(11,19)(12,20)(21,55)(22,23)(24,56)(25,57)(26,31)(27,58)(28,36)(29,42)(30,43)(32,50)(33,59)(34,60)(35,61)(37,62)(38,63)(39,51)(40,64)(41,52)(44,65)(45,66)(46,67)(47,68)(48,69)(49,70)(53,71)(54,72)(73,97)(74,82)(75,86)(76,98)(77,81)(78,99)(79,100)(80,85)(83,91)(84,94)(87,101)(88,102)(89,93)(90,96)(92,103)(95,104)(105,111)(106,109)(107,112)(108,110)(113,114,118,115,116,119,117), (1,3,21,8)(2,13,55,17)(4,22,37,30)(5,33,29,35)(6,24,36,41)(7,25,73,45)(9,23,62,43)(10,51,81,32)(11,26,74,48)(12,27,75,49)(14,59,42,61)(15,56,28,52)(16,57,97,66)(18,39,77,50)(19,31,82,69)(20,58,86,70)(34,83,65,85)(38,84,40,78)(44,80,60,91)(46,93,104,72)(47,53,96,92)(54,67,89,95)(63,94,64,99)(68,71,90,103)(76,87,98,101)(79,100)(88,102)(105,109,111,106)(107,112)(108,110)(113,115,117,118,119,114,116), (1,4,2,9)(3,22,13,23)(5,28,14,36)(6,29,15,42)(7,20,16,12)(8,30,17,43)(10,31,18,26)(11,32,19,50)(21,37,55,62)(24,35,56,61)(25,58,57,27)(33,52,59,41)(34,63,60,38)(39,74,51,82)(40,65,64,44)(45,70,66,49)(46,71,67,53)(47,72,68,54)(48,81,69,77)(73,86,97,75)(76,87,98,101)(78,85,99,80)(79,88,100,102)(83,94,91,84)(89,96,93,90)(92,104,103,95)(105,109,111,106)(107,110,112,108)(113,116,114,119,118,117,115), (113,117,119,116,115,118,114), (1,5,31,4,28,18,2,14,26,9,36,10)(3,23,13,22)(6,19,8,29,50,30,15,11,17,42,32,43)(7,34,71,20,63,67,16,60,53,12,38,46)(21,39,52,37,74,59,55,51,41,62,82,33)(24,76,88,35,87,100,56,98,102,61,101,79)(25,27,57,58)(40,68,45,65,54,70,64,47,66,44,72,49)(48,77,69,81)(73,89,94,86,96,91,97,93,84,75,90,83)(78,105,110,85,109,112,99,111,108,80,106,107)(92,95,103,104)(113,116,114,119,118,117,115), (1,6,39,62,14,19,2,15,51,37,5,11)(3,24,77,43,59,31,13,56,81,30,33,26)(4,29,74,21,36,50,9,42,82,55,28,32)(7,40,89,75,60,68,16,64,93,86,34,47)(8,41,18,23,61,69,17,52,10,22,35,48)(12,44,90,97,63,72,20,65,96,73,38,54)(25,78,95,49,91,71,57,99,104,70,83,53)(27,80,103,66,94,46,58,85,92,45,84,67)(76,101,98,87)(79,88,100,102)(105,106,111,109)(107,110,112,108), (1,7,4,20,2,16,9,12)(3,25,22,58,13,57,23,27)(5,34,28,63,14,60,36,38)(6,40,29,65,15,64,42,44)(8,45,30,70,17,66,43,49)(10,46,31,71,18,67,26,53)(11,47,32,72,19,68,50,54)(21,73,37,86,55,97,62,75)(24,78,35,85,56,99,61,80)(33,83,52,94,59,91,41,84)(39,89,74,96,51,93,82,90)(48,92,81,104,69,103,77,95)(76,105,87,109,98,111,101,106)(79,107,88,110,100,112,102,108)(113,118,116,117,114,115,119) >; // Order of the group: Order(G); // Exponent of the group: Exponent(G); // Automorphism group: AutomorphismGroup(G); // Composition factors of the group: CompositionFactors(G); // Nilpotency class of the group: NilpotencyClass(G); // Derived length of the group: DerivedLength(G); // Determine if the group G is abelian: IsAbelian(G); // Determine if the group G is cyclic: IsCyclic(G); // Determine if the group G is elementary abelian: IsElementaryAbelian(G); // Determine if the group G is nilpotent: IsNilpotent(G); // Determine if the group G is perfect: IsPerfect(G); // Determine if the group G is simple: IsSimple(G); // Determine if the group G is solvable: IsSolvable(G); // Compute statistics for the group G: // Magma code to output the first two rows of the group statistics table element_orders := [Order(g) : g in G]; orders := Set(element_orders); printf "Orders: %o\n", orders; printf "Elements: %o %o\n", [#[x : x in element_orders | x eq n] : n in orders], Order(G); cc_orders := [cc[1] : cc in ConjugacyClasses(G)]; printf "Conjugacy classes: %o %o\n", [#[x : x in cc_orders | x eq n] : n in orders], #cc_orders; // List of conjugacy classes of the group: ConjugacyClasses(G); // Output not guaranteed to exactly match the LMFDB table // Compute statistics about the characters of G: // Outputs [, , ...] where c_i is the number of irr. complex chars. of G with degree d_i CharacterDegrees(G); // Define the group as a permutation group: PermutationGroup< 119 | (1,2)(3,13)(4,9)(5,14)(6,15)(7,16)(8,17)(10,18)(11,19)(12,20)(21,55)(22,23)(24,56)(25,57)(26,31)(27,58)(28,36)(29,42)(30,43)(32,50)(33,59)(34,60)(35,61)(37,62)(38,63)(39,51)(40,64)(41,52)(44,65)(45,66)(46,67)(47,68)(48,69)(49,70)(53,71)(54,72)(73,97)(74,82)(75,86)(76,98)(77,81)(78,99)(79,100)(80,85)(83,91)(84,94)(87,101)(88,102)(89,93)(90,96)(92,103)(95,104)(105,111)(106,109)(107,112)(108,110)(113,114,118,115,116,119,117), (1,3,21,8)(2,13,55,17)(4,22,37,30)(5,33,29,35)(6,24,36,41)(7,25,73,45)(9,23,62,43)(10,51,81,32)(11,26,74,48)(12,27,75,49)(14,59,42,61)(15,56,28,52)(16,57,97,66)(18,39,77,50)(19,31,82,69)(20,58,86,70)(34,83,65,85)(38,84,40,78)(44,80,60,91)(46,93,104,72)(47,53,96,92)(54,67,89,95)(63,94,64,99)(68,71,90,103)(76,87,98,101)(79,100)(88,102)(105,109,111,106)(107,112)(108,110)(113,115,117,118,119,114,116), (1,4,2,9)(3,22,13,23)(5,28,14,36)(6,29,15,42)(7,20,16,12)(8,30,17,43)(10,31,18,26)(11,32,19,50)(21,37,55,62)(24,35,56,61)(25,58,57,27)(33,52,59,41)(34,63,60,38)(39,74,51,82)(40,65,64,44)(45,70,66,49)(46,71,67,53)(47,72,68,54)(48,81,69,77)(73,86,97,75)(76,87,98,101)(78,85,99,80)(79,88,100,102)(83,94,91,84)(89,96,93,90)(92,104,103,95)(105,109,111,106)(107,110,112,108)(113,116,114,119,118,117,115), (113,117,119,116,115,118,114), (1,5,31,4,28,18,2,14,26,9,36,10)(3,23,13,22)(6,19,8,29,50,30,15,11,17,42,32,43)(7,34,71,20,63,67,16,60,53,12,38,46)(21,39,52,37,74,59,55,51,41,62,82,33)(24,76,88,35,87,100,56,98,102,61,101,79)(25,27,57,58)(40,68,45,65,54,70,64,47,66,44,72,49)(48,77,69,81)(73,89,94,86,96,91,97,93,84,75,90,83)(78,105,110,85,109,112,99,111,108,80,106,107)(92,95,103,104)(113,116,114,119,118,117,115), (1,6,39,62,14,19,2,15,51,37,5,11)(3,24,77,43,59,31,13,56,81,30,33,26)(4,29,74,21,36,50,9,42,82,55,28,32)(7,40,89,75,60,68,16,64,93,86,34,47)(8,41,18,23,61,69,17,52,10,22,35,48)(12,44,90,97,63,72,20,65,96,73,38,54)(25,78,95,49,91,71,57,99,104,70,83,53)(27,80,103,66,94,46,58,85,92,45,84,67)(76,101,98,87)(79,88,100,102)(105,106,111,109)(107,110,112,108), (1,7,4,20,2,16,9,12)(3,25,22,58,13,57,23,27)(5,34,28,63,14,60,36,38)(6,40,29,65,15,64,42,44)(8,45,30,70,17,66,43,49)(10,46,31,71,18,67,26,53)(11,47,32,72,19,68,50,54)(21,73,37,86,55,97,62,75)(24,78,35,85,56,99,61,80)(33,83,52,94,59,91,41,84)(39,89,74,96,51,93,82,90)(48,92,81,104,69,103,77,95)(76,105,87,109,98,111,101,106)(79,107,88,110,100,112,102,108)(113,118,116,117,114,115,119) >; // Define the group as a matrix group with coefficients in GLFq: F:=GF(169); al:=F.1; MatrixGroup< 2, F | [[al^132, 0], [0, al^132]],[[al^17, al^6], [al^64, al^6]],[[al^150, 0], [0, al^150]],[[al^120, 0], [0, al^120]],[[al^36, al^158], [al^72, al^12]],[[al^132, al^2], [al^60, al^89]],[[al^159, 0], [0, al^159]] >; // The abelianization of the group: quo< G | CommutatorSubgroup(G) >; // List of subgroups of the group: Subgroups(G); // Center of the group: Center(G); // Commutator subgroup of the group G: CommutatorSubgroup(G); // Frattini subgroup of the group G: FrattiniSubgroup(G); // Fitting subgroup of the group G: FittingSubgroup(G); // Radical of the group G: Radical(G); // Socle of the group G: Socle(G); // Derived series of the group G: DerivedSeries(G); // Chief series of the group G: ChiefSeries(G); // The lower central series of the group G: LowerCentralSeries(G); // The upper central series of the group G: UpperCentralSeries(G); // Character table: CharacterTable(G); // Output not guaranteed to exactly match the LMFDB table