Copied to
clipboard

G = C10×F7order 420 = 22·3·5·7

Direct product of C10 and F7

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

Aliases: C10×F7, C14⋊C30, D7⋊C30, D14⋊C15, C702C6, C7⋊(C2×C30), (C10×D7)⋊C3, C353(C2×C6), (C5×D7)⋊2C6, C7⋊C3⋊(C2×C10), (C2×C7⋊C3)⋊C10, (C10×C7⋊C3)⋊2C2, (C5×C7⋊C3)⋊3C22, SmallGroup(420,17)

Series: Derived Chief Lower central Upper central

C1C7 — C10×F7
C1C7C35C5×C7⋊C3C5×F7 — C10×F7
C7 — C10×F7
C1C10

Generators and relations for C10×F7
 G = < a,b,c | a10=b7=c6=1, ab=ba, ac=ca, cbc-1=b5 >

7C2
7C2
7C3
7C22
7C6
7C6
7C6
7C10
7C10
7C15
7C2×C6
7C2×C10
7C30
7C30
7C30
7C2×C30

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

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

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

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

70 conjugacy classes

class 1 2A2B2C3A3B5A5B5C5D6A···6F 7 10A10B10C10D10E···10L 14 15A···15H30A···30X35A35B35C35D70A70B70C70D
order12223355556···671010101010···101415···1530···303535353570707070
size11777711117···7611117···767···77···766666666

70 irreducible representations

dim1111111111116666
type+++++
imageC1C2C2C3C5C6C6C10C10C15C30C30F7C2×F7C5×F7C10×F7
kernelC10×F7C5×F7C10×C7⋊C3C10×D7C2×F7C5×D7C70F7C2×C7⋊C3D14D7C14C10C5C2C1
# reps12124428481681144

Matrix representation of C10×F7 in GL7(𝔽211)

23000000
0100000
0010000
0001000
0000100
0000010
0000001
,
1000000
000000210
010000210
001000210
000100210
000010210
000001210
,
197000000
0000010
0001000
0100000
0000001
0000100
0010000

G:=sub<GL(7,GF(211))| [23,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,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,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,210,210,210,210,210,210],[197,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0] >;

C10×F7 in GAP, Magma, Sage, TeX

C_{10}\times F_7
% in TeX

G:=Group("C10xF7");
// GroupNames label

G:=SmallGroup(420,17);
// by ID

G=gap.SmallGroup(420,17);
# by ID

G:=PCGroup([5,-2,-2,-3,-5,-7,9004,1514]);
// Polycyclic

G:=Group<a,b,c|a^10=b^7=c^6=1,a*b=b*a,a*c=c*a,c*b*c^-1=b^5>;
// generators/relations

Export

Subgroup lattice of C10×F7 in TeX

׿
×
𝔽