Computing the subgroups of a permutation group
A new method for computing the conjugacy classes of subgroups of a finite permutation group \(G\) is described. The method requires a preliminary calculation and storage of appropriate data of all trivial-Fitting groups (i.e. groups with no nontrivial solvable normal subgroups) of order less than some fixed \(n\); at the time of writing of the paper, this was done for \(n=216000\), producing a database of \(154\) groups.NEWLINENEWLINENEWLINEThe algorithm consists of two stages. At first, one has to find an appropriate ascending series of normal subgroups of \(G\), \(1=N_0\triangleleft N_1\triangleleft\cdots\triangleleft N_r=L\triangleleft G\), such that \(N_i/N_{i-1}\) is elementary Abelian (for \(i=1,\dots,r\)) and \(G/L\) is trivial-Fitting. Then, \(G/L\) must be explicitly identified with one of the trivial-Fitting groups in the database, obtaining representatives of all the conjugacy classes of subgroups of \(G/L\).NEWLINENEWLINENEWLINEThe second stage is the successive lifting of such class representatives through the layers, finding class representatives of subgroups of \(G/N_{i-1}\) from those of \(G/N_i\). The paper ends with several examples and performance results of the algorithm as implemented in the algebra system MAGMA.
- scientific article; zbMATH DE number 975405
- Computing Sylow subgroups in permutation groups
- Computing the maximal subgroups of a permutation group. I
- scientific article; zbMATH DE number 475362
- scientific article; zbMATH DE number 3989617
- scientific article; zbMATH DE number 1254259
- scientific article; zbMATH DE number 1254013
- Computing the order of a solvable permutation group
- On the problem of computing the subdegrees of transitive permutation groups
- Computing conjugacy class representatives in permutation groups.
- Construction of defining relators for finite groups
- Fundamental algorithms for permutation groups
- scientific article; zbMATH DE number 3906699 (Why is no real title available?)
- scientific article; zbMATH DE number 194089 (Why is no real title available?)
- scientific article; zbMATH DE number 1254012 (Why is no real title available?)
- scientific article; zbMATH DE number 1076948 (Why is no real title available?)
- scientific article; zbMATH DE number 194815 (Why is no real title available?)
- On minimal faithful permutation representations of finite groups
- Perfect groups of order less than 104
- Studies of the lattice of subgroups of finite groups using a programmable electronic dual machine
- The Magma algebra system. I: The user language
- Automorphism group computation and isomorphism testing in finite groups
- The use of permutation representations in structural computations in large finite matrix groups
- Construction of the irreducible modular representations of a finite group
- Computing conjugacy classes of elements in matrix groups.
- Constructing transitive permutation groups.
- Computing subgroups of bounded index in a finite group.
- Computing conjugacy class representatives in permutation groups.
- Computing the soluble radical of a permutation group.
- Computing maximal subgroups of finite groups.
- Computing the maximal subgroups of a permutation group. I
- A local-global principle in the dynamics of quadratic polynomials
- Computing the table of marks of a cyclic extension.
- Calculation of the subgroups of a trivial-Fitting group
- scientific article; zbMATH DE number 123361 (Why is no real title available?)
- scientific article; zbMATH DE number 1262448 (Why is no real title available?)
- scientific article; zbMATH DE number 1263311 (Why is no real title available?)
- An Inductive Schema for Computing Conjugacy Classes in Permutation Groups
- Congruence Subgroups of PSL(2, Z) of Genus Less than or Equal to 24
- The perfect groups of order up to two million
- Computing Hall subgroups of finite groups.
- Calculating subgroups with GAP
- Computational group theory. Abstracts from the workshop held June 1--6, 2025
- Arithmetic in group extensions
This page was built for publication: Computing the subgroups of a permutation group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5928886)
