Disjoint direct product decomposition of permutation groups

Mun See Chang, Christopher Jefferson

Let $H\le S_n$ be an intransitive group with orbits ${\Omega }_1,{\Omega }_2,\dots ,{\Omega }_k$. Then certainly $H$ is a subdirect product of the direct product of its projections on each orbit, $H|…