Properties

Label 18T10
Degree 1818
Order 3636
Cyclic no
Abelian no
Solvable yes
Primitive no
pp-group no
Group: C32:C4C_3^2 : C_4

Related objects

Downloads

Learn more

Show commands: Magma

magma: G := TransitiveGroup(18, 10);
 

Group action invariants

Degree nn:  1818
magma: t, n := TransitiveGroupIdentification(G); n;
 
Transitive number tt:  1010
magma: t, n := TransitiveGroupIdentification(G); t;
 
Group:  C32:C4C_3^2 : C_4
Parity:  1-1
magma: IsEven(G);
 
Primitive:  no
magma: IsPrimitive(G);
 
magma: NilpotencyClass(G);
 
#Aut(F/K)\card{\Aut(F/K)}:  22
magma: Order(Centralizer(SymmetricGroup(n), G));
 
Generators:  (1,13,10,15)(2,14,9,16)(3,5,7,18)(4,6,8,17)(11,12), (1,14)(2,13)(3,12)(4,11)(5,9)(6,10)(15,18)(16,17)
magma: Generators(G);
 

Low degree resolvents

#(G/N)\card{(G/N)}Galois groups for stem field(s)
22C2C_2
44C4C_4

Resolvents shown for degrees 47\leq 47

Subfields

Degree 2: C2C_2

Degree 3: None

Degree 6: C32:C4C_3^2:C_4 x 2

Degree 9: C32:C4C_3^2:C_4

Low degree siblings

6T10 x 2, 9T9, 12T17 x 2, 36T14

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 1181^{18} 11 11 00 ()()
2A 28,122^{8},1^{2} 99 22 88 (1,10)(2,9)(3,7)(4,8)(5,18)(6,17)(13,15)(14,16)( 1,10)( 2, 9)( 3, 7)( 4, 8)( 5,18)( 6,17)(13,15)(14,16)
3A 363^{6} 44 33 1212 (1,6,16)(2,5,15)(3,7,12)(4,8,11)(9,13,18)(10,14,17)( 1, 6,16)( 2, 5,15)( 3, 7,12)( 4, 8,11)( 9,13,18)(10,14,17)
3B 363^{6} 44 33 1212 (1,12,10)(2,11,9)(3,14,6)(4,13,5)(7,17,16)(8,18,15)( 1,12,10)( 2,11, 9)( 3,14, 6)( 4,13, 5)( 7,17,16)( 8,18,15)
4A1 44,24^{4},2 99 44 1313 (1,13,10,15)(2,14,9,16)(3,5,7,18)(4,6,8,17)(11,12)( 1,13,10,15)( 2,14, 9,16)( 3, 5, 7,18)( 4, 6, 8,17)(11,12)
4A-1 44,24^{4},2 99 44 1313 (1,15,10,13)(2,16,9,14)(3,18,7,5)(4,17,8,6)(11,12)( 1,15,10,13)( 2,16, 9,14)( 3,18, 7, 5)( 4,17, 8, 6)(11,12)

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

magma: ConjugacyClasses(G);
 

Group invariants

Order:  36=223236=2^{2} \cdot 3^{2}
magma: Order(G);
 
Cyclic:  no
magma: IsCyclic(G);
 
Abelian:  no
magma: IsAbelian(G);
 
Solvable:  yes
magma: IsSolvable(G);
 
Nilpotency class:   not nilpotent
Label:  36.9
magma: IdentifyGroup(G);
 
Character table:

1A 2A 3A 3B 4A1 4A-1
Size 1 9 4 4 9 9
2 P 1A 1A 3A 3B 2A 2A
3 P 1A 2A 1A 1A 4A-1 4A1
Type
36.9.1a R 1 1 1 1 1 1
36.9.1b R 1 1 1 1 1 1
36.9.1c1 C 1 1 1 1 i i
36.9.1c2 C 1 1 1 1 i i
36.9.4a R 4 0 2 1 0 0
36.9.4b R 4 0 1 2 0 0

magma: CharacterTable(G);