aka left multiplication action

definition

Proposition. Let $U$ be a subset of a group $G$. Then the order of the Stabilizer subgroup of $U$ (w.r.t. left translation action) divides $|U|$. This means that stabilizer is trivial if the number of elements in the set is relatively prime with the number of elements in the group