Copied to
clipboard

G = S3xC9:D4order 432 = 24·33

Direct product of S3 and C9:D4

direct product, metabelian, supersoluble, monomial

Aliases: S3xC9:D4, D18:3D6, D6:7D18, Dic9:1D6, C62.70D6, C9:5(S3xD4), (S3xC9):2D4, (C2xC18):8D6, (C2xC6):4D18, C22:4(S3xD9), C9:D12:5C2, D6:D9:5C2, (C6xC18):2C22, (S3xDic9):5C2, (S3xC6).34D6, (C6xD9):3C22, (C22xS3):4D9, C9:Dic3:1C22, C6.25(C22xD9), (S3xC18):10C22, C6.D18:3C2, (C3xC18).25C23, C18.25(C22xS3), (C3xDic9):1C22, (C2xS3xD9):4C2, (C3xC9):7(C2xD4), (S3xC2xC18):6C2, C6.44(C2xS32), (C2xC6).29S32, C3:2(C2xC9:D4), (S3xC2xC6).6S3, C2.25(C2xS3xD9), (C3xC9:D4):3C2, C3.3(S3xC3:D4), (C2xC9:S3):3C22, (C3xS3).(C3:D4), C32.4(C2xC3:D4), (C3xC6).93(C22xS3), SmallGroup(432,313)

Series: Derived Chief Lower central Upper central

C1C3xC18 — S3xC9:D4
C1C3C32C3xC9C3xC18S3xC18C2xS3xD9 — S3xC9:D4
C3xC9C3xC18 — S3xC9:D4
C1C2C22

Generators and relations for S3xC9:D4
 G = < a,b,c,d,e | a3=b2=c9=d4=e2=1, bab=a-1, ac=ca, ad=da, ae=ea, bc=cb, bd=db, be=eb, dcd-1=ece=c-1, ede=d-1 >

Subgroups: 1160 in 178 conjugacy classes, 47 normal (41 characteristic)
C1, C2, C2, C3, C3, C4, C22, C22, S3, S3, C6, C6, C2xC4, D4, C23, C9, C9, C32, Dic3, C12, D6, D6, C2xC6, C2xC6, C2xD4, D9, C18, C18, C3xS3, C3xS3, C3:S3, C3xC6, C3xC6, C4xS3, D12, C2xDic3, C3:D4, C3xD4, C22xS3, C22xS3, C22xC6, C3xC9, Dic9, Dic9, D18, D18, C2xC18, C2xC18, C3xDic3, C3:Dic3, S32, S3xC6, S3xC6, C2xC3:S3, C62, S3xD4, C2xC3:D4, C3xD9, S3xC9, S3xC9, C9:S3, C3xC18, C3xC18, C2xDic9, C9:D4, C9:D4, C22xD9, C22xC18, S3xDic3, D6:S3, C3:D12, C3xC3:D4, C32:7D4, C2xS32, S3xC2xC6, C3xDic9, C9:Dic3, S3xD9, C6xD9, S3xC18, S3xC18, C2xC9:S3, C6xC18, C2xC9:D4, S3xC3:D4, S3xDic9, D6:D9, C9:D12, C3xC9:D4, C6.D18, C2xS3xD9, S3xC2xC18, S3xC9:D4
Quotients: C1, C2, C22, S3, D4, C23, D6, C2xD4, D9, C3:D4, C22xS3, D18, S32, S3xD4, C2xC3:D4, C9:D4, C22xD9, C2xS32, S3xD9, C2xC9:D4, S3xC3:D4, C2xS3xD9, S3xC9:D4

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

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

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

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

63 conjugacy classes

class 1 2A2B2C2D2E2F2G3A3B3C4A4B6A6B6C6D6E6F6G6H6I6J6K6L6M9A9B9C9D9E9F 12 18A···18I18J···18R18S···18AD
order122222223334466666666666669999991218···1818···1818···18
size1123361854224185422224444666636222444362···24···46···6

63 irreducible representations

dim1111111122222222222224444444
type++++++++++++++++++++++++
imageC1C2C2C2C2C2C2C2S3S3D4D6D6D6D6D6D9C3:D4D18D18C9:D4S32S3xD4C2xS32S3xD9S3xC3:D4C2xS3xD9S3xC9:D4
kernelS3xC9:D4S3xDic9D6:D9C9:D12C3xC9:D4C6.D18C2xS3xD9S3xC2xC18C9:D4S3xC2xC6S3xC9Dic9D18C2xC18S3xC6C62C22xS3C3xS3D6C2xC6S3C2xC6C9C6C22C3C2C1
# reps11111111112111213463121113236

Matrix representation of S3xC9:D4 in GL6(F37)

100000
010000
0036100
0036000
000010
000001
,
3600000
0360000
000100
001000
0000360
0000036
,
1000000
0260000
001000
000100
000070
0000016
,
010000
3600000
0036000
0003600
000001
000010
,
010000
100000
001000
000100
000001
000010

G:=sub<GL(6,GF(37))| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,36,36,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[36,0,0,0,0,0,0,36,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,36,0,0,0,0,0,0,36],[10,0,0,0,0,0,0,26,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,7,0,0,0,0,0,0,16],[0,36,0,0,0,0,1,0,0,0,0,0,0,0,36,0,0,0,0,0,0,36,0,0,0,0,0,0,0,1,0,0,0,0,1,0],[0,1,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,1,0] >;

S3xC9:D4 in GAP, Magma, Sage, TeX

S_3\times C_9\rtimes D_4
% in TeX

G:=Group("S3xC9:D4");
// GroupNames label

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

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

G:=PCGroup([7,-2,-2,-2,-2,-3,-3,-3,135,3091,662,4037,7069]);
// Polycyclic

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

׿
x
:
Z
F
o
wr
Q
<