Copied to
clipboard

G = C3×C9⋊C8order 216 = 23·33

Direct product of C3 and C9⋊C8

direct product, metacyclic, supersoluble, monomial, A-group

Aliases: C3×C9⋊C8, C93C24, C36.6C6, C12.8D9, C18.3C12, C6.4Dic9, (C3×C9)⋊2C8, C4.2(C3×D9), C2.(C3×Dic9), C12.8(C3×S3), (C3×C36).4C2, (C3×C18).2C4, (C3×C12).15S3, C32.2(C3⋊C8), (C3×C6).6Dic3, C6.1(C3×Dic3), C3.1(C3×C3⋊C8), SmallGroup(216,12)

Series: Derived Chief Lower central Upper central

C1C9 — C3×C9⋊C8
C1C3C9C18C36C3×C36 — C3×C9⋊C8
C9 — C3×C9⋊C8
C1C12

Generators and relations for C3×C9⋊C8
 G = < a,b,c | a3=b9=c8=1, ab=ba, ac=ca, cbc-1=b-1 >

2C3
2C6
2C9
9C8
2C12
2C18
3C3⋊C8
9C24
2C36
3C3×C3⋊C8

Smallest permutation representation of C3×C9⋊C8
On 72 points
Generators in S72
(1 7 4)(2 8 5)(3 9 6)(10 16 13)(11 17 14)(12 18 15)(19 25 22)(20 26 23)(21 27 24)(28 34 31)(29 35 32)(30 36 33)(37 40 43)(38 41 44)(39 42 45)(46 49 52)(47 50 53)(48 51 54)(55 58 61)(56 59 62)(57 60 63)(64 67 70)(65 68 71)(66 69 72)
(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)(28 29 30 31 32 33 34 35 36)(37 38 39 40 41 42 43 44 45)(46 47 48 49 50 51 52 53 54)(55 56 57 58 59 60 61 62 63)(64 65 66 67 68 69 70 71 72)
(1 68 31 50 13 59 22 41)(2 67 32 49 14 58 23 40)(3 66 33 48 15 57 24 39)(4 65 34 47 16 56 25 38)(5 64 35 46 17 55 26 37)(6 72 36 54 18 63 27 45)(7 71 28 53 10 62 19 44)(8 70 29 52 11 61 20 43)(9 69 30 51 12 60 21 42)

G:=sub<Sym(72)| (1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24)(28,34,31)(29,35,32)(30,36,33)(37,40,43)(38,41,44)(39,42,45)(46,49,52)(47,50,53)(48,51,54)(55,58,61)(56,59,62)(57,60,63)(64,67,70)(65,68,71)(66,69,72), (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)(28,29,30,31,32,33,34,35,36)(37,38,39,40,41,42,43,44,45)(46,47,48,49,50,51,52,53,54)(55,56,57,58,59,60,61,62,63)(64,65,66,67,68,69,70,71,72), (1,68,31,50,13,59,22,41)(2,67,32,49,14,58,23,40)(3,66,33,48,15,57,24,39)(4,65,34,47,16,56,25,38)(5,64,35,46,17,55,26,37)(6,72,36,54,18,63,27,45)(7,71,28,53,10,62,19,44)(8,70,29,52,11,61,20,43)(9,69,30,51,12,60,21,42)>;

G:=Group( (1,7,4)(2,8,5)(3,9,6)(10,16,13)(11,17,14)(12,18,15)(19,25,22)(20,26,23)(21,27,24)(28,34,31)(29,35,32)(30,36,33)(37,40,43)(38,41,44)(39,42,45)(46,49,52)(47,50,53)(48,51,54)(55,58,61)(56,59,62)(57,60,63)(64,67,70)(65,68,71)(66,69,72), (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)(28,29,30,31,32,33,34,35,36)(37,38,39,40,41,42,43,44,45)(46,47,48,49,50,51,52,53,54)(55,56,57,58,59,60,61,62,63)(64,65,66,67,68,69,70,71,72), (1,68,31,50,13,59,22,41)(2,67,32,49,14,58,23,40)(3,66,33,48,15,57,24,39)(4,65,34,47,16,56,25,38)(5,64,35,46,17,55,26,37)(6,72,36,54,18,63,27,45)(7,71,28,53,10,62,19,44)(8,70,29,52,11,61,20,43)(9,69,30,51,12,60,21,42) );

G=PermutationGroup([(1,7,4),(2,8,5),(3,9,6),(10,16,13),(11,17,14),(12,18,15),(19,25,22),(20,26,23),(21,27,24),(28,34,31),(29,35,32),(30,36,33),(37,40,43),(38,41,44),(39,42,45),(46,49,52),(47,50,53),(48,51,54),(55,58,61),(56,59,62),(57,60,63),(64,67,70),(65,68,71),(66,69,72)], [(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),(28,29,30,31,32,33,34,35,36),(37,38,39,40,41,42,43,44,45),(46,47,48,49,50,51,52,53,54),(55,56,57,58,59,60,61,62,63),(64,65,66,67,68,69,70,71,72)], [(1,68,31,50,13,59,22,41),(2,67,32,49,14,58,23,40),(3,66,33,48,15,57,24,39),(4,65,34,47,16,56,25,38),(5,64,35,46,17,55,26,37),(6,72,36,54,18,63,27,45),(7,71,28,53,10,62,19,44),(8,70,29,52,11,61,20,43),(9,69,30,51,12,60,21,42)])

C3×C9⋊C8 is a maximal subgroup of
C36.38D6  C36.40D6  D6.Dic9  C9⋊D24  C36.D6  C18.D12  C9⋊Dic12  D9×C24

72 conjugacy classes

class 1  2 3A3B3C3D3E4A4B6A6B6C6D6E8A8B8C8D9A···9I12A12B12C12D12E···12J18A···18I24A···24H36A···36R
order1233333446666688889···91212121212···1218···1824···2436···36
size1111222111122299992···211112···22···29···92···2

72 irreducible representations

dim11111111222222222222
type+++-+-
imageC1C2C3C4C6C8C12C24S3Dic3D9C3×S3C3⋊C8Dic9C3×Dic3C3×D9C9⋊C8C3×C3⋊C8C3×Dic9C3×C9⋊C8
kernelC3×C9⋊C8C3×C36C9⋊C8C3×C18C36C3×C9C18C9C3×C12C3×C6C12C12C32C6C6C4C3C3C2C1
# reps112224481132232664612

Matrix representation of C3×C9⋊C8 in GL2(𝔽37) generated by

260
026
,
340
012
,
031
10
G:=sub<GL(2,GF(37))| [26,0,0,26],[34,0,0,12],[0,1,31,0] >;

C3×C9⋊C8 in GAP, Magma, Sage, TeX

C_3\times C_9\rtimes C_8
% in TeX

G:=Group("C3xC9:C8");
// GroupNames label

G:=SmallGroup(216,12);
// by ID

G=gap.SmallGroup(216,12);
# by ID

G:=PCGroup([6,-2,-3,-2,-2,-3,-3,36,50,3604,208,5189]);
// Polycyclic

G:=Group<a,b,c|a^3=b^9=c^8=1,a*b=b*a,a*c=c*a,c*b*c^-1=b^-1>;
// generators/relations

Export

Subgroup lattice of C3×C9⋊C8 in TeX

׿
×
𝔽