SD16xF5 - GroupNames

G = SD₁₆xF₅ order 320 = 2⁶·5

Direct product of SD₁₆ and F₅

direct product, metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: SD₁₆xF₅, C₅:(C₄xSD₁₆), C₈:₅(C₂xF₅), C₄₀:₄(C₂xC₄), Q₈:D₅:₁C₄, (C₈xF₅):₄C₂, (Q₈xF₅):₁C₂, Q₈:₁(C₂xF₅), C₄₀:C₂:₃C₄, D₄.D₅:₃C₄, C₄₀:C₄:₄C₂, D₄.₃(C₂xF₅), (D₄xF₅).₁C₂, C₂.₁₉(D₄xF₅), Q₈:F₅:₁C₂, (C₅xSD₁₆):₃C₄, D₂₀.₁(C₂xC₄), C₁₀.₁₈(C₄xD₄), (C₂xF₅).₁₁D₄, C₄:F₅.₃C₂², C₄.₅(C₂²xF₅), Dic₁₀:₁(C₂xC₄), D₅.₃(C₄oD₈), D₁₀.₆₅(C₂xD₄), D₂₀:C₄.₁C₂, C₂₀.₅(C₂²xC₄), D₅.₂(C₂xSD₁₆), (D₅xSD₁₆).₂C₂, (D₄xD₅).₇C₂², (Q₈xD₅).₄C₂², D₅:C₈.₁₁C₂², (C₄xD₅).₂₇C₂³, (C₈xD₅).₂₇C₂², (C₄xF₅).₁₁C₂², Dic₅.₃(C₄oD₄), (C₅xQ₈):₁(C₂xC₄), C₅:₂C₈:₁₃(C₂xC₄), (C₅xD₄).₃(C₂xC₄), SmallGroup(320,1072)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series

C₁ — C₂₀ — SD₁₆xF₅

Chief series

C₁ — C₅ — C₁₀ — D₁₀ — C₄xD₅ — C₄xF₅ — D₄xF₅ — SD₁₆xF₅

Lower central

C₅ — C₁₀ — C₂₀ — SD₁₆xF₅

Upper central

C₁ — C₂ — C₄ — SD₁₆

Generators and relations for SD₁₆xF₅
G = < a,b,c,d | a⁸=b²=c⁵=d⁴=1, bab=a³, ac=ca, ad=da, bc=cb, bd=db, dcd^-1=c³ >

Subgroups: 546 in 122 conjugacy classes, 44 normal (42 characteristic)
C₁, C₂, C₂, C₄, C₄, C₂², C₅, C₈, C₈, C₂xC₄, D₄, D₄, Q₈, Q₈, C₂³, D₅, D₅, C₁₀, C₁₀, C₄², C₂²:C₄, C₄:C₄, C₂xC₈, SD₁₆, SD₁₆, C₂²xC₄, C₂xD₄, C₂xQ₈, Dic₅, Dic₅, C₂₀, C₂₀, F₅, F₅, D₁₀, D₁₀, C₂xC₁₀, C₄xC₈, D₄:C₄, Q₈:C₄, C₄.Q₈, C₄xD₄, C₄xQ₈, C₂xSD₁₆, C₅:₂C₈, C₄₀, C₅:C₈, Dic₁₀, Dic₁₀, C₄xD₅, C₄xD₅, D₂₀, C₅:D₄, C₅xD₄, C₅xQ₈, C₂xF₅, C₂xF₅, C₂²xD₅, C₄xSD₁₆, C₈xD₅, C₄₀:C₂, D₄.D₅, Q₈:D₅, C₅xSD₁₆, D₅:C₈, C₄xF₅, C₄xF₅, C₄:F₅, C₄:F₅, C₂²:F₅, D₄xD₅, Q₈xD₅, C₂²xF₅, C₈xF₅, C₄₀:C₄, D₂₀:C₄, Q₈:F₅, D₅xSD₁₆, D₄xF₅, Q₈xF₅, SD₁₆xF₅
Quotients: C₁, C₂, C₄, C₂², C₂xC₄, D₄, C₂³, SD₁₆, C₂²xC₄, C₂xD₄, C₄oD₄, F₅, C₄xD₄, C₂xSD₁₆, C₄oD₈, C₂xF₅, C₄xSD₁₆, C₂²xF₅, D₄xF₅, SD₁₆xF₅

Smallest permutation representation of SD₁₆xF₅
►On 40 points

Generators in S₄₀

(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)

(2 4)(3 7)(6 8)(9 11)(10 14)(13 15)(17 19)(18 22)(21 23)(25 27)(26 30)(29 31)(33 37)(34 40)(36 38)

(1 24 32 12 35)(2 17 25 13 36)(3 18 26 14 37)(4 19 27 15 38)(5 20 28 16 39)(6 21 29 9 40)(7 22 30 10 33)(8 23 31 11 34)

(1 5)(2 6)(3 7)(4 8)(9 17 29 36)(10 18 30 37)(11 19 31 38)(12 20 32 39)(13 21 25 40)(14 22 26 33)(15 23 27 34)(16 24 28 35)

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

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

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

35 conjugacy classes

class	1	2A	2B	2C	2D	2E	4A	4B	4C	4D	4E	4F	4G	4H	4I	4J	···	4N	5	8A	8B	8C	···	8H	10A	10B	20A	20B	40A	40B
order	1	2	2	2	2	2	4	4	4	4	4	4	4	4	4	4	···	4	5	8	8	8	···	8	10	10	20	20	40	40
size	1	1	4	5	5	20	2	4	5	5	5	5	10	10	10	20	···	20	4	2	2	10	···	10	4	16	8	16	8	8

35 irreducible representations

dim	1	1	1	1	1	1	1	1	1	1	1	1	2	2	2	2	4	4	4	4	8	8
type	+	+	+	+	+	+	+	+					+				+	+	+	+	+
image	C₁	C₂	C₂	C₂	C₂	C₂	C₂	C₂	C₄	C₄	C₄	C₄	D₄	C₄oD₄	SD₁₆	C₄oD₈	F₅	C₂xF₅	C₂xF₅	C₂xF₅	D₄xF₅	SD₁₆xF₅
kernel	SD₁₆xF₅	C₈xF₅	C₄₀:C₄	D₂₀:C₄	Q₈:F₅	D₅xSD₁₆	D₄xF₅	Q₈xF₅	C₄₀:C₂	D₄.D₅	Q₈:D₅	C₅xSD₁₆	C₂xF₅	Dic₅	F₅	D₅	SD₁₆	C₈	D₄	Q₈	C₂	C₁
# reps	1	1	1	1	1	1	1	1	2	2	2	2	2	2	4	4	1	1	1	1	1	2

Matrix representation of SD₁₆xF₅ ►in GL₆(F₄₁)

15	15	0	0	0	0
26	15	0	0	0	0
0	0	40	0	0	0
0	0	0	40	0	0
0	0	0	0	40	0
0	0	0	0	0	40

40	0	0	0	0	0
0	1	0	0	0	0
0	0	40	0	0	0
0	0	0	40	0	0
0	0	0	0	40	0
0	0	0	0	0	40

1	0	0	0	0	0
0	1	0	0	0	0
0	0	0	0	0	40
0	0	1	0	0	40
0	0	0	1	0	40
0	0	0	0	1	40

32	0	0	0	0	0
0	32	0	0	0	0
0	0	0	0	1	0
0	0	1	0	0	0
0	0	0	0	0	1
0	0	0	1	0	0

G:=sub<GL(6,GF(41))| [15,26,0,0,0,0,15,15,0,0,0,0,0,0,40,0,0,0,0,0,0,40,0,0,0,0,0,0,40,0,0,0,0,0,0,40],[40,0,0,0,0,0,0,1,0,0,0,0,0,0,40,0,0,0,0,0,0,40,0,0,0,0,0,0,40,0,0,0,0,0,0,40],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,40,40,40,40],[32,0,0,0,0,0,0,32,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,1,0] >;

SD₁₆xF₅ in GAP, Magma, Sage, TeX

{\rm SD}_{16}\times F_5

% in TeX

G:=Group("SD16xF5");

// GroupNames label

G:=SmallGroup(320,1072);

// by ID

G=gap.SmallGroup(320,1072);

# by ID

G:=PCGroup([7,-2,-2,-2,-2,-2,-2,-5,56,219,184,851,438,102,6278,1595]);

// Polycyclic

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

// generators/relations

G = SD16xF5 order 320 = 26·5

Direct product of SD16 and F5

G = SD₁₆xF₅ order 320 = 2⁶·5

Direct product of SD₁₆ and F₅