Properties

Label 17T3
17T3 1 2 1->2 3 2->3 14 2->14 4 3->4 10 3->10 5 4->5 6 4->6 5->2 5->6 7 6->7 15 6->15 8 7->8 11 7->11 8->7 9 8->9 9->3 9->10 10->11 16 10->16 12 11->12 11->12 12->8 13 12->13 13->4 13->14 14->15 17 14->17 15->13 15->16 16->9 16->17 17->1 17->5
Degree 1717
Order 6868
Cyclic no
Abelian no
Solvable yes
Primitive yes
pp-group no
Group: C17:C4C_{17}:C_{4}

Related objects

Downloads

Learn more

Show commands: Magma

Copy content magma:G := TransitiveGroup(17, 3);
 

Group invariants

Abstract group:  C17:C4C_{17}:C_{4}
Copy content magma:IdentifyGroup(G);
 
Order:  68=221768=2^{2} \cdot 17
Copy content magma:Order(G);
 
Cyclic:  no
Copy content magma:IsCyclic(G);
 
Abelian:  no
Copy content magma:IsAbelian(G);
 
Solvable:  yes
Copy content magma:IsSolvable(G);
 
Nilpotency class:   not nilpotent
Copy content magma:NilpotencyClass(G);
 

Group action invariants

Degree nn:  1717
Copy content magma:t, n := TransitiveGroupIdentification(G); n;
 
Transitive number tt:  33
Copy content magma:t, n := TransitiveGroupIdentification(G); t;
 
Parity:  11
Copy content magma:IsEven(G);
 
Primitive:  yes
Copy content magma:IsPrimitive(G);
 
#Aut(F/K)\card{\Aut(F/K)}:  11
Copy content magma:Order(Centralizer(SymmetricGroup(n), G));
 
Generators:  (2,14,17,5)(3,10,16,9)(4,6,15,13)(7,11,12,8)(2,14,17,5)(3,10,16,9)(4,6,15,13)(7,11,12,8), (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17)(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17)
Copy content magma:Generators(G);
 

Low degree resolvents

#(G/N)\card{(G/N)}Galois groups for stem field(s)
22C2C_2
44C4C_4

Resolvents shown for degrees 47\leq 47

Subfields

Prime degree - none

Low degree siblings

There are no siblings with degree 47\leq 47
A number field with this Galois group has no arithmetically equivalent fields.

Conjugacy classes

LabelCycle TypeSizeOrderIndexRepresentative
1A 1171^{17} 11 11 00 ()()
2A 28,12^{8},1 1717 22 88 (1,2)(3,17)(4,16)(5,15)(6,14)(7,13)(8,12)(9,11)( 1, 2)( 3,17)( 4,16)( 5,15)( 6,14)( 7,13)( 8,12)( 9,11)
4A1 44,14^{4},1 1717 44 1212 (1,12,2,8)(3,4,17,16)(5,13,15,7)(6,9,14,11)( 1,12, 2, 8)( 3, 4,17,16)( 5,13,15, 7)( 6, 9,14,11)
4A-1 44,14^{4},1 1717 44 1212 (1,8,2,12)(3,16,17,4)(5,7,15,13)(6,11,14,9)( 1, 8, 2,12)( 3,16,17, 4)( 5, 7,15,13)( 6,11,14, 9)
17A1 1717 44 1717 1616 (1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,17,9)( 1,10, 2,11, 3,12, 4,13, 5,14, 6,15, 7,16, 8,17, 9)
17A2 1717 44 1717 1616 (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17)( 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17)
17A3 1717 44 1717 1616 (1,11,4,14,7,17,10,3,13,6,16,9,2,12,5,15,8)( 1,11, 4,14, 7,17,10, 3,13, 6,16, 9, 2,12, 5,15, 8)
17A6 1717 44 1717 1616 (1,4,7,10,13,16,2,5,8,11,14,17,3,6,9,12,15)( 1, 4, 7,10,13,16, 2, 5, 8,11,14,17, 3, 6, 9,12,15)

Malle's constant a(G)a(G):     1/81/8

Copy content magma:ConjugacyClasses(G);
 

Character table

1A 2A 4A1 4A-1 17A1 17A2 17A3 17A6
Size 1 17 17 17 4 4 4 4
2 P 1A 1A 2A 2A 17A2 17A1 17A6 17A3
17 P 1A 2A 4A1 4A-1 1A 1A 1A 1A
Type
68.3.1a R 1 1 1 1 1 1 1 1
68.3.1b R 1 1 1 1 1 1 1 1
68.3.1c1 C 1 1 i i 1 1 1 1
68.3.1c2 C 1 1 i i 1 1 1 1
68.3.4a1 R 4 0 0 0 ζ177+ζ176+ζ176+ζ177 ζ175+ζ173+ζ173+ζ175 ζ178+ζ172+ζ172+ζ178 ζ174+ζ171+ζ17+ζ174
68.3.4a2 R 4 0 0 0 ζ178+ζ172+ζ172+ζ178 ζ174+ζ171+ζ17+ζ174 ζ175+ζ173+ζ173+ζ175 ζ177+ζ176+ζ176+ζ177
68.3.4a3 R 4 0 0 0 ζ175+ζ173+ζ173+ζ175 ζ177+ζ176+ζ176+ζ177 ζ174+ζ171+ζ17+ζ174 ζ178+ζ172+ζ172+ζ178
68.3.4a4 R 4 0 0 0 ζ174+ζ171+ζ17+ζ174 ζ178+ζ172+ζ172+ζ178 ζ177+ζ176+ζ176+ζ177 ζ175+ζ173+ζ173+ζ175

Copy content magma:CharacterTable(G);
 

Regular extensions

Data not computed