GroupTheory
IsPrimitive
determine whether a permutation group is primitive
Calling Sequence
Parameters
Description
Examples
Compatibility
IsPrimitive( G )
G
-
a permutation group
A block for a permutation group G, acting on a set Ω , is a subset B of Ω such that, for all g in G, either Bg=B or Bg and B are disjoint. A block B is trivial if it consists of a single point or if B=Ω . A transitive permutation group G is primitive if it possesses no non-trivial block. Note that an intransitive group is not primitive.
The IsPrimitive( G ) command returns true if the permutation group G is primitive, and returns false otherwise. The group G must be an instance of a permutation group.
with⁡GroupTheory:
G≔PermutationGroup⁡1,2,1,2,3,4,5
G≔1,2,1,2,34,5
IsPrimitive⁡G
false
IsPrimitive⁡AlternatingGroup⁡4
true
IsPrimitive⁡PGU⁡3,3
IsPrimitive⁡DihedralGroup⁡4
IsPrimitive⁡DihedralGroup⁡5
The GroupTheory[IsPrimitive] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
See Also
GroupTheory[IsTransitive]
Download Help Document
What kind of issue would you like to report? (Optional)