Copied to
clipboard

G = C17:C4order 68 = 22·17

The semidirect product of C17 and C4 acting faithfully

metacyclic, supersoluble, monomial, Z-group, 2-hyperelementary

Aliases: C17:C4, D17.C2, SmallGroup(68,3)

Series: Derived Chief Lower central Upper central

C1C17 — C17:C4
C1C17D17 — C17:C4
C17 — C17:C4
C1

Generators and relations for C17:C4
 G = < a,b | a17=b4=1, bab-1=a4 >

Subgroups: 38 in 6 conjugacy classes, 4 normal (all characteristic)
Quotients: C1, C2, C4, C17:C4
17C2
17C4

Character table of C17:C4

 class 124A4B17A17B17C17D
 size 11717174444
ρ111111111    trivial
ρ211-1-11111    linear of order 2
ρ31-1i-i1111    linear of order 4
ρ41-1-ii1111    linear of order 4
ρ54000ζ1716171317417ζ17141712175173ζ17111710177176ζ1715179178172    orthogonal faithful
ρ64000ζ1715179178172ζ17111710177176ζ17141712175173ζ1716171317417    orthogonal faithful
ρ74000ζ17141712175173ζ1715179178172ζ1716171317417ζ17111710177176    orthogonal faithful
ρ84000ζ17111710177176ζ1716171317417ζ1715179178172ζ17141712175173    orthogonal faithful

Permutation representations of C17:C4
On 17 points: primitive - transitive group 17T3
Generators in S17
(1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17)
(2 14 17 5)(3 10 16 9)(4 6 15 13)(7 11 12 8)

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

G:=Group( (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17), (2,14,17,5)(3,10,16,9)(4,6,15,13)(7,11,12,8) );

G=PermutationGroup([[(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17)], [(2,14,17,5),(3,10,16,9),(4,6,15,13),(7,11,12,8)]])

G:=TransitiveGroup(17,3);

C17:C4 is a maximal subgroup of   C17:C8  C51:C4  C85:C4  C17:F5  C85:2C4  C17:Dic7
C17:C4 is a maximal quotient of   C17:2C8  C51:C4  C85:C4  C17:F5  C85:2C4  C17:Dic7

Matrix representation of C17:C4 in GL4(F137) generated by

0100
0010
0001
136632763
,
1000
136632763
136174109
109741136
G:=sub<GL(4,GF(137))| [0,0,0,136,1,0,0,63,0,1,0,27,0,0,1,63],[1,136,136,109,0,63,1,74,0,27,74,1,0,63,109,136] >;

C17:C4 in GAP, Magma, Sage, TeX

C_{17}\rtimes C_4
% in TeX

G:=Group("C17:C4");
// GroupNames label

G:=SmallGroup(68,3);
// by ID

G=gap.SmallGroup(68,3);
# by ID

G:=PCGroup([3,-2,-2,-17,6,470,293]);
// Polycyclic

G:=Group<a,b|a^17=b^4=1,b*a*b^-1=a^4>;
// generators/relations

Export

Subgroup lattice of C17:C4 in TeX
Character table of C17:C4 in TeX

׿
x
:
Z
F
o
wr
Q
<