Copied to
clipboard

G = C3⋊S3×D12order 432 = 24·33

Direct product of C3⋊S3 and D12

direct product, metabelian, supersoluble, monomial

Aliases: C3⋊S3×D12, C121S32, (S3×C6)⋊3D6, C33(S3×D12), (C3×D12)⋊8S3, (C3×C12)⋊12D6, C3314(C2×D4), C3⋊Dic317D6, C3210(S3×D4), C337D43C2, C3213(C2×D12), C3312D48C2, (C32×D12)⋊12C2, (C32×C12)⋊4C22, (C32×C6).50C23, C42(S3×C3⋊S3), C31(D4×C3⋊S3), (C4×C3⋊S3)⋊8S3, C124(C2×C3⋊S3), C6.60(C2×S32), (C3×C3⋊S3)⋊8D4, D61(C2×C3⋊S3), (C12×C3⋊S3)⋊7C2, (S3×C3×C6)⋊11C22, (C2×C3⋊S3).53D6, C6.13(C22×C3⋊S3), (C6×C3⋊S3).55C22, (C3×C6).145(C22×S3), (C3×C3⋊Dic3)⋊13C22, (C2×C33⋊C2)⋊5C22, (C2×S3×C3⋊S3)⋊6C2, C2.16(C2×S3×C3⋊S3), SmallGroup(432,672)

Series: Derived Chief Lower central Upper central

C1C32×C6 — C3⋊S3×D12
C1C3C32C33C32×C6S3×C3×C6C2×S3×C3⋊S3 — C3⋊S3×D12
C33C32×C6 — C3⋊S3×D12
C1C2C4

Generators and relations for C3⋊S3×D12
 G = < a,b,c,d,e | a3=b3=c2=d12=e2=1, ab=ba, cac=a-1, ad=da, ae=ea, cbc=b-1, bd=db, be=eb, cd=dc, ce=ec, ede=d-1 >

Subgroups: 2904 in 388 conjugacy classes, 72 normal (22 characteristic)
C1, C2, C2 [×6], C3, C3 [×4], C3 [×4], C4, C4, C22 [×9], S3 [×28], C6, C6 [×4], C6 [×14], C2×C4, D4 [×4], C23 [×2], C32, C32 [×4], C32 [×4], Dic3 [×4], C12, C12 [×4], C12 [×5], D6 [×2], D6 [×42], C2×C6 [×9], C2×D4, C3×S3 [×16], C3⋊S3 [×2], C3⋊S3 [×18], C3×C6, C3×C6 [×4], C3×C6 [×6], C4×S3 [×4], D12, D12 [×11], C3⋊D4 [×8], C2×C12, C3×D4 [×4], C22×S3 [×10], C33, C3×Dic3 [×4], C3⋊Dic3, C3×C12, C3×C12 [×4], C3×C12 [×4], S32 [×16], S3×C6 [×8], S3×C6 [×4], C2×C3⋊S3, C2×C3⋊S3 [×22], C62 [×2], C2×D12, S3×D4 [×4], S3×C32 [×2], C3×C3⋊S3 [×2], C33⋊C2 [×2], C32×C6, C3⋊D12 [×8], S3×C12 [×4], C3×D12 [×4], C4×C3⋊S3, C12⋊S3 [×9], C327D4 [×2], D4×C32, C2×S32 [×8], C22×C3⋊S3 [×2], C3×C3⋊Dic3, C32×C12, S3×C3⋊S3 [×4], S3×C3×C6 [×2], C6×C3⋊S3, C2×C33⋊C2 [×2], S3×D12 [×4], D4×C3⋊S3, C337D4 [×2], C32×D12, C12×C3⋊S3, C3312D4, C2×S3×C3⋊S3 [×2], C3⋊S3×D12
Quotients: C1, C2 [×7], C22 [×7], S3 [×5], D4 [×2], C23, D6 [×15], C2×D4, C3⋊S3, D12 [×2], C22×S3 [×5], S32 [×4], C2×C3⋊S3 [×3], C2×D12, S3×D4 [×4], C2×S32 [×4], C22×C3⋊S3, S3×C3⋊S3, S3×D12 [×4], D4×C3⋊S3, C2×S3×C3⋊S3, C3⋊S3×D12

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

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

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

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

54 conjugacy classes

class 1 2A2B2C2D2E2F2G3A···3E3F3G3H3I4A4B6A···6E6F6G6H6I6J···6Q6R6S12A12B12C···12N12O12P
order122222223···33333446···666666···666121212···121212
size11669954542···244442182···2444412···121818224···41818

54 irreducible representations

dim111111222222224444
type++++++++++++++++++
imageC1C2C2C2C2C2S3S3D4D6D6D6D6D12S32S3×D4C2×S32S3×D12
kernelC3⋊S3×D12C337D4C32×D12C12×C3⋊S3C3312D4C2×S3×C3⋊S3C3×D12C4×C3⋊S3C3×C3⋊S3C3⋊Dic3C3×C12S3×C6C2×C3⋊S3C3⋊S3C12C32C6C3
# reps121112412158144448

Matrix representation of C3⋊S3×D12 in GL8(𝔽13)

10000000
01000000
000120000
001120000
00001000
00000100
00000010
00000001
,
10000000
01000000
00100000
00010000
000012100
000012000
00000010
00000001
,
10000000
01000000
00010000
00100000
000001200
000012000
00000010
00000001
,
123000000
81000000
00100000
00010000
000012000
000001200
000000121
000000120
,
120000000
81000000
00100000
00010000
000012000
000001200
000000120
000000121

G:=sub<GL(8,GF(13))| [1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,12,12,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,12,12,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1],[12,8,0,0,0,0,0,0,3,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,12,12,0,0,0,0,0,0,1,0],[12,8,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,12,12,0,0,0,0,0,0,0,1] >;

C3⋊S3×D12 in GAP, Magma, Sage, TeX

C_3\rtimes S_3\times D_{12}
% in TeX

G:=Group("C3:S3xD12");
// GroupNames label

G:=SmallGroup(432,672);
// by ID

G=gap.SmallGroup(432,672);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-3,-3,-3,254,58,571,2028,14118]);
// Polycyclic

G:=Group<a,b,c,d,e|a^3=b^3=c^2=d^12=e^2=1,a*b=b*a,c*a*c=a^-1,a*d=d*a,a*e=e*a,c*b*c=b^-1,b*d=d*b,b*e=e*b,c*d=d*c,c*e=e*c,e*d*e=d^-1>;
// generators/relations

׿
×
𝔽