Lecture Notes on Bayesian Estimation and Classification
《Lecture Notes on Bayesian Estimation and Classification》 · 第 197 页 · Section 7.2「Primitive Permutation Groups」
Let $G$ be a transitive permutation group on a set $X$. A proper subset $Y$ of $X$ with at least two elements is called a domain of imprimitivity of $G$ if, for each permutation $\pi$ in $G$, either $Y=Y^\pi$ or $Y\cap Y^\pi=\emptyset$. The group $G$ is then said to be imprimitive. On the other hand, should $G$ possess no domain of imprimitivity, it is called primitive.