isPrimitivePermutationGroup
P194634
predicate
Indicates that the permutation group acts transitively on a set and preserves no nontrivial partition of that set, i.e., it is a primitive permutation group.