Copied to
clipboard

G = C13⋊A4order 156 = 22·3·13

The semidirect product of C13 and A4 acting via A4/C22=C3

metabelian, soluble, monomial, A-group

Aliases: C13⋊A4, (C2×C26)⋊2C3, C22⋊(C13⋊C3), SmallGroup(156,14)

Series: Derived Chief Lower central Upper central

C1C2×C26 — C13⋊A4
C1C13C2×C26 — C13⋊A4
C2×C26 — C13⋊A4
C1

Generators and relations for C13⋊A4
 G = < a,b,c,d | a13=b2=c2=d3=1, ab=ba, ac=ca, dad-1=a9, dbd-1=bc=cb, dcd-1=b >

3C2
52C3
3C26
4C13⋊C3
13A4

Character table of C13⋊A4

 class 123A3B13A13B13C13D26A26B26C26D26E26F26G26H26I26J26K26L
 size 1352523333333333333333
ρ111111111111111111111    trivial
ρ211ζ32ζ31111111111111111    linear of order 3
ρ311ζ3ζ321111111111111111    linear of order 3
ρ43-1003333-1-1-1-1-1-1-1-1-1-1-1-1    orthogonal lifted from A4
ρ53-100ζ136135132ζ13121310134ζ1311138137ζ13913313ζ13121310134139133131311138137ζ1311138137136135132ζ1361351321312131013413913313136135132ζ13913313131213101341311138137    complex faithful
ρ63-100ζ13913313ζ136135132ζ13121310134ζ1311138137ζ136135132131113813713121310134ζ1312131013413913313139133131361351321311138137ζ13913313ζ131113813713613513213121310134    complex faithful
ρ73300ζ13913313ζ136135132ζ13121310134ζ1311138137ζ136135132ζ1311138137ζ13121310134ζ13121310134ζ13913313ζ13913313ζ136135132ζ1311138137ζ13913313ζ1311138137ζ136135132ζ13121310134    complex lifted from C13⋊C3
ρ83-100ζ136135132ζ13121310134ζ1311138137ζ139133131312131013413913313ζ13111381371311138137136135132136135132ζ13121310134ζ13913313ζ13613513213913313131213101341311138137    complex faithful
ρ93-100ζ13121310134ζ1311138137ζ13913313ζ136135132ζ1311138137ζ13613513213913313ζ1391331313121310134ζ13121310134131113813713613513213121310134136135132131113813713913313    complex faithful
ρ103-100ζ13121310134ζ1311138137ζ13913313ζ1361351321311138137136135132ζ13913313139133131312131013413121310134ζ1311138137136135132ζ13121310134ζ136135132131113813713913313    complex faithful
ρ113-100ζ13121310134ζ1311138137ζ13913313ζ13613513213111381371361351321391331313913313ζ13121310134131213101341311138137ζ13613513213121310134136135132ζ1311138137ζ13913313    complex faithful
ρ123300ζ1311138137ζ13913313ζ136135132ζ13121310134ζ13913313ζ13121310134ζ136135132ζ136135132ζ1311138137ζ1311138137ζ13913313ζ13121310134ζ1311138137ζ13121310134ζ13913313ζ136135132    complex lifted from C13⋊C3
ρ133-100ζ13913313ζ136135132ζ13121310134ζ1311138137136135132ζ1311138137131213101341312131013413913313ζ139133131361351321311138137139133131311138137ζ136135132ζ13121310134    complex faithful
ρ143300ζ13121310134ζ1311138137ζ13913313ζ136135132ζ1311138137ζ136135132ζ13913313ζ13913313ζ13121310134ζ13121310134ζ1311138137ζ136135132ζ13121310134ζ136135132ζ1311138137ζ13913313    complex lifted from C13⋊C3
ρ153300ζ136135132ζ13121310134ζ1311138137ζ13913313ζ13121310134ζ13913313ζ1311138137ζ1311138137ζ136135132ζ136135132ζ13121310134ζ13913313ζ136135132ζ13913313ζ13121310134ζ1311138137    complex lifted from C13⋊C3
ρ163-100ζ1311138137ζ13913313ζ136135132ζ131213101341391331313121310134ζ136135132136135132ζ1311138137131113813713913313ζ13121310134131113813713121310134ζ13913313136135132    complex faithful
ρ173-100ζ1311138137ζ13913313ζ136135132ζ13121310134ζ13913313ζ131213101341361351321361351321311138137ζ1311138137139133131312131013413111381371312131013413913313ζ136135132    complex faithful
ρ183-100ζ13913313ζ136135132ζ13121310134ζ13111381371361351321311138137ζ1312131013413121310134ζ1391331313913313ζ136135132ζ131113813713913313131113813713613513213121310134    complex faithful
ρ193-100ζ1311138137ζ13913313ζ136135132ζ131213101341391331313121310134136135132ζ13613513213111381371311138137ζ1391331313121310134ζ1311138137ζ1312131013413913313136135132    complex faithful
ρ203-100ζ136135132ζ13121310134ζ1311138137ζ1391331313121310134ζ1391331313111381371311138137ζ136135132136135132131213101341391331313613513213913313ζ13121310134ζ1311138137    complex faithful

Smallest permutation representation of C13⋊A4
On 52 points
Generators in S52
(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)
(1 29)(2 30)(3 31)(4 32)(5 33)(6 34)(7 35)(8 36)(9 37)(10 38)(11 39)(12 27)(13 28)(14 49)(15 50)(16 51)(17 52)(18 40)(19 41)(20 42)(21 43)(22 44)(23 45)(24 46)(25 47)(26 48)
(1 18)(2 19)(3 20)(4 21)(5 22)(6 23)(7 24)(8 25)(9 26)(10 14)(11 15)(12 16)(13 17)(27 51)(28 52)(29 40)(30 41)(31 42)(32 43)(33 44)(34 45)(35 46)(36 47)(37 48)(38 49)(39 50)
(2 4 10)(3 7 6)(5 13 11)(8 9 12)(14 41 32)(15 44 28)(16 47 37)(17 50 33)(18 40 29)(19 43 38)(20 46 34)(21 49 30)(22 52 39)(23 42 35)(24 45 31)(25 48 27)(26 51 36)

G:=sub<Sym(52)| (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), (1,29)(2,30)(3,31)(4,32)(5,33)(6,34)(7,35)(8,36)(9,37)(10,38)(11,39)(12,27)(13,28)(14,49)(15,50)(16,51)(17,52)(18,40)(19,41)(20,42)(21,43)(22,44)(23,45)(24,46)(25,47)(26,48), (1,18)(2,19)(3,20)(4,21)(5,22)(6,23)(7,24)(8,25)(9,26)(10,14)(11,15)(12,16)(13,17)(27,51)(28,52)(29,40)(30,41)(31,42)(32,43)(33,44)(34,45)(35,46)(36,47)(37,48)(38,49)(39,50), (2,4,10)(3,7,6)(5,13,11)(8,9,12)(14,41,32)(15,44,28)(16,47,37)(17,50,33)(18,40,29)(19,43,38)(20,46,34)(21,49,30)(22,52,39)(23,42,35)(24,45,31)(25,48,27)(26,51,36)>;

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), (1,29)(2,30)(3,31)(4,32)(5,33)(6,34)(7,35)(8,36)(9,37)(10,38)(11,39)(12,27)(13,28)(14,49)(15,50)(16,51)(17,52)(18,40)(19,41)(20,42)(21,43)(22,44)(23,45)(24,46)(25,47)(26,48), (1,18)(2,19)(3,20)(4,21)(5,22)(6,23)(7,24)(8,25)(9,26)(10,14)(11,15)(12,16)(13,17)(27,51)(28,52)(29,40)(30,41)(31,42)(32,43)(33,44)(34,45)(35,46)(36,47)(37,48)(38,49)(39,50), (2,4,10)(3,7,6)(5,13,11)(8,9,12)(14,41,32)(15,44,28)(16,47,37)(17,50,33)(18,40,29)(19,43,38)(20,46,34)(21,49,30)(22,52,39)(23,42,35)(24,45,31)(25,48,27)(26,51,36) );

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)], [(1,29),(2,30),(3,31),(4,32),(5,33),(6,34),(7,35),(8,36),(9,37),(10,38),(11,39),(12,27),(13,28),(14,49),(15,50),(16,51),(17,52),(18,40),(19,41),(20,42),(21,43),(22,44),(23,45),(24,46),(25,47),(26,48)], [(1,18),(2,19),(3,20),(4,21),(5,22),(6,23),(7,24),(8,25),(9,26),(10,14),(11,15),(12,16),(13,17),(27,51),(28,52),(29,40),(30,41),(31,42),(32,43),(33,44),(34,45),(35,46),(36,47),(37,48),(38,49),(39,50)], [(2,4,10),(3,7,6),(5,13,11),(8,9,12),(14,41,32),(15,44,28),(16,47,37),(17,50,33),(18,40,29),(19,43,38),(20,46,34),(21,49,30),(22,52,39),(23,42,35),(24,45,31),(25,48,27),(26,51,36)]])

C13⋊A4 is a maximal subgroup of   D13⋊A4  A4×C13⋊C3
C13⋊A4 is a maximal quotient of   C26.A4  C39.A4

Matrix representation of C13⋊A4 in GL3(𝔽79) generated by

010
001
11025
,
153851
515149
496712
,
102473
732932
327739
,
100
246854
35510
G:=sub<GL(3,GF(79))| [0,0,1,1,0,10,0,1,25],[15,51,49,38,51,67,51,49,12],[10,73,32,24,29,77,73,32,39],[1,24,3,0,68,55,0,54,10] >;

C13⋊A4 in GAP, Magma, Sage, TeX

C_{13}\rtimes A_4
% in TeX

G:=Group("C13:A4");
// GroupNames label

G:=SmallGroup(156,14);
// by ID

G=gap.SmallGroup(156,14);
# by ID

G:=PCGroup([4,-3,-2,2,-13,49,110,579]);
// Polycyclic

G:=Group<a,b,c,d|a^13=b^2=c^2=d^3=1,a*b=b*a,a*c=c*a,d*a*d^-1=a^9,d*b*d^-1=b*c=c*b,d*c*d^-1=b>;
// generators/relations

Export

Subgroup lattice of C13⋊A4 in TeX
Character table of C13⋊A4 in TeX

׿
×
𝔽