magma: G := SmallGroup(512, 514818);
gap: G := SmallGroup(512, 514818);
sage: G = libgap.SmallGroup(512, 514818)
sage: # This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(28656566897152266552757325309014853917811471881,512)'); a = G.1; b = G.3; c = G.4; d = G.6; e = G.7; f = G.8; g = G.9;
Group information
Description: $C_2^4.C_2^5$ Order: \(512\)\(\medspace = 2^{9} \)
magma: Order(G);
gap: Order(G);
sage: G.order()
sage: G.Order()
Exponent: \(4\)\(\medspace = 2^{2} \)
magma: Exponent(G);
gap: Exponent(G);
sage: G.exponent()
sage: G.Exponent()
Automorphism group :$C_2^{16}.\PSL(2,7)$ , of order \(176160768\)\(\medspace = 2^{23} \cdot 3 \cdot 7 \)
gap: AutomorphismGroup(G);
magma: AutomorphismGroup(G);
sage: G.AutomorphismGroup()
Composition factors :$C_2$ x 9
magma: CompositionFactors(G);
gap: CompositionSeries(G);
sage: G.composition_series()
sage: G.CompositionSeries()
Nilpotency class: $2$
magma: NilpotencyClass(G);
gap: NilpotencyClassOfGroup(G);
sage: G.NilpotencyClassOfGroup()
Derived length: $2$
magma: DerivedLength(G);
gap: DerivedLength(G);
sage: G.DerivedLength()
This group is nonabelian , a $p$-group (hence nilpotent , solvable , supersolvable , monomial , elementary , and hyperelementary ), and metabelian .
magma: IsAbelian(G);
gap: IsAbelian(G);
sage: G.is_abelian()
sage: G.IsAbelian()
magma: IsCyclic(G);
gap: IsCyclic(G);
sage: G.is_cyclic()
sage: G.IsCyclic()
magma: IsNilpotent(G);
gap: IsNilpotentGroup(G);
sage: G.is_nilpotent()
sage: G.IsNilpotentGroup()
magma: IsSolvable(G);
gap: IsSolvableGroup(G);
sage: G.is_solvable()
sage: G.IsSolvableGroup()
gap: IsSupersolvableGroup(G);
sage: G.is_supersolvable()
sage: G.IsSupersolvableGroup()
magma: IsSimple(G);
gap: IsSimpleGroup(G);
sage: G.IsSimpleGroup()
Group statistics
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;
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");
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))
magma: // Outputs [<d_1,c_1>, <d_2,c_2>, ...] where c_i is the number of irr. complex chars. of G with degree d_i
CharacterDegrees(G);
gap: # Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i
CharacterDegrees(G);
sage: # Outputs [[d_1,c_1], [d_2,c_2], ...] where c_i is the number of irr. complex chars. of G with degree d_i
character_degrees = [c[0] for c in G.character_table()]
[[n, character_degrees.count(n)] for n in set(character_degrees)]
sage: G.CharacterDegrees()
Minimal presentations
Over $\mathbb{C}$
Over $\mathbb{R}$
Over $\mathbb{Q}$
Irreducible none
none
none
Arbitrary not computed
not computed
not computed
Constructions
Presentation :
${\langle a, b, c, d, e, f, g \mid a^{4}=b^{2}=c^{4}=d^{2}=e^{2}=f^{2}=g^{2}= \!\cdots\! \rangle}$
magma: G := PCGroup([9, 2, 2, 2, 2, 2, 2, 2, 2, 2, 18, 542, 867, 237, 102, 6917, 896, 16134, 2049, 2311, 322, 5192, 683]); a,b,c,d,e,f,g := Explode([G.1, G.3, G.4, G.6, G.7, G.8, G.9]); AssignNames(~G, ["a", "a2", "b", "c", "c2", "d", "e", "f", "g"]);
gap: G := PcGroupCode(28656566897152266552757325309014853917811471881,512); a := G.1; b := G.3; c := G.4; d := G.6; e := G.7; f := G.8; g := G.9;
sage: # This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(28656566897152266552757325309014853917811471881,512)'); a = G.1; b = G.3; c = G.4; d = G.6; e = G.7; f = G.8; g = G.9;
sage: # This uses Sage's interface to GAP, as Sage (currently) has no native support for PC groups
G = gap.new('PcGroupCode(28656566897152266552757325309014853917811471881,512)'); a = G.1; b = G.3; c = G.4; d = G.6; e = G.7; f = G.8; g = G.9;
Direct product :$C_4$ $\, \times\, $ $(C_2^3\wr C_2)$
Semidirect product :$(C_2^5.D_4)$ $\,\rtimes\,$ $C_2$ $(C_2^5.D_4)$ $\,\rtimes\,$ $C_2$ $(C_2^4\times C_4)$ $\,\rtimes\,$ $D_4$ $C_2^4$ $\,\rtimes\,$ $(C_4\times D_4)$ all 27
Trans. wreath product :not isomorphic to a non-trivial transitive wreath product
Non-split product :$C_2^7$ . $C_2^2$ $C_2^6$ . $C_2^3$ $C_2^5$ . $C_2^4$ (2)$C_2^4$ . $C_2^5$ all 33
Aut. group :$\Aut((C_2^2\times C_{20}):C_2)$
Elements of the group are displayed as words in the presentation generators from the presentation above.
Homology
Subgroups
magma: Subgroups(G);
gap: AllSubgroups(G);
sage: G.subgroups()
sage: G.AllSubgroups()
There are 62754 subgroups in 31452 conjugacy classes , 1706 normal (13 characteristic ).
Characteristic subgroups are shown in this color . Normal (but not characteristic) subgroups are shown in this color .
Special subgroups
Center :$Z \simeq$ $C_2^3\times C_4$ $G/Z \simeq$ $C_2^4$
magma: Center(G);
gap: Center(G);
sage: G.center()
sage: G.Center()
Commutator :$G' \simeq$ $C_2^3$ $G/G' \simeq$ $C_2^4\times C_4$
magma: CommutatorSubgroup(G);
gap: DerivedSubgroup(G);
sage: G.commutator()
sage: G.DerivedSubgroup()
Frattini :$\Phi \simeq$ $C_2^4$ $G/\Phi \simeq$ $C_2^5$
magma: FrattiniSubgroup(G);
gap: FrattiniSubgroup(G);
sage: G.frattini_subgroup()
sage: G.FrattiniSubgroup()
Fitting :$\operatorname{Fit} \simeq$ $C_2^4.C_2^5$ $G/\operatorname{Fit} \simeq$ $C_1$
magma: FittingSubgroup(G);
gap: FittingSubgroup(G);
sage: G.fitting_subgroup()
sage: G.FittingSubgroup()
Radical :$R \simeq$ $C_2^4.C_2^5$ $G/R \simeq$ $C_1$
magma: Radical(G);
gap: SolvableRadical(G);
sage: G.SolvableRadical()
Socle :$\operatorname{soc} \simeq$ $C_2^4$ $G/\operatorname{soc} \simeq$ $C_2^5$
magma: Socle(G);
gap: Socle(G);
sage: G.socle()
sage: G.Socle()
2-Sylow subgroup :
$P_{ 2 } \simeq$ $C_2^4.C_2^5$
Hi
diagram
profile
all subgroups
normal subgroups
up to conjugacy
up to automorphism
Classes of subgroups up to conjugation
No diagram available: subgroups only stored up to automorphism
Classes of subgroups up to automorphism
No diagram available
Normal subgroups
No diagram available: subgroups only stored up to automorphism
Normal subgroups up to automorphism
No diagram available
Classes of subgroups up to conjugation
Order 512: $C_2^4.C_2^5$ Order 256: $C_2^5.D_4$ x 7, $C_2^5.D_4$ x 7, $C_2^4:C_4^2$ x 7, $C_2^3.C_2^5$ x 7, $C_2^6:C_4$ , $C_2^6\times C_4$ , $C_2^5:D_4$ Order 128: $C_2^5\times C_4$ x 70, $C_2^3.C_2^4$ x 56, $C_2^3.C_4^2$ x 42, $C_2^4.D_4$ x 21, $C_2^4.D_4$ x 21, $C_2^5:C_4$ x 21, $C_2^3:C_4^2$ x 21, $C_2^3\wr C_2$ x 16, $C_2^4:D_4$ x 7, $C_4^2:C_2^3$ x 7, $C_2^7$ Order 64: $C_2^4\times C_4$ x 1345, $C_2^4:C_4$ x 112, $C_2^3:D_4$ x 112, $C_2^3.D_4$ x 84, $C_2^3.D_4$ x 84, $C_2^2:C_4^2$ x 84, $C_4^2:C_2^2$ x 84, $C_2^6$ x 71, $C_2^4:C_4$ x 56, $C_2^2.C_4^2$ x 42, $D_4\times C_2^3$ x 7, $C_2^3.D_4$ x 7, $C_2^2\times C_4^2$ x 7 Order 32: $C_2^3\times C_4$ x 5697, $C_2^5$ x 1380, $C_2^3:C_4$ x 378, $C_2^2\wr C_2$ x 224, $C_2^2\times D_4$ x 112, $C_4\times D_4$ x 112, $C_2.C_4^2$ x 84, $C_2^2.D_4$ x 42, $C_2\times C_4^2$ x 42 Order 16: $C_2^4$ x 6027, $C_2^2\times C_4$ x 5432, $C_2^2:C_4$ x 308, $C_2\times D_4$ x 280, $C_4:C_4$ x 28, $C_4^2$ x 28 Order 8: $C_2^3$ x 6053, $C_2\times C_4$ x 1170, $D_4$ x 112 Order 4: $C_2^2$ x 1401, $C_4$ x 58 Order 2: $C_2$ x 73 Order 1: $C_1$
Classes of subgroups up to automorphism
Order 512: $C_2^4.C_2^5$ Order 256: $C_2^5.D_4$ , $C_2^5.D_4$ , $C_2^6:C_4$ , $C_2^4:C_4^2$ , $C_2^6\times C_4$ , $C_2^5:D_4$ , $C_2^3.C_2^5$ Order 128: $C_2^5\times C_4$ x 3, $C_2^5:C_4$ x 3, $C_2^7$ , $C_2^4:D_4$ , $C_4^2:C_2^3$ , $C_2^3.C_4^2$ , $C_2^3\wr C_2$ , $C_2^3.C_2^4$ , $C_2^4.D_4$ , $C_2^4.D_4$ , $C_2^3:C_4^2$ Order 64: $C_2^4\times C_4$ x 8, $C_2^6$ x 4, $C_2^4:C_4$ x 4, $C_2^4:C_4$ x 3, $C_2^3:D_4$ x 3, $C_2^3.D_4$ , $C_2^3.D_4$ , $C_2^2:C_4^2$ , $C_2^2.C_4^2$ , $D_4\times C_2^3$ , $C_4^2:C_2^2$ , $C_2^3.D_4$ , $C_2^2\times C_4^2$ Order 32: $C_2^3\times C_4$ x 16, $C_2^5$ x 10, $C_2^3:C_4$ x 7, $C_2^2\times D_4$ x 3, $C_2^2\wr C_2$ , $C_4\times D_4$ , $C_2^2.D_4$ , $C_2\times C_4^2$ , $C_2.C_4^2$ Order 16: $C_2^4$ x 19, $C_2^2\times C_4$ x 17, $C_2^2:C_4$ x 4, $C_2\times D_4$ x 3, $C_4:C_4$ , $C_4^2$ Order 8: $C_2^3$ x 19, $C_2\times C_4$ x 12, $D_4$ Order 4: $C_2^2$ x 12, $C_4$ x 5 Order 2: $C_2$ x 5 Order 1: $C_1$
Normal subgroups (quotient in parentheses)
Order 512: $C_2^4.C_2^5$ ($C_1$) Order 256: $C_2^5.D_4$ ($C_2$) x 7, $C_2^5.D_4$ ($C_2$) x 7, $C_2^4:C_4^2$ ($C_2$) x 7, $C_2^3.C_2^5$ ($C_2$) x 7, $C_2^6:C_4$ ($C_2$), $C_2^6\times C_4$ ($C_2$), $C_2^5:D_4$ ($C_2$) Order 128: $C_2^3.C_4^2$ ($C_2^2$) x 42, $C_2^4.D_4$ ($C_2^2$) x 21, $C_2^4.D_4$ ($C_2^2$) x 21, $C_2^5:C_4$ ($C_2^2$) x 21, $C_2^3:C_4^2$ ($C_2^2$) x 21, $C_2^3\wr C_2$ ($C_4$) x 16, $C_2^5\times C_4$ ($C_2^2$) x 14, $C_2^4:D_4$ ($C_2^2$) x 7, $C_4^2:C_2^3$ ($C_2^2$) x 7, $C_2^7$ ($C_2^2$) Order 64: $C_2^4:C_4$ ($C_2\times C_4$) x 56, $C_2^4\times C_4$ ($D_4$) x 56, $C_2^3:D_4$ ($C_2\times C_4$) x 56, $C_2^4:C_4$ ($C_2^3$) x 56, $C_2^2.C_4^2$ ($C_2^3$) x 42, $C_2^4\times C_4$ ($C_2^3$) x 29, $C_2^6$ ($C_2\times C_4$) x 8, $C_2^6$ ($C_2^3$) x 7, $D_4\times C_2^3$ ($C_2^3$) x 7, $C_2^3.D_4$ ($C_2^3$) x 7, $C_2^2\times C_4^2$ ($C_2^3$) x 7 Order 32: $C_2^3\times C_4$ ($C_2\times D_4$) x 168, $C_2^3:C_4$ ($C_2^2\times C_4$) x 84, $C_2^5$ ($D_4:C_2$) x 28, $C_2^5$ ($C_2\times D_4$) x 28, $C_2^5$ ($C_2^2\times C_4$) x 28, $C_2^2\times D_4$ ($C_2^2\times C_4$) x 28, $C_2^3\times C_4$ ($C_2^4$) x 23, $C_2^5$ ($C_2^4$) x 8 Order 16: $C_2^4$ ($C_4\times D_4$) x 112, $C_2^2\times C_4$ ($C_2^2\wr C_2$) x 112, $C_2^2\times C_4$ ($C_2^2\times D_4$) x 56, $C_2^4$ ($D_4:C_2^2$) x 42, $C_2^4$ ($C_2^2\times D_4$) x 42, $C_2^4$ ($C_2^3\times C_4$) x 16, $C_2^2\times C_4$ ($C_2^3\times C_4$) x 14, $C_2^4$ ($C_2^5$) Order 8: $C_2^3$ ($C_4^2:C_2^2$) x 84, $C_2^3$ ($C_4^2:C_2^2$) x 84, $C_2\times C_4$ ($C_2^3:D_4$) x 56, $C_2^3$ ($C_2^3:D_4$) x 28, $C_2^3$ ($D_4:C_2^3$) x 7, $C_2^3$ ($D_4\times C_2^3$) x 7, $C_2^3$ ($C_2^4\times C_4$) Order 4: $C_2^2$ ($C_2^3.C_2^4$) x 56, $C_2^2$ ($C_4^2:C_2^3$) x 21, $C_4$ ($C_2^3\wr C_2$) x 8, $C_2^2$ ($C_2^4:D_4$) x 7, $C_2^2$ ($C_4^2:C_2^3$) x 7 Order 2: $C_2$ ($C_2^3.C_2^5$) x 7, $C_2$ ($C_2^3.C_2^5$) x 7, $C_2$ ($C_2^5:D_4$) Order 1: $C_1$ ($C_2^4.C_2^5$)
Normal subgroups up to automorphism (quotient in parentheses)
Order 512: $C_2^4.C_2^5$ ($C_1$) Order 256: $C_2^5.D_4$ ($C_2$), $C_2^5.D_4$ ($C_2$), $C_2^6:C_4$ ($C_2$), $C_2^4:C_4^2$ ($C_2$), $C_2^6\times C_4$ ($C_2$), $C_2^5:D_4$ ($C_2$), $C_2^3.C_2^5$ ($C_2$) Order 128: $C_2^5:C_4$ ($C_2^2$) x 3, $C_2^5\times C_4$ ($C_2^2$) x 2, $C_2^7$ ($C_2^2$), $C_2^4:D_4$ ($C_2^2$), $C_4^2:C_2^3$ ($C_2^2$), $C_2^3.C_4^2$ ($C_2^2$), $C_2^3\wr C_2$ ($C_4$), $C_2^4.D_4$ ($C_2^2$), $C_2^4.D_4$ ($C_2^2$), $C_2^3:C_4^2$ ($C_2^2$) Order 64: $C_2^4:C_4$ ($C_2^3$) x 4, $C_2^4\times C_4$ ($C_2^3$) x 3, $C_2^4:C_4$ ($C_2\times C_4$), $C_2^2.C_4^2$ ($C_2^3$), $C_2^6$ ($C_2^3$), $C_2^6$ ($C_2\times C_4$), $D_4\times C_2^3$ ($C_2^3$), $C_2^4\times C_4$ ($D_4$), $C_2^3:D_4$ ($C_2\times C_4$), $C_2^3.D_4$ ($C_2^3$), $C_2^2\times C_4^2$ ($C_2^3$) Order 32: $C_2^3\times C_4$ ($C_2^4$) x 5, $C_2^5$ ($C_2^4$) x 2, $C_2^3\times C_4$ ($C_2\times D_4$) x 2, $C_2^5$ ($D_4:C_2$), $C_2^5$ ($C_2\times D_4$), $C_2^5$ ($C_2^2\times C_4$), $C_2^2\times D_4$ ($C_2^2\times C_4$), $C_2^3:C_4$ ($C_2^2\times C_4$) Order 16: $C_2^4$ ($C_2^3\times C_4$) x 2, $C_2^2\times C_4$ ($C_2^2\times D_4$) x 2, $C_2^4$ ($C_2^5$), $C_2^4$ ($D_4:C_2^2$), $C_2^4$ ($C_2^2\times D_4$), $C_2^4$ ($C_4\times D_4$), $C_2^2\times C_4$ ($C_2^3\times C_4$), $C_2^2\times C_4$ ($C_2^2\wr C_2$) Order 8: $C_2\times C_4$ ($C_2^3:D_4$) x 2, $C_2^3$ ($D_4:C_2^3$), $C_2^3$ ($D_4\times C_2^3$), $C_2^3$ ($C_2^4\times C_4$), $C_2^3$ ($C_4^2:C_2^2$), $C_2^3$ ($C_2^3:D_4$), $C_2^3$ ($C_4^2:C_2^2$) Order 4: $C_2^2$ ($C_4^2:C_2^3$), $C_2^2$ ($C_2^4:D_4$), $C_2^2$ ($C_4^2:C_2^3$), $C_2^2$ ($C_2^3.C_2^4$), $C_4$ ($C_2^3\wr C_2$) Order 2: $C_2$ ($C_2^3.C_2^5$), $C_2$ ($C_2^5:D_4$), $C_2$ ($C_2^3.C_2^5$) Order 1: $C_1$ ($C_2^4.C_2^5$)
Series
Derived series
$C_2^4.C_2^5$
$\rhd$
$C_2^3$
$\rhd$
$C_1$
magma: DerivedSeries(G);
gap: DerivedSeriesOfGroup(G);
sage: G.derived_series()
sage: G.DerivedSeriesOfGroup()
Chief series
$C_2^4.C_2^5$
$\rhd$
$C_2^5:D_4$
$\rhd$
$C_2^5:C_4$
$\rhd$
$C_2^6$
$\rhd$
$C_2^5$
$\rhd$
$C_2^4$
$\rhd$
$C_2^3$
$\rhd$
$C_2^2$
$\rhd$
$C_2$
$\rhd$
$C_1$
magma: ChiefSeries(G);
gap: ChiefSeries(G);
sage: G.ChiefSeries()
Lower central series
$C_2^4.C_2^5$
$\rhd$
$C_2^3$
$\rhd$
$C_1$
magma: LowerCentralSeries(G);
gap: LowerCentralSeriesOfGroup(G);
sage: G.lower_central_series()
sage: G.LowerCentralSeriesOfGroup()
Upper central series
$C_1$
$\lhd$
$C_2^3\times C_4$
$\lhd$
$C_2^4.C_2^5$
magma: UpperCentralSeries(G);
gap: UpperCentralSeriesOfGroup(G);
sage: G.upper_central_series()
sage: G.UpperCentralSeriesOfGroup()
Supergroups
This group is a maximal subgroup of 3 larger groups in the database.
This group is a maximal quotient of 1 larger groups in the database.
Character theory
magma: CharacterTable(G); // Output not guaranteed to exactly match the LMFDB table
gap: CharacterTable(G); # Output not guaranteed to exactly match the LMFDB table
sage: G.character_table() # Output not guaranteed to exactly match the LMFDB table
sage: G.CharacterTable() # Output not guaranteed to exactly match the LMFDB table
See the $176 \times 176$ character table (warning: may be slow to load).
Alternatively, you may search for characters of this group with desired properties.
See the $132 \times 132$ rational character table (warning: may be slow to load).
