Properties

Label 12T294
12T294 1 5 1->5 1->5 2 6 2->6 10 2->10 3 3->6 7 3->7 4 8 4->8 4->8 9 5->9 6->9 6->9 6->10 11 7->11 7->11 12 8->12 9->1 9->12 10->2 11->3 12->3 12->4
Degree $12$
Order $82944$
Cyclic no
Abelian no
Solvable yes
Transitivity $1$
Primitive no
$p$-group no
Group: $A_4^3.(C_2\times S_4)$

Related objects

Downloads

Learn more

Show commands: Gap / Magma / Oscar / SageMath

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

Group invariants

Abstract group:  $A_4^3.(C_2\times S_4)$
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:  $82944=2^{10} \cdot 3^{4}$
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:  yes
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$:  $12$
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$:  $294$
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);
 
CHM label:   $[S(4)^{3}]S(3)=S(4)wrS(3)$
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(12).centralizer(G).order()
 
Copy content oscar:order(centralizer(symmetric_group(12), G)[1])
 
Copy content gap:Order(Centralizer(SymmetricGroup(12), G));
 
Generators:  $(3,6,9,12)$, $(6,9)$, $(1,5)(2,10)(4,8)(7,11)$, $(1,5,9)(2,6,10)(3,7,11)(4,8,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

$\card{(G/N)}$Galois groups for stem field(s)
$2$:  $C_2$ x 3
$4$:  $C_2^2$
$6$:  $S_3$
$12$:  $D_{6}$
$24$:  $S_4$
$48$:  $S_4\times C_2$
$1296$:  $S_3\wr S_3$

Resolvents shown for degrees $\leq 47$

Subfields

Degree 2: None

Degree 3: $S_3$

Degree 4: None

Degree 6: None

Low degree siblings

18T770, 18T773, 18T776, 18T777, 18T779, 18T780, 18T783, 18T785, 24T16593, 24T16594, 24T16595, 24T16596, 24T16597, 24T16598, 24T16599, 36T19182, 36T19183, 36T19184, 36T19185, 36T19192, 36T19193, 36T19194, 36T19195, 36T19211, 36T19212, 36T19213, 36T19214, 36T19215, 36T19216, 36T19219, 36T19220, 36T19221, 36T19222, 36T19229, 36T19230, 36T19231, 36T19232, 36T19247, 36T19248, 36T19249, 36T19250, 36T19251, 36T19252, 36T19254, 36T19255, 36T19256, 36T19257, 36T19420, 36T19421, 36T19422, 36T19423

Siblings are shown with degree $\leq 47$

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

Conjugacy classes

Conjugacy classes not computed

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

65 x 65 character table

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