Properties

Label 36T712
36T712 1 2 1->2 3 1->3 4 1->4 6 2->6 7 2->7 8 2->8 10 3->10 11 3->11 4->1 13 4->13 5 12 5->12 14 5->14 15 5->15 17 6->17 18 6->18 19 6->19 16 7->16 21 7->21 8->4 9 8->9 22 9->22 9->22 10->14 23 10->23 24 10->24 26 11->26 11->26 27 12->27 28 12->28 13->3 13->26 14->18 15->9 20 15->20 16->23 29 16->29 31 16->31 17->19 17->31 18->5 19->8 20->14 32 20->32 21->22 21->32 22->20 23->12 33 23->33 24->11 24->27 25 25->13 25->29 34 25->34 26->34 27->33 28->25 35 28->35 29->21 30 30->29 30->31 31->30 32->7 33->24 33->34 34->35 35->27 36 35->36
Degree $36$
Order $504$
Cyclic no
Abelian no
Solvable no
Primitive yes
$p$-group no
Group: $\PSL(2,8)$

Related objects

Downloads

Learn more

Show commands: Magma

Copy content magma:G := TransitiveGroup(36, 712);
 

Group invariants

Abstract group:  $\PSL(2,8)$
Copy content magma:IdentifyGroup(G);
 
Order:  $504=2^{3} \cdot 3^{2} \cdot 7$
Copy content magma:Order(G);
 
Cyclic:  no
Copy content magma:IsCyclic(G);
 
Abelian:  no
Copy content magma:IsAbelian(G);
 
Solvable:  no
Copy content magma:IsSolvable(G);
 
Nilpotency class:   not nilpotent
Copy content magma:NilpotencyClass(G);
 

Group action invariants

Degree $n$:  $36$
Copy content magma:t, n := TransitiveGroupIdentification(G); n;
 
Transitive number $t$:  $712$
Copy content magma:t, n := TransitiveGroupIdentification(G); t;
 
Parity:  $1$
Copy content magma:IsEven(G);
 
Primitive:  yes
Copy content magma:IsPrimitive(G);
 
$\card{\Aut(F/K)}$:  $1$
Copy content magma:Order(Centralizer(SymmetricGroup(n), G));
 
Generators:  $(1,2,6,17,19,8,4)(3,10,23,12,28,25,13)(5,15,9,22,20,14,18)(7,16,31,30,29,21,32)(11,26,34,35,27,33,24)$, $(1,4)(2,8)(3,11)(5,14)(6,19)(7,21)(9,22)(10,24)(12,27)(13,26)(15,20)(16,29)(23,33)(25,34)(28,35)(30,31)$, $(1,3)(2,7)(4,13)(5,12)(6,18)(8,9)(10,14)(11,26)(16,23)(17,31)(20,32)(21,22)(24,27)(25,29)(33,34)(35,36)$
Copy content magma:Generators(G);
 

Low degree resolvents

none

Resolvents shown for degrees $\leq 47$

Subfields

Degree 2: None

Degree 3: None

Degree 4: None

Degree 6: None

Degree 9: None

Degree 12: None

Degree 18: None

Low degree siblings

9T27, 28T70

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^{36}$ $1$ $1$ $0$ $()$
2A $2^{16},1^{4}$ $63$ $2$ $16$ $( 1, 9)( 3,23)( 4,11)( 5,21)( 6,31)( 7,26)( 8,24)(10,28)(12,36)(13,25)(14,17)(15,32)(18,33)(19,29)(20,35)(27,30)$
3A $3^{12}$ $56$ $3$ $24$ $( 1,10,34)( 2, 3,26)( 4,16,20)( 5,17, 8)( 6,22,32)( 7,14, 9)(11,18,28)(12,35,21)(13,24,31)(15,23,33)(19,30,29)(25,36,27)$
7A1 $7^{5},1$ $72$ $7$ $30$ $( 1,34,31,30,19, 5,11)( 2,20,14,33,21, 4,26)( 6,17,29,24,15, 7,22)( 8,32, 9,16,35,27,18)(10,28,36,25,12,23,13)$
7A2 $7^{5},1$ $72$ $7$ $30$ $( 1,31,19,11,34,30, 5)( 2,14,21,26,20,33, 4)( 6,29,15,22,17,24, 7)( 8, 9,35,18,32,16,27)(10,36,12,13,28,25,23)$
7A3 $7^{5},1$ $72$ $7$ $30$ $( 1,30,11,31, 5,34,19)( 2,33,26,14, 4,20,21)( 6,24,22,29, 7,17,15)( 8,16,18, 9,27,32,35)(10,25,13,36,23,28,12)$
9A1 $9^{4}$ $56$ $9$ $32$ $( 1,29, 3,10,19,26,34,30, 2)( 4, 6,25,16,22,36,20,32,27)( 5,15,28,17,23,11, 8,33,18)( 7,13,21,14,24,12, 9,31,35)$
9A2 $9^{4}$ $56$ $9$ $32$ $( 1, 3,19,34, 2,29,10,26,30)( 4,25,22,20,27, 6,16,36,32)( 5,28,23, 8,18,15,17,11,33)( 7,21,24, 9,35,13,14,12,31)$
9A4 $9^{4}$ $56$ $9$ $32$ $( 1,19, 2,10,30, 3,34,29,26)( 4,22,27,16,32,25,20, 6,36)( 5,23,18,17,33,28, 8,15,11)( 7,24,35,14,31,21, 9,13,12)$

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

Copy content magma:ConjugacyClasses(G);
 

Character table

1A 2A 3A 7A1 7A2 7A3 9A1 9A2 9A4
Size 1 63 56 72 72 72 56 56 56
2 P 1A 1A 3A 7A2 7A3 7A1 9A2 9A4 9A1
3 P 1A 2A 1A 7A3 7A1 7A2 3A 3A 3A
7 P 1A 2A 3A 1A 1A 1A 9A2 9A4 9A1
Type
504.156.1a R 1 1 1 1 1 1 1 1 1
504.156.7a R 7 1 2 0 0 0 1 1 1
504.156.7b1 R 7 1 1 0 0 0 ζ91ζ9 ζ92ζ92 ζ94ζ94
504.156.7b2 R 7 1 1 0 0 0 ζ92ζ92 ζ94ζ94 ζ91ζ9
504.156.7b3 R 7 1 1 0 0 0 ζ94ζ94 ζ91ζ9 ζ92ζ92
504.156.8a R 8 0 1 1 1 1 1 1 1
504.156.9a1 R 9 1 0 ζ73+ζ73 ζ71+ζ7 ζ72+ζ72 0 0 0
504.156.9a2 R 9 1 0 ζ72+ζ72 ζ73+ζ73 ζ71+ζ7 0 0 0
504.156.9a3 R 9 1 0 ζ71+ζ7 ζ72+ζ72 ζ73+ζ73 0 0 0

Copy content magma:CharacterTable(G);
 

Regular extensions

Data not computed