Definition:Permutation Representation Associated to Group Action