| order | 2904 |
| automorphism | ? |
| homology | Abelianization (H1) = C3 · Schur multiplier (H2) = C11 |
No aliases for this group.
| Fitting, socle, Sylow | C112 ⋊ SL(2,𝔽3) |
| derived, Hall | #11757263 ⋊ C3 |
| subgroup | G/H | |
|---|---|---|
| center, Frattini, hypercenter | C1 | G |
| commutator, cosocle, hypocenter | #11757263 | C3 |
| Fitting, socle | C112 | SL(2,𝔽3) |
| LCS | G ▷ #11757263 | |
| UCS | C1 | |
16 conjugacy classes of subgroups.
Polycyclic presentation:
3,2^3,11^2|b^2=d,c^2=d,b^a=c,c^a=bcd,c^b=cd,e^a=e^5f^9,e^b=e^8f^4,e^c=e^6f^5,e^d=e^10,f^a=e^10f^5,f^b=e^3f^3,f^c=e^8f^5,f^d=f^10| C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | C10 | C11 | C12 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| size | 1 | 24 | 24 | 24 | 24 | 24 | 121 | 484 | 484 | 484 | 484 | 726 |
| order | 1 | 11 | 11 | 11 | 11 | 11 | 2 | 3 | 3 | 6 | 6 | 4 |
| χ1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| χ2 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | ||||
| χ3 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | ||||
| χ4 | 2 | 2 | 2 | 2 | 2 | 2 | -2 | -1 | -1 | 1 | 1 | 0 |
| χ5 | 2 | 2 | 2 | 2 | 2 | 2 | -2 | 0 | ||||
| χ6 | 2 | 2 | 2 | 2 | 2 | 2 | -2 | 0 | ||||
| χ7 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 0 | 0 | 0 | 0 | -1 |
| χ8 | 24 | 2ζ2−2ζ4−2ζ7−ζ8+2ζ13−ζ14−ζ19+2ζ20−ζ25−2ζ26−2ζ29+2ζ31 | 2ζ4−ζ5+2ζ7−2ζ8−2ζ14−ζ16−ζ17−2ζ19−2ζ25+2ζ26−ζ28+2ζ29 | 2ζ−2ζ2−ζ4−ζ7+2ζ10−2ζ13−2ζ20+2ζ23−ζ26−ζ29−2ζ31+2ζ32 | −2ζ−ζ2+2ζ5−2ζ10−ζ13+2ζ16+2ζ17−ζ20−2ζ23+2ζ28−ζ31−2ζ32 | −ζ−2ζ5+2ζ8−ζ10+2ζ14−2ζ16−2ζ17+2ζ19−ζ23+2ζ25−2ζ28−ζ32 | 0 | 0 | 0 | 0 | 0 | 0 |
| χ9 | 24 | 2ζ4−ζ5+2ζ7−2ζ8−2ζ14−ζ16−ζ17−2ζ19−2ζ25+2ζ26−ζ28+2ζ29 | −ζ−2ζ5+2ζ8−ζ10+2ζ14−2ζ16−2ζ17+2ζ19−ζ23+2ζ25−2ζ28−ζ32 | 2ζ2−2ζ4−2ζ7−ζ8+2ζ13−ζ14−ζ19+2ζ20−ζ25−2ζ26−2ζ29+2ζ31 | 2ζ−2ζ2−ζ4−ζ7+2ζ10−2ζ13−2ζ20+2ζ23−ζ26−ζ29−2ζ31+2ζ32 | −2ζ−ζ2+2ζ5−2ζ10−ζ13+2ζ16+2ζ17−ζ20−2ζ23+2ζ28−ζ31−2ζ32 | 0 | 0 | 0 | 0 | 0 | 0 |
| χ10 | 24 | 2ζ−2ζ2−ζ4−ζ7+2ζ10−2ζ13−2ζ20+2ζ23−ζ26−ζ29−2ζ31+2ζ32 | 2ζ2−2ζ4−2ζ7−ζ8+2ζ13−ζ14−ζ19+2ζ20−ζ25−2ζ26−2ζ29+2ζ31 | −2ζ−ζ2+2ζ5−2ζ10−ζ13+2ζ16+2ζ17−ζ20−2ζ23+2ζ28−ζ31−2ζ32 | −ζ−2ζ5+2ζ8−ζ10+2ζ14−2ζ16−2ζ17+2ζ19−ζ23+2ζ25−2ζ28−ζ32 | 2ζ4−ζ5+2ζ7−2ζ8−2ζ14−ζ16−ζ17−2ζ19−2ζ25+2ζ26−ζ28+2ζ29 | 0 | 0 | 0 | 0 | 0 | 0 |
| χ11 | 24 | −2ζ−ζ2+2ζ5−2ζ10−ζ13+2ζ16+2ζ17−ζ20−2ζ23+2ζ28−ζ31−2ζ32 | 2ζ−2ζ2−ζ4−ζ7+2ζ10−2ζ13−2ζ20+2ζ23−ζ26−ζ29−2ζ31+2ζ32 | −ζ−2ζ5+2ζ8−ζ10+2ζ14−2ζ16−2ζ17+2ζ19−ζ23+2ζ25−2ζ28−ζ32 | 2ζ4−ζ5+2ζ7−2ζ8−2ζ14−ζ16−ζ17−2ζ19−2ζ25+2ζ26−ζ28+2ζ29 | 2ζ2−2ζ4−2ζ7−ζ8+2ζ13−ζ14−ζ19+2ζ20−ζ25−2ζ26−2ζ29+2ζ31 | 0 | 0 | 0 | 0 | 0 | 0 |
| χ12 | 24 | −ζ−2ζ5+2ζ8−ζ10+2ζ14−2ζ16−2ζ17+2ζ19−ζ23+2ζ25−2ζ28−ζ32 | −2ζ−ζ2+2ζ5−2ζ10−ζ13+2ζ16+2ζ17−ζ20−2ζ23+2ζ28−ζ31−2ζ32 | 2ζ4−ζ5+2ζ7−2ζ8−2ζ14−ζ16−ζ17−2ζ19−2ζ25+2ζ26−ζ28+2ζ29 | 2ζ2−2ζ4−2ζ7−ζ8+2ζ13−ζ14−ζ19+2ζ20−ζ25−2ζ26−2ζ29+2ζ31 | 2ζ−2ζ2−ζ4−ζ7+2ζ10−2ζ13−2ζ20+2ζ23−ζ26−ζ29−2ζ31+2ζ32 | 0 | 0 | 0 | 0 | 0 | 0 |
Here ζ is a primitive root of unity of order 33 (ζ33 = 1); i = ζ8.
| maximal subgroup of | #72209675 |
Past the SmallGroups library coverage — no SmallGroups id. Construct it from its polycyclic presentation:
gap> F := FreeGroup(IsSyllableWordsFamily, "a", "b", "c", "d", "e", "f");;
gap> coll := SingleCollector(F, [3, 2, 2, 2, 11, 11]);;
gap> SetPower(coll, 2, F.4);;
gap> SetPower(coll, 3, F.4);;
gap> SetConjugate(coll, 2, 1, F.3);;
gap> SetConjugate(coll, 3, 1, F.2*F.3*F.4);;
gap> SetConjugate(coll, 3, 2, F.3*F.4);;
gap> SetConjugate(coll, 5, 1, F.5^5*F.6^9);;
gap> SetConjugate(coll, 5, 2, F.5^8*F.6^4);;
gap> SetConjugate(coll, 5, 3, F.5^6*F.6^5);;
gap> SetConjugate(coll, 5, 4, F.5^10);;
gap> SetConjugate(coll, 6, 1, F.5^10*F.6^5);;
gap> SetConjugate(coll, 6, 2, F.5^3*F.6^3);;
gap> SetConjugate(coll, 6, 3, F.5^8*F.6^5);;
gap> SetConjugate(coll, 6, 4, F.6^10);;
gap> UpdatePolycyclicCollector(coll);;
gap> G := GroupByRws(coll);