Properties

Label 107...000.a
Order \( 2^{39} \cdot 3^{9} \cdot 5^{4} \cdot 7^{3} \cdot 11 \cdot 13 \cdot 17 \cdot 19 \)
Exponent \( 2^{5} \cdot 3^{2} \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \)
Nilpotent no
Solvable no
$\card{G^{\mathrm{ab}}}$ \( 2^{2} \)
$\card{Z(G)}$ 2
$\card{\Aut(G)}$ \( 2^{39} \cdot 3^{9} \cdot 5^{4} \cdot 7^{3} \cdot 11 \cdot 13 \cdot 17 \cdot 19 \)
$\card{\mathrm{Out}(G)}$ \( 2 \)
Perm deg. $42$
Trans deg. $42$
Rank $2$

Related objects

Downloads

Learn more

Show commands: Gap / Magma / Oscar / SageMath

Copy content comment:Construction of abstract group
 
Copy content magma:G := PermutationGroup< 42 | (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18) >;
 
Copy content gap:G := Group( (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18) );
 
Copy content sage:G = PermutationGroup(['(1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36)', '(1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18)'])
 
Copy content sage_gap:G = gap.new('Group( (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18) )')
 
Copy content oscar:G = @permutation_group(42, (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18))
 

Group information

Description:$C_2^{21}.A_{21}.C_2$
Order: \(107\!\cdots\!000\)\(\medspace = 2^{39} \cdot 3^{9} \cdot 5^{4} \cdot 7^{3} \cdot 11 \cdot 13 \cdot 17 \cdot 19 \)
Copy content comment:Order of the group
 
Copy content magma:Order(G);
 
Copy content gap:Order(G);
 
Copy content sage:G.order()
 
Copy content sage_gap:G.Order()
 
Copy content oscar:order(G)
 
Exponent: \(465585120\)\(\medspace = 2^{5} \cdot 3^{2} \cdot 5 \cdot 7 \cdot 11 \cdot 13 \cdot 17 \cdot 19 \)
Copy content comment:Exponent of the group
 
Copy content magma:Exponent(G);
 
Copy content gap:Exponent(G);
 
Copy content sage:G.exponent()
 
Copy content sage_gap:G.Exponent()
 
Copy content oscar:exponent(G)
 
Automorphism group:Group of order \(107\!\cdots\!000\)\(\medspace = 2^{39} \cdot 3^{9} \cdot 5^{4} \cdot 7^{3} \cdot 11 \cdot 13 \cdot 17 \cdot 19 \)
Copy content comment:Automorphism group
 
Copy content gap:AutomorphismGroup(G);
 
Copy content magma:AutomorphismGroup(G);
 
Copy content sage:libgap(G).AutomorphismGroup()
 
Copy content sage_gap:G.AutomorphismGroup()
 
Copy content oscar:automorphism_group(G)
 
Composition factors:$C_2$ x 22, $A_{21}$
Copy content comment:Composition factors of the group
 
Copy content magma:CompositionFactors(G);
 
Copy content gap:CompositionSeries(G);
 
Copy content sage:G.composition_series()
 
Copy content sage_gap:G.CompositionSeries()
 
Copy content oscar:composition_series(G)
 
Derived length:$1$
Copy content comment:Derived length of the group
 
Copy content magma:DerivedLength(G);
 
Copy content gap:DerivedLength(G);
 
Copy content sage:libgap(G).DerivedLength()
 
Copy content sage_gap:G.DerivedLength()
 
Copy content oscar:derived_length(G)
 

This group is nonabelian, nonsolvable, and rational.

Copy content comment:Determine if the group G is abelian
 
Copy content magma:IsAbelian(G);
 
Copy content gap:IsAbelian(G);
 
Copy content sage:G.is_abelian()
 
Copy content sage_gap:G.IsAbelian()
 
Copy content oscar:is_abelian(G)
 
Copy content comment:Determine if the group G is cyclic
 
Copy content magma:IsCyclic(G);
 
Copy content gap:IsCyclic(G);
 
Copy content sage:G.is_cyclic()
 
Copy content sage_gap:G.IsCyclic()
 
Copy content oscar:is_cyclic(G)
 
Copy content comment:Determine if the group G is nilpotent
 
Copy content magma:IsNilpotent(G);
 
Copy content gap:IsNilpotentGroup(G);
 
Copy content sage:G.is_nilpotent()
 
Copy content sage_gap:G.IsNilpotentGroup()
 
Copy content oscar:is_nilpotent(G)
 
Copy content comment:Determine if the group G is solvable
 
Copy content magma:IsSolvable(G);
 
Copy content gap:IsSolvableGroup(G);
 
Copy content sage:G.is_solvable()
 
Copy content sage_gap:G.IsSolvableGroup()
 
Copy content oscar:is_solvable(G)
 
Copy content comment:Determine if the group G is supersolvable
 
Copy content gap:IsSupersolvableGroup(G);
 
Copy content sage:G.is_supersolvable()
 
Copy content sage_gap:G.IsSupersolvableGroup()
 
Copy content oscar:is_supersolvable(G)
 
Copy content comment:Determine if the group G is simple
 
Copy content magma:IsSimple(G);
 
Copy content gap:IsSimpleGroup(G);
 
Copy content sage:G.is_simple()
 
Copy content sage_gap:G.IsSimpleGroup()
 
Copy content oscar:is_simple(G)
 

Group statistics

Copy content comment:Compute statistics for the group G
 
Copy content magma:// 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;
 
Copy content gap:# Gap code to output the first two rows of the group statistics table element_orders := List(Elements(G), g -> Order(g)); orders := Set(element_orders); Print("Orders: ", orders, "\n"); element_counts := List(orders, n -> Length(Filtered(element_orders, x -> x = n))); Print("Elements: ", element_counts, " ", Size(G), "\n"); cc_orders := List(ConjugacyClasses(G), cc -> Order(Representative(cc))); cc_counts := List(orders, n -> Length(Filtered(cc_orders, x -> x = n))); Print("Conjugacy classes: ", cc_counts, " ", Length(ConjugacyClasses(G)), "\n");
 
Copy content sage:# Sage code to output the first two rows of the group statistics table element_orders = [g.order() for g in G] orders = sorted(list(set(element_orders))) print("Orders:", orders) print("Elements:", [element_orders.count(n) for n in orders], G.order()) cc_orders = [cc[0].order() for cc in G.conjugacy_classes()] print("Conjugacy classes:", [cc_orders.count(n) for n in orders], len(cc_orders))
 
Copy content sage_gap:# Sage code (using the GAP interface) to output the first two rows of the group statistics table element_orders = [g.Order() for g in G.Elements()] orders = sorted(list(set(element_orders))) print("Orders:", orders) print("Elements:", [element_orders.count(n) for n in orders], G.Order()) cc_orders = [cc.Representative().Order() for cc in G.ConjugacyClasses()] print("Conjugacy classes:", [cc_orders.count(n) for n in orders], len(cc_orders))
 
Copy content oscar:# Oscar code to output the first two rows of the group statistics table element_orders = [order(g) for g in elements(G)] orders = sort(unique(element_orders)) println("Orders: ", orders) element_counts = [count(==(n), element_orders) for n in orders] println("Elements: ", element_counts, " ", order(G)) ccs = conjugacy_classes(G) cc_orders = [order(representative(cc)) for cc in ccs] cc_counts = [count(==(n), cc_orders) for n in orders] println("Conjugacy classes: ", cc_counts, " ", length(ccs))
 

Order 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 24 26 28 30 32 33 34 35 36 38 39 40 42 44 45 48 51 52 55 56 60 63 65 66 68 70 72 76 77 78 80 84 88 90 91 96 99 102 104 105 110 112 120 126 130 132 136 140 144 154 156 160 165 168 176 180 182 195 198 208 210 220 231 240 252 260 264 280 308 312 315 330 336 360 390 420 440 462 504 560 630 660 840
Elements 1 936222729254911 144902514011469200 599870121955233024000 223607273221947210624 27363347883684770073200 6508287607750902374400 179524926813123347742720 31291602508538575257600 284948261049881571214464 1310654280499200 1902302038996660659240960 399245457752064000 641890888805256097996800 241029070141379040460800 1930993327557300348518400 8206607809228308480000 3021394101219060011827200 352452209070015774720000 3837196277672630132736000 2553131720873202765004800 2414706194800469606400 4184611627705716178944000 25870706416875995136000 1651517157919063434854400 4088274500902493996236800 1562538126877069934592000 2056364139932024832000 1239197779193474580480000 3516284342765459865600 5680290417214363376025600 3876974299770173521920000 7333340567989911552000 4057478100932709612257280 3705074333285702978764800 227692733339497660416000 8113306494254343782400 2768480762799576003379200 262611449895305871360000 623959965156897718272000 24478072929161891020800 1146777666566735108505600 6527597761916416598999040 8968649962942365696000 8585374323500384256000 629164803173356929024000 2166544461636273438720000 949318676649661641523200 1942875319749996183552000 1409808836280063098880000 7247393909448376320000 1074423824193058504704000 1537691644757511084441600 4018344914562060386304000 965594448535505338368000 1128712902141817965772800 147177845545720872960000 1116098662055049953280000 135284686309703024640000 1838280149267141099520000 1137562097863800913920000 4003597961852564275200 815639829054093891993600 340144354150110461952000 3759069996607787237376000 554395436598178086912000 678244571556530356224000 1562538126877069934592000 787834349685917614080000 1920330316589181802905600 744065774703366635520000 572544118846421729280000 1688456950288408903680000 669659197233029971968000 10146351473227726848000 1911456045717560229888000 608781088393663610880000 1558817798003553101414400 1030244918820046110720000 68682994588003074048000 946992804167921172480000 515122459410023055360000 664887912360769172275200 994342444376317231104000 57979151275587010560000 773828405691501300940800 584623108695502356480000 412097967528018444288000 541138745238812098560000 575588024288390047334400 347874907653522063360000 343414972940015370240000 42518044268763807744000 476878519241703161856000 425180442687638077440000 297626309881346654208000 480780962116021518336000 821129729940501037056000 243512435357465444352000 405854058929109073920000 212590221343819038720000 191331199209437134848000 297626309881346654208000 162341623571643629568000 127554132806291423232000 107145471557284795514880000
Conjugacy classes   1 131 7 1030 4 1353 3 1366 7 440 1 6228 1 211 14 448 1 461 1 1656 7 71 4256 49 694 1604 24 3 17 3 878 7 2 1128 683 180 4 802 1 90 2 452 3726 2 1 173 12 221 360 2 1 78 218 1354 90 212 1 10 1 7 34 4 54 80 1438 78 23 198 2 344 40 23 58 2 1 478 10 186 7 1 7 2 276 42 1 156 48 8 42 114 8 8 1 31 42 40 7 232 8 7 8 8 7 8 40 35002
Divisions 1 131 7 1030 4 1353 3 1366 7 440 1 6228 1 211 14 448 1 461 1 1656 7 71 4256 49 694 1604 24 3 17 3 878 7 2 1128 683 180 4 802 1 90 2 452 3726 2 1 173 12 221 360 2 1 78 218 1354 90 212 1 10 1 7 34 4 54 80 1438 78 23 198 2 344 40 23 58 2 1 478 10 186 7 1 7 2 276 42 1 156 48 8 42 114 8 8 1 31 42 40 7 232 8 7 8 8 7 8 40 35002
Autjugacy classes 1 101 7 771 4 1037 3 1023 7 340 1 4650 1 164 14 336 1 363 1 1233 7 56 3190 39 515 1247 18 3 14 3 646 6 2 845 534 133 4 601 1 66 2 338 2759 2 1 138 8 176 266 1 1 64 163 995 67 174 1 7 1 7 25 4 45 60 1070 66 19 140 1 252 28 19 40 1 1 357 7 128 7 1 7 1 224 29 1 116 32 4 31 83 4 4 1 27 31 28 7 160 4 7 4 4 7 4 28 26278

Minimal presentations

Permutation degree:$42$
Transitive degree:$42$
Rank: $2$
Inequivalent generating pairs: not computed

Minimal degrees of linear representations for this group have not been computed

Constructions

Show commands: Gap / Magma / Oscar / SageMath


Permutation group:Degree $42$ $\langle(1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12) \!\cdots\! \rangle$ Copy content Toggle raw display
Copy content comment:Define the group as a permutation group
 
Copy content magma:G := PermutationGroup< 42 | (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18) >;
 
Copy content gap:G := Group( (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18) );
 
Copy content sage:G = PermutationGroup(['(1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36)', '(1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18)'])
 
Copy content sage_gap:G = gap.new('Group( (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18) )')
 
Copy content oscar:G = @permutation_group(42, (1,16,18,9,4,30,5,40,27,24,31)(2,15,17,10,3,29,6,39,28,23,32)(7,11,8,12)(13,42,33,37,21,26,19,14,41,34,38,22,25,20)(35,36), (1,23,36,22,2,24,35,21)(5,25,29,15,10,27,19,39,31,38,14,41,7,33,12)(6,26,30,16,9,28,20,40,32,37,13,42,8,34,11)(17,18))
 
Transitive group: 42T9475 more information
Copy content magma:G := TransitiveGroup(42, 9475);
 
Copy content gap:G := TransitiveGroup(42, 9475);
 
Copy content sage:G = TransitiveGroup(42, 9475)
 
Copy content sage_gap:G = libgap.TransitiveGroup(42, 9475)
 
Copy content oscar:G = transitive_group(42, 9475)
 
Direct product: not computed
Semidirect product: not computed
Trans. wreath product: not computed
Possibly split product: $C_2^{21}$ . $S_{21}$ $C_2^{20}$ . $(C_2.S_{21})$ $(C_2^{21}.A_{21})$ . $C_2$ (3) $(C_2^{20}.A_{21})$ . $C_2^2$ all 5

Elements of the group are displayed as permutations of degree 42.

Homology

Abelianization: $C_{2}^{2} $
Copy content comment:The abelianization of the group
 
Copy content magma:quo< G | CommutatorSubgroup(G) >;
 
Copy content gap:FactorGroup(G, DerivedSubgroup(G));
 
Copy content sage:G.quotient(G.commutator())
 
Copy content sage_gap:G.FactorGroup(G.DerivedSubgroup())
 
Copy content oscar:quo(G, derived_subgroup(G)[1])
 
Schur multiplier: not computed
Copy content comment:The Schur multiplier of the group
 
Copy content gap:AbelianInvariantsMultiplier(G);
 
Copy content sage:G.homology(2)
 
Copy content sage_gap:G.AbelianInvariantsMultiplier()
 
Commutator length: not computed
Copy content comment:The commutator length of the group
 
Copy content gap:CommutatorLength(G);
 
Copy content sage_gap:G.CommutatorLength()
 

Subgroups

Copy content comment:List of subgroups of the group
 
Copy content magma:Subgroups(G);
 
Copy content gap:AllSubgroups(G);
 
Copy content sage:G.subgroups()
 
Copy content sage_gap:G.AllSubgroups()
 
Copy content oscar:subgroups(G)
 

There are 9 normal subgroups (7 characteristic).

Characteristic subgroups are shown in this color. Normal (but not characteristic) subgroups are shown in this color.

Special subgroups

Center: a subgroup isomorphic to $C_2$
Copy content comment:Center of the group
 
Copy content magma:Center(G);
 
Copy content gap:Center(G);
 
Copy content sage:G.center()
 
Copy content sage_gap:G.Center()
 
Copy content oscar:center(G)
 
Commutator: a subgroup isomorphic to $C_2^{20}.A_{21}$
Copy content comment:Commutator subgroup of the group G
 
Copy content magma:CommutatorSubgroup(G);
 
Copy content gap:DerivedSubgroup(G);
 
Copy content sage:G.commutator()
 
Copy content sage_gap:G.DerivedSubgroup()
 
Copy content oscar:derived_subgroup(G)
 
Frattini: a subgroup isomorphic to $C_1$
Copy content comment:Frattini subgroup of the group G
 
Copy content magma:FrattiniSubgroup(G);
 
Copy content gap:FrattiniSubgroup(G);
 
Copy content sage:G.frattini_subgroup()
 
Copy content sage_gap:G.FrattiniSubgroup()
 
Copy content oscar:frattini_subgroup(G)
 
Fitting: not computed
Copy content comment:Fitting subgroup of the group G
 
Copy content magma:FittingSubgroup(G);
 
Copy content gap:FittingSubgroup(G);
 
Copy content sage:G.fitting_subgroup()
 
Copy content sage_gap:G.FittingSubgroup()
 
Copy content oscar:fitting_subgroup(G)
 
Radical: not computed
Copy content comment:Radical of the group G
 
Copy content magma:Radical(G);
 
Copy content gap:SolvableRadical(G);
 
Copy content sage_gap:G.SolvableRadical()
 
Copy content oscar:solvable_radical(G)
 
Socle: not computed
Copy content comment:Socle of the group G
 
Copy content magma:Socle(G);
 
Copy content gap:Socle(G);
 
Copy content sage:G.socle()
 
Copy content sage_gap:G.Socle()
 
Copy content oscar:socle(G)
 
2-Sylow subgroup: $P_{ 2 } \simeq$ $C_2^9.C_2^6.C_2^6.C_2^6.C_2^6.C_2^6$
3-Sylow subgroup: $P_{ 3 } \simeq$ $C_3^7.C_3^2$
5-Sylow subgroup: $P_{ 5 } \simeq$ $C_5^4$
7-Sylow subgroup: $P_{ 7 } \simeq$ $C_7^3$
11-Sylow subgroup: $P_{ 11 } \simeq$ $C_{11}$
13-Sylow subgroup: $P_{ 13 } \simeq$ $C_{13}$
17-Sylow subgroup: $P_{ 17 } \simeq$ $C_{17}$
19-Sylow subgroup: $P_{ 19 } \simeq$ $C_{19}$

Subgroup diagram and profile

Series

Derived series not computed
Copy content comment:Derived series of the group G
 
Copy content magma:DerivedSeries(G);
 
Copy content gap:DerivedSeriesOfGroup(G);
 
Copy content sage:G.derived_series()
 
Copy content sage_gap:G.DerivedSeriesOfGroup()
 
Copy content oscar:derived_series(G)
 
Chief series not computed
Copy content comment:Chief series of the group G
 
Copy content magma:ChiefSeries(G);
 
Copy content gap:ChiefSeries(G);
 
Copy content sage:libgap(G).ChiefSeries()
 
Copy content sage_gap:G.ChiefSeries()
 
Copy content oscar:chief_series(G)
 
Lower central series not computed
Copy content comment:The lower central series of the group G
 
Copy content magma:LowerCentralSeries(G);
 
Copy content gap:LowerCentralSeriesOfGroup(G);
 
Copy content sage:G.lower_central_series()
 
Copy content sage_gap:G.LowerCentralSeriesOfGroup()
 
Copy content oscar:lower_central_series(G)
 
Upper central series not computed
Copy content comment:The upper central series of the group G
 
Copy content magma:UpperCentralSeries(G);
 
Copy content gap:UpperCentralSeriesOfGroup(G);
 
Copy content sage:G.upper_central_series()
 
Copy content sage_gap:G.UpperCentralSeriesOfGroup()
 
Copy content oscar:upper_central_series(G)
 

Character theory

Copy content comment:Character table
 
Copy content magma:CharacterTable(G); // Output not guaranteed to exactly match the LMFDB table
 
Copy content gap:CharacterTable(G); # Output not guaranteed to exactly match the LMFDB table
 
Copy content sage:G.character_table() # Output not guaranteed to exactly match the LMFDB table
 
Copy content sage_gap:G.CharacterTable() # Output not guaranteed to exactly match the LMFDB table
 
Copy content oscar:character_table(G) # Output not guaranteed to exactly match the LMFDB table
 

Complex character table

Every character has rational values, so the complex character table is the same as the rational character table below.

Rational character table

The $35002 \times 35002$ rational character table is not available for this group.