Show commands:
Magma
magma: G := TransitiveGroup(25, 4);
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,17)(2,16)(3,20)(4,19)(5,18)(6,12)(7,11)(8,15)(9,14)(10,13)(21,22)(23,25), (1,24)(2,23)(3,22)(4,21)(5,25)(6,17)(7,16)(8,20)(9,19)(10,18)(11,12)(13,15) | magma: Generators(G);
|
Low degree resolvents
Galois groups for stem field(s) : : Resolvents shown for degrees
Subfields
Low degree siblings
There are no siblings 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 | |||||
5A1 | |||||
5A2 | |||||
25A1 | |||||
25A2 | |||||
25A3 | |||||
25A4 | |||||
25A6 | |||||
25A7 | |||||
25A8 | |||||
25A9 | |||||
25A11 | |||||
25A12 |
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: | 50.1 | magma: IdentifyGroup(G);
| |
Character table: |
1A | 2A | 5A1 | 5A2 | 25A1 | 25A2 | 25A3 | 25A4 | 25A6 | 25A7 | 25A8 | 25A9 | 25A11 | 25A12 | ||
Size | 1 | 25 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | |
2 P | 1A | 1A | 5A2 | 5A1 | 25A4 | 25A6 | 25A9 | 25A8 | 25A3 | 25A11 | 25A2 | 25A1 | 25A7 | 25A12 | |
5 P | 1A | 2A | 1A | 1A | 5A2 | 5A2 | 5A2 | 5A1 | 5A1 | 5A2 | 5A1 | 5A2 | 5A1 | 5A1 | |
Type | |||||||||||||||
50.1.1a | R | ||||||||||||||
50.1.1b | R | ||||||||||||||
50.1.2a1 | R | ||||||||||||||
50.1.2a2 | R | ||||||||||||||
50.1.2b1 | R | ||||||||||||||
50.1.2b2 | R | ||||||||||||||
50.1.2b3 | R | ||||||||||||||
50.1.2b4 | R | ||||||||||||||
50.1.2b5 | R | ||||||||||||||
50.1.2b6 | R | ||||||||||||||
50.1.2b7 | R | ||||||||||||||
50.1.2b8 | R | ||||||||||||||
50.1.2b9 | R | ||||||||||||||
50.1.2b10 | R |
magma: CharacterTable(G);