Computing the subgroups of a permutation group (Q5928886): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 00:25, 30 January 2024

scientific article; zbMATH DE number 1584489
Language Label Description Also known as
English
Computing the subgroups of a permutation group
scientific article; zbMATH DE number 1584489

    Statements

    Computing the subgroups of a permutation group (English)
    0 references
    0 references
    0 references
    0 references
    29 January 2002
    0 references
    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. The 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\). The 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.
    0 references
    subgroups of permutation groups
    0 references
    conjugacy classes of subgroups
    0 references
    finite permutation groups
    0 references
    trivial Fitting groups
    0 references
    ascending series of normal subgroups
    0 references
    algorithms
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references