Properties

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

Related objects

Downloads

Learn more

Show commands: Gap / Magma / Oscar / SageMath

Copy content comment:Define the Galois group
 
Copy content magma:G := TransitiveGroup(39, 43);
 
Copy content sage:G = TransitiveGroup(39, 43)
 
Copy content oscar:G = transitive_group(39, 43)
 
Copy content gap:G := TransitiveGroup(39, 43);
 

Group invariants

Abstract group:  $\PSL(3,3)$
Copy content comment:Abstract group ID
 
Copy content magma:IdentifyGroup(G);
 
Copy content sage:G.id()
 
Copy content oscar:small_group_identification(G)
 
Copy content gap:IdGroup(G);
 
Order:  $5616=2^{4} \cdot 3^{3} \cdot 13$
Copy content comment:Order
 
Copy content magma:Order(G);
 
Copy content sage:G.order()
 
Copy content oscar:order(G)
 
Copy content gap:Order(G);
 
Cyclic:  no
Copy content comment:Determine if group is cyclic
 
Copy content magma:IsCyclic(G);
 
Copy content sage:G.is_cyclic()
 
Copy content oscar:is_cyclic(G)
 
Copy content gap:IsCyclic(G);
 
Abelian:  no
Copy content comment:Determine if group is abelian
 
Copy content magma:IsAbelian(G);
 
Copy content sage:G.is_abelian()
 
Copy content oscar:is_abelian(G)
 
Copy content gap:IsAbelian(G);
 
Solvable:  no
Copy content comment:Determine if group is solvable
 
Copy content magma:IsSolvable(G);
 
Copy content sage:G.is_solvable()
 
Copy content oscar:is_solvable(G)
 
Copy content gap:IsSolvable(G);
 
Nilpotency class:   not nilpotent
Copy content comment:Nilpotency class
 
Copy content magma:NilpotencyClass(G);
 
Copy content sage:libgap(G).NilpotencyClassOfGroup() if G.is_nilpotent() else -1
 
Copy content oscar:if is_nilpotent(G) nilpotency_class(G) end
 
Copy content gap:if IsNilpotentGroup(G) then NilpotencyClassOfGroup(G); fi;
 

Group action invariants

Degree $n$:  $39$
Copy content comment:Degree
 
Copy content magma:t, n := TransitiveGroupIdentification(G); n;
 
Copy content sage:G.degree()
 
Copy content oscar:degree(G)
 
Copy content gap:NrMovedPoints(G);
 
Transitive number $t$:  $43$
Copy content comment:Transitive number
 
Copy content magma:t, n := TransitiveGroupIdentification(G); t;
 
Copy content sage:G.transitive_number()
 
Copy content oscar:transitive_group_identification(G)[2]
 
Copy content gap:TransitiveIdentification(G);
 
Parity:  $1$
Copy content comment:Parity
 
Copy content magma:IsEven(G);
 
Copy content sage:all(g.SignPerm() == 1 for g in libgap(G).GeneratorsOfGroup())
 
Copy content oscar:is_even(G)
 
Copy content gap:ForAll(GeneratorsOfGroup(G), g -> SignPerm(g) = 1);
 
Transitivity:  1
Primitive:  no
Copy content comment:Determine if group is primitive
 
Copy content magma:IsPrimitive(G);
 
Copy content sage:G.is_primitive()
 
Copy content oscar:is_primitive(G)
 
Copy content gap:IsPrimitive(G);
 
$\card{\Aut(F/K)}$:  $1$
Copy content comment:Order of the centralizer of G in S_n
 
Copy content magma:Order(Centralizer(SymmetricGroup(n), G));
 
Copy content sage:SymmetricGroup(39).centralizer(G).order()
 
Copy content oscar:order(centralizer(symmetric_group(39), G)[1])
 
Copy content gap:Order(Centralizer(SymmetricGroup(39), G));
 
Generators:  $(1,8,18,13,5,20,37,36)(2,9,16,14,4,19,39,34)(3,7,17,15,6,21,38,35)(10,24,33,27)(11,23,32,26,12,22,31,25)(28,30)$, $(1,37,25,7)(2,39,26,9,3,38,27,8)(4,13,22,35,30,19,33,18)(5,14,23,36,28,20,31,16)(6,15,24,34,29,21,32,17)(11,12)$
Copy content comment:Generators
 
Copy content magma:Generators(G);
 
Copy content sage:G.gens()
 
Copy content oscar:gens(G)
 
Copy content gap:GeneratorsOfGroup(G);
 

Low degree resolvents

none

Resolvents shown for degrees $\leq 47$

Subfields

Degree 3: None

Degree 13: $\PSL(3,3)$

Low degree siblings

13T7 x 2, 26T39 x 2, 39T43

Siblings are shown with degree $\leq 47$

A number field with this Galois group has exactly one arithmetically equivalent field.

Conjugacy classes

LabelCycle TypeSizeOrderIndexRepresentative
1A $1^{39}$ $1$ $1$ $0$ $()$
2A $2^{16},1^{7}$ $117$ $2$ $16$ $( 1,25)( 2,26)( 3,27)( 4,32)( 5,31)( 6,33)(11,12)(13,15)(16,36)(17,35)(18,34)(19,21)(22,29)(23,28)(24,30)(38,39)$
3A $3^{12},1^{3}$ $104$ $3$ $24$ $( 1, 3, 2)( 4, 6, 5)( 7,23,19)( 8,24,20)( 9,22,21)(10,11,12)(13,34,25)(14,36,26)(15,35,27)(16,33,39)(17,31,37)(18,32,38)$
3B $3^{13}$ $624$ $3$ $26$ $( 1, 6,10)( 2, 4,12)( 3, 5,11)( 7,35,32)( 8,36,31)( 9,34,33)(13,16,21)(14,17,20)(15,18,19)(22,25,39)(23,27,38)(24,26,37)(28,29,30)$
4A $4^{8},2^{2},1^{3}$ $702$ $4$ $26$ $( 1,22,25,29)( 2,24,26,30)( 3,23,27,28)( 4,17,32,35)( 5,18,31,34)( 6,16,33,36)(10,14)(11,13,12,15)(19,38,21,39)(20,37)$
6A $6^{5},3^{2},2,1$ $936$ $6$ $30$ $( 1,10, 3,11, 2,12)( 4, 5, 6)( 7,25,23,13,19,34)( 8,26,24,14,20,36)( 9,27,22,15,21,35)(16,38,33,18,39,32)(17,37,31)(28,30)$
8A1 $8^{4},4,2,1$ $702$ $8$ $32$ $( 1, 5,22,18,25,31,29,34)( 2, 6,24,16,26,33,30,36)( 3, 4,23,17,27,32,28,35)( 7, 8)(10,37,14,20)(11,38,13,21,12,39,15,19)$
8A-1 $8^{4},4,2,1$ $702$ $8$ $32$ $( 1,34,29,31,25,18,22, 5)( 2,36,30,33,26,16,24, 6)( 3,35,28,32,27,17,23, 4)( 7, 8)(10,20,14,37)(11,19,15,39,12,21,13,38)$
13A1 $13^{3}$ $432$ $13$ $36$ $( 1,33,13,34, 6,29,39,10,18,19, 9,25,23)( 2,31,15,36, 5,28,37,11,16,21, 8,27,24)( 3,32,14,35, 4,30,38,12,17,20, 7,26,22)$
13A-1 $13^{3}$ $432$ $13$ $36$ $( 1,23,25, 9,19,18,10,39,29, 6,34,13,33)( 2,24,27, 8,21,16,11,37,28, 5,36,15,31)( 3,22,26, 7,20,17,12,38,30, 4,35,14,32)$
13A2 $13^{3}$ $432$ $13$ $36$ $( 1,13, 6,39,18, 9,23,33,34,29,10,19,25)( 2,15, 5,37,16, 8,24,31,36,28,11,21,27)( 3,14, 4,38,17, 7,22,32,35,30,12,20,26)$
13A-2 $13^{3}$ $432$ $13$ $36$ $( 1,25,19,10,29,34,33,23, 9,18,39, 6,13)( 2,27,21,11,28,36,31,24, 8,16,37, 5,15)( 3,26,20,12,30,35,32,22, 7,17,38, 4,14)$

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

Copy content comment:Conjugacy classes
 
Copy content magma:ConjugacyClasses(G);
 
Copy content sage:G.conjugacy_classes()
 
Copy content oscar:conjugacy_classes(G)
 
Copy content gap:ConjugacyClasses(G);
 

Character table

1A 2A 3A 3B 4A 6A 8A1 8A-1 13A1 13A-1 13A2 13A-2
Size 1 117 104 624 702 936 702 702 432 432 432 432
2 P 1A 1A 3A 3B 2A 3A 4A 4A 13A2 13A-2 13A-1 13A1
3 P 1A 2A 1A 1A 4A 2A 8A1 8A-1 13A1 13A-1 13A2 13A-2
13 P 1A 2A 3A 3B 4A 6A 8A-1 8A1 1A 1A 1A 1A
Type
5616.a.1a R 1 1 1 1 1 1 1 1 1 1 1 1
5616.a.12a R 12 4 3 0 0 1 0 0 1 1 1 1
5616.a.13a R 13 3 4 1 1 0 1 1 0 0 0 0
5616.a.16a1 C 16 0 2 1 0 0 0 0 ζ136+ζ135+ζ132 ζ132+ζ135+ζ136 ζ134+ζ13+ζ133 ζ133+ζ131+ζ134
5616.a.16a2 C 16 0 2 1 0 0 0 0 ζ132+ζ135+ζ136 ζ136+ζ135+ζ132 ζ133+ζ131+ζ134 ζ134+ζ13+ζ133
5616.a.16a3 C 16 0 2 1 0 0 0 0 ζ133+ζ131+ζ134 ζ134+ζ13+ζ133 ζ136+ζ135+ζ132 ζ132+ζ135+ζ136
5616.a.16a4 C 16 0 2 1 0 0 0 0 ζ134+ζ13+ζ133 ζ133+ζ131+ζ134 ζ132+ζ135+ζ136 ζ136+ζ135+ζ132
5616.a.26a R 26 2 1 1 2 1 0 0 0 0 0 0
5616.a.26b1 C 26 2 1 1 0 1 ζ8ζ83 ζ8+ζ83 0 0 0 0
5616.a.26b2 C 26 2 1 1 0 1 ζ8+ζ83 ζ8ζ83 0 0 0 0
5616.a.27a R 27 3 0 0 1 0 1 1 1 1 1 1
5616.a.39a R 39 1 3 0 1 1 1 1 0 0 0 0

Copy content comment:Character table
 
Copy content magma:CharacterTable(G);
 
Copy content sage:G.character_table()
 
Copy content oscar:character_table(G)
 
Copy content gap:CharacterTable(G);
 

Regular extensions

Data not computed