Copied to
clipboard

G = He3⋊D9order 486 = 2·35

1st semidirect product of He3 and D9 acting via D9/C3=S3

metabelian, supersoluble, monomial

Aliases: He31D9, He3⋊C92C2, (C32×C9)⋊5C6, (C3×He3).3S3, C32.1(C3×D9), C324D91C3, C3.(C33⋊C6), C32.1(C9⋊C6), C33.52(C3×S3), C3.(He3.S3), C3.2(C32⋊D9), C32.40(C32⋊C6), C3.1(He3.2S3), SmallGroup(486,25)

Series: Derived Chief Lower central Upper central

C1C32×C9 — He3⋊D9
C1C3C32C33C32×C9He3⋊C9 — He3⋊D9
C32×C9 — He3⋊D9
C1

Generators and relations for He3⋊D9
 G = < a,b,c,d,e | a3=b3=c3=d9=e2=1, ab=ba, cac-1=ab-1, ad=da, eae=a-1, bc=cb, bd=db, ebe=b-1, dcd-1=ece=ab-1c, ede=d-1 >

Subgroups: 1052 in 76 conjugacy classes, 16 normal (14 characteristic)
C1, C2, C3, C3, S3, C6, C9, C32, C32, C32, D9, C3×S3, C3⋊S3, C3×C9, He3, He3, C33, C33, C32⋊C6, C9⋊S3, C3×C3⋊S3, C33⋊C2, C32⋊C9, C32×C9, C3×He3, He34S3, C324D9, He3⋊C9, He3⋊D9
Quotients: C1, C2, C3, S3, C6, D9, C3×S3, C3×D9, C32⋊C6, C9⋊C6, C32⋊D9, C33⋊C6, He3.S3, He3.2S3, He3⋊D9

Character table of He3⋊D9

 class 123A3B3C3D3E3F3G3H3I3J3K6A6B9A9B9C9D9E9F9G9H9I9J9K9L9M9N9O
 size 18122226669918188181666666666181818181818
ρ1111111111111111111111111111111    trivial
ρ21-111111111111-1-1111111111111111    linear of order 2
ρ31-11111111ζ32ζ3ζ32ζ3ζ6ζ65111111111ζ32ζ32ζ32ζ3ζ3ζ3    linear of order 6
ρ4111111111ζ3ζ32ζ3ζ32ζ3ζ32111111111ζ3ζ3ζ3ζ32ζ32ζ32    linear of order 3
ρ5111111111ζ32ζ3ζ32ζ3ζ32ζ3111111111ζ32ζ32ζ32ζ3ζ3ζ3    linear of order 3
ρ61-11111111ζ3ζ32ζ3ζ32ζ65ζ6111111111ζ3ζ3ζ3ζ32ζ32ζ32    linear of order 6
ρ7202222222222200-1-1-1-1-1-1-1-1-1-1-1-1-1-1-1    orthogonal lifted from S3
ρ8202-1-1-1-1-1222-1-100ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9792ζ9594ζ989ζ989ζ9792ζ9594    orthogonal lifted from D9
ρ9202-1-1-1-1-1222-1-100ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ9594ζ989ζ9792ζ9792ζ9594ζ989    orthogonal lifted from D9
ρ10202-1-1-1-1-1222-1-100ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ989ζ9792ζ9594ζ9594ζ989ζ9792    orthogonal lifted from D9
ρ11202222222-1--3-1+-3-1--3-1+-300-1-1-1-1-1-1-1-1-1ζ6ζ6ζ6ζ65ζ65ζ65    complex lifted from C3×S3
ρ12202-1-1-1-1-12-1--3-1+-3ζ6ζ6500ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9894ζ929ζ9795ζ9492ζ959ζ9897    complex lifted from C3×D9
ρ13202222222-1+-3-1--3-1+-3-1--300-1-1-1-1-1-1-1-1-1ζ65ζ65ζ65ζ6ζ6ζ6    complex lifted from C3×S3
ρ14202-1-1-1-1-12-1+-3-1--3ζ65ζ600ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9492ζ959ζ9897ζ929ζ9795ζ9894    complex lifted from C3×D9
ρ15202-1-1-1-1-12-1--3-1+-3ζ6ζ6500ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ929ζ9795ζ9894ζ959ζ9897ζ9492    complex lifted from C3×D9
ρ16202-1-1-1-1-12-1+-3-1--3ζ65ζ600ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ9897ζ9492ζ959ζ9894ζ929ζ9795    complex lifted from C3×D9
ρ17202-1-1-1-1-12-1+-3-1--3ζ65ζ600ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ959ζ9897ζ9492ζ9795ζ9894ζ929    complex lifted from C3×D9
ρ18202-1-1-1-1-12-1--3-1+-3ζ6ζ6500ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9792ζ9594ζ989ζ9795ζ9894ζ929ζ9897ζ9492ζ959    complex lifted from C3×D9
ρ19606-3-3-36-3-3000000000000000000000    orthogonal lifted from C9⋊C6
ρ20606666-3-3-3000000000000000000000    orthogonal lifted from C32⋊C6
ρ2160-3-3-3600000000033-3-3-30003000000    orthogonal lifted from C33⋊C6
ρ2260-3-3-3600000000000333-3-3-30000000    orthogonal lifted from C33⋊C6
ρ23606-3-3-3-36-3000000000000000000000    orthogonal lifted from C9⋊C6
ρ2460-3-3-36000000000-3-3000333-3000000    orthogonal lifted from C33⋊C6
ρ2560-36-3-3000000000ζ989492+2ζ9ζ989794+2ζ92ζ989794+2ζ929594929ζ989492+2ζ9ζ989492+2ζ9ζ989794+2ζ9295949299594929000000    orthogonal lifted from He3.S3
ρ2660-36-3-3000000000ζ989794+2ζ9295949299594929ζ989492+2ζ9ζ989794+2ζ92ζ989794+2ζ929594929ζ989492+2ζ9ζ989492+2ζ9000000    orthogonal lifted from He3.S3
ρ2760-3-36-3000000000989492998+2ζ979492989492998+2ζ979492ζ95+2ζ9492998+2ζ979492ζ95+2ζ949299894929ζ95+2ζ94929000000    orthogonal lifted from He3.2S3
ρ2860-3-36-300000000098+2ζ979492ζ95+2ζ9492998+2ζ979492ζ95+2ζ949299894929ζ95+2ζ94929989492998+2ζ9794929894929000000    orthogonal lifted from He3.2S3
ρ2960-36-3-30000000009594929ζ989492+2ζ9ζ989492+2ζ9ζ989794+2ζ9295949299594929ζ989492+2ζ9ζ989794+2ζ92ζ989794+2ζ92000000    orthogonal lifted from He3.S3
ρ3060-3-36-3000000000ζ95+2ζ949299894929ζ95+2ζ94929989492998+2ζ979492989492998+2ζ979492ζ95+2ζ9492998+2ζ979492000000    orthogonal lifted from He3.2S3

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

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

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

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

Matrix representation of He3⋊D9 in GL8(𝔽19)

10000000
01000000
0018180000
00100000
00000100
0000181800
00000010
00000001
,
10000000
01000000
0018180000
00100000
0000181800
00001000
0000001818
00000010
,
70000000
07000000
00001000
00000100
00000010
00000001
00100000
00010000
,
718000000
10000000
002140000
00570000
0000121700
000021400
000000214
00000057
,
718000000
1012000000
002140000
0012170000
0000121700
00005700
000000214
0000001217

G:=sub<GL(8,GF(19))| [1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,18,1,0,0,0,0,0,0,18,0,0,0,0,0,0,0,0,0,0,18,0,0,0,0,0,0,1,18,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1],[1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,18,1,0,0,0,0,0,0,18,0,0,0,0,0,0,0,0,0,18,1,0,0,0,0,0,0,18,0,0,0,0,0,0,0,0,0,18,1,0,0,0,0,0,0,18,0],[7,0,0,0,0,0,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0],[7,1,0,0,0,0,0,0,18,0,0,0,0,0,0,0,0,0,2,5,0,0,0,0,0,0,14,7,0,0,0,0,0,0,0,0,12,2,0,0,0,0,0,0,17,14,0,0,0,0,0,0,0,0,2,5,0,0,0,0,0,0,14,7],[7,10,0,0,0,0,0,0,18,12,0,0,0,0,0,0,0,0,2,12,0,0,0,0,0,0,14,17,0,0,0,0,0,0,0,0,12,5,0,0,0,0,0,0,17,7,0,0,0,0,0,0,0,0,2,12,0,0,0,0,0,0,14,17] >;

He3⋊D9 in GAP, Magma, Sage, TeX

{\rm He}_3\rtimes D_9
% in TeX

G:=Group("He3:D9");
// GroupNames label

G:=SmallGroup(486,25);
// by ID

G=gap.SmallGroup(486,25);
# by ID

G:=PCGroup([6,-2,-3,-3,-3,-3,-3,3134,224,986,867,873,3244,11669]);
// Polycyclic

G:=Group<a,b,c,d,e|a^3=b^3=c^3=d^9=e^2=1,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,d*c*d^-1=e*c*e=a*b^-1*c,e*d*e=d^-1>;
// generators/relations

Export

Character table of He3⋊D9 in TeX

׿
×
𝔽