direct product, metacyclic, supersoluble, monomial, A-group
Aliases: C3×F13, C39⋊2C12, C13⋊C3⋊C12, C13⋊(C3×C12), C13⋊C6.C6, C13⋊C4⋊C32, D13.(C3×C6), (C3×D13).3C6, (C3×C13⋊C4)⋊C3, (C3×C13⋊C3)⋊2C4, (C3×C13⋊C6).2C2, SmallGroup(468,29)
Series: Derived ►Chief ►Lower central ►Upper central
C1 — C13 — D13 — C3×D13 — C3×C13⋊C6 — C3×F13 |
C13 — C3×F13 |
Generators and relations for C3×F13
G = < a,b,c | a3=b13=c12=1, ab=ba, ac=ca, cbc-1=b6 >
(1 27 14)(2 28 15)(3 29 16)(4 30 17)(5 31 18)(6 32 19)(7 33 20)(8 34 21)(9 35 22)(10 36 23)(11 37 24)(12 38 25)(13 39 26)
(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)
(2 12 5 6 4 8 13 3 10 9 11 7)(15 25 18 19 17 21 26 16 23 22 24 20)(28 38 31 32 30 34 39 29 36 35 37 33)
G:=sub<Sym(39)| (1,27,14)(2,28,15)(3,29,16)(4,30,17)(5,31,18)(6,32,19)(7,33,20)(8,34,21)(9,35,22)(10,36,23)(11,37,24)(12,38,25)(13,39,26), (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), (2,12,5,6,4,8,13,3,10,9,11,7)(15,25,18,19,17,21,26,16,23,22,24,20)(28,38,31,32,30,34,39,29,36,35,37,33)>;
G:=Group( (1,27,14)(2,28,15)(3,29,16)(4,30,17)(5,31,18)(6,32,19)(7,33,20)(8,34,21)(9,35,22)(10,36,23)(11,37,24)(12,38,25)(13,39,26), (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), (2,12,5,6,4,8,13,3,10,9,11,7)(15,25,18,19,17,21,26,16,23,22,24,20)(28,38,31,32,30,34,39,29,36,35,37,33) );
G=PermutationGroup([[(1,27,14),(2,28,15),(3,29,16),(4,30,17),(5,31,18),(6,32,19),(7,33,20),(8,34,21),(9,35,22),(10,36,23),(11,37,24),(12,38,25),(13,39,26)], [(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)], [(2,12,5,6,4,8,13,3,10,9,11,7),(15,25,18,19,17,21,26,16,23,22,24,20),(28,38,31,32,30,34,39,29,36,35,37,33)]])
39 conjugacy classes
class | 1 | 2 | 3A | 3B | 3C | ··· | 3H | 4A | 4B | 6A | ··· | 6H | 12A | ··· | 12P | 13 | 39A | 39B |
order | 1 | 2 | 3 | 3 | 3 | ··· | 3 | 4 | 4 | 6 | ··· | 6 | 12 | ··· | 12 | 13 | 39 | 39 |
size | 1 | 13 | 1 | 1 | 13 | ··· | 13 | 13 | 13 | 13 | ··· | 13 | 13 | ··· | 13 | 12 | 12 | 12 |
39 irreducible representations
dim | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 12 | 12 |
type | + | + | + | ||||||||
image | C1 | C2 | C3 | C3 | C4 | C6 | C6 | C12 | C12 | F13 | C3×F13 |
kernel | C3×F13 | C3×C13⋊C6 | F13 | C3×C13⋊C4 | C3×C13⋊C3 | C13⋊C6 | C3×D13 | C13⋊C3 | C39 | C3 | C1 |
# reps | 1 | 1 | 6 | 2 | 2 | 6 | 2 | 12 | 4 | 1 | 2 |
Matrix representation of C3×F13 ►in GL12(𝔽157)
144 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 144 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 144 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 144 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 144 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 144 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 156 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 156 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 156 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 156 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 156 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 156 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 156 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 156 |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
G:=sub<GL(12,GF(157))| [144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144,0,0,0,0,0,0,0,0,0,0,0,0,144],[0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,156,156,156,156,156,156,156,156,156,156,156,156],[0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0] >;
C3×F13 in GAP, Magma, Sage, TeX
C_3\times F_{13}
% in TeX
G:=Group("C3xF13");
// GroupNames label
G:=SmallGroup(468,29);
// by ID
G=gap.SmallGroup(468,29);
# by ID
G:=PCGroup([5,-2,-3,-3,-2,-13,90,7204,1359,619]);
// Polycyclic
G:=Group<a,b,c|a^3=b^13=c^12=1,a*b=b*a,a*c=c*a,c*b*c^-1=b^6>;
// generators/relations
Export