Copied to
clipboard

G = C3xC3:F7  order 378 = 2·33·7

Direct product of C3 and C3:F7

direct product, metabelian, supersoluble, monomial, A-group

Aliases: C3xC3:F7, D21:C32, C32:3F7, C3:(C3xF7), C7:(S3xC32), (C3xD21):C3, C21:2(C3xS3), (C3xC21):2C6, C21:1(C3xC6), C7:C3:(C3xS3), (C3xC7:C3):3C6, (C3xC7:C3):4S3, (C32xC7:C3):1C2, SmallGroup(378,49)

Series: Derived ►Chief ►Lower central ►Upper central

Derived series
C1 — C21 — C3xC3:F7
Chief series
C1 — C7 — C21 — C3xC21 — C32xC7:C3 — C3xC3:F7
Lower central
C21 — C3xC3:F7
Upper central
C1 — C3

Generators and relations for C3xC3:F7
 G = < a,b,c,d | a3=b3=c7=d6=1, ab=ba, ac=ca, ad=da, bc=cb, dbd-1=b-1, dcd-1=c5 >

Subgroups: 380 in 64 conjugacy classes, 22 normal (13 characteristic)
C1, C2, C3, C3, S3, C6, C7, C32, C32, D7, C3xS3, C3xC6, C7:C3, C7:C3, C21, C21, C33, F7, C3xD7, D21, S3xC32, C3xC7:C3, C3xC7:C3, C3xC7:C3, C3xC21, C3xF7, C3:F7, C3xD21, C32xC7:C3, C3xC3:F7
Quotients: C1, C2, C3, S3, C6, C32, C3xS3, C3xC6, F7, S3xC32, C3xF7, C3:F7, C3xC3:F7

Smallest permutation representation of C3xC3:F7
►On 42 points
Generators in S42
(1 13 20)(2 14 21)(3 8 15)(4 9 16)(5 10 17)(6 11 18)(7 12 19)(22 29 36)(23 30 37)(24 31 38)(25 32 39)(26 33 40)(27 34 41)(28 35 42)

(1 20 13)(2 21 14)(3 15 8)(4 16 9)(5 17 10)(6 18 11)(7 19 12)(22 29 36)(23 30 37)(24 31 38)(25 32 39)(26 33 40)(27 34 41)(28 35 42)

(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)

(1 29 20 22 13 36)(2 32 15 28 10 41)(3 35 17 27 14 39)(4 31 19 26 11 37)(5 34 21 25 8 42)(6 30 16 24 12 40)(7 33 18 23 9 38)
 
G:=sub<Sym(42)| (1,13,20)(2,14,21)(3,8,15)(4,9,16)(5,10,17)(6,11,18)(7,12,19)(22,29,36)(23,30,37)(24,31,38)(25,32,39)(26,33,40)(27,34,41)(28,35,42), (1,20,13)(2,21,14)(3,15,8)(4,16,9)(5,17,10)(6,18,11)(7,19,12)(22,29,36)(23,30,37)(24,31,38)(25,32,39)(26,33,40)(27,34,41)(28,35,42), (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), (1,29,20,22,13,36)(2,32,15,28,10,41)(3,35,17,27,14,39)(4,31,19,26,11,37)(5,34,21,25,8,42)(6,30,16,24,12,40)(7,33,18,23,9,38)>;
 
G:=Group( (1,13,20)(2,14,21)(3,8,15)(4,9,16)(5,10,17)(6,11,18)(7,12,19)(22,29,36)(23,30,37)(24,31,38)(25,32,39)(26,33,40)(27,34,41)(28,35,42), (1,20,13)(2,21,14)(3,15,8)(4,16,9)(5,17,10)(6,18,11)(7,19,12)(22,29,36)(23,30,37)(24,31,38)(25,32,39)(26,33,40)(27,34,41)(28,35,42), (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), (1,29,20,22,13,36)(2,32,15,28,10,41)(3,35,17,27,14,39)(4,31,19,26,11,37)(5,34,21,25,8,42)(6,30,16,24,12,40)(7,33,18,23,9,38) );
 
G=PermutationGroup([[(1,13,20),(2,14,21),(3,8,15),(4,9,16),(5,10,17),(6,11,18),(7,12,19),(22,29,36),(23,30,37),(24,31,38),(25,32,39),(26,33,40),(27,34,41),(28,35,42)], [(1,20,13),(2,21,14),(3,15,8),(4,16,9),(5,17,10),(6,18,11),(7,19,12),(22,29,36),(23,30,37),(24,31,38),(25,32,39),(26,33,40),(27,34,41),(28,35,42)], [(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)], [(1,29,20,22,13,36),(2,32,15,28,10,41),(3,35,17,27,14,39),(4,31,19,26,11,37),(5,34,21,25,8,42),(6,30,16,24,12,40),(7,33,18,23,9,38)]])
 

36 conjugacy classes

class 1  2 3A3B3C3D3E3F···3K3L···3Q6A···6H 7 21A···21H
order12333333···33···36···6721···21
size121112227···714···1421···2166···6

36 irreducible representations

dim1111112226666
type+++++
imageC1C2C3C3C6C6S3C3xS3C3xS3F7C3xF7C3:F7C3xC3:F7
kernelC3xC3:F7C32xC7:C3C3:F7C3xD21C3xC7:C3C3xC21C3xC7:C3C7:C3C21C32C3C3C1
# reps1162621621224

Matrix representation of C3xC3:F7 ►in GL8(F43)

360000000
036000000
00100000
00010000
00001000
00000100
00000010
00000001
,
60000000
036000000
00100000
00010000
00001000
00000100
00000010
00000001
,
10000000
01000000
004210000
004201000
004200100
004200010
004200001
004200000
,
01000000
10000000
0010013642
0011360420
00370421420
0001421036
00010374242
00137420042

G:=sub<GL(8,GF(43))| [36,0,0,0,0,0,0,0,0,36,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,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],[6,0,0,0,0,0,0,0,0,36,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,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],[1,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,42,42,42,42,42,42,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,0,0,0,0,0,0,1,0],[0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,1,37,0,0,1,0,0,0,1,0,1,1,37,0,0,0,36,42,42,0,42,0,0,1,0,1,1,37,0,0,0,36,42,42,0,42,0,0,0,42,0,0,36,42,42] >;
 

C3xC3:F7 in GAP, Magma, Sage, TeX 

C_3\times C_3\rtimes F_7
 
% in TeX
 
G:=Group("C3xC3:F7");
 
// GroupNames label
 
G:=SmallGroup(378,49);
 
// by ID
 
G=gap.SmallGroup(378,49);
 
# by ID
 
G:=PCGroup([5,-2,-3,-3,-3,-7,723,8104,1359]);
 
// Polycyclic
 
G:=Group<a,b,c,d|a^3=b^3=c^7=d^6=1,a*b=b*a,a*c=c*a,a*d=d*a,b*c=c*b,d*b*d^-1=b^-1,d*c*d^-1=c^5>;
 
// generators/relations
 

׿
x
:
Z
F
o
wr
Q
<