C4oD4.8Q8 - GroupNames

G = C₄○D₄.₈Q₈ order 128 = 2⁷

6^th non-split extension by C₄○D₄ of Q₈ acting via Q₈/C₄=C₂

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

Aliases: C₈○D₄⋊₅C₄, D₄ ○(C₂.D₈), Q₈ ○(C₂.D₈), C₄○D₄.₈Q₈, C₂.₂(D₄○D₈), C₂.₂(Q₈○D₈), D₄.₁₀(C₄⋊C₄), (C₂×D₄).₃₄₆D₄, C₄.₇(C₂²×Q₈), Q₈.₁₀(C₄⋊C₄), C₈.₁₅(C₂²×C₄), C₄.₅₁(C₂³×C₄), (C₂×Q₈).₂₆₅D₄, C₄⋊C₄.₃₅₂C₂³, M₄(2)⋊₁₇(C₂×C₄), (C₂×C₄).₁₈₉C₂⁴, (C₂×C₈).₅₅₅C₂³, C₂³.₄₃₄(C₂×D₄), M₄(2)⋊C₄⋊₉C₂, C₄.Q₈.₁₂₃C₂², C₂.D₈.₂₃₂C₂², C₂³.₂₅D₄⋊₂₂C₂, (C₂²×C₄).₉₀₈C₂³, (C₂²×C₈).₂₄₅C₂², C₂².₁₃₆(C₂²×D₄), C₄²⋊C₂.₇₉C₂², (C₂×M₄(2)).₂₅₉C₂², C₂³.₃₃C₂³.₅C₂, (C₂×C₈)⋊₁₀(C₂×C₄), C₄.₂₂(C₂×C₄⋊C₄), (C₂×Q₈)○(C₂.D₈), (C₂×C₈○D₄).₇C₂, (C₂×C₂.D₈)⋊₃₇C₂, C₂².₄(C₂×C₄⋊C₄), (C₂×C₄).₉₇(C₂×Q₈), C₄○D₄.₃₃(C₂×C₄), C₂.₂₈(C₂²×C₄⋊C₄), (C₂×C₄).₁₀₈₂(C₂×D₄), (C₂×C₄⋊C₄).₅₇₃C₂², (C₂×C₄).₂₅₂(C₂²×C₄), (C₂×C₄○D₄).₂₇₈C₂², SmallGroup(128,1645)

Series: Derived ►Chief ►Lower central ►Upper central ►Jennings

Derived series

C₁ — C₄ — C₄○D₄.₈Q₈

Chief series

C₁ — C₂ — C₂² — C₂×C₄ — C₂²×C₄ — C₂×C₄○D₄ — C₂×C₈○D₄ — C₄○D₄.₈Q₈

Lower central

C₁ — C₂ — C₄ — C₄○D₄.₈Q₈

Upper central

C₁ — C₂² — C₂×C₄○D₄ — C₄○D₄.₈Q₈

Jennings

C₁ — C₂ — C₂ — C₂×C₄ — C₄○D₄.₈Q₈

Generators and relations for C₄○D₄.₈Q₈
G = < a,b,c,d,e | a⁴=c²=1, b²=d⁴=a², e²=ad², ab=ba, ac=ca, ad=da, eae^-1=a^-1, cbc=a²b, bd=db, be=eb, cd=dc, ce=ec, ede^-1=a²d³ >

Subgroups: 356 in 238 conjugacy classes, 172 normal (14 characteristic)
C₁, C₂, C₂, C₄, C₄, C₄, C₂², C₂², C₂², C₈, C₂×C₄, C₂×C₄, C₂×C₄, D₄, Q₈, C₂³, C₄², C₂²⋊C₄, C₄⋊C₄, C₄⋊C₄, C₂×C₈, C₂×C₈, M₄(2), C₂²×C₄, C₂²×C₄, C₂×D₄, C₂×Q₈, C₄○D₄, C₄.Q₈, C₂.D₈, C₂.D₈, C₂×C₄⋊C₄, C₄²⋊C₂, C₄×D₄, C₄×Q₈, C₂²×C₈, C₂×M₄(2), C₈○D₄, C₂×C₄○D₄, C₂×C₂.D₈, C₂³.₂₅D₄, M₄(2)⋊C₄, C₂³.₃₃C₂³, C₂×C₈○D₄, C₄○D₄.₈Q₈
Quotients: C₁, C₂, C₄, C₂², C₂×C₄, D₄, Q₈, C₂³, C₄⋊C₄, C₂²×C₄, C₂×D₄, C₂×Q₈, C₂⁴, C₂×C₄⋊C₄, C₂³×C₄, C₂²×D₄, C₂²×Q₈, C₂²×C₄⋊C₄, D₄○D₈, Q₈○D₈, C₄○D₄.₈Q₈

Smallest permutation representation of C₄○D₄.₈Q₈
►On 64 points

Generators in S₆₄

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

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

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

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

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

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

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

44 conjugacy classes

class	1	2A	2B	2C	2D	···	2I	4A	···	4H	4I	···	4X	8A	8B	8C	8D	8E	···	8J
order	1	2	2	2	2	···	2	4	···	4	4	···	4	8	8	8	8	8	···	8
size	1	1	1	1	2	···	2	2	···	2	4	···	4	2	2	2	2	4	···	4

44 irreducible representations

dim	1	1	1	1	1	1	1	2	2	2	4	4
type	+	+	+	+	+	+		+	+	-	+	-
image	C₁	C₂	C₂	C₂	C₂	C₂	C₄	D₄	D₄	Q₈	D₄○D₈	Q₈○D₈
kernel	C₄○D₄.₈Q₈	C₂×C₂.D₈	C₂³.₂₅D₄	M₄(2)⋊C₄	C₂³.₃₃C₂³	C₂×C₈○D₄	C₈○D₄	C₂×D₄	C₂×Q₈	C₄○D₄	C₂	C₂
# reps	1	3	3	6	2	1	16	3	1	4	2	2

Matrix representation of C₄○D₄.₈Q₈ ►in GL₆(𝔽₁₇)

1	0	0	0	0	0
0	1	0	0	0	0
0	0	0	1	0	0
0	0	16	0	0	0
0	0	0	0	0	1
0	0	0	0	16	0

1	0	0	0	0	0
0	1	0	0	0	0
0	0	0	16	0	0
0	0	1	0	0	0
0	0	0	0	0	1
0	0	0	0	16	0

16	0	0	0	0	0
0	16	0	0	0	0
0	0	0	0	0	1
0	0	0	0	16	0
0	0	0	16	0	0
0	0	1	0	0	0

6	15	0	0	0	0
10	11	0	0	0	0
0	0	14	3	0	0
0	0	14	14	0	0
0	0	0	0	14	3
0	0	0	0	14	14

9	10	0	0	0	0
2	8	0	0	0	0
0	0	0	0	14	14
0	0	0	0	14	3
0	0	14	14	0	0
0	0	14	3	0	0

G:=sub<GL(6,GF(17))| [1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,16,0,0,0,0,1,0,0,0,0,0,0,0,0,16,0,0,0,0,1,0],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,16,0,0,0,0,0,0,0,0,16,0,0,0,0,1,0],[16,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,0,1,0,0,0,0,16,0,0,0,0,16,0,0,0,0,1,0,0,0],[6,10,0,0,0,0,15,11,0,0,0,0,0,0,14,14,0,0,0,0,3,14,0,0,0,0,0,0,14,14,0,0,0,0,3,14],[9,2,0,0,0,0,10,8,0,0,0,0,0,0,0,0,14,14,0,0,0,0,14,3,0,0,14,14,0,0,0,0,14,3,0,0] >;

C₄○D₄.₈Q₈ in GAP, Magma, Sage, TeX

C_4\circ D_4._8Q_8

% in TeX

G:=Group("C4oD4.8Q8");

// GroupNames label

G:=SmallGroup(128,1645);

// by ID

G=gap.SmallGroup(128,1645);

# by ID

G:=PCGroup([7,-2,2,2,2,-2,2,-2,224,253,568,521,2804,172]);

// Polycyclic

G:=Group<a,b,c,d,e|a^4=c^2=1,b^2=d^4=a^2,e^2=a*d^2,a*b=b*a,a*c=c*a,a*d=d*a,e*a*e^-1=a^-1,c*b*c=a^2*b,b*d=d*b,b*e=e*b,c*d=d*c,c*e=e*c,e*d*e^-1=a^2*d^3>;

// generators/relations

G = C4○D4.8Q8 order 128 = 27

6th non-split extension by C4○D4 of Q8 acting via Q8/C4=C2

G = C₄○D₄.₈Q₈ order 128 = 2⁷

6^th non-split extension by C₄○D₄ of Q₈ acting via Q₈/C₄=C₂