Definition:Group Action Associated to Permutation Representation