He3.5D9 - GroupNames

G = He₃.₅D₉ order 486 = 2·3⁵

The non-split extension by He₃ of D₉ acting via D₉/C₉=C₂

Aliases: He₃.₅D₉, 3_-¹⁺².₃D₉, C₉.(C₃×D₉), C₂₇⋊C₃⋊₅S₃, C₂₇⋊S₃⋊₅C₃, (C₃×C₂₇)⋊₇S₃, (C₃×C₂₇)⋊₆C₆, C₂₇.₃(C₃×S₃), C₂₇○He₃⋊₁C₂, C₉○He₃.₅S₃, C₃².₄(C₃×D₉), C₃².₆(C₉⋊S₃), C₉.₅(C₃×C₃⋊S₃), C₃.₈(C₃×C₉⋊S₃), (C₃×C₉).₄₂(C₃×S₃), (C₃×C₉).₁₃(C₃⋊S₃), SmallGroup(486,163)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series

C₁ — C₃×C₂₇ — He₃.₅D₉

Chief series

C₁ — C₃ — C₉ — C₃×C₉ — C₃×C₂₇ — C₂₇○He₃ — He₃.₅D₉

Lower central

C₃×C₂₇ — He₃.₅D₉

Upper central

C₁

Generators and relations for He₃.₅D₉
G = < a,b,c,d,e | a³=b³=c³=e²=1, d⁹=b, ab=ba, cac^-1=ab^-1, ad=da, eae=a^-1, bc=cb, bd=db, ebe=b^-1, cd=dc, ce=ec, ede=b^-1d⁸ >

Subgroups: 458 in 62 conjugacy classes, 23 normal (15 characteristic)
C₁, C₂, C₃, C₃, S₃, C₆, C₉, C₉, C₉, C₃², C₃², D₉, C₃×S₃, C₃⋊S₃, C₂₇, C₂₇, C₂₇, C₃×C₉, C₃×C₉, He₃, 3_-¹⁺², 3_-¹⁺², D₂₇, C₃×D₉, C₃²⋊C₆, C₉⋊C₆, C₉⋊S₃, C₃×C₂₇, C₃×C₂₇, C₂₇⋊C₃, C₂₇⋊C₃, C₉○He₃, C₃×D₂₇, C₂₇⋊C₆, C₂₇⋊S₃, He₃.₄S₃, C₂₇○He₃, He₃.₅D₉
Quotients: C₁, C₂, C₃, S₃, C₆, D₉, C₃×S₃, C₃⋊S₃, C₃×D₉, C₉⋊S₃, C₃×C₃⋊S₃, C₃×C₉⋊S₃, He₃.₅D₉

Smallest permutation representation of He₃.₅D₉
►On 81 points

Generators in S₈₁

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

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

(28 46 37)(29 47 38)(30 48 39)(31 49 40)(32 50 41)(33 51 42)(34 52 43)(35 53 44)(36 54 45)(55 64 73)(56 65 74)(57 66 75)(58 67 76)(59 68 77)(60 69 78)(61 70 79)(62 71 80)(63 72 81)

(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 73 74 75 76 77 78 79 80 81)

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

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

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

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

54 conjugacy classes

class	1	2	3A	3B	3C	3D	3E	3F	6A	6B	9A	9B	9C	9D	···	9K	27A	···	27I	27J	···	27AG
order	1	2	3	3	3	3	3	3	6	6	9	9	9	9	···	9	27	···	27	27	···	27
size	1	81	2	3	3	6	6	6	81	81	2	2	2	6	···	6	2	···	2	6	···	6

54 irreducible representations

dim	1	1	1	1	2	2	2	2	2	2	2	2	2	6
type	+	+			+	+	+			+	+			+
image	C₁	C₂	C₃	C₆	S₃	S₃	S₃	C₃×S₃	C₃×S₃	D₉	D₉	C₃×D₉	C₃×D₉	He₃.₅D₉
kernel	He₃.₅D₉	C₂₇○He₃	C₂₇⋊S₃	C₃×C₂₇	C₃×C₂₇	C₂₇⋊C₃	C₉○He₃	C₂₇	C₃×C₉	He₃	3_-¹⁺²	C₉	C₃²	C₁
# reps	1	1	2	2	1	2	1	6	2	3	6	12	6	9

Matrix representation of He₃.₅D₉ ►in GL₆(𝔽₁₀₉)

0	0	1	0	0	0
0	0	0	1	0	0
0	0	0	0	1	0
0	0	0	0	0	1
1	0	0	0	0	0
0	1	0	0	0	0

0	1	0	0	0	0
108	108	0	0	0	0
0	0	0	1	0	0
0	0	108	108	0	0
0	0	0	0	0	1
0	0	0	0	108	108

1	0	0	0	0	0
0	1	0	0	0	0
0	0	108	108	0	0
0	0	1	0	0	0
0	0	0	0	0	1
0	0	0	0	108	108

92	99	0	0	0	0
10	102	0	0	0	0
0	0	92	99	0	0
0	0	10	102	0	0
0	0	0	0	92	99
0	0	0	0	10	102

87	29	0	0	0	0
51	22	0	0	0	0
0	0	0	0	87	29
0	0	0	0	51	22
0	0	87	29	0	0
0	0	51	22	0	0

G:=sub<GL(6,GF(109))| [0,0,0,0,1,0,0,0,0,0,0,1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0],[0,108,0,0,0,0,1,108,0,0,0,0,0,0,0,108,0,0,0,0,1,108,0,0,0,0,0,0,0,108,0,0,0,0,1,108],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,108,1,0,0,0,0,108,0,0,0,0,0,0,0,0,108,0,0,0,0,1,108],[92,10,0,0,0,0,99,102,0,0,0,0,0,0,92,10,0,0,0,0,99,102,0,0,0,0,0,0,92,10,0,0,0,0,99,102],[87,51,0,0,0,0,29,22,0,0,0,0,0,0,0,0,87,51,0,0,0,0,29,22,0,0,87,51,0,0,0,0,29,22,0,0] >;

He₃.₅D₉ in GAP, Magma, Sage, TeX

{\rm He}_3._5D_9

% in TeX

G:=Group("He3.5D9");

// GroupNames label

G:=SmallGroup(486,163);

// by ID

G=gap.SmallGroup(486,163);

# by ID

G:=PCGroup([6,-2,-3,-3,-3,-3,-3,1190,824,867,2169,8104,208,11669]);

// Polycyclic

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

// generators/relations

G = He3.5D9 order 486 = 2·35

The non-split extension by He3 of D9 acting via D9/C9=C2

G = He₃.₅D₉ order 486 = 2·3⁵

The non-split extension by He₃ of D₉ acting via D₉/C₉=C₂