The rubik Diaries
$begingroup$ An action of $G$ on $X$ is cost-free if and provided that the stabiliser subgroups of every $xin X $ are trivial. Also stabiliser subgroups of factors of the identical orbit are conjugate, and below There may be by building only one orbit, so it's going to suffice to indicate that the stabiliser of just one factor is trivial; which I w