direct product, non-abelian, soluble
Aliases: C5×SL2(𝔽3), Q8⋊C15, C10.A4, (C5×Q8)⋊C3, C2.(C5×A4), SmallGroup(120,15)
Series: Derived ►Chief ►Lower central ►Upper central
| Q8 — C5×SL2(𝔽3) |
Generators and relations for C5×SL2(𝔽3)
G = < a,b,c,d | a5=b4=d3=1, c2=b2, ab=ba, ac=ca, ad=da, cbc-1=b-1, dbd-1=c, dcd-1=bc >
Smallest permutation representation of C5×SL2(𝔽3)
►On 40 points
Generators in S40
(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)
(1 28 12 32)(2 29 13 33)(3 30 14 34)(4 26 15 35)(5 27 11 31)(6 21 40 19)(7 22 36 20)(8 23 37 16)(9 24 38 17)(10 25 39 18)
(1 8 12 37)(2 9 13 38)(3 10 14 39)(4 6 15 40)(5 7 11 36)(16 32 23 28)(17 33 24 29)(18 34 25 30)(19 35 21 26)(20 31 22 27)
(6 26 19)(7 27 20)(8 28 16)(9 29 17)(10 30 18)(21 40 35)(22 36 31)(23 37 32)(24 38 33)(25 39 34)
G:=sub<Sym(40)| (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), (1,28,12,32)(2,29,13,33)(3,30,14,34)(4,26,15,35)(5,27,11,31)(6,21,40,19)(7,22,36,20)(8,23,37,16)(9,24,38,17)(10,25,39,18), (1,8,12,37)(2,9,13,38)(3,10,14,39)(4,6,15,40)(5,7,11,36)(16,32,23,28)(17,33,24,29)(18,34,25,30)(19,35,21,26)(20,31,22,27), (6,26,19)(7,27,20)(8,28,16)(9,29,17)(10,30,18)(21,40,35)(22,36,31)(23,37,32)(24,38,33)(25,39,34)>;
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), (1,28,12,32)(2,29,13,33)(3,30,14,34)(4,26,15,35)(5,27,11,31)(6,21,40,19)(7,22,36,20)(8,23,37,16)(9,24,38,17)(10,25,39,18), (1,8,12,37)(2,9,13,38)(3,10,14,39)(4,6,15,40)(5,7,11,36)(16,32,23,28)(17,33,24,29)(18,34,25,30)(19,35,21,26)(20,31,22,27), (6,26,19)(7,27,20)(8,28,16)(9,29,17)(10,30,18)(21,40,35)(22,36,31)(23,37,32)(24,38,33)(25,39,34) );
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)], [(1,28,12,32),(2,29,13,33),(3,30,14,34),(4,26,15,35),(5,27,11,31),(6,21,40,19),(7,22,36,20),(8,23,37,16),(9,24,38,17),(10,25,39,18)], [(1,8,12,37),(2,9,13,38),(3,10,14,39),(4,6,15,40),(5,7,11,36),(16,32,23,28),(17,33,24,29),(18,34,25,30),(19,35,21,26),(20,31,22,27)], [(6,26,19),(7,27,20),(8,28,16),(9,29,17),(10,30,18),(21,40,35),(22,36,31),(23,37,32),(24,38,33),(25,39,34)]])
C5×SL2(𝔽3) is a maximal subgroup of
Q8.D15 Q8⋊D15 Dic5.A4
35 conjugacy classes
| class | 1 | 2 | 3A | 3B | 4 | 5A | 5B | 5C | 5D | 6A | 6B | 10A | 10B | 10C | 10D | 15A | ··· | 15H | 20A | 20B | 20C | 20D | 30A | ··· | 30H |
| order | 1 | 2 | 3 | 3 | 4 | 5 | 5 | 5 | 5 | 6 | 6 | 10 | 10 | 10 | 10 | 15 | ··· | 15 | 20 | 20 | 20 | 20 | 30 | ··· | 30 |
| size | 1 | 1 | 4 | 4 | 6 | 1 | 1 | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 | 4 | ··· | 4 | 6 | 6 | 6 | 6 | 4 | ··· | 4 |
35 irreducible representations
| dim | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 3 | 3 |
| type | + | - | + | ||||||
| image | C1 | C3 | C5 | C15 | SL2(𝔽3) | SL2(𝔽3) | C5×SL2(𝔽3) | A4 | C5×A4 |
| kernel | C5×SL2(𝔽3) | C5×Q8 | SL2(𝔽3) | Q8 | C5 | C5 | C1 | C10 | C2 |
| # reps | 1 | 2 | 4 | 8 | 1 | 2 | 12 | 1 | 4 |
Matrix representation of C5×SL2(𝔽3) ►in GL2(𝔽11) generated by
| 3 | 0 |
| 0 | 3 |
| 1 | 4 |
| 5 | 10 |
| 7 | 10 |
| 6 | 4 |
| 0 | 6 |
| 9 | 10 |
G:=sub<GL(2,GF(11))| [3,0,0,3],[1,5,4,10],[7,6,10,4],[0,9,6,10] >;
C5×SL2(𝔽3) in GAP, Magma, Sage, TeX
C_5\times {\rm SL}_2({\mathbb F}_3) % in TeX
G:=Group("C5xSL(2,3)"); // GroupNames label
G:=SmallGroup(120,15);
// by ID
G=gap.SmallGroup(120,15);
# by ID
G:=PCGroup([5,-3,-5,-2,2,-2,452,72,903,133,58]);
// Polycyclic
G:=Group<a,b,c,d|a^5=b^4=d^3=1,c^2=b^2,a*b=b*a,a*c=c*a,a*d=d*a,c*b*c^-1=b^-1,d*b*d^-1=c,d*c*d^-1=b*c>;
// generators/relations
Export