D40.C4 - GroupNames

G = D₄₀.C₄ order 320 = 2⁶·5

1^st non-split extension by D₄₀ of C₄ acting faithfully

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: D₈.₂F₅, D₄₀.₁C₄, Dic₅.₂D₈, D₁₀.₁₃SD₁₆, C₈.₂(C₂xF₅), C₄₀.₂(C₂xC₄), C₅:(M₅(2):C₂), (C₅xD₈).₁C₄, (D₅xD₈).₂C₂, (C₄xD₅).₂₃D₄, C₅:₂C₈.₁₄D₄, C₄₀.C₄:₁C₂, C₈.F₅:₂C₂, C₄.₄(C₂²:F₅), C₂₀.₄(C₂²:C₄), C₂.₉(D₂₀:C₄), (C₈xD₅).₁₀C₂², C₁₀.₈(D₄:C₄), SmallGroup(320,244)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series

C₁ — C₄₀ — D₄₀.C₄

Chief series

C₁ — C₅ — C₁₀ — C₂₀ — C₄xD₅ — C₈xD₅ — C₄₀.C₄ — D₄₀.C₄

Lower central

C₅ — C₁₀ — C₂₀ — C₄₀ — D₄₀.C₄

Upper central

C₁ — C₂ — C₄ — C₈ — D₈

Generators and relations for D₄₀.C₄
G = < a,b,c | a⁴⁰=b²=1, c⁴=a²⁰, bab=a^-1, cac^-1=a³, cbc^-1=a³⁷b >

Subgroups: 410 in 62 conjugacy classes, 20 normal (all characteristic)
C₁, C₂, C₂, C₄, C₄, C₂², C₅, C₈, C₈, C₂xC₄, D₄, C₂³, D₅, C₁₀, C₁₀, C₁₆, C₂xC₈, M₄(2), D₈, D₈, C₂xD₄, Dic₅, C₂₀, D₁₀, D₁₀, C₂xC₁₀, C₈.C₄, M₅(2), C₂xD₈, C₅:₂C₈, C₄₀, C₅:C₈, C₄xD₅, D₂₀, C₅:D₄, C₅xD₄, C₂²xD₅, M₅(2):C₂, C₅:C₁₆, C₈xD₅, D₄₀, D₄:D₅, C₅xD₈, C₄.F₅, D₄xD₅, C₈.F₅, C₄₀.C₄, D₅xD₈, D₄₀.C₄
Quotients: C₁, C₂, C₄, C₂², C₂xC₄, D₄, C₂²:C₄, D₈, SD₁₆, F₅, D₄:C₄, C₂xF₅, M₅(2):C₂, C₂²:F₅, D₂₀:C₄, D₄₀.C₄

Character table of D₄₀.C₄

class	1	2A	2B	2C	2D	4A	4B	5	8A	8B	8C	8D	8E	10A	10B	10C	16A	16B	16C	16D	20	40A	40B
size	1	1	8	10	40	2	10	4	4	10	10	40	40	4	16	16	20	20	20	20	8	8	8
ρ₁	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	1	trivial
ρ₂	1	1	-1	1	-1	1	1	1	1	1	1	1	1	1	-1	-1	-1	-1	-1	-1	1	1	1	linear of order 2
ρ₃	1	1	1	1	1	1	1	1	1	1	1	-1	-1	1	1	1	-1	-1	-1	-1	1	1	1	linear of order 2
ρ₄	1	1	-1	1	-1	1	1	1	1	1	1	-1	-1	1	-1	-1	1	1	1	1	1	1	1	linear of order 2
ρ₅	1	1	1	-1	-1	1	-1	1	1	-1	-1	-i	i	1	1	1	-i	i	i	-i	1	1	1	linear of order 4
ρ₆	1	1	-1	-1	1	1	-1	1	1	-1	-1	-i	i	1	-1	-1	i	-i	-i	i	1	1	1	linear of order 4
ρ₇	1	1	1	-1	-1	1	-1	1	1	-1	-1	i	-i	1	1	1	i	-i	-i	i	1	1	1	linear of order 4
ρ₈	1	1	-1	-1	1	1	-1	1	1	-1	-1	i	-i	1	-1	-1	-i	i	i	-i	1	1	1	linear of order 4
ρ₉	2	2	0	2	0	2	2	2	-2	-2	-2	0	0	2	0	0	0	0	0	0	2	-2	-2	orthogonal lifted from D₄
ρ₁₀	2	2	0	-2	0	2	-2	2	-2	2	2	0	0	2	0	0	0	0	0	0	2	-2	-2	orthogonal lifted from D₄
ρ₁₁	2	2	0	-2	0	-2	2	2	0	0	0	0	0	2	0	0	√2	-√2	√2	-√2	-2	0	0	orthogonal lifted from D₈
ρ₁₂	2	2	0	-2	0	-2	2	2	0	0	0	0	0	2	0	0	-√2	√2	-√2	√2	-2	0	0	orthogonal lifted from D₈
ρ₁₃	2	2	0	2	0	-2	-2	2	0	0	0	0	0	2	0	0	√-2	√-2	-√-2	-√-2	-2	0	0	complex lifted from SD₁₆
ρ₁₄	2	2	0	2	0	-2	-2	2	0	0	0	0	0	2	0	0	-√-2	-√-2	√-2	√-2	-2	0	0	complex lifted from SD₁₆
ρ₁₅	4	4	4	0	0	4	0	-1	4	0	0	0	0	-1	-1	-1	0	0	0	0	-1	-1	-1	orthogonal lifted from F₅
ρ₁₆	4	4	-4	0	0	4	0	-1	4	0	0	0	0	-1	1	1	0	0	0	0	-1	-1	-1	orthogonal lifted from C₂xF₅
ρ₁₇	4	4	0	0	0	4	0	-1	-4	0	0	0	0	-1	-√5	√5	0	0	0	0	-1	1	1	orthogonal lifted from C₂²:F₅
ρ₁₈	4	4	0	0	0	4	0	-1	-4	0	0	0	0	-1	√5	-√5	0	0	0	0	-1	1	1	orthogonal lifted from C₂²:F₅
ρ₁₉	4	-4	0	0	0	0	0	4	0	2√2	-2√2	0	0	-4	0	0	0	0	0	0	0	0	0	orthogonal lifted from M₅(2):C₂
ρ₂₀	4	-4	0	0	0	0	0	4	0	-2√2	2√2	0	0	-4	0	0	0	0	0	0	0	0	0	orthogonal lifted from M₅(2):C₂
ρ₂₁	8	8	0	0	0	-8	0	-2	0	0	0	0	0	-2	0	0	0	0	0	0	2	0	0	orthogonal lifted from D₂₀:C₄, Schur index 2
ρ₂₂	8	-8	0	0	0	0	0	-2	0	0	0	0	0	2	0	0	0	0	0	0	0	-√10	√10	orthogonal faithful, Schur index 2
ρ₂₃	8	-8	0	0	0	0	0	-2	0	0	0	0	0	2	0	0	0	0	0	0	0	√10	-√10	orthogonal faithful, Schur index 2

Smallest permutation representation of D₄₀.C₄
►On 80 points

Generators in S₈₀

(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)

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

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

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

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

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

Matrix representation of D₄₀.C₄ ►in GL₈(F₂₄₁)

240	52	0	0	0	0	0	0
189	52	0	0	0	0	0	0
0	141	240	190	0	0	0	0
100	141	51	190	0	0	0	0
0	0	0	0	0	71	0	0
0	0	0	0	112	22	0	0
0	0	0	0	0	0	219	71
0	0	0	0	0	0	112	0

1	0	0	0	0	0	0	0
52	240	0	0	0	0	0	0
0	0	1	0	0	0	0	0
141	0	190	240	0	0	0	0
0	0	0	0	0	170	0	0
0	0	0	0	112	0	0	0
0	0	0	0	0	0	1	125
0	0	0	0	0	0	0	240

222	236	166	31	0	0	0	0
222	0	166	0	0	0	0	0
143	7	19	5	0	0	0	0
143	0	19	0	0	0	0	0
0	0	0	0	0	0	1	0
0	0	0	0	0	0	0	1
0	0	0	0	240	116	0	0
0	0	0	0	54	1	0	0

G:=sub<GL(8,GF(241))| [240,189,0,100,0,0,0,0,52,52,141,141,0,0,0,0,0,0,240,51,0,0,0,0,0,0,190,190,0,0,0,0,0,0,0,0,0,112,0,0,0,0,0,0,71,22,0,0,0,0,0,0,0,0,219,112,0,0,0,0,0,0,71,0],[1,52,0,141,0,0,0,0,0,240,0,0,0,0,0,0,0,0,1,190,0,0,0,0,0,0,0,240,0,0,0,0,0,0,0,0,0,112,0,0,0,0,0,0,170,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,125,240],[222,222,143,143,0,0,0,0,236,0,7,0,0,0,0,0,166,166,19,19,0,0,0,0,31,0,5,0,0,0,0,0,0,0,0,0,0,0,240,54,0,0,0,0,0,0,116,1,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0] >;

D₄₀.C₄ in GAP, Magma, Sage, TeX

D_{40}.C_4

% in TeX

G:=Group("D40.C4");

// GroupNames label

G:=SmallGroup(320,244);

// by ID

G=gap.SmallGroup(320,244);

# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-5,28,141,387,184,675,794,80,1684,851,102,6278,3156]);

// Polycyclic

G:=Group<a,b,c|a^40=b^2=1,c^4=a^20,b*a*b=a^-1,c*a*c^-1=a^3,c*b*c^-1=a^37*b>;

// generators/relations

Export

Character table of D₄₀.C₄ in TeX

240	52	0	0	0	0	0	0
189	52	0	0	0	0	0	0
0	141	240	190	0	0	0	0
100	141	51	190	0	0	0	0
0	0	0	0	0	71	0	0
0	0	0	0	112	22	0	0
0	0	0	0	0	0	219	71
0	0	0	0	0	0	112	0

1	0	0	0	0	0	0	0
52	240	0	0	0	0	0	0
0	0	1	0	0	0	0	0
141	0	190	240	0	0	0	0
0	0	0	0	0	170	0	0
0	0	0	0	112	0	0	0
0	0	0	0	0	0	1	125
0	0	0	0	0	0	0	240

222	236	166	31	0	0	0	0
222	0	166	0	0	0	0	0
143	7	19	5	0	0	0	0
143	0	19	0	0	0	0	0
0	0	0	0	0	0	1	0
0	0	0	0	0	0	0	1
0	0	0	0	240	116	0	0
0	0	0	0	54	1	0	0

240	52	0	0	0	0	0	0
189	52	0	0	0	0	0	0
0	141	240	190	0	0	0	0
100	141	51	190	0	0	0	0
0	0	0	0	0	71	0	0
0	0	0	0	112	22	0	0
0	0	0	0	0	0	219	71
0	0	0	0	0	0	112	0

1	0	0	0	0	0	0	0
52	240	0	0	0	0	0	0
0	0	1	0	0	0	0	0
141	0	190	240	0	0	0	0
0	0	0	0	0	170	0	0
0	0	0	0	112	0	0	0
0	0	0	0	0	0	1	125
0	0	0	0	0	0	0	240

222	236	166	31	0	0	0	0
222	0	166	0	0	0	0	0
143	7	19	5	0	0	0	0
143	0	19	0	0	0	0	0
0	0	0	0	0	0	1	0
0	0	0	0	0	0	0	1
0	0	0	0	240	116	0	0
0	0	0	0	54	1	0	0

G = D40.C4 order 320 = 26·5

1st non-split extension by D40 of C4 acting faithfully

G = D₄₀.C₄ order 320 = 2⁶·5

1^st non-split extension by D₄₀ of C₄ acting faithfully

240	52	0	0	0	0	0	0
189	52	0	0	0	0	0	0
0	141	240	190	0	0	0	0
100	141	51	190	0	0	0	0
0	0	0	0	0	71	0	0
0	0	0	0	112	22	0	0
0	0	0	0	0	0	219	71
0	0	0	0	0	0	112	0

1	0	0	0	0	0	0	0
52	240	0	0	0	0	0	0
0	0	1	0	0	0	0	0
141	0	190	240	0	0	0	0
0	0	0	0	0	170	0	0
0	0	0	0	112	0	0	0
0	0	0	0	0	0	1	125
0	0	0	0	0	0	0	240

222	236	166	31	0	0	0	0
222	0	166	0	0	0	0	0
143	7	19	5	0	0	0	0
143	0	19	0	0	0	0	0
0	0	0	0	0	0	1	0
0	0	0	0	0	0	0	1
0	0	0	0	240	116	0	0
0	0	0	0	54	1	0	0