Properties

Label 16T30
16T30 1 4 1->4 5 1->5 14 1->14 2 3 2->3 6 2->6 13 2->13 3->1 8 3->8 16 3->16 4->2 7 4->7 15 4->15 10 5->10 5->16 9 6->9 6->15 7->6 7->13 7->14 8->5 8->13 8->14 9->4 11 9->11 12 9->12 10->3 10->11 10->12 11->2 11->10 12->1 12->9 13->8 13->15 14->7 14->16 15->5 15->11 16->6 16->12
Degree 1616
Order 3232
Cyclic no
Abelian no
Solvable yes
Primitive no
pp-group yes
Group: C42:C2C_4^2:C_2

Related objects

Downloads

Learn more

Show commands: Magma

Copy content magma:G := TransitiveGroup(16, 30);
 

Group invariants

Abstract group:  C42:C2C_4^2:C_2
Copy content magma:IdentifyGroup(G);
 
Order:  32=2532=2^{5}
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:  22
Copy content magma:NilpotencyClass(G);
 

Group action invariants

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

Low degree resolvents

#(G/N)\card{(G/N)}Galois groups for stem field(s)
22C2C_2 x 7
44C22C_2^2 x 7
88D4D_{4} x 2, C23C_2^3
1616D4×C2D_4\times C_2, Q8:C2Q_8:C_2 x 2

Resolvents shown for degrees 47\leq 47

Subfields

Degree 2: C2C_2 x 3

Degree 4: C22C_2^2, D4D_{4} x 2

Degree 8: D4×C2D_4\times C_2, Q8:C2Q_8:C_2 x 2

Low degree siblings

16T30, 32T16

Siblings are shown with degree 47\leq 47

A number field with this Galois group has no arithmetically equivalent fields.

Conjugacy classes

LabelCycle TypeSizeOrderIndexRepresentative
1A 1161^{16} 11 11 00 ()()
2A 282^{8} 11 22 88 (1,2)(3,4)(5,6)(7,8)(9,10)(11,12)(13,14)(15,16)( 1, 2)( 3, 4)( 5, 6)( 7, 8)( 9,10)(11,12)(13,14)(15,16)
2B 282^{8} 11 22 88 (1,15)(2,16)(3,6)(4,5)(7,10)(8,9)(11,14)(12,13)( 1,15)( 2,16)( 3, 6)( 4, 5)( 7,10)( 8, 9)(11,14)(12,13)
2C 282^{8} 11 22 88 (1,16)(2,15)(3,5)(4,6)(7,9)(8,10)(11,13)(12,14)( 1,16)( 2,15)( 3, 5)( 4, 6)( 7, 9)( 8,10)(11,13)(12,14)
2D 282^{8} 44 22 88 (1,6)(2,5)(3,15)(4,16)(7,13)(8,14)(9,11)(10,12)( 1, 6)( 2, 5)( 3,15)( 4,16)( 7,13)( 8,14)( 9,11)(10,12)
2E 26,142^{6},1^{4} 44 22 66 (3,4)(5,6)(7,9)(8,10)(11,14)(12,13)( 3, 4)( 5, 6)( 7, 9)( 8,10)(11,14)(12,13)
4A 444^{4} 22 44 1212 (1,5,2,6)(3,15,4,16)(7,12,8,11)(9,14,10,13)( 1, 5, 2, 6)( 3,15, 4,16)( 7,12, 8,11)( 9,14,10,13)
4B 444^{4} 22 44 1212 (1,4,2,3)(5,16,6,15)(7,13,8,14)(9,11,10,12)( 1, 4, 2, 3)( 5,16, 6,15)( 7,13, 8,14)( 9,11,10,12)
4C1 444^{4} 22 44 1212 (1,8,15,9)(2,7,16,10)(3,13,6,12)(4,14,5,11)( 1, 8,15, 9)( 2, 7,16,10)( 3,13, 6,12)( 4,14, 5,11)
4C-1 444^{4} 22 44 1212 (1,9,15,8)(2,10,16,7)(3,12,6,13)(4,11,5,14)( 1, 9,15, 8)( 2,10,16, 7)( 3,12, 6,13)( 4,11, 5,14)
4D1 444^{4} 22 44 1212 (1,14,16,12)(2,13,15,11)(3,8,5,10)(4,7,6,9)( 1,14,16,12)( 2,13,15,11)( 3, 8, 5,10)( 4, 7, 6, 9)
4D-1 444^{4} 22 44 1212 (1,12,16,14)(2,11,15,13)(3,10,5,8)(4,9,6,7)( 1,12,16,14)( 2,11,15,13)( 3,10, 5, 8)( 4, 9, 6, 7)
4E 444^{4} 44 44 1212 (1,12,2,11)(3,9,4,10)(5,7,6,8)(13,16,14,15)( 1,12, 2,11)( 3, 9, 4,10)( 5, 7, 6, 8)(13,16,14,15)
4F 444^{4} 44 44 1212 (1,9,2,10)(3,11,4,12)(5,13,6,14)(7,15,8,16)( 1, 9, 2,10)( 3,11, 4,12)( 5,13, 6,14)( 7,15, 8,16)

Malle's constant a(G)a(G):     1/61/6

Copy content magma:ConjugacyClasses(G);
 

Character table

1A 2A 2B 2C 2D 2E 4A 4B 4C1 4C-1 4D1 4D-1 4E 4F
Size 1 1 1 1 4 4 2 2 2 2 2 2 4 4
2 P 1A 1A 1A 1A 1A 1A 2A 2A 2B 2B 2C 2C 2A 2A
Type
32.31.1a R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1b R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1c R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1d R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1e R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1f R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1g R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.1h R 1 1 1 1 1 1 1 1 1 1 1 1 1 1
32.31.2a R 2 2 2 2 0 0 0 0 2 2 0 0 0 0
32.31.2b R 2 2 2 2 0 0 0 0 2 2 0 0 0 0
32.31.2c1 C 2 2 2 2 0 0 0 2i 0 0 2i 0 0 0
32.31.2c2 C 2 2 2 2 0 0 0 2i 0 0 2i 0 0 0
32.31.2d1 C 2 2 2 2 0 0 2i 0 0 0 0 2i 0 0
32.31.2d2 C 2 2 2 2 0 0 2i 0 0 0 0 2i 0 0

Copy content magma:CharacterTable(G);
 

Regular extensions

Data not computed