metabelian, supersoluble, monomial, 2-hyperelementary
Aliases: D4.F5, Dic10.C4, Dic5.12C23, (C5×D4).C4, C5⋊D4.C4, D5⋊C8⋊2C2, C5⋊1(C8○D4), C4.F5⋊3C2, C4.5(C2×F5), C20.5(C2×C4), C5⋊C8.1C22, D10.1(C2×C4), C22.F5⋊2C2, C2.8(C22×F5), C22.1(C2×F5), D4⋊2D5.3C2, C10.7(C22×C4), Dic5.1(C2×C4), (C4×D5).11C22, (C2×Dic5).25C22, (C2×C5⋊C8)⋊4C2, (C2×C10).(C2×C4), SmallGroup(160,206)
Series: Derived ►Chief ►Lower central ►Upper central
Generators and relations for D4.F5
G = < a,b,c,d | a4=b2=c5=1, d4=a2, bab=a-1, ac=ca, ad=da, bc=cb, bd=db, dcd-1=c3 >
Subgroups: 164 in 62 conjugacy classes, 34 normal (18 characteristic)
C1, C2, C2 [×3], C4, C4 [×3], C22 [×2], C22, C5, C8 [×4], C2×C4 [×3], D4, D4 [×2], Q8, D5, C10, C10 [×2], C2×C8 [×3], M4(2) [×3], C4○D4, Dic5, Dic5 [×2], C20, D10, C2×C10 [×2], C8○D4, C5⋊C8 [×2], C5⋊C8 [×2], Dic10, C4×D5, C2×Dic5 [×2], C5⋊D4 [×2], C5×D4, D5⋊C8, C4.F5, C2×C5⋊C8 [×2], C22.F5 [×2], D4⋊2D5, D4.F5
Quotients: C1, C2 [×7], C4 [×4], C22 [×7], C2×C4 [×6], C23, C22×C4, F5, C8○D4, C2×F5 [×3], C22×F5, D4.F5
Character table of D4.F5
| class | 1 | 2A | 2B | 2C | 2D | 4A | 4B | 4C | 4D | 4E | 5 | 8A | 8B | 8C | 8D | 8E | 8F | 8G | 8H | 8I | 8J | 10A | 10B | 10C | 20 | |
| size | 1 | 1 | 2 | 2 | 10 | 2 | 5 | 5 | 10 | 10 | 4 | 5 | 5 | 5 | 5 | 10 | 10 | 10 | 10 | 10 | 10 | 4 | 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 | 1 | 1 | 1 | trivial |
| ρ2 | 1 | 1 | -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 |
| ρ3 | 1 | 1 | -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 |
| ρ4 | 1 | 1 | 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 |
| ρ5 | 1 | 1 | 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 |
| ρ6 | 1 | 1 | -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 |
| ρ7 | 1 | 1 | -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 |
| ρ8 | 1 | 1 | 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 |
| ρ9 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | -1 | 1 | -1 | 1 | -i | -i | i | i | -i | i | -i | -i | i | i | 1 | 1 | -1 | -1 | linear of order 4 |
| ρ10 | 1 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | -1 | -1 | 1 | -i | -i | i | i | i | -i | i | -i | i | -i | 1 | 1 | 1 | 1 | linear of order 4 |
| ρ11 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | -1 | 1 | -1 | 1 | i | i | -i | -i | i | -i | i | i | -i | -i | 1 | 1 | -1 | -1 | linear of order 4 |
| ρ12 | 1 | 1 | 1 | 1 | -1 | 1 | -1 | -1 | -1 | -1 | 1 | i | i | -i | -i | -i | i | -i | i | -i | i | 1 | 1 | 1 | 1 | linear of order 4 |
| ρ13 | 1 | 1 | -1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | i | i | -i | -i | i | i | -i | -i | i | -i | 1 | -1 | 1 | -1 | linear of order 4 |
| ρ14 | 1 | 1 | -1 | -1 | -1 | 1 | -1 | -1 | 1 | 1 | 1 | i | i | -i | -i | -i | -i | i | -i | i | i | 1 | -1 | -1 | 1 | linear of order 4 |
| ρ15 | 1 | 1 | -1 | 1 | 1 | -1 | -1 | -1 | -1 | 1 | 1 | -i | -i | i | i | -i | -i | i | i | -i | i | 1 | -1 | 1 | -1 | linear of order 4 |
| ρ16 | 1 | 1 | -1 | -1 | -1 | 1 | -1 | -1 | 1 | 1 | 1 | -i | -i | i | i | i | i | -i | i | -i | -i | 1 | -1 | -1 | 1 | linear of order 4 |
| ρ17 | 2 | -2 | 0 | 0 | 0 | 0 | 2i | -2i | 0 | 0 | 2 | 2ζ85 | 2ζ8 | 2ζ87 | 2ζ83 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | complex lifted from C8○D4 |
| ρ18 | 2 | -2 | 0 | 0 | 0 | 0 | 2i | -2i | 0 | 0 | 2 | 2ζ8 | 2ζ85 | 2ζ83 | 2ζ87 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | complex lifted from C8○D4 |
| ρ19 | 2 | -2 | 0 | 0 | 0 | 0 | -2i | 2i | 0 | 0 | 2 | 2ζ83 | 2ζ87 | 2ζ8 | 2ζ85 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | complex lifted from C8○D4 |
| ρ20 | 2 | -2 | 0 | 0 | 0 | 0 | -2i | 2i | 0 | 0 | 2 | 2ζ87 | 2ζ83 | 2ζ85 | 2ζ8 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | complex lifted from C8○D4 |
| ρ21 | 4 | 4 | 4 | -4 | 0 | -4 | 0 | 0 | 0 | 0 | -1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | -1 | 1 | 1 | orthogonal lifted from C2×F5 |
| ρ22 | 4 | 4 | -4 | 4 | 0 | -4 | 0 | 0 | 0 | 0 | -1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | 1 | -1 | 1 | orthogonal lifted from C2×F5 |
| ρ23 | 4 | 4 | 4 | 4 | 0 | 4 | 0 | 0 | 0 | 0 | -1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | -1 | -1 | -1 | orthogonal lifted from F5 |
| ρ24 | 4 | 4 | -4 | -4 | 0 | 4 | 0 | 0 | 0 | 0 | -1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | 1 | 1 | -1 | orthogonal lifted from C2×F5 |
| ρ25 | 8 | -8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2 | 0 | 0 | 0 | symplectic faithful, Schur index 2 |
►On 80 points
Generators in S80
(1 7 5 3)(2 8 6 4)(9 55 13 51)(10 56 14 52)(11 49 15 53)(12 50 16 54)(17 79 21 75)(18 80 22 76)(19 73 23 77)(20 74 24 78)(25 43 29 47)(26 44 30 48)(27 45 31 41)(28 46 32 42)(33 63 37 59)(34 64 38 60)(35 57 39 61)(36 58 40 62)(65 67 69 71)(66 68 70 72)
(1 71)(2 72)(3 65)(4 66)(5 67)(6 68)(7 69)(8 70)(9 57)(10 58)(11 59)(12 60)(13 61)(14 62)(15 63)(16 64)(17 27)(18 28)(19 29)(20 30)(21 31)(22 32)(23 25)(24 26)(33 53)(34 54)(35 55)(36 56)(37 49)(38 50)(39 51)(40 52)(41 79)(42 80)(43 73)(44 74)(45 75)(46 76)(47 77)(48 78)
(1 33 75 19 57)(2 20 34 58 76)(3 59 21 77 35)(4 78 60 36 22)(5 37 79 23 61)(6 24 38 62 80)(7 63 17 73 39)(8 74 64 40 18)(9 71 53 45 29)(10 46 72 30 54)(11 31 47 55 65)(12 56 32 66 48)(13 67 49 41 25)(14 42 68 26 50)(15 27 43 51 69)(16 52 28 70 44)
(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)
G:=sub<Sym(80)| (1,7,5,3)(2,8,6,4)(9,55,13,51)(10,56,14,52)(11,49,15,53)(12,50,16,54)(17,79,21,75)(18,80,22,76)(19,73,23,77)(20,74,24,78)(25,43,29,47)(26,44,30,48)(27,45,31,41)(28,46,32,42)(33,63,37,59)(34,64,38,60)(35,57,39,61)(36,58,40,62)(65,67,69,71)(66,68,70,72), (1,71)(2,72)(3,65)(4,66)(5,67)(6,68)(7,69)(8,70)(9,57)(10,58)(11,59)(12,60)(13,61)(14,62)(15,63)(16,64)(17,27)(18,28)(19,29)(20,30)(21,31)(22,32)(23,25)(24,26)(33,53)(34,54)(35,55)(36,56)(37,49)(38,50)(39,51)(40,52)(41,79)(42,80)(43,73)(44,74)(45,75)(46,76)(47,77)(48,78), (1,33,75,19,57)(2,20,34,58,76)(3,59,21,77,35)(4,78,60,36,22)(5,37,79,23,61)(6,24,38,62,80)(7,63,17,73,39)(8,74,64,40,18)(9,71,53,45,29)(10,46,72,30,54)(11,31,47,55,65)(12,56,32,66,48)(13,67,49,41,25)(14,42,68,26,50)(15,27,43,51,69)(16,52,28,70,44), (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)>;
G:=Group( (1,7,5,3)(2,8,6,4)(9,55,13,51)(10,56,14,52)(11,49,15,53)(12,50,16,54)(17,79,21,75)(18,80,22,76)(19,73,23,77)(20,74,24,78)(25,43,29,47)(26,44,30,48)(27,45,31,41)(28,46,32,42)(33,63,37,59)(34,64,38,60)(35,57,39,61)(36,58,40,62)(65,67,69,71)(66,68,70,72), (1,71)(2,72)(3,65)(4,66)(5,67)(6,68)(7,69)(8,70)(9,57)(10,58)(11,59)(12,60)(13,61)(14,62)(15,63)(16,64)(17,27)(18,28)(19,29)(20,30)(21,31)(22,32)(23,25)(24,26)(33,53)(34,54)(35,55)(36,56)(37,49)(38,50)(39,51)(40,52)(41,79)(42,80)(43,73)(44,74)(45,75)(46,76)(47,77)(48,78), (1,33,75,19,57)(2,20,34,58,76)(3,59,21,77,35)(4,78,60,36,22)(5,37,79,23,61)(6,24,38,62,80)(7,63,17,73,39)(8,74,64,40,18)(9,71,53,45,29)(10,46,72,30,54)(11,31,47,55,65)(12,56,32,66,48)(13,67,49,41,25)(14,42,68,26,50)(15,27,43,51,69)(16,52,28,70,44), (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) );
G=PermutationGroup([(1,7,5,3),(2,8,6,4),(9,55,13,51),(10,56,14,52),(11,49,15,53),(12,50,16,54),(17,79,21,75),(18,80,22,76),(19,73,23,77),(20,74,24,78),(25,43,29,47),(26,44,30,48),(27,45,31,41),(28,46,32,42),(33,63,37,59),(34,64,38,60),(35,57,39,61),(36,58,40,62),(65,67,69,71),(66,68,70,72)], [(1,71),(2,72),(3,65),(4,66),(5,67),(6,68),(7,69),(8,70),(9,57),(10,58),(11,59),(12,60),(13,61),(14,62),(15,63),(16,64),(17,27),(18,28),(19,29),(20,30),(21,31),(22,32),(23,25),(24,26),(33,53),(34,54),(35,55),(36,56),(37,49),(38,50),(39,51),(40,52),(41,79),(42,80),(43,73),(44,74),(45,75),(46,76),(47,77),(48,78)], [(1,33,75,19,57),(2,20,34,58,76),(3,59,21,77,35),(4,78,60,36,22),(5,37,79,23,61),(6,24,38,62,80),(7,63,17,73,39),(8,74,64,40,18),(9,71,53,45,29),(10,46,72,30,54),(11,31,47,55,65),(12,56,32,66,48),(13,67,49,41,25),(14,42,68,26,50),(15,27,43,51,69),(16,52,28,70,44)], [(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)])
D4.F5 is a maximal subgroup of
D8⋊5F5 D8⋊F5 SD16⋊3F5 SD16⋊2F5 Dic5.C24 Dic5.21C24 Dic5.22C24 D12.2F5 D12.F5 C5⋊C8.D6 D15⋊C8⋊C2 Dic10.Dic3
D4.F5 is a maximal quotient of
Dic5.C42 C5⋊C8⋊8D4 C5⋊C8⋊D4 D10⋊M4(2) Dic5⋊M4(2) C20⋊C8⋊C2 C23.(C2×F5) D10.C42 Dic10⋊C8 C4⋊C4.7F5 Dic5.M4(2) C4⋊C4.9F5 C20.M4(2) D4×C5⋊C8 C5⋊C8⋊7D4 C20⋊2M4(2) (C2×D4).7F5 (C2×D4).8F5 D12.2F5 D12.F5 C5⋊C8.D6 D15⋊C8⋊C2 Dic10.Dic3
Matrix representation of D4.F5 ►in GL6(𝔽41)
| 9 | 0 | 0 | 0 | 0 | 0 |
| 28 | 32 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 0 | 0 | 0 | 1 |
| 29 | 37 | 0 | 0 | 0 | 0 |
| 5 | 12 | 0 | 0 | 0 | 0 |
| 0 | 0 | 40 | 0 | 0 | 0 |
| 0 | 0 | 0 | 40 | 0 | 0 |
| 0 | 0 | 0 | 0 | 40 | 0 |
| 0 | 0 | 0 | 0 | 0 | 40 |
| 1 | 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 0 | 40 | 40 | 40 | 40 |
| 0 | 0 | 1 | 0 | 0 | 0 |
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 0 | 0 | 0 | 1 | 0 |
| 14 | 0 | 0 | 0 | 0 | 0 |
| 0 | 14 | 0 | 0 | 0 | 0 |
| 0 | 0 | 32 | 0 | 18 | 18 |
| 0 | 0 | 18 | 18 | 0 | 32 |
| 0 | 0 | 23 | 14 | 23 | 0 |
| 0 | 0 | 9 | 27 | 27 | 9 |
G:=sub<GL(6,GF(41))| [9,28,0,0,0,0,0,32,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1],[29,5,0,0,0,0,37,12,0,0,0,0,0,0,40,0,0,0,0,0,0,40,0,0,0,0,0,0,40,0,0,0,0,0,0,40],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,40,1,0,0,0,0,40,0,1,0,0,0,40,0,0,1,0,0,40,0,0,0],[14,0,0,0,0,0,0,14,0,0,0,0,0,0,32,18,23,9,0,0,0,18,14,27,0,0,18,0,23,27,0,0,18,32,0,9] >;
D4.F5 in GAP, Magma, Sage, TeX
D_4.F_5
% in TeX
G:=Group("D4.F5"); // GroupNames label
G:=SmallGroup(160,206);
// by ID
G=gap.SmallGroup(160,206);
# by ID
G:=PCGroup([6,-2,-2,-2,-2,-2,-5,48,188,69,2309,599]);
// Polycyclic
G:=Group<a,b,c,d|a^4=b^2=c^5=1,d^4=a^2,b*a*b=a^-1,a*c=c*a,a*d=d*a,b*c=c*b,b*d=d*b,d*c*d^-1=c^3>;
// generators/relations
Export