Copied to
clipboard

G = C9⋊C9⋊S3  order 486 = 2·35

1st semidirect product of C9⋊C9 and S3 acting faithfully

non-abelian, supersoluble, monomial

Aliases: C9⋊C9⋊1S3, He3⋊S3.C3, C32.6He3⋊C2, He3⋊C3.2C6, C32.5(C32⋊C6), C3.9(He3.2C6), (C3×C9).4(C3×S3), SmallGroup(486,41)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series
C1 — C32 — He3⋊C3 — C9⋊C9⋊S3
Chief series
C1 — C3 — C32 — C3×C9 — He3⋊C3 — C32.6He3 — C9⋊C9⋊S3
Lower central
He3⋊C3 — C9⋊C9⋊S3
Upper central
C1

Generators and relations for C9⋊C9⋊S3
 G = < a,b,c,d | a9=b9=c3=d2=1, bab-1=a7, cac-1=a4b6, dad=a-1, cbc-1=a7b4, bd=db, dcd=c-1 >

C1
27C2
C3
3C3
27C3
9S3
27C6
81S3
C32
3C9
9C9
9C32
18C9
3D9
9C3×S3
9C3⋊S3
27C18
C3×C9
3He3
3C3×C9
63- 1+2
3C3×D9
9S3×C9
9C32⋊C6
C9⋊C9
He3⋊C3
2C3.He3
He3⋊S3
3C9⋊C18
C32.6He3
C9⋊C9⋊S3

Character table of C9⋊C9⋊S3

 class 123A3B3C3D6A6B9A9B9C9D9E9F9G9H9I18A18B18C18D18E18F
 size 127233542727999999185454272727272727
ρ111111111111111111111111    trivial
ρ21-11111-1-1111111111-1-1-1-1-1-1    linear of order 2
ρ31-11111-1-1ζ32ζ3ζ32ζ3ζ3ζ321ζ3ζ32ζ6ζ65ζ65ζ6ζ6ζ65    linear of order 6
ρ41-11111-1-1ζ3ζ32ζ3ζ32ζ32ζ31ζ32ζ3ζ65ζ6ζ6ζ65ζ65ζ6    linear of order 6
ρ511111111ζ32ζ3ζ32ζ3ζ3ζ321ζ3ζ32ζ32ζ3ζ3ζ32ζ32ζ3    linear of order 3
ρ611111111ζ3ζ32ζ3ζ32ζ32ζ31ζ32ζ3ζ3ζ32ζ32ζ3ζ3ζ32    linear of order 3
ρ720222-1002222222-1-1000000    orthogonal lifted from S3
ρ820222-100-1+√-3-1-√-3-1+√-3-1-√-3-1-√-3-1+√-32ζ6ζ65000000    complex lifted from C3×S3
ρ920222-100-1-√-3-1+√-3-1-√-3-1+√-3-1+√-3-1-√-32ζ65ζ6000000    complex lifted from C3×S3
ρ10313-3-3√-3/2-3+3√-3/20ζ32ζ32ζ98+ζ922ζ97+ζ94ζ95+2ζ92ζ97+2ζ92ζ94+ζ9ζ98+2ζ95000ζ95ζ97ζ9ζ98ζ92ζ94    complex lifted from He3.2C6
ρ11313-3-3√-3/2-3+3√-3/20ζ32ζ3ζ95+2ζ922ζ94+ζ9ζ98+2ζ952ζ97+ζ94ζ97+2ζ92ζ98+ζ92000ζ98ζ94ζ97ζ92ζ95ζ9    complex lifted from He3.2C6
ρ123-13-3-3√-3/2-3+3√-3/20ζ6ζ652ζ98+ζ922ζ97+ζ94ζ95+2ζ92ζ97+2ζ92ζ94+ζ9ζ98+2ζ95000-ζ95-ζ97-ζ9-ζ98-ζ92-ζ94    complex lifted from He3.2C6
ρ133-13-3+3√-3/2-3-3√-3/20ζ65ζ62ζ94+ζ92ζ98+ζ92ζ97+2ζ9ζ98+2ζ95ζ95+2ζ922ζ97+ζ94000-ζ97-ζ98-ζ95-ζ94-ζ9-ζ92    complex lifted from He3.2C6
ρ143-13-3-3√-3/2-3+3√-3/20ζ6ζ65ζ95+2ζ922ζ94+ζ9ζ98+2ζ952ζ97+ζ94ζ97+2ζ92ζ98+ζ92000-ζ98-ζ94-ζ97-ζ92-ζ95-ζ9    complex lifted from He3.2C6
ρ15313-3-3√-3/2-3+3√-3/20ζ32ζ3ζ98+2ζ95ζ97+2ζ92ζ98+ζ922ζ94+ζ92ζ97+ζ94ζ95+2ζ92000ζ92ζ9ζ94ζ95ζ98ζ97    complex lifted from He3.2C6
ρ163-13-3+3√-3/2-3-3√-3/20ζ65ζ62ζ97+ζ94ζ98+2ζ952ζ94+ζ9ζ95+2ζ922ζ98+ζ92ζ97+2ζ9000-ζ9-ζ95-ζ92-ζ97-ζ94-ζ98    complex lifted from He3.2C6
ρ17313-3+3√-3/2-3-3√-3/20ζ3ζ32ζ97+2ζ9ζ95+2ζ922ζ97+ζ942ζ98+ζ92ζ98+2ζ952ζ94+ζ9000ζ94ζ92ζ98ζ9ζ97ζ95    complex lifted from He3.2C6
ρ18313-3+3√-3/2-3-3√-3/20ζ3ζ322ζ97+ζ94ζ98+2ζ952ζ94+ζ9ζ95+2ζ922ζ98+ζ92ζ97+2ζ9000ζ9ζ95ζ92ζ97ζ94ζ98    complex lifted from He3.2C6
ρ193-13-3-3√-3/2-3+3√-3/20ζ6ζ65ζ98+2ζ95ζ97+2ζ92ζ98+ζ922ζ94+ζ92ζ97+ζ94ζ95+2ζ92000-ζ92-ζ9-ζ94-ζ95-ζ98-ζ97    complex lifted from He3.2C6
ρ20313-3+3√-3/2-3-3√-3/20ζ3ζ322ζ94+ζ92ζ98+ζ92ζ97+2ζ9ζ98+2ζ95ζ95+2ζ922ζ97+ζ94000ζ97ζ98ζ95ζ94ζ9ζ92    complex lifted from He3.2C6
ρ213-13-3+3√-3/2-3-3√-3/20ζ65ζ6ζ97+2ζ9ζ95+2ζ922ζ97+ζ942ζ98+ζ92ζ98+2ζ952ζ94+ζ9000-ζ94-ζ92-ζ98-ζ9-ζ97-ζ95    complex lifted from He3.2C6
ρ2260666000000000-300000000    orthogonal lifted from C32⋊C6
ρ23180-900000000000000000000    orthogonal faithful

Permutation representations of C9⋊C9⋊S3
►On 27 points - transitive group 27T157
Generators in S27
(1 2 3 4 5 6 7 8 9)(10 11 12 13 14 15 16 17 18)(19 20 21 22 23 24 25 26 27)

(2 5 8)(3 9 6)(10 14 12 13 17 15 16 11 18)(19 27 23 25 24 20 22 21 26)

(1 17 26)(2 15 24)(3 13 22)(4 11 20)(5 18 27)(6 16 25)(7 14 23)(8 12 21)(9 10 19)

(2 9)(3 8)(4 7)(5 6)(10 24)(11 23)(12 22)(13 21)(14 20)(15 19)(16 27)(17 26)(18 25)
 
G:=sub<Sym(27)| (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18)(19,20,21,22,23,24,25,26,27), (2,5,8)(3,9,6)(10,14,12,13,17,15,16,11,18)(19,27,23,25,24,20,22,21,26), (1,17,26)(2,15,24)(3,13,22)(4,11,20)(5,18,27)(6,16,25)(7,14,23)(8,12,21)(9,10,19), (2,9)(3,8)(4,7)(5,6)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,27)(17,26)(18,25)>;
 
G:=Group( (1,2,3,4,5,6,7,8,9)(10,11,12,13,14,15,16,17,18)(19,20,21,22,23,24,25,26,27), (2,5,8)(3,9,6)(10,14,12,13,17,15,16,11,18)(19,27,23,25,24,20,22,21,26), (1,17,26)(2,15,24)(3,13,22)(4,11,20)(5,18,27)(6,16,25)(7,14,23)(8,12,21)(9,10,19), (2,9)(3,8)(4,7)(5,6)(10,24)(11,23)(12,22)(13,21)(14,20)(15,19)(16,27)(17,26)(18,25) );
 
G=PermutationGroup([[(1,2,3,4,5,6,7,8,9),(10,11,12,13,14,15,16,17,18),(19,20,21,22,23,24,25,26,27)], [(2,5,8),(3,9,6),(10,14,12,13,17,15,16,11,18),(19,27,23,25,24,20,22,21,26)], [(1,17,26),(2,15,24),(3,13,22),(4,11,20),(5,18,27),(6,16,25),(7,14,23),(8,12,21),(9,10,19)], [(2,9),(3,8),(4,7),(5,6),(10,24),(11,23),(12,22),(13,21),(14,20),(15,19),(16,27),(17,26),(18,25)]])
 
G:=TransitiveGroup(27,157);
 

Matrix representation of C9⋊C9⋊S3 ►in GL18(ℤ)

001000000000000000
000100000000000000
000010000000000000
000001000000000000
-1-10000000000000000
100000000000000000
00000000-1-100000000
000000001000000000
0000000000-1-1000000
000000000010000000
000000010000000000
000000-1-10000000000
00000000000000-1-100
000000000000001000
0000000000000000-1-1
000000000000000010
000000000000010000
000000000000-1-10000
,
100000000000000000
010000000000000000
000100000000000000
00-1-100000000000000
0000-1-1000000000000
000010000000000000
000000000100000000
00000000-1-100000000
0000000000-1-1000000
000000000010000000
000000-1-10000000000
000000100000000000
000000000000000010
000000000000000001
000000000000100000
000000000000010000
000000000000000100
00000000000000-1-100
,
000000000000100000
000000000000010000
000000000000001000
000000000000000100
000000000000000010
000000000000000001
100000000000000000
010000000000000000
001000000000000000
000100000000000000
000010000000000000
000001000000000000
000000100000000000
000000010000000000
000000001000000000
000000000100000000
000000000010000000
000000000001000000
,
100000000000000000
-1-10000000000000000
000001000000000000
000010000000000000
000100000000000000
001000000000000000
000000000000100000
000000000000-1-10000
000000000000000001
000000000000000010
000000000000000100
000000000000001000
000000100000000000
000000-1-10000000000
000000000001000000
000000000010000000
000000000100000000
000000001000000000

G:=sub<GL(18,Integers())| [0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0],[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0] >;
 

C9⋊C9⋊S3 in GAP, Magma, Sage, TeX 

C_9\rtimes C_9\rtimes S_3
 
% in TeX
 
G:=Group("C9:C9:S3");
 
// GroupNames label
 
G:=SmallGroup(486,41);
 
// by ID
 
G=gap.SmallGroup(486,41);
 
# by ID
 
G:=PCGroup([6,-2,-3,-3,-3,-3,-3,331,218,224,6051,2169,951,453,1096,11669]);
 
// Polycyclic
 
G:=Group<a,b,c,d|a^9=b^9=c^3=d^2=1,b*a*b^-1=a^7,c*a*c^-1=a^4*b^6,d*a*d=a^-1,c*b*c^-1=a^7*b^4,b*d=d*b,d*c*d=c^-1>;
 
// generators/relations
 

Export

Subgroup lattice of C9⋊C9⋊S3 in TeX
Character table of C9⋊C9⋊S3 in TeX

׿
×
⋊
ℤ
𝔽
○
≀
ℚ
◁