Copied to
clipboard

G = C8×Q8order 64 = 26

Direct product of C8 and Q8

direct product, p-group, metabelian, nilpotent (class 2), monomial

Aliases: C8×Q8, C42.75C22, C83(C4⋊C4), C82(C4⋊C8), C4.4(C2×C8), (C4×C8).3C2, C4⋊C4.12C4, C4⋊C8.11C2, C2.2(C4×Q8), (C2×Q8).9C4, C4.23(C2×Q8), C2.3(C8○D4), C2.5(C22×C8), (C4×Q8).11C2, C4.54(C4○D4), (C2×C8).65C22, (C2×C4).156C23, C22.24(C22×C4), (C2×C8)(C4×Q8), (C2×C4).47(C2×C4), SmallGroup(64,126)

Series: Derived Chief Lower central Upper central Jennings

C1C2 — C8×Q8
C1C2C4C2×C4C2×C8C4×C8 — C8×Q8
C1C2 — C8×Q8
C1C2×C8 — C8×Q8
C1C2C2C2×C4 — C8×Q8

Generators and relations for C8×Q8
 G = < a,b,c | a8=b4=1, c2=b2, ab=ba, ac=ca, cbc-1=b-1 >

2C4
2C4
2C4
2C8
2C8
2C8

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

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

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

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

C8×Q8 is a maximal subgroup of
Q8⋊C16  SD16⋊C8  C815SD16  C89Q16  Q8.M4(2)  Q82M4(2)  C814SD16  C813SD16  Q81Q16  C88Q16  C87Q16  Q8.1Q16  Q8.2SD16  Q8.3SD16  Q8.2D8  Q8.2Q16  C164Q8  C42.286C23  M4(2)⋊9Q8  C42.291C23  C42.294C23  Q86M4(2)  C42.695C23  Q8.4M4(2)  C42.696C23  C42.304C23  C42.697C23  Q87M4(2)  C42.308C23  C42.309C23  Q84D8  Q87SD16  C42.501C23  C42.502C23  Q88SD16  Q85Q16  C42.505C23  C42.506C23  D86Q8  SD164Q8  Q166Q8  Q85D8  Q89SD16  C42.527C23  C42.528C23  Q86Q16  C42.530C23
 C4p.(C2×C8): Q165C8  Dic6⋊C8  Dic105C8  Dic10⋊C8  Dic14⋊C8 ...
C8×Q8 is a maximal quotient of
C4⋊C43C8  C164Q8  Dic10⋊C8
 C42.D2p: C42.61Q8  C42.327D4  Dic6⋊C8  Dic105C8  Dic14⋊C8 ...

40 conjugacy classes

class 1 2A2B2C4A4B4C4D4E···4P8A···8H8I···8T
order122244444···48···88···8
size111111112···21···12···2

40 irreducible representations

dim1111111222
type++++-
imageC1C2C2C2C4C4C8Q8C4○D4C8○D4
kernelC8×Q8C4×C8C4⋊C8C4×Q8C4⋊C4C2×Q8Q8C8C4C2
# reps13316216224

Matrix representation of C8×Q8 in GL3(𝔽17) generated by

800
010
001
,
100
0162
0161
,
100
007
0120
G:=sub<GL(3,GF(17))| [8,0,0,0,1,0,0,0,1],[1,0,0,0,16,16,0,2,1],[1,0,0,0,0,12,0,7,0] >;

C8×Q8 in GAP, Magma, Sage, TeX

C_8\times Q_8
% in TeX

G:=Group("C8xQ8");
// GroupNames label

G:=SmallGroup(64,126);
// by ID

G=gap.SmallGroup(64,126);
# by ID

G:=PCGroup([6,-2,2,2,-2,2,-2,96,121,55,122,88]);
// Polycyclic

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

Export

Subgroup lattice of C8×Q8 in TeX

׿
×
𝔽