Disjoint direct product decompositions of permutation groups. (January 2022)