Permutation groups, pattern involvement, and Galois connections