Disjoint direct product decomposition of permutation groups

Abstract

Let $H \leq S_n$ be an intransitive group with orbits $Ω_1, Ω_2, \ldots ,Ω_k$. Then certainly $H$ is a subdirect product of the direct product of its projections on each orbit, $H|_{Ω_1} \times H|_{Ω_2} \times \ldots \times H|_{Ω_k}$. Here we provide a polynomial time algorithm for computing the finest partition $P$ of the $H$-orbits such that $H = \prod_{c \in P} H|_c$ and demonstrate its usefulness in some applications.