Copied to
clipboard

G = Dic3:F5order 240 = 24·3·5

The semidirect product of Dic3 and F5 acting via F5/D5=C2

metabelian, supersoluble, monomial, 2-hyperelementary

Aliases: Dic3:F5, D10.7D6, Dic15:2C4, D5.1Dic6, C15:(C4:C4), C3:2(C4:F5), (C2xF5).S3, (C3xD5).Q8, C5:(Dic3:C4), C2.5(S3xF5), C6.3(C2xF5), C10.3(C4xS3), C30.3(C2xC4), (C3xD5).2D4, (C6xF5).2C2, (C5xDic3):2C4, D5.1(C3:D4), (D5xDic3).3C2, (C6xD5).7C22, (C2xC3:F5).2C2, SmallGroup(240,97)

Series: Derived Chief Lower central Upper central

C1C30 — Dic3:F5
C1C5C15C3xD5C6xD5C6xF5 — Dic3:F5
C15C30 — Dic3:F5
C1C2

Generators and relations for Dic3:F5
 G = < a,b,c,d | a6=c5=d4=1, b2=a3, bab-1=a-1, ac=ca, ad=da, bc=cb, dbd-1=a3b, dcd-1=c3 >

Subgroups: 232 in 52 conjugacy classes, 22 normal (all characteristic)
Quotients: C1, C2, C4, C22, S3, C2xC4, D4, Q8, D6, C4:C4, F5, Dic6, C4xS3, C3:D4, C2xF5, Dic3:C4, C4:F5, S3xF5, Dic3:F5
5C2
5C2
3C4
5C22
10C4
15C4
30C4
5C6
5C6
5C2xC4
15C2xC4
15C2xC4
5C2xC6
5Dic3
10Dic3
10C12
2F5
3Dic5
3C20
6F5
15C4:C4
5C2xDic3
5C2xC12
5C2xDic3
3C2xF5
3C4xD5
2C3xF5
2C3:F5
5Dic3:C4
3C4:F5

Character table of Dic3:F5

 class 12A2B2C34A4B4C4D4E4F56A6B6C1012A12B12C12D1520A20B30
 size 1155261010303030421010410101010812128
ρ1111111111111111111111111    trivial
ρ2111111-1-1-11-111111-1-1-1-11111    linear of order 2
ρ311111-1-1-11-1111111-1-1-1-11-1-11    linear of order 2
ρ411111-111-1-1-11111111111-1-11    linear of order 2
ρ511-1-11-1i-i-i1i11-1-11i-i-ii1-1-11    linear of order 4
ρ611-1-11-1-iii1-i11-1-11-iii-i1-1-11    linear of order 4
ρ711-1-111-ii-i-1i11-1-11-iii-i1111    linear of order 4
ρ811-1-111i-ii-1-i11-1-11i-i-ii1111    linear of order 4
ρ92222-10220002-1-1-12-1-1-1-1-100-1    orthogonal lifted from S3
ρ102-22-220000002-2-22-20000200-2    orthogonal lifted from D4
ρ112222-10-2-20002-1-1-121111-100-1    orthogonal lifted from D6
ρ122-2-2220000002-22-2-20000200-2    symplectic lifted from Q8, Schur index 2
ρ132-2-22-100000021-11-23-33-3-1001    symplectic lifted from Dic6, Schur index 2
ρ142-2-22-100000021-11-2-33-33-1001    symplectic lifted from Dic6, Schur index 2
ρ1522-2-2-102i-2i0002-1112-iii-i-100-1    complex lifted from C4xS3
ρ1622-2-2-10-2i2i0002-1112i-i-ii-100-1    complex lifted from C4xS3
ρ172-22-2-1000000211-1-2--3--3-3-3-1001    complex lifted from C3:D4
ρ182-22-2-1000000211-1-2-3-3--3--3-1001    complex lifted from C3:D4
ρ1944004400000-1400-10000-1-1-1-1    orthogonal lifted from F5
ρ2044004-400000-1400-10000-111-1    orthogonal lifted from C2xF5
ρ214-4004000000-1-40010000-1--5-51    complex lifted from C4:F5
ρ224-4004000000-1-40010000-1-5--51    complex lifted from C4:F5
ρ238800-4000000-2-400-200001001    orthogonal lifted from S3xF5
ρ248-800-4000000-240020000100-1    symplectic faithful, Schur index 2

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

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

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

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

Dic3:F5 is a maximal subgroup of   F5xDic6  Dic6:5F5  (C4xS3):F5  S3xC4:F5  C22:F5.S3  F5xC3:D4  C3:D4:F5
Dic3:F5 is a maximal quotient of   Dic5.Dic6  Dic5.4Dic6  D10.Dic6  D10.2Dic6  D10.20D12  C30.4M4(2)  Dic15:C8

Matrix representation of Dic3:F5 in GL6(F61)

0600000
110000
0060000
0006000
0000600
0000060
,
52430000
5290000
001603232
002945290
000294529
003232016
,
100000
010000
0060606060
001000
000100
000010
,
38150000
46230000
000294529
001603232
003232016
002945290

G:=sub<GL(6,GF(61))| [0,1,0,0,0,0,60,1,0,0,0,0,0,0,60,0,0,0,0,0,0,60,0,0,0,0,0,0,60,0,0,0,0,0,0,60],[52,52,0,0,0,0,43,9,0,0,0,0,0,0,16,29,0,32,0,0,0,45,29,32,0,0,32,29,45,0,0,0,32,0,29,16],[1,0,0,0,0,0,0,1,0,0,0,0,0,0,60,1,0,0,0,0,60,0,1,0,0,0,60,0,0,1,0,0,60,0,0,0],[38,46,0,0,0,0,15,23,0,0,0,0,0,0,0,16,32,29,0,0,29,0,32,45,0,0,45,32,0,29,0,0,29,32,16,0] >;

Dic3:F5 in GAP, Magma, Sage, TeX

{\rm Dic}_3\rtimes F_5
% in TeX

G:=Group("Dic3:F5");
// GroupNames label

G:=SmallGroup(240,97);
// by ID

G=gap.SmallGroup(240,97);
# by ID

G:=PCGroup([6,-2,-2,-2,-2,-3,-5,24,121,55,490,3461,1745]);
// Polycyclic

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

Export

Subgroup lattice of Dic3:F5 in TeX
Character table of Dic3:F5 in TeX

׿
x
:
Z
F
o
wr
Q
<