Copied to
clipboard

G = C3×2+ 1+4order 96 = 25·3

Direct product of C3 and 2+ 1+4

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

Aliases: C3×2+ 1+4, C6.19C24, C12.51C23, D4(C3×D4), Q8(C3×Q8), C4○D45C6, D44(C2×C6), (C2×D4)⋊6C6, Q85(C2×C6), (C6×D4)⋊15C2, C232(C2×C6), (C2×C12)⋊9C22, (C2×C6).7C23, C2.4(C23×C6), C4.9(C22×C6), (C3×D4)⋊13C22, (C22×C6)⋊2C22, (C3×Q8)⋊12C22, C22.2(C22×C6), (C3×D4)(C3×D4), (C3×Q8)(C3×Q8), (C2×C4)⋊2(C2×C6), (C3×C4○D4)⋊8C2, SmallGroup(96,224)

Series: Derived Chief Lower central Upper central

C1C2 — C3×2+ 1+4
C1C2C6C2×C6C3×D4C6×D4 — C3×2+ 1+4
C1C2 — C3×2+ 1+4
C1C6 — C3×2+ 1+4

Generators and relations for C3×2+ 1+4
 G = < a,b,c,d,e | a3=b4=c2=e2=1, d2=b2, ab=ba, ac=ca, ad=da, ae=ea, cbc=b-1, bd=db, be=eb, cd=dc, ce=ec, ede=b2d >

Subgroups: 220 in 166 conjugacy classes, 136 normal (6 characteristic)
C1, C2, C2 [×9], C3, C4 [×6], C22 [×9], C22 [×6], C6, C6 [×9], C2×C4 [×9], D4 [×18], Q8 [×2], C23 [×6], C12 [×6], C2×C6 [×9], C2×C6 [×6], C2×D4 [×9], C4○D4 [×6], C2×C12 [×9], C3×D4 [×18], C3×Q8 [×2], C22×C6 [×6], 2+ 1+4, C6×D4 [×9], C3×C4○D4 [×6], C3×2+ 1+4
Quotients: C1, C2 [×15], C3, C22 [×35], C6 [×15], C23 [×15], C2×C6 [×35], C24, C22×C6 [×15], 2+ 1+4, C23×C6, C3×2+ 1+4

Permutation representations of C3×2+ 1+4
On 24 points - transitive group 24T92
Generators in S24
(1 15 9)(2 16 10)(3 13 11)(4 14 12)(5 19 22)(6 20 23)(7 17 24)(8 18 21)
(1 2 3 4)(5 6 7 8)(9 10 11 12)(13 14 15 16)(17 18 19 20)(21 22 23 24)
(1 2)(3 4)(5 6)(7 8)(9 10)(11 12)(13 14)(15 16)(17 18)(19 20)(21 24)(22 23)
(1 22 3 24)(2 23 4 21)(5 13 7 15)(6 14 8 16)(9 19 11 17)(10 20 12 18)
(5 7)(6 8)(17 19)(18 20)(21 23)(22 24)

G:=sub<Sym(24)| (1,15,9)(2,16,10)(3,13,11)(4,14,12)(5,19,22)(6,20,23)(7,17,24)(8,18,21), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,24)(22,23), (1,22,3,24)(2,23,4,21)(5,13,7,15)(6,14,8,16)(9,19,11,17)(10,20,12,18), (5,7)(6,8)(17,19)(18,20)(21,23)(22,24)>;

G:=Group( (1,15,9)(2,16,10)(3,13,11)(4,14,12)(5,19,22)(6,20,23)(7,17,24)(8,18,21), (1,2,3,4)(5,6,7,8)(9,10,11,12)(13,14,15,16)(17,18,19,20)(21,22,23,24), (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)(17,18)(19,20)(21,24)(22,23), (1,22,3,24)(2,23,4,21)(5,13,7,15)(6,14,8,16)(9,19,11,17)(10,20,12,18), (5,7)(6,8)(17,19)(18,20)(21,23)(22,24) );

G=PermutationGroup([(1,15,9),(2,16,10),(3,13,11),(4,14,12),(5,19,22),(6,20,23),(7,17,24),(8,18,21)], [(1,2,3,4),(5,6,7,8),(9,10,11,12),(13,14,15,16),(17,18,19,20),(21,22,23,24)], [(1,2),(3,4),(5,6),(7,8),(9,10),(11,12),(13,14),(15,16),(17,18),(19,20),(21,24),(22,23)], [(1,22,3,24),(2,23,4,21),(5,13,7,15),(6,14,8,16),(9,19,11,17),(10,20,12,18)], [(5,7),(6,8),(17,19),(18,20),(21,23),(22,24)])

G:=TransitiveGroup(24,92);

C3×2+ 1+4 is a maximal subgroup of
2+ 1+46S3  2+ 1+4.4S3  2+ 1+4.5S3  2+ 1+47S3  D12.32C23  D12.33C23  D6.C24  2+ 1+4⋊C9  2+ 1+42C9
C3×2+ 1+4 is a maximal quotient of
C3×D42  C3×Q82

51 conjugacy classes

class 1 2A2B···2J3A3B4A···4F6A6B6C···6T12A···12L
order122···2334···4666···612···12
size112···2112···2112···22···2

51 irreducible representations

dim11111144
type++++
imageC1C2C2C3C6C62+ 1+4C3×2+ 1+4
kernelC3×2+ 1+4C6×D4C3×C4○D42+ 1+4C2×D4C4○D4C3C1
# reps1962181212

Matrix representation of C3×2+ 1+4 in GL4(𝔽7) generated by

2000
0200
0020
0002
,
6120
0531
6533
3140
,
0310
3254
6162
5156
,
5411
6301
5210
1115
,
4206
1332
5603
3060
G:=sub<GL(4,GF(7))| [2,0,0,0,0,2,0,0,0,0,2,0,0,0,0,2],[6,0,6,3,1,5,5,1,2,3,3,4,0,1,3,0],[0,3,6,5,3,2,1,1,1,5,6,5,0,4,2,6],[5,6,5,1,4,3,2,1,1,0,1,1,1,1,0,5],[4,1,5,3,2,3,6,0,0,3,0,6,6,2,3,0] >;

C3×2+ 1+4 in GAP, Magma, Sage, TeX

C_3\times 2_+^{1+4}
% in TeX

G:=Group("C3xES+(2,2)");
// GroupNames label

G:=SmallGroup(96,224);
// by ID

G=gap.SmallGroup(96,224);
# by ID

G:=PCGroup([6,-2,-2,-2,-2,-3,-2,601,476,1347]);
// Polycyclic

G:=Group<a,b,c,d,e|a^3=b^4=c^2=e^2=1,d^2=b^2,a*b=b*a,a*c=c*a,a*d=d*a,a*e=e*a,c*b*c=b^-1,b*d=d*b,b*e=e*b,c*d=d*c,c*e=e*c,e*d*e=b^2*d>;
// generators/relations

׿
×
𝔽