C3xD4:D9 - GroupNames

G = C₃×D₄⋊D₉ order 432 = 2⁴·3³

Direct product of C₃ and D₄⋊D₉

direct product, metabelian, supersoluble, monomial

Aliases: C₃×D₄⋊D₉, D₃₆⋊₈C₆, C₁₂.₄₅D₁₈, C₉⋊C₈⋊₉C₆, D₄⋊(C₃×D₉), (C₃×C₉)⋊₈D₈, C₉⋊₅(C₃×D₈), (C₃×D₄)⋊₄D₉, (D₄×C₉)⋊₇C₆, C₄.₂(C₆×D₉), (C₃×D₃₆)⋊₆C₂, C₁₂.₂(S₃×C₆), C₃₆.₂₂(C₂×C₆), C₁₈.₂₄(C₃×D₄), (C₃×C₁₈).₄₁D₄, (C₃×C₁₂).₈₂D₆, C₆.₃₂(C₉⋊D₄), (D₄×C₃²).₈S₃, (C₃×C₃₆).₁₇C₂², C₃².₄(D₄⋊S₃), (C₃×C₉⋊C₈)⋊₅C₂, (D₄×C₃×C₉)⋊₁C₂, C₃.₁(C₃×D₄⋊S₃), C₂.₅(C₃×C₉⋊D₄), (C₃×D₄).₂(C₃×S₃), C₆.₁₉(C₃×C₃⋊D₄), (C₃×C₆).₉₃(C₃⋊D₄), SmallGroup(432,149)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series

C₁ — C₃₆ — C₃×D₄⋊D₉

Chief series

C₁ — C₃ — C₉ — C₁₈ — C₃₆ — C₃×C₃₆ — C₃×D₃₆ — C₃×D₄⋊D₉

Lower central

C₉ — C₁₈ — C₃₆ — C₃×D₄⋊D₉

Upper central

C₁ — C₆ — C₁₂ — C₃×D₄

Generators and relations for C₃×D₄⋊D₉
G = < a,b,c,d,e | a³=b⁴=c²=d⁹=e²=1, ab=ba, ac=ca, ad=da, ae=ea, cbc=ebe=b^-1, bd=db, cd=dc, ece=bc, ede=d^-1 >

Subgroups: 334 in 82 conjugacy classes, 30 normal (all characteristic)
C₁, C₂, C₂, C₃, C₃, C₄, C₂², S₃, C₆, C₆, C₈, D₄, D₄, C₉, C₉, C₃², C₁₂, C₁₂, D₆, C₂×C₆, D₈, D₉, C₁₈, C₁₈, C₃×S₃, C₃×C₆, C₃×C₆, C₃⋊C₈, C₂₄, D₁₂, C₃×D₄, C₃×D₄, C₃×C₉, C₃₆, C₃₆, D₁₈, C₂×C₁₈, C₃×C₁₂, S₃×C₆, C₆², D₄⋊S₃, C₃×D₈, C₃×D₉, C₃×C₁₈, C₃×C₁₈, C₉⋊C₈, D₃₆, D₄×C₉, D₄×C₉, C₃×C₃⋊C₈, C₃×D₁₂, D₄×C₃², C₃×C₃₆, C₆×D₉, C₆×C₁₈, D₄⋊D₉, C₃×D₄⋊S₃, C₃×C₉⋊C₈, C₃×D₃₆, D₄×C₃×C₉, C₃×D₄⋊D₉
Quotients: C₁, C₂, C₃, C₂², S₃, C₆, D₄, D₆, C₂×C₆, D₈, D₉, C₃×S₃, C₃⋊D₄, C₃×D₄, D₁₈, S₃×C₆, D₄⋊S₃, C₃×D₈, C₃×D₉, C₉⋊D₄, C₃×C₃⋊D₄, C₆×D₉, D₄⋊D₉, C₃×D₄⋊S₃, C₃×C₉⋊D₄, C₃×D₄⋊D₉

Smallest permutation representation of C₃×D₄⋊D₉
►On 72 points

Generators in S₇₂

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

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

(1 19)(2 20)(3 21)(4 22)(5 23)(6 24)(7 25)(8 26)(9 27)(10 28)(11 29)(12 30)(13 31)(14 32)(15 33)(16 34)(17 35)(18 36)(37 46)(38 47)(39 48)(40 49)(41 50)(42 51)(43 52)(44 53)(45 54)

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

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

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

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

81 conjugacy classes

class	1	2A	2B	2C	3A	3B	3C	3D	3E	4	6A	6B	6C	6D	6E	6F	···	6M	6N	6O	8A	8B	9A	···	9I	12A	12B	12C	12D	12E	18A	···	18I	18J	···	18AA	24A	24B	24C	24D	36A	···	36I
order	1	2	2	2	3	3	3	3	3	4	6	6	6	6	6	6	···	6	6	6	8	8	9	···	9	12	12	12	12	12	18	···	18	18	···	18	24	24	24	24	36	···	36
size	1	1	4	36	1	1	2	2	2	2	1	1	2	2	2	4	···	4	36	36	18	18	2	···	2	2	2	4	4	4	2	···	2	4	···	4	18	18	18	18	4	···	4

81 irreducible representations

dim	1	1	1	1	1	1	1	1	2	2	2	2	2	2	2	2	2	2	2	2	2	2	2	2	4	4	4	4
type	+	+	+	+					+	+	+	+	+				+								+	+
image	C₁	C₂	C₂	C₂	C₃	C₆	C₆	C₆	S₃	D₄	D₆	D₈	D₉	C₃×S₃	C₃×D₄	C₃⋊D₄	D₁₈	S₃×C₆	C₃×D₈	C₃×D₉	C₉⋊D₄	C₃×C₃⋊D₄	C₆×D₉	C₃×C₉⋊D₄	D₄⋊S₃	D₄⋊D₉	C₃×D₄⋊S₃	C₃×D₄⋊D₉
kernel	C₃×D₄⋊D₉	C₃×C₉⋊C₈	C₃×D₃₆	D₄×C₃×C₉	D₄⋊D₉	C₉⋊C₈	D₃₆	D₄×C₉	D₄×C₃²	C₃×C₁₈	C₃×C₁₂	C₃×C₉	C₃×D₄	C₃×D₄	C₁₈	C₃×C₆	C₁₂	C₁₂	C₉	D₄	C₆	C₆	C₄	C₂	C₃²	C₃	C₃	C₁
# reps	1	1	1	1	2	2	2	2	1	1	1	2	3	2	2	2	3	2	4	6	6	4	6	12	1	3	2	6

Matrix representation of C₃×D₄⋊D₉ ►in GL₄(𝔽₇₃) generated by

64	0	0	0
0	64	0	0
0	0	1	0
0	0	0	1

1	0	0	0
0	1	0	0
0	0	0	1
0	0	72	0

72	0	0	0
0	72	0	0
0	0	0	1
0	0	1	0

55	0	0	0
0	4	0	0
0	0	1	0
0	0	0	1

0	69	0	0
18	0	0	0
0	0	16	57
0	0	57	57

G:=sub<GL(4,GF(73))| [64,0,0,0,0,64,0,0,0,0,1,0,0,0,0,1],[1,0,0,0,0,1,0,0,0,0,0,72,0,0,1,0],[72,0,0,0,0,72,0,0,0,0,0,1,0,0,1,0],[55,0,0,0,0,4,0,0,0,0,1,0,0,0,0,1],[0,18,0,0,69,0,0,0,0,0,16,57,0,0,57,57] >;

C₃×D₄⋊D₉ in GAP, Magma, Sage, TeX

C_3\times D_4\rtimes D_9

% in TeX

G:=Group("C3xD4:D9");

// GroupNames label

G:=SmallGroup(432,149);

// by ID

G=gap.SmallGroup(432,149);

# by ID

G:=PCGroup([7,-2,-2,-3,-2,-2,-3,-3,197,1011,514,80,10085,292,14118]);

// Polycyclic

G:=Group<a,b,c,d,e|a^3=b^4=c^2=d^9=e^2=1,a*b=b*a,a*c=c*a,a*d=d*a,a*e=e*a,c*b*c=e*b*e=b^-1,b*d=d*b,c*d=d*c,e*c*e=b*c,e*d*e=d^-1>;

// generators/relations

G = C3×D4⋊D9 order 432 = 24·33

Direct product of C3 and D4⋊D9

G = C₃×D₄⋊D₉ order 432 = 2⁴·3³

Direct product of C₃ and D₄⋊D₉