direct product, metacyclic, supersoluble, monomial, A-group, 2-hyperelementary
Aliases: D82, C2×D41, C82⋊C2, C41⋊C22, sometimes denoted D164 or Dih82 or Dih164, SmallGroup(164,4)
Series: Derived ►Chief ►Lower central ►Upper central
| C41 — D82 |
Generators and relations for D82
G = < a,b | a82=b2=1, bab=a-1 >
Smallest permutation representation of D82
►On 82 points
Generators in S82
(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)
(1 82)(2 81)(3 80)(4 79)(5 78)(6 77)(7 76)(8 75)(9 74)(10 73)(11 72)(12 71)(13 70)(14 69)(15 68)(16 67)(17 66)(18 65)(19 64)(20 63)(21 62)(22 61)(23 60)(24 59)(25 58)(26 57)(27 56)(28 55)(29 54)(30 53)(31 52)(32 51)(33 50)(34 49)(35 48)(36 47)(37 46)(38 45)(39 44)(40 43)(41 42)
G:=sub<Sym(82)| (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), (1,82)(2,81)(3,80)(4,79)(5,78)(6,77)(7,76)(8,75)(9,74)(10,73)(11,72)(12,71)(13,70)(14,69)(15,68)(16,67)(17,66)(18,65)(19,64)(20,63)(21,62)(22,61)(23,60)(24,59)(25,58)(26,57)(27,56)(28,55)(29,54)(30,53)(31,52)(32,51)(33,50)(34,49)(35,48)(36,47)(37,46)(38,45)(39,44)(40,43)(41,42)>;
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,81,82), (1,82)(2,81)(3,80)(4,79)(5,78)(6,77)(7,76)(8,75)(9,74)(10,73)(11,72)(12,71)(13,70)(14,69)(15,68)(16,67)(17,66)(18,65)(19,64)(20,63)(21,62)(22,61)(23,60)(24,59)(25,58)(26,57)(27,56)(28,55)(29,54)(30,53)(31,52)(32,51)(33,50)(34,49)(35,48)(36,47)(37,46)(38,45)(39,44)(40,43)(41,42) );
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,81,82)], [(1,82),(2,81),(3,80),(4,79),(5,78),(6,77),(7,76),(8,75),(9,74),(10,73),(11,72),(12,71),(13,70),(14,69),(15,68),(16,67),(17,66),(18,65),(19,64),(20,63),(21,62),(22,61),(23,60),(24,59),(25,58),(26,57),(27,56),(28,55),(29,54),(30,53),(31,52),(32,51),(33,50),(34,49),(35,48),(36,47),(37,46),(38,45),(39,44),(40,43),(41,42)]])
D82 is a maximal subgroup of
D164 C41⋊D4
D82 is a maximal quotient of Dic82 D164 C41⋊D4
44 conjugacy classes
| class | 1 | 2A | 2B | 2C | 41A | ··· | 41T | 82A | ··· | 82T |
| order | 1 | 2 | 2 | 2 | 41 | ··· | 41 | 82 | ··· | 82 |
| size | 1 | 1 | 41 | 41 | 2 | ··· | 2 | 2 | ··· | 2 |
44 irreducible representations
| dim | 1 | 1 | 1 | 2 | 2 |
| type | + | + | + | + | + |
| image | C1 | C2 | C2 | D41 | D82 |
| kernel | D82 | D41 | C82 | C2 | C1 |
| # reps | 1 | 2 | 1 | 20 | 20 |
Matrix representation of D82 ►in GL3(𝔽83) generated by
| 82 | 0 | 0 |
| 0 | 38 | 33 |
| 0 | 50 | 50 |
| 1 | 0 | 0 |
| 0 | 38 | 33 |
| 0 | 77 | 45 |
G:=sub<GL(3,GF(83))| [82,0,0,0,38,50,0,33,50],[1,0,0,0,38,77,0,33,45] >;
D82 in GAP, Magma, Sage, TeX
D_{82} % in TeX
G:=Group("D82"); // GroupNames label
G:=SmallGroup(164,4);
// by ID
G=gap.SmallGroup(164,4);
# by ID
G:=PCGroup([3,-2,-2,-41,1442]);
// Polycyclic
G:=Group<a,b|a^82=b^2=1,b*a*b=a^-1>;
// generators/relations
Export