[Top] [Up] [Previous] [Next] [Index]

4 Primitive solvable groups

Sections

  1. Translating irreducible solvable matrix groups into primitive solvable groups and back
  2. Finding primitive solvable groups with given properties

A finite group G is primitive if it has a maximal subgroup M with trivial core; the group acts primitively on the cosets of such a maximal subgroup. If G is solvable, there is a unique conjugacy class of such maximal subgroups; the index of M in G is called the degree of G. The degree of G is always a prime power, p<n>, say. There exists a well known bijection between the isomorphpism types of primitive solvable groups of degree p<n> and the conjugacy classes of irreducible subgrups of GL(n, p).

The IRREDSOL package provides functions for performing these translations, described in Translating irreducible solvable matrix groups into primitive solvable groups and back. Moreover, there are functions for finding primitive solvable groups with given properties, see Finding primitive solvable groups with given properties.

4.1 Translating irreducible solvable matrix groups into primitive solvable groups and back

  • PrimitivePcGroupIrreducibleMatrixGroup(G) F
  • PrimitivePcGroupIrreducibleMatrixGroupNC(G) F

    For a given irreducible solvable matrix group G over a prime field, this function returns a primitive pc group which is the split extension of G with its natural underlying vector space. The NC version does not check whether G is over a prime field, or whether G is irreducible.

  • IrreducibleMatrixGroupPrimitivePcGroup(G) F
  • IrreducibleMatrixGroupPrimitivePcGroupNC(G) F

    For a given primitive solvable group G, this function returns the corresponding irreducible matrix group, that is, the matrix group obtained from the conjugation action of G on its unique minimal normal subgroup N, regarded as a vector space over GF(p), where p is the exponent of N.

    4.2 Finding primitive solvable groups with given properties

  • AllPrimitivePcGroups(func_1, arg_1, func_2, arg_2, ...) F

    This function returns a list of all primitive solvable groups G in the IRREDSOL librar for which the return value of funci(G) lies in arg_i. The arguments func_1, func_2, ..., must be GAP functions which take pc group as their only argument and return a value, and arg_1, arg_2, ..., must be lists. If arg_i is not a list, arg_i is replaced by the list [arg_i]. One of the functions must be Degree (or one of its equivalents, see below).

    Note that there is also a function IteratorPrimitivePcGroups (see IteratorPrimitivePcGroups) which allows to run through the list produced by AllPrimitivePcGroups without having to store all of the groups simultaneously.

    The following functions func_i are handled particularly efficiently.

    --
    Degree, NrMovedPoints, LargestMovedPoint
    --
    Order, Size

  • OnePrimitivePcGroup(func_1, arg_1, func_2, arg_2, ...) F

    This function returns one primitive solvable groups G in the IRREDSOL librarfor which the return value of funci(G) lies in arg_i, or fail if no such group exists. The arguments func_1, func_2, ..., must be GAP functions which take pc group as their only argument and return a value, and arg_1, arg_2, ..., must be lists. If arg_i is not a list, arg_i is replaced by the list [arg_i]. One of the functions must be Degree.

    For a list of functions which are handled particularly efficiently, see AllPrimitivePcGroups (AllPrimitivePcGroups).

  • IteratorPrimitivePcGroups(func_1, arg_1, func_2, arg_2, ...) F

    This function returns an iterator which runs through the list of all primitive solvable groups G in the IRREDSOL library such that funci(G) lies in arg_i. The arguments func_1, func_2, ..., must be GAP functions taking one argument and returning a value, and arg_1, arg_2, ..., must be lists. If arg_i is not a list, arg_i is replaced by the list [arg_i]. One of the functions must be Degree. For a list of functions which are handled particularly efficiently, see AllPrimitivePcGroups (AllPrimitivePcGroups).

    Using

    IteratorPrimitivePcGroups(func_1, arg_1, func_2, arg_2, ...))

    is functionally equivalent to

    Iterator(AllPrimitivePcGroups(func_1, arg_1, func_2, arg_2, ...))

    (see Iterators for details) but does not compute all relevant matrix groups at the same time. This may save some memory.

    [Top] [Up] [Previous] [Next] [Index]

    IRREDSOL manual
    April 2004