Copied to
clipboard

G = D42Dic7order 224 = 25·7

2nd semidirect product of D4 and Dic7 acting via Dic7/C14=C2

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D42Dic7, Q82Dic7, C28.56D4, C73C4≀C2, (C7×D4)⋊2C4, (C7×Q8)⋊2C4, C28.9(C2×C4), C4○D4.1D7, (C2×C14).3D4, (C4×Dic7)⋊2C2, (C2×C4).41D14, C4.Dic74C2, C4.3(C2×Dic7), C4.31(C7⋊D4), (C2×C28).20C22, C22.3(C7⋊D4), C2.8(C23.D7), C14.18(C22⋊C4), (C7×C4○D4).1C2, SmallGroup(224,43)

Series: Derived Chief Lower central Upper central

C1C28 — D42Dic7
C1C7C14C28C2×C28C4.Dic7 — D42Dic7
C7C14C28 — D42Dic7
C1C4C2×C4C4○D4

Generators and relations for D42Dic7
 G = < a,b,c,d | a4=c14=1, b2=a2, d2=c7, bab-1=a-1, ac=ca, ad=da, cbc-1=a2b, dbd-1=a-1b, dcd-1=c-1 >

2C2
4C2
2C4
2C22
14C4
14C4
2C14
4C14
2D4
2C2×C4
14C2×C4
14C8
2C2×C14
2Dic7
2C28
2Dic7
7C42
7M4(2)
2C7⋊C8
2C2×C28
2C7×D4
2C2×Dic7
7C4≀C2

Smallest permutation representation of D42Dic7
On 56 points
Generators in S56
(1 15 14 28)(2 16 8 22)(3 17 9 23)(4 18 10 24)(5 19 11 25)(6 20 12 26)(7 21 13 27)(29 56 36 49)(30 43 37 50)(31 44 38 51)(32 45 39 52)(33 46 40 53)(34 47 41 54)(35 48 42 55)
(1 49 14 56)(2 43 8 50)(3 51 9 44)(4 45 10 52)(5 53 11 46)(6 47 12 54)(7 55 13 48)(15 36 28 29)(16 30 22 37)(17 38 23 31)(18 32 24 39)(19 40 25 33)(20 34 26 41)(21 42 27 35)
(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)
(1 13)(2 12)(3 11)(4 10)(5 9)(6 8)(7 14)(15 27)(16 26)(17 25)(18 24)(19 23)(20 22)(21 28)(29 48 36 55)(30 47 37 54)(31 46 38 53)(32 45 39 52)(33 44 40 51)(34 43 41 50)(35 56 42 49)

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

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

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

D42Dic7 is a maximal subgroup of
D7×C4≀C2  C42⋊D14  C56.93D4  C56.50D4  D85Dic7  D84Dic7  D2818D4  D28.38D4  D28.39D4  D28.40D4  (D4×C14)⋊9C4  2+ 1+4⋊D7  2+ 1+4.D7  2- 1+4⋊D7  2- 1+4.D7
D42Dic7 is a maximal quotient of
C28.2C42  C28.57D8  C28.26Q16  (D4×C14)⋊C4  C4⋊C4⋊Dic7  C42.7D14  C42.8D14

44 conjugacy classes

class 1 2A2B2C4A4B4C4D4E4F4G4H7A7B7C8A8B14A14B14C14D···14L28A···28F28G···28O
order1222444444447778814141414···1428···2828···28
size112411241414141422228282224···42···24···4

44 irreducible representations

dim1111112222222224
type++++++++--
imageC1C2C2C2C4C4D4D4D7D14Dic7Dic7C4≀C2C7⋊D4C7⋊D4D42Dic7
kernelD42Dic7C4.Dic7C4×Dic7C7×C4○D4C7×D4C7×Q8C28C2×C14C4○D4C2×C4D4Q8C7C4C22C1
# reps1111221133334666

Matrix representation of D42Dic7 in GL4(𝔽113) generated by

112000
011200
00980
00015
,
34500
1087900
00098
00980
,
011200
110400
001120
0001
,
98000
911500
00980
000112
G:=sub<GL(4,GF(113))| [112,0,0,0,0,112,0,0,0,0,98,0,0,0,0,15],[34,108,0,0,5,79,0,0,0,0,0,98,0,0,98,0],[0,1,0,0,112,104,0,0,0,0,112,0,0,0,0,1],[98,91,0,0,0,15,0,0,0,0,98,0,0,0,0,112] >;

D42Dic7 in GAP, Magma, Sage, TeX

D_4\rtimes_2{\rm Dic}_7
% in TeX

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

G:=SmallGroup(224,43);
// by ID

G=gap.SmallGroup(224,43);
# by ID

G:=PCGroup([6,-2,-2,-2,-2,-2,-7,24,121,86,579,297,69,6917]);
// Polycyclic

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

Export

Subgroup lattice of D42Dic7 in TeX

׿
×
𝔽