Copied to
clipboard

G = C9×M4(2)  order 144 = 24·32

Direct product of C9 and M4(2)

direct product, metacyclic, nilpotent (class 2), monomial, 2-elementary

Aliases: C9×M4(2), C4.C36, C727C2, C83C18, C24.7C6, C36.4C4, C22.C36, C12.5C12, C36.22C22, (C2×C36).8C2, (C2×C18).1C4, C4.5(C2×C18), (C2×C6).3C12, (C2×C12).9C6, (C2×C4).2C18, C2.3(C2×C36), C3.(C3×M4(2)), C18.12(C2×C4), C6.12(C2×C12), C12.28(C2×C6), C36(C3×M4(2)), (C3×M4(2)).C3, SmallGroup(144,24)

Series: Derived Chief Lower central Upper central

C1C2 — C9×M4(2)
C1C2C6C12C36C72 — C9×M4(2)
C1C2 — C9×M4(2)
C1C36 — C9×M4(2)

Generators and relations for C9×M4(2)
 G = < a,b,c | a9=b8=c2=1, ab=ba, ac=ca, cbc=b5 >

2C2
2C6
2C18

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

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

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

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

C9×M4(2) is a maximal subgroup of   C36.53D4  C4.D36  C36.48D4  Dic18⋊C4  D36.C4  C8⋊D18  C8.D18

90 conjugacy classes

class 1 2A2B3A3B4A4B4C6A6B6C6D8A8B8C8D9A···9F12A12B12C12D12E12F18A···18F18G···18L24A···24H36A···36L36M···36R72A···72X
order12233444666688889···912121212121218···1818···1824···2436···3636···3672···72
size11211112112222221···11111221···12···22···21···12···22···2

90 irreducible representations

dim111111111111111222
type+++
imageC1C2C2C3C4C4C6C6C9C12C12C18C18C36C36M4(2)C3×M4(2)C9×M4(2)
kernelC9×M4(2)C72C2×C36C3×M4(2)C36C2×C18C24C2×C12M4(2)C12C2×C6C8C2×C4C4C22C9C3C1
# reps1212224264412612122412

Matrix representation of C9×M4(2) in GL2(𝔽37) generated by

340
034
,
014
260
,
360
01
G:=sub<GL(2,GF(37))| [34,0,0,34],[0,26,14,0],[36,0,0,1] >;

C9×M4(2) in GAP, Magma, Sage, TeX

C_9\times M_4(2)
% in TeX

G:=Group("C9xM4(2)");
// GroupNames label

G:=SmallGroup(144,24);
// by ID

G=gap.SmallGroup(144,24);
# by ID

G:=PCGroup([6,-2,-2,-3,-2,-3,-2,72,889,122,165]);
// Polycyclic

G:=Group<a,b,c|a^9=b^8=c^2=1,a*b=b*a,a*c=c*a,c*b*c=b^5>;
// generators/relations

Export

Subgroup lattice of C9×M4(2) in TeX

׿
×
𝔽