direct product, metacyclic, supersoluble, monomial, A-group
Aliases: S3×C39, C3⋊C78, C39⋊7C6, C32⋊1C26, (C3×C39)⋊4C2, SmallGroup(234,12)
Series: Derived ►Chief ►Lower central ►Upper central
| C3 — S3×C39 |
Generators and relations for S3×C39
G = < a,b,c | a39=b3=c2=1, ab=ba, ac=ca, cbc=b-1 >
Smallest permutation representation of S3×C39
►On 78 points
Generators in S78
(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)
(1 14 27)(2 15 28)(3 16 29)(4 17 30)(5 18 31)(6 19 32)(7 20 33)(8 21 34)(9 22 35)(10 23 36)(11 24 37)(12 25 38)(13 26 39)(40 66 53)(41 67 54)(42 68 55)(43 69 56)(44 70 57)(45 71 58)(46 72 59)(47 73 60)(48 74 61)(49 75 62)(50 76 63)(51 77 64)(52 78 65)
(1 58)(2 59)(3 60)(4 61)(5 62)(6 63)(7 64)(8 65)(9 66)(10 67)(11 68)(12 69)(13 70)(14 71)(15 72)(16 73)(17 74)(18 75)(19 76)(20 77)(21 78)(22 40)(23 41)(24 42)(25 43)(26 44)(27 45)(28 46)(29 47)(30 48)(31 49)(32 50)(33 51)(34 52)(35 53)(36 54)(37 55)(38 56)(39 57)
G:=sub<Sym(78)| (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), (1,14,27)(2,15,28)(3,16,29)(4,17,30)(5,18,31)(6,19,32)(7,20,33)(8,21,34)(9,22,35)(10,23,36)(11,24,37)(12,25,38)(13,26,39)(40,66,53)(41,67,54)(42,68,55)(43,69,56)(44,70,57)(45,71,58)(46,72,59)(47,73,60)(48,74,61)(49,75,62)(50,76,63)(51,77,64)(52,78,65), (1,58)(2,59)(3,60)(4,61)(5,62)(6,63)(7,64)(8,65)(9,66)(10,67)(11,68)(12,69)(13,70)(14,71)(15,72)(16,73)(17,74)(18,75)(19,76)(20,77)(21,78)(22,40)(23,41)(24,42)(25,43)(26,44)(27,45)(28,46)(29,47)(30,48)(31,49)(32,50)(33,51)(34,52)(35,53)(36,54)(37,55)(38,56)(39,57)>;
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), (1,14,27)(2,15,28)(3,16,29)(4,17,30)(5,18,31)(6,19,32)(7,20,33)(8,21,34)(9,22,35)(10,23,36)(11,24,37)(12,25,38)(13,26,39)(40,66,53)(41,67,54)(42,68,55)(43,69,56)(44,70,57)(45,71,58)(46,72,59)(47,73,60)(48,74,61)(49,75,62)(50,76,63)(51,77,64)(52,78,65), (1,58)(2,59)(3,60)(4,61)(5,62)(6,63)(7,64)(8,65)(9,66)(10,67)(11,68)(12,69)(13,70)(14,71)(15,72)(16,73)(17,74)(18,75)(19,76)(20,77)(21,78)(22,40)(23,41)(24,42)(25,43)(26,44)(27,45)(28,46)(29,47)(30,48)(31,49)(32,50)(33,51)(34,52)(35,53)(36,54)(37,55)(38,56)(39,57) );
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)], [(1,14,27),(2,15,28),(3,16,29),(4,17,30),(5,18,31),(6,19,32),(7,20,33),(8,21,34),(9,22,35),(10,23,36),(11,24,37),(12,25,38),(13,26,39),(40,66,53),(41,67,54),(42,68,55),(43,69,56),(44,70,57),(45,71,58),(46,72,59),(47,73,60),(48,74,61),(49,75,62),(50,76,63),(51,77,64),(52,78,65)], [(1,58),(2,59),(3,60),(4,61),(5,62),(6,63),(7,64),(8,65),(9,66),(10,67),(11,68),(12,69),(13,70),(14,71),(15,72),(16,73),(17,74),(18,75),(19,76),(20,77),(21,78),(22,40),(23,41),(24,42),(25,43),(26,44),(27,45),(28,46),(29,47),(30,48),(31,49),(32,50),(33,51),(34,52),(35,53),(36,54),(37,55),(38,56),(39,57)]])
117 conjugacy classes
| class | 1 | 2 | 3A | 3B | 3C | 3D | 3E | 6A | 6B | 13A | ··· | 13L | 26A | ··· | 26L | 39A | ··· | 39X | 39Y | ··· | 39BH | 78A | ··· | 78X |
| order | 1 | 2 | 3 | 3 | 3 | 3 | 3 | 6 | 6 | 13 | ··· | 13 | 26 | ··· | 26 | 39 | ··· | 39 | 39 | ··· | 39 | 78 | ··· | 78 |
| size | 1 | 3 | 1 | 1 | 2 | 2 | 2 | 3 | 3 | 1 | ··· | 1 | 3 | ··· | 3 | 1 | ··· | 1 | 2 | ··· | 2 | 3 | ··· | 3 |
117 irreducible representations
| dim | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 |
| type | + | + | + | |||||||||
| image | C1 | C2 | C3 | C6 | C13 | C26 | C39 | C78 | S3 | C3×S3 | S3×C13 | S3×C39 |
| kernel | S3×C39 | C3×C39 | S3×C13 | C39 | C3×S3 | C32 | S3 | C3 | C39 | C13 | C3 | C1 |
| # reps | 1 | 1 | 2 | 2 | 12 | 12 | 24 | 24 | 1 | 2 | 12 | 24 |
Matrix representation of S3×C39 ►in GL2(𝔽79) generated by
| 76 | 0 |
| 0 | 76 |
| 55 | 0 |
| 0 | 23 |
| 0 | 1 |
| 1 | 0 |
G:=sub<GL(2,GF(79))| [76,0,0,76],[55,0,0,23],[0,1,1,0] >;
S3×C39 in GAP, Magma, Sage, TeX
S_3\times C_{39} % in TeX
G:=Group("S3xC39"); // GroupNames label
G:=SmallGroup(234,12);
// by ID
G=gap.SmallGroup(234,12);
# by ID
G:=PCGroup([4,-2,-3,-13,-3,2499]);
// Polycyclic
G:=Group<a,b,c|a^39=b^3=c^2=1,a*b=b*a,a*c=c*a,c*b*c=b^-1>;
// generators/relations
Export