Let XX be a set and SXS_X the group of all permutations of XX. Cayley's theorem gives us, for any group GG with underlying set XX, a canonical embedding cG:GSXc_G: G\rightarrow S_X. The union of the ...