Copied to
clipboard

G = C813SD16order 128 = 27

1st semidirect product of C8 and SD16 acting via SD16/Q8=C2

p-group, metabelian, nilpotent (class 3), monomial

Aliases: Q81D8, C813SD16, C42.219C23, (C8×Q8)⋊5C2, C81C85C2, C4.32(C2×D8), C4⋊C4.194D4, (C2×C8).340D4, C84D4.4C2, C4⋊SD1634C2, C4.85(C4○D8), C4.D814C2, C2.7(C87D4), (C4×C8).50C22, (C2×Q8).147D4, C4.79(C2×SD16), C4⋊C8.174C22, C2.7(C4⋊SD16), C4.117(C8⋊C22), C2.7(D4.4D4), C41D4.27C22, (C4×Q8).262C22, C22.180(C4⋊D4), (C2×C4).4(C4○D4), (C2×C4).1254(C2×D4), SmallGroup(128,400)

Series: Derived Chief Lower central Upper central Jennings

C1C42 — C813SD16
C1C2C22C2×C4C42C4×Q8C8×Q8 — C813SD16
C1C22C42 — C813SD16
C1C22C42 — C813SD16
C1C22C22C42 — C813SD16

Generators and relations for C813SD16
 G = < a,b,c | a8=b8=c2=1, bab-1=cac=a-1, cbc=b3 >

Subgroups: 272 in 94 conjugacy classes, 36 normal (24 characteristic)
C1, C2, C2, C4, C4, C22, C22, C8, C8, C2×C4, C2×C4, D4, Q8, Q8, C23, C42, C42, C4⋊C4, C4⋊C4, C2×C8, C2×C8, D8, SD16, C2×D4, C2×Q8, C4×C8, C4×C8, D4⋊C4, C4⋊C8, C4⋊C8, C4⋊C8, C4×Q8, C41D4, C2×D8, C2×SD16, C4.D8, C81C8, C8×Q8, C4⋊SD16, C84D4, C813SD16
Quotients: C1, C2, C22, D4, C23, D8, SD16, C2×D4, C4○D4, C4⋊D4, C2×D8, C2×SD16, C4○D8, C8⋊C22, C4⋊SD16, C87D4, D4.4D4, C813SD16

Character table of C813SD16

 class 12A2B2C2D2E4A4B4C4D4E4F4G4H4I8A8B8C8D8E8F8G8H8I8J8K8L8M8N
 size 1111161622224444422224444448888
ρ111111111111111111111111111111    trivial
ρ21111-1-11111111111111111111-1-1-1-1    linear of order 2
ρ31111-111111-1-11-1-1-1-1-1-1111-1-11-11-11    linear of order 2
ρ411111-11111-1-11-1-1-1-1-1-1111-1-111-11-1    linear of order 2
ρ51111-1-11111-1-11-1-11111-1-1-111-11111    linear of order 2
ρ61111111111-1-11-1-11111-1-1-111-1-1-1-1-1    linear of order 2
ρ711111-1111111111-1-1-1-1-1-1-1-1-1-1-11-11    linear of order 2
ρ81111-11111111111-1-1-1-1-1-1-1-1-1-11-11-1    linear of order 2
ρ9222200-2-2222-2-22-200000000000000    orthogonal lifted from D4
ρ1022220022-2-200-2002222000-2-200000    orthogonal lifted from D4
ρ11222200-2-222-22-2-2200000000000000    orthogonal lifted from D4
ρ1222220022-2-200-200-2-2-2-20002200000    orthogonal lifted from D4
ρ1322-2-20000-220200-2-222-22-2-22-220000    orthogonal lifted from D8
ρ1422-2-20000-220-2002-222-2-2222-2-20000    orthogonal lifted from D8
ρ1522-2-20000-220200-22-2-22-222-22-20000    orthogonal lifted from D8
ρ1622-2-20000-220-20022-2-222-2-2-2220000    orthogonal lifted from D8
ρ17222200-2-2-2-20020000002i2i-2i00-2i0000    complex lifted from C4○D4
ρ1822-2-200002-22i00-2i0-222-2-2--2-2-22--20000    complex lifted from C4○D8
ρ1922-2-200002-2-2i002i02-2-22-2--2-22-2--20000    complex lifted from C4○D8
ρ202-22-200-2200000002-22-2000000-2-2--2--2    complex lifted from SD16
ρ212-22-200-220000000-22-22000000--2-2-2--2    complex lifted from SD16
ρ222-22-200-2200000002-22-2000000--2--2-2-2    complex lifted from SD16
ρ2322-2-200002-22i00-2i02-2-22--2-2--22-2-20000    complex lifted from C4○D8
ρ242-22-200-220000000-22-22000000-2--2--2-2    complex lifted from SD16
ρ2522-2-200002-2-2i002i0-222-2--2-2--2-22-20000    complex lifted from C4○D8
ρ26222200-2-2-2-2002000000-2i-2i2i002i0000    complex lifted from C4○D4
ρ274-44-4004-4000000000000000000000    orthogonal lifted from C8⋊C22
ρ284-4-44000000000002222-22-220000000000    orthogonal lifted from D4.4D4
ρ294-4-4400000000000-22-2222220000000000    orthogonal lifted from D4.4D4

Smallest permutation representation of C813SD16
On 64 points
Generators in S64
(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)
(1 44 57 53 22 12 36 31)(2 43 58 52 23 11 37 30)(3 42 59 51 24 10 38 29)(4 41 60 50 17 9 39 28)(5 48 61 49 18 16 40 27)(6 47 62 56 19 15 33 26)(7 46 63 55 20 14 34 25)(8 45 64 54 21 13 35 32)
(2 8)(3 7)(4 6)(9 26)(10 25)(11 32)(12 31)(13 30)(14 29)(15 28)(16 27)(17 19)(20 24)(21 23)(33 60)(34 59)(35 58)(36 57)(37 64)(38 63)(39 62)(40 61)(41 56)(42 55)(43 54)(44 53)(45 52)(46 51)(47 50)(48 49)

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

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

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

Matrix representation of C813SD16 in GL4(𝔽17) generated by

0600
14600
0010
0001
,
1000
11600
00710
00120
,
1000
11600
0010
00116
G:=sub<GL(4,GF(17))| [0,14,0,0,6,6,0,0,0,0,1,0,0,0,0,1],[1,1,0,0,0,16,0,0,0,0,7,12,0,0,10,0],[1,1,0,0,0,16,0,0,0,0,1,1,0,0,0,16] >;

C813SD16 in GAP, Magma, Sage, TeX

C_8\rtimes_{13}{\rm SD}_{16}
% in TeX

G:=Group("C8:13SD16");
// GroupNames label

G:=SmallGroup(128,400);
// by ID

G=gap.SmallGroup(128,400);
# by ID

G:=PCGroup([7,-2,2,2,-2,2,-2,2,141,288,422,352,1123,136,2804,718,172]);
// Polycyclic

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

Export

Character table of C813SD16 in TeX

׿
×
𝔽