GroupTheory
SearchTransitiveGroups
search for transitive groups satisfying specified properties
Calling Sequence
Parameters
Description
Examples
Compatibility
SearchTransitiveGroups( spec, formopt )
spec
-
expression sequence of search parameters
formopt
(optional) an option of the form form = X, where X is one of "id" (the default), "permgroup", or "count".
The SearchTransitiveGroups( spec ) command searches Maple's transitive groups database for groups satisfying properties specified in a sequence spec of search parameters. This allows you to locate examples of transitive permutation groups that have specific, supported properties, or combinations of those properties.
Use the form = X option to control the form of the output from this command. By default, an expression sequence of IDs for the TransitiveGroups database is returned. This is the same as specifying form = "id". To have an expression sequence of permutation groups, use the form = "permgroup" option. The form = "count" option causes SearchTransitiveGroups to return just the number of groups in the database satisfying the constraints implied by the search parameters.
Note that the IDs returned in the default case are the IDs of the groups within the TransitiveGroups database. These may differ from the IDs for the same group if it happens to be present in another database, which has its own set of group IDs. In particular, the first member of the TransitiveGroups database ID is the degree of the group, not its order.
So, for example, the symmetric group of degree 3 appears in the database of transitive groups with ID equal to (3, 2), but appears also in the database of small groups with ID equal to (6, 1).
The valid search parameters may be grouped into several classes, as follows.
Boolean Search Parameters
Boolean search parameters p, such as isregular, can be specified in one of the forms p = true, p = false or just p, which is equivalent to p = true. If the boolean search parameter p is true, then only groups satisfying the corresponding predicate are returned. If the boolean search parameter p is false, then only groups that do not satisfy the predicate are returned. Leaving a boolean search parameter unspecified causes the SearchTransitiveGroups command to return groups that do, and do not, satisfy the corresponding predicate.
Two boolean search parameters are currently supported, and are described in the following table.
primitive
describes the class of primitive groups
regular
describes the class of regular groups
frobenius
describes the class of Frobenius groups
abelian
describes the class of Abelian groups
nilpotent
describes the class of nilpotent groups
soluble
describes the class of soluble groups
perfect
describes the class of perfect groups
simple
describes the class of simple groups
almostsimple
describes the class of almostsimple groups
A transitive permutation group is primitive if it does not admit a non-trivial system of blocks. Equivalently, a transitive group is primitive if some (hence, all) point stabilizers are maximal subgroups.
A permutation group is regular if it is transitive and no non-trivial element has a fixed point.
Numeric Search Parameters
Maple supports three search parameters that describe numeric invariants of transitive groups. Each has a positive integer value. A numeric search parameter p may be given in the form p = n, for some specific value n, or by indicating a range, as in p = a .. b. In the former case, only groups for which the numeric parameter has the value n will be returned. In the case in which a range is specified, groups for which the numeric invariant lies within the indicate range (inclusive of its end-points) are returned.
The supported numeric search parameters are listed in the following table.
degree
indicates the degree of the group
order
indicates the order (cardinality) of the group
transitivity
indicates the transitivity of the group
A permutation group G is said to be k-transitive if it is transitive and if the stabilizer of a point is k−1-transitive on the remaining points. A permutation group is 1-transitive if it is transitive. Groups that are 2-transitive are said to be doubly transitive and a triply transitive group is one that is 3-transitive. The transitivity of G is the largest value of k for which G is k-transitive.
with⁡GroupTheory:
Count the total number of groups in the database.
SearchTransitiveGroups⁡form=count
162212
Find the doubly-transitive groups of degree 6
id≔SearchTransitiveGroups⁡degree=6,transitivity=2
id≔6,12
G≔TransitiveGroup⁡op⁡id
G≔1,2,3,4,6,1,45,6
Degree⁡G
6
Which transitive groups in the database have order 24 and are multiply transitive?
id≔SearchTransitiveGroups⁡order=24,1<transitivity
id≔4,5
Transitivity⁡TransitiveGroup⁡op⁡id
4
Find the regular permutation groups of degree 6.
SearchTransitiveGroups⁡degree=6,isregular,form=permgroup
1,2,3,4,5,6,1,3,52,4,6,1,42,35,6
How many primitive groups are in the transitive groups database.
SearchTransitiveGroups⁡isprimitive,form=count
288
Note that there are two ways to count the transitive groups of a given degree.
SearchTransitiveGroups⁡degree=24,form=count=NumTransitiveGroups⁡24
25000=25000
The GroupTheory[SearchTransitiveGroups] command was introduced in Maple 2015.
For more information on Maple 2015 changes, see Updates in Maple 2015.
The GroupTheory[SearchTransitiveGroups] command was updated in Maple 2019.
See Also
GroupTheory[Degree]
GroupTheory[IsTransitive]
GroupTheory[TransitiveGroup]
Download Help Document
What kind of issue would you like to report? (Optional)