determine whether a permutation group is primitive
IsPrimitive( 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.
The GroupTheory[IsPrimitive] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
Download Help Document
What kind of issue would you like to report? (Optional)