Properties

Label 20T27
20T27 1 12 1->12 2 11 2->11 3 5 3->5 8 3->8 4 6 4->6 7 4->7 15 5->15 16 6->16 7->1 7->11 8->2 8->12 9 20 9->20 10 19 10->19 11->15 17 11->17 12->16 18 12->18 13 13->4 14 14->3 15->14 15->20 16->13 16->19 17->8 18->7 19->3 19->9 20->4 20->10
Degree $20$
Order $100$
Cyclic no
Abelian no
Solvable yes
Primitive no
$p$-group no
Group: $C_5:F_5$

Related objects

Downloads

Learn more

Show commands: Magma

Copy content magma:G := TransitiveGroup(20, 27);
 

Group invariants

Abstract group:  $C_5:F_5$
Copy content magma:IdentifyGroup(G);
 
Order:  $100=2^{2} \cdot 5^{2}$
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 $n$:  $20$
Copy content magma:t, n := TransitiveGroupIdentification(G); n;
 
Transitive number $t$:  $27$
Copy content magma:t, n := TransitiveGroupIdentification(G); t;
 
Parity:  $-1$
Copy content magma:IsEven(G);
 
Primitive:  no
Copy content magma:IsPrimitive(G);
 
$\card{\Aut(F/K)}$:  $10$
Copy content magma:Order(Centralizer(SymmetricGroup(n), G));
 
Generators:  $(1,12,18,7)(2,11,17,8)(3,5,15,14)(4,6,16,13)(9,20,10,19)$, $(3,8,12,16,19)(4,7,11,15,20)$
Copy content magma:Generators(G);
 

Low degree resolvents

$\card{(G/N)}$Galois groups for stem field(s)
$2$:  $C_2$
$4$:  $C_4$
$20$:  $F_5$ x 2

Resolvents shown for degrees $\leq 47$

Subfields

Degree 2: $C_2$

Degree 4: $C_4$

Degree 5: None

Degree 10: $C_5^2 : C_4$

Low degree siblings

10T10 x 2, 20T27, 25T10

Siblings are shown with degree $\leq 47$

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

Conjugacy classes

LabelCycle TypeSizeOrderIndexRepresentative
1A $1^{20}$ $1$ $1$ $0$ $()$
2A $2^{10}$ $25$ $2$ $10$ $( 1,13)( 2,14)( 3,15)( 4,16)( 5,10)( 6, 9)( 7,12)( 8,11)(17,18)(19,20)$
4A1 $4^{5}$ $25$ $4$ $15$ $( 1, 3,13,15)( 2, 4,14,16)( 5, 7,10,12)( 6, 8, 9,11)(17,19,18,20)$
4A-1 $4^{5}$ $25$ $4$ $15$ $( 1,15,13, 3)( 2,16,14, 4)( 5,12,10, 7)( 6,11, 9, 8)(17,20,18,19)$
5A $5^{4}$ $4$ $5$ $16$ $( 1,14, 6,17,10)( 2,13, 5,18, 9)( 3, 8,12,16,19)( 4, 7,11,15,20)$
5B $5^{4}$ $4$ $5$ $16$ $( 1, 6,10,14,17)( 2, 5, 9,13,18)( 3,16, 8,19,12)( 4,15, 7,20,11)$
5C1 $5^{4}$ $4$ $5$ $16$ $( 1,17,14,10, 6)( 2,18,13, 9, 5)( 3,19,16,12, 8)( 4,20,15,11, 7)$
5C2 $5^{4}$ $4$ $5$ $16$ $( 1,14, 6,17,10)( 2,13, 5,18, 9)( 3,16, 8,19,12)( 4,15, 7,20,11)$
5D1 $5^{2},1^{10}$ $4$ $5$ $8$ $( 1,10,17, 6,14)( 2, 9,18, 5,13)$
5D2 $5^{2},1^{10}$ $4$ $5$ $8$ $( 3, 8,12,16,19)( 4, 7,11,15,20)$

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

Copy content magma:ConjugacyClasses(G);
 

Character table

1A 2A 4A1 4A-1 5A 5B 5C1 5C2 5D1 5D2
Size 1 25 25 25 4 4 4 4 4 4
2 P 1A 1A 2A 2A 5A 5B 5C2 5C1 5D2 5D1
5 P 1A 2A 4A1 4A-1 1A 1A 1A 1A 1A 1A
Type
100.12.1a R 1 1 1 1 1 1 1 1 1 1
100.12.1b R 1 1 1 1 1 1 1 1 1 1
100.12.1c1 C 1 1 i i 1 1 1 1 1 1
100.12.1c2 C 1 1 i i 1 1 1 1 1 1
100.12.4a R 4 0 0 0 1 1 4 1 1 1
100.12.4b R 4 0 0 0 4 1 1 1 1 1
100.12.4c1 R 4 0 0 0 1 2ζ52+2ζ52 1 ζ52+1ζ52 ζ52+2+ζ52 2ζ51+2ζ5
100.12.4c2 R 4 0 0 0 1 2ζ51+2ζ5 1 ζ52+2+ζ52 ζ52+1ζ52 2ζ52+2ζ52
100.12.4d1 R 4 0 0 0 1 ζ52+2+ζ52 1 2ζ52+2ζ52 2ζ51+2ζ5 ζ52+1ζ52
100.12.4d2 R 4 0 0 0 1 ζ52+1ζ52 1 2ζ51+2ζ5 2ζ52+2ζ52 ζ52+2+ζ52

Copy content magma:CharacterTable(G);
 

Regular extensions

Data not computed