This is a method to construct up to isomorphism the finite groups of
a given order. For this purpose it will loop over all possible perfect
groups and construct upwards extensions by soluble groups. This, in turn,
is done by iterated cyclic extensions.
Since this method is less efficient than the above two methods, it
will usually only be used for the determination of non-soluble groups.
\> UpwardsExtensions( <G>, <s> ) F
Let <G> be a permutation group and <s> a positive integer. This function
returns a list corresponding to `DivisorsInt(s)'. Let $t$ be the $i$-th
divisor of <s>. Then the $i$-th entry in the output is a list of all
extensions of <G> by a soluble group of order $t$ up to isomorphism. The
returned groups are permutation groups again.
Typically, this function is applied to perfect groups <G>, which may be
obtained from the perfect groups catalogue in GAP (see the Section on
`Finite perfect groups' in the reference manual).
The most time-consuming part of the computation in `UpwardsExtensions'
is the isomorphism test. The following function does no reduction to
isomorphism type representatives and hence is much more efficient.
\> CyclicExtensions( <G>, <p> ) F
Here <G> should be a permutation group and <p> a prime. This function
computes a list of permutation groups containing the upwards extensions
of <G> by the cyclic group of order <p>, but not reduced to isomorphism
type representatives.
There is an info class `InfoUpExt' available with values from 1 to 3.
In case that we want to extend a perfect group with trivial
centre, then there is a better algorithm available. This is
implemented as well and can be used with the following functions.
\> UpwardsExtensionsNoCentre( <G>, <s> ) F
Let <G> be a perfect permutation group with trivial centre and <s>
a positive integer. This function returns a list of all extensions
of <G> by a soluble group of order $s$ up to isomorphism. The returned
groups are permutation groups again. Note that, in difference to
`UpwardsExtensions' this function does not return the extensions by
groups of order dividing <s>. Moreover, the implementation of the
function requires that all soluble groups of order <s> are available
as `SmallGroups'. The implementation then uses the following function
to determine groups.
\> ExtensionsByGroupNoCentre( <G>, <H> ) F
Let <G> be a perfect permutation group with trivial centre and <H> a soluble
group. This functions returns all extensions of <G> by <H> up to isomorphism.
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
