He3:6M4(2) - GroupNames

G = He₃⋊₆M₄(2) order 432 = 2⁴·3³

2^nd semidirect product of He₃ and M₄(2) acting via M₄(2)/C₈=C₂

Aliases: He₃⋊₆M₄(2), (C₃×C₂₄)⋊₈S₃, (C₈×He₃)⋊₉C₂, He₃⋊₄C₈⋊₈C₂, (C₃×C₁₂).₆₅D₆, C₂₄.₁₃(C₃⋊S₃), C₈⋊₃(He₃⋊C₂), He₃⋊₃C₄.₅C₄, C₃.₂(C₂₄⋊S₃), C₃²⋊₄(C₈⋊S₃), (C₄×He₃).₄₆C₂², C₆.₂₉(C₄×C₃⋊S₃), C₁₂.₈₉(C₂×C₃⋊S₃), (C₃×C₆).₂₁(C₄×S₃), C₂.₃(C₄×He₃⋊C₂), (C₂×He₃).₂₂(C₂×C₄), (C₄×He₃⋊C₂).₇C₂, (C₂×He₃⋊C₂).₄C₄, C₄.₁₃(C₂×He₃⋊C₂), SmallGroup(432,174)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series

C₁ — C₃ — C₂×He₃ — He₃⋊₆M₄(2)

Chief series

C₁ — C₃ — C₃² — He₃ — C₂×He₃ — C₄×He₃ — C₄×He₃⋊C₂ — He₃⋊₆M₄(2)

Lower central

He₃ — C₂×He₃ — He₃⋊₆M₄(2)

Upper central

C₁ — C₁₂ — C₂₄

Generators and relations for He₃⋊₆M₄(2)
G = < a,b,c,d,e | a³=b³=c³=d⁸=e²=1, ab=ba, cac^-1=ab^-1, dad^-1=eae=a^-1, bc=cb, bd=db, be=eb, dcd^-1=ece=c^-1, ede=d⁵ >

Subgroups: 377 in 110 conjugacy classes, 33 normal (17 characteristic)
C₁, C₂, C₂, C₃, C₃, C₄, C₄, C₂², S₃, C₆, C₆, C₈, C₈, C₂×C₄, C₃², Dic₃, C₁₂, C₁₂, D₆, C₂×C₆, M₄(2), C₃×S₃, C₃×C₆, C₃⋊C₈, C₂₄, C₂₄, C₄×S₃, C₂×C₁₂, He₃, C₃×Dic₃, C₃×C₁₂, S₃×C₆, C₈⋊S₃, C₃×M₄(2), He₃⋊C₂, C₂×He₃, C₃×C₃⋊C₈, C₃×C₂₄, S₃×C₁₂, He₃⋊₃C₄, C₄×He₃, C₂×He₃⋊C₂, C₃×C₈⋊S₃, He₃⋊₄C₈, C₈×He₃, C₄×He₃⋊C₂, He₃⋊₆M₄(2)
Quotients: C₁, C₂, C₄, C₂², S₃, C₂×C₄, D₆, M₄(2), C₃⋊S₃, C₄×S₃, C₂×C₃⋊S₃, C₈⋊S₃, He₃⋊C₂, C₄×C₃⋊S₃, C₂×He₃⋊C₂, C₂₄⋊S₃, C₄×He₃⋊C₂, He₃⋊₆M₄(2)

Smallest permutation representation of He₃⋊₆M₄(2)
►On 72 points

Generators in S₇₂

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

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

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

(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)(65 66 67 68 69 70 71 72)

(2 6)(4 8)(9 26)(10 31)(11 28)(12 25)(13 30)(14 27)(15 32)(16 29)(17 21)(19 23)(33 51)(34 56)(35 53)(36 50)(37 55)(38 52)(39 49)(40 54)(41 71)(42 68)(43 65)(44 70)(45 67)(46 72)(47 69)(48 66)(58 62)(60 64)

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

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

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

62 conjugacy classes

class	1	2A	2B	3A	3B	3C	3D	3E	3F	4A	4B	4C	6A	6B	6C	6D	6E	6F	6G	6H	8A	8B	8C	8D	12A	12B	12C	12D	12E	···	12L	12M	12N	24A	24B	24C	24D	24E	···	24T	24U	24V	24W	24X
order	1	2	2	3	3	3	3	3	3	4	4	4	6	6	6	6	6	6	6	6	8	8	8	8	12	12	12	12	12	···	12	12	12	24	24	24	24	24	···	24	24	24	24	24
size	1	1	18	1	1	6	6	6	6	1	1	18	1	1	6	6	6	6	18	18	2	2	18	18	1	1	1	1	6	···	6	18	18	2	2	2	2	6	···	6	18	18	18	18

62 irreducible representations

dim	1	1	1	1	1	1	2	2	2	2	2	3	3	3	6
type	+	+	+	+			+	+
image	C₁	C₂	C₂	C₂	C₄	C₄	S₃	D₆	M₄(2)	C₄×S₃	C₈⋊S₃	He₃⋊C₂	C₂×He₃⋊C₂	C₄×He₃⋊C₂	He₃⋊₆M₄(2)
kernel	He₃⋊₆M₄(2)	He₃⋊₄C₈	C₈×He₃	C₄×He₃⋊C₂	He₃⋊₃C₄	C₂×He₃⋊C₂	C₃×C₂₄	C₃×C₁₂	He₃	C₃×C₆	C₃²	C₈	C₄	C₂	C₁
# reps	1	1	1	1	2	2	4	4	2	8	16	4	4	8	4

Matrix representation of He₃⋊₆M₄(2) ►in GL₅(𝔽₇₃)

0	72	0	0	0
1	72	0	0	0
0	0	0	0	1
0	0	72	0	0
0	0	0	72	0

1	0	0	0	0
0	1	0	0	0
0	0	64	0	0
0	0	0	64	0
0	0	0	0	64

1	0	0	0	0
0	1	0	0	0
0	0	0	0	8
0	0	72	0	0
0	0	0	9	0

65	65	0	0	0
57	8	0	0	0
0	0	0	1	0
0	0	1	0	0
0	0	0	0	72

1	72	0	0	0
0	72	0	0	0
0	0	0	1	0
0	0	1	0	0
0	0	0	0	72

G:=sub<GL(5,GF(73))| [0,1,0,0,0,72,72,0,0,0,0,0,0,72,0,0,0,0,0,72,0,0,1,0,0],[1,0,0,0,0,0,1,0,0,0,0,0,64,0,0,0,0,0,64,0,0,0,0,0,64],[1,0,0,0,0,0,1,0,0,0,0,0,0,72,0,0,0,0,0,9,0,0,8,0,0],[65,57,0,0,0,65,8,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,72],[1,0,0,0,0,72,72,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,72] >;

He₃⋊₆M₄(2) in GAP, Magma, Sage, TeX

{\rm He}_3\rtimes_6M_4(2)

% in TeX

G:=Group("He3:6M4(2)");

// GroupNames label

G:=SmallGroup(432,174);

// by ID

G=gap.SmallGroup(432,174);

# by ID

G:=PCGroup([7,-2,-2,-2,-2,-3,-3,-3,141,36,58,1124,4037,537]);

// Polycyclic

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

// generators/relations

G = He3⋊6M4(2) order 432 = 24·33

2nd semidirect product of He3 and M4(2) acting via M4(2)/C8=C2

G = He₃⋊₆M₄(2) order 432 = 2⁴·3³

2^nd semidirect product of He₃ and M₄(2) acting via M₄(2)/C₈=C₂