Show commands:
Magma
magma: G := TransitiveGroup(18, 10);
Group action invariants
Degree : | magma: t, n := TransitiveGroupIdentification(G); n;
| ||
Transitive number : | magma: t, n := TransitiveGroupIdentification(G); t;
| ||
Group: | |||
Parity: | magma: IsEven(G);
| ||
Primitive: | no | magma: IsPrimitive(G);
| |
magma: NilpotencyClass(G);
| |||
: | 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
Galois groups for stem field(s) : : Resolvents shown for degrees
Subfields
Degree 3: None
Low degree siblings
6T10 x 2, 9T9, 12T17 x 2, 36T14Siblings are shown with degree
A number field with this Galois group has no arithmetically equivalent fields.
Conjugacy classes
Label | Cycle Type | Size | Order | Index | Representative |
1A | |||||
2A | |||||
3A | |||||
3B | |||||
4A1 | |||||
4A-1 |
magma: ConjugacyClasses(G);
Group invariants
Order: | 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 | ||||||
36.9.1b | R | ||||||
36.9.1c1 | C | ||||||
36.9.1c2 | C | ||||||
36.9.4a | R | ||||||
36.9.4b | R |
magma: CharacterTable(G);