The power group of two permutation groups