primitive permutation group

permutation group that preserves no non-trivial partition

Categories: