Copied to
clipboard

G = C4○D12⋊C4order 192 = 26·3

3rd semidirect product of C4○D12 and C4 acting via C4/C2=C2

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: C4○D123C4, D1220(C2×C4), C4⋊C4.226D6, (C2×C4).43D12, C4.60(C2×D12), C4.37(D6⋊C4), Dic618(C2×C4), C12.140(C2×D4), (C2×C12).134D4, C6.D824C2, C6.SD1624C2, C6.83(C8⋊C22), C12.60(C22×C4), C22.4(D6⋊C4), (C22×C6).184D4, (C22×C4).109D6, C12.20(C22⋊C4), (C2×C12).319C23, C2.2(D126C22), C6.83(C8.C22), C23.83(C3⋊D4), C33(C23.36D4), C2.2(Q8.11D6), (C2×D12).233C22, (C22×C12).134C22, (C2×Dic6).260C22, (C6×C4⋊C4)⋊2C2, (C2×C4⋊C4)⋊2S3, C4.49(S3×C2×C4), (C2×C4).39(C4×S3), C2.12(C2×D6⋊C4), (C2×C12).78(C2×C4), (C2×C4○D12).6C2, (C2×C6).439(C2×D4), (C2×C3⋊C8).80C22, C6.39(C2×C22⋊C4), (C2×C4.Dic3)⋊8C2, C22.58(C2×C3⋊D4), (C2×C4).182(C3⋊D4), (C3×C4⋊C4).257C22, (C2×C6).58(C22⋊C4), (C2×C4).419(C22×S3), SmallGroup(192,525)

Series: Derived Chief Lower central Upper central

C1C12 — C4○D12⋊C4
C1C3C6C2×C6C2×C12C2×D12C2×C4○D12 — C4○D12⋊C4
C3C6C12 — C4○D12⋊C4
C1C22C22×C4C2×C4⋊C4

Generators and relations for C4○D12⋊C4
 G = < a,b,c,d | a4=c2=d4=1, b6=a2, ab=ba, ac=ca, dad-1=a-1, cbc=a2b5, dbd-1=a2b, dcd-1=b3c >

Subgroups: 440 in 162 conjugacy classes, 63 normal (29 characteristic)
C1, C2 [×3], C2 [×4], C3, C4 [×2], C4 [×2], C4 [×4], C22, C22 [×2], C22 [×6], S3 [×2], C6 [×3], C6 [×2], C8 [×2], C2×C4 [×2], C2×C4 [×4], C2×C4 [×9], D4 [×7], Q8 [×3], C23, C23, Dic3 [×2], C12 [×2], C12 [×2], C12 [×2], D6 [×4], C2×C6, C2×C6 [×2], C2×C6 [×2], C4⋊C4 [×2], C4⋊C4, C2×C8 [×2], M4(2) [×2], C22×C4, C22×C4 [×2], C2×D4 [×2], C2×Q8, C4○D4 [×6], C3⋊C8 [×2], Dic6 [×2], Dic6, C4×S3 [×4], D12 [×2], D12, C2×Dic3, C3⋊D4 [×4], C2×C12 [×2], C2×C12 [×4], C2×C12 [×4], C22×S3, C22×C6, D4⋊C4 [×2], Q8⋊C4 [×2], C2×C4⋊C4, C2×M4(2), C2×C4○D4, C2×C3⋊C8 [×2], C4.Dic3 [×2], C3×C4⋊C4 [×2], C3×C4⋊C4, C2×Dic6, S3×C2×C4, C2×D12, C4○D12 [×4], C4○D12 [×2], C2×C3⋊D4, C22×C12, C22×C12, C23.36D4, C6.D8 [×2], C6.SD16 [×2], C2×C4.Dic3, C6×C4⋊C4, C2×C4○D12, C4○D12⋊C4
Quotients: C1, C2 [×7], C4 [×4], C22 [×7], S3, C2×C4 [×6], D4 [×4], C23, D6 [×3], C22⋊C4 [×4], C22×C4, C2×D4 [×2], C4×S3 [×2], D12 [×2], C3⋊D4 [×2], C22×S3, C2×C22⋊C4, C8⋊C22, C8.C22, D6⋊C4 [×4], S3×C2×C4, C2×D12, C2×C3⋊D4, C23.36D4, C2×D6⋊C4, D126C22, Q8.11D6, C4○D12⋊C4

Smallest permutation representation of C4○D12⋊C4
On 96 points
Generators in S96
(1 60 7 54)(2 49 8 55)(3 50 9 56)(4 51 10 57)(5 52 11 58)(6 53 12 59)(13 62 19 68)(14 63 20 69)(15 64 21 70)(16 65 22 71)(17 66 23 72)(18 67 24 61)(25 79 31 73)(26 80 32 74)(27 81 33 75)(28 82 34 76)(29 83 35 77)(30 84 36 78)(37 93 43 87)(38 94 44 88)(39 95 45 89)(40 96 46 90)(41 85 47 91)(42 86 48 92)
(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)(73 74 75 76 77 78 79 80 81 82 83 84)(85 86 87 88 89 90 91 92 93 94 95 96)
(1 12)(2 11)(3 10)(4 9)(5 8)(6 7)(13 18)(14 17)(15 16)(19 24)(20 23)(21 22)(25 33)(26 32)(27 31)(28 30)(34 36)(37 39)(40 48)(41 47)(42 46)(43 45)(49 58)(50 57)(51 56)(52 55)(53 54)(59 60)(61 68)(62 67)(63 66)(64 65)(69 72)(70 71)(73 81)(74 80)(75 79)(76 78)(82 84)(85 91)(86 90)(87 89)(92 96)(93 95)
(1 46 16 25)(2 41 17 32)(3 48 18 27)(4 43 19 34)(5 38 20 29)(6 45 21 36)(7 40 22 31)(8 47 23 26)(9 42 24 33)(10 37 13 28)(11 44 14 35)(12 39 15 30)(49 91 66 80)(50 86 67 75)(51 93 68 82)(52 88 69 77)(53 95 70 84)(54 90 71 79)(55 85 72 74)(56 92 61 81)(57 87 62 76)(58 94 63 83)(59 89 64 78)(60 96 65 73)

G:=sub<Sym(96)| (1,60,7,54)(2,49,8,55)(3,50,9,56)(4,51,10,57)(5,52,11,58)(6,53,12,59)(13,62,19,68)(14,63,20,69)(15,64,21,70)(16,65,22,71)(17,66,23,72)(18,67,24,61)(25,79,31,73)(26,80,32,74)(27,81,33,75)(28,82,34,76)(29,83,35,77)(30,84,36,78)(37,93,43,87)(38,94,44,88)(39,95,45,89)(40,96,46,90)(41,85,47,91)(42,86,48,92), (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)(73,74,75,76,77,78,79,80,81,82,83,84)(85,86,87,88,89,90,91,92,93,94,95,96), (1,12)(2,11)(3,10)(4,9)(5,8)(6,7)(13,18)(14,17)(15,16)(19,24)(20,23)(21,22)(25,33)(26,32)(27,31)(28,30)(34,36)(37,39)(40,48)(41,47)(42,46)(43,45)(49,58)(50,57)(51,56)(52,55)(53,54)(59,60)(61,68)(62,67)(63,66)(64,65)(69,72)(70,71)(73,81)(74,80)(75,79)(76,78)(82,84)(85,91)(86,90)(87,89)(92,96)(93,95), (1,46,16,25)(2,41,17,32)(3,48,18,27)(4,43,19,34)(5,38,20,29)(6,45,21,36)(7,40,22,31)(8,47,23,26)(9,42,24,33)(10,37,13,28)(11,44,14,35)(12,39,15,30)(49,91,66,80)(50,86,67,75)(51,93,68,82)(52,88,69,77)(53,95,70,84)(54,90,71,79)(55,85,72,74)(56,92,61,81)(57,87,62,76)(58,94,63,83)(59,89,64,78)(60,96,65,73)>;

G:=Group( (1,60,7,54)(2,49,8,55)(3,50,9,56)(4,51,10,57)(5,52,11,58)(6,53,12,59)(13,62,19,68)(14,63,20,69)(15,64,21,70)(16,65,22,71)(17,66,23,72)(18,67,24,61)(25,79,31,73)(26,80,32,74)(27,81,33,75)(28,82,34,76)(29,83,35,77)(30,84,36,78)(37,93,43,87)(38,94,44,88)(39,95,45,89)(40,96,46,90)(41,85,47,91)(42,86,48,92), (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)(73,74,75,76,77,78,79,80,81,82,83,84)(85,86,87,88,89,90,91,92,93,94,95,96), (1,12)(2,11)(3,10)(4,9)(5,8)(6,7)(13,18)(14,17)(15,16)(19,24)(20,23)(21,22)(25,33)(26,32)(27,31)(28,30)(34,36)(37,39)(40,48)(41,47)(42,46)(43,45)(49,58)(50,57)(51,56)(52,55)(53,54)(59,60)(61,68)(62,67)(63,66)(64,65)(69,72)(70,71)(73,81)(74,80)(75,79)(76,78)(82,84)(85,91)(86,90)(87,89)(92,96)(93,95), (1,46,16,25)(2,41,17,32)(3,48,18,27)(4,43,19,34)(5,38,20,29)(6,45,21,36)(7,40,22,31)(8,47,23,26)(9,42,24,33)(10,37,13,28)(11,44,14,35)(12,39,15,30)(49,91,66,80)(50,86,67,75)(51,93,68,82)(52,88,69,77)(53,95,70,84)(54,90,71,79)(55,85,72,74)(56,92,61,81)(57,87,62,76)(58,94,63,83)(59,89,64,78)(60,96,65,73) );

G=PermutationGroup([(1,60,7,54),(2,49,8,55),(3,50,9,56),(4,51,10,57),(5,52,11,58),(6,53,12,59),(13,62,19,68),(14,63,20,69),(15,64,21,70),(16,65,22,71),(17,66,23,72),(18,67,24,61),(25,79,31,73),(26,80,32,74),(27,81,33,75),(28,82,34,76),(29,83,35,77),(30,84,36,78),(37,93,43,87),(38,94,44,88),(39,95,45,89),(40,96,46,90),(41,85,47,91),(42,86,48,92)], [(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),(73,74,75,76,77,78,79,80,81,82,83,84),(85,86,87,88,89,90,91,92,93,94,95,96)], [(1,12),(2,11),(3,10),(4,9),(5,8),(6,7),(13,18),(14,17),(15,16),(19,24),(20,23),(21,22),(25,33),(26,32),(27,31),(28,30),(34,36),(37,39),(40,48),(41,47),(42,46),(43,45),(49,58),(50,57),(51,56),(52,55),(53,54),(59,60),(61,68),(62,67),(63,66),(64,65),(69,72),(70,71),(73,81),(74,80),(75,79),(76,78),(82,84),(85,91),(86,90),(87,89),(92,96),(93,95)], [(1,46,16,25),(2,41,17,32),(3,48,18,27),(4,43,19,34),(5,38,20,29),(6,45,21,36),(7,40,22,31),(8,47,23,26),(9,42,24,33),(10,37,13,28),(11,44,14,35),(12,39,15,30),(49,91,66,80),(50,86,67,75),(51,93,68,82),(52,88,69,77),(53,95,70,84),(54,90,71,79),(55,85,72,74),(56,92,61,81),(57,87,62,76),(58,94,63,83),(59,89,64,78),(60,96,65,73)])

42 conjugacy classes

class 1 2A2B2C2D2E2F2G 3 4A4B4C4D4E4F4G4H4I4J6A···6G8A8B8C8D12A···12L
order12222222344444444446···6888812···12
size111122121222222444412122···2121212124···4

42 irreducible representations

dim11111112222222224444
type+++++++++++++-
imageC1C2C2C2C2C2C4S3D4D4D6D6C4×S3D12C3⋊D4C3⋊D4C8⋊C22C8.C22D126C22Q8.11D6
kernelC4○D12⋊C4C6.D8C6.SD16C2×C4.Dic3C6×C4⋊C4C2×C4○D12C4○D12C2×C4⋊C4C2×C12C22×C6C4⋊C4C22×C4C2×C4C2×C4C2×C4C23C6C6C2C2
# reps12211181312144221122

Matrix representation of C4○D12⋊C4 in GL6(𝔽73)

100000
010000
00003013
00006043
00436000
00133000
,
7210000
7200000
0000721
0000720
0017200
001000
,
7200000
7210000
000001
000010
000100
001000
,
4600000
0460000
0056321541
0041153256
0015411741
0032563258

G:=sub<GL(6,GF(73))| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,43,13,0,0,0,0,60,30,0,0,30,60,0,0,0,0,13,43,0,0],[72,72,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,72,0,0,0,72,72,0,0,0,0,1,0,0,0],[72,72,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,0],[46,0,0,0,0,0,0,46,0,0,0,0,0,0,56,41,15,32,0,0,32,15,41,56,0,0,15,32,17,32,0,0,41,56,41,58] >;

C4○D12⋊C4 in GAP, Magma, Sage, TeX

C_4\circ D_{12}\rtimes C_4
% in TeX

G:=Group("C4oD12:C4");
// GroupNames label

G:=SmallGroup(192,525);
// by ID

G=gap.SmallGroup(192,525);
# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-3,232,422,387,58,1684,438,102,6278]);
// Polycyclic

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

׿
×
𝔽