I've run into a brick wall with a problem in Pinter's Book of Abstract Algebra where it attempts to guide the reader through a proof of the first Sylow theorem; if I take the result as given, I can follow the rest, but damned if I can get to this myself.
The relevant parts of the exercise read:
Let G be a finite group with a p-Sylow subgroup K. Let X be the set of the conjugates of K. For $C_1, C_2 \in X$, let $C_1 \sim C_2$ iff $C_1 = aC_2a^{-1}$ for some $a \in K$.
[$\sim$ is proved to be an equivalence relation on X without issue in part 1.]
Q2. For each $C \in X$, prove that the number of elements in the equivalence class [C] is a divisor of |K|. Conclude that for each $C \in X$, the number of elements in [C] is either 1 or some power of p.
The second part of the question I can see: K is p-Sylow by hypothesis, so $|K| = p^k$ for some integral k; its factors are $1,\ p\,\ p^2,\ \cdots,\ p^k$. Getting to this point is causing me grief, though.
I've been looking for some convenient bijection $\varphi$ from [C] to something involving K more directly, but have had no joy. I tried $\varphi: [C] \to K/J\ \varphi(kCk^{-1}) = Jk$ for some p-subgroup of K called J, but couldn't manage to show injectivity. I did find that $\varphi: [C] \to {N(C)k: k \in K}\ \varphi(kCk^{-1}) = N(C)k$ for C's normaliser in G N(C) was a bijection, but this didn't help much since I couldn't determine much about N(C) or the cosets N(C)k.
I've been trying to tie C to K a bit by noting that conjugate groups are isomorphic, but I've not found anywhere that could be applied here.
By orbit stabilizer theorem, $$|O_x|=|G:Stab(x)|$$ where $O_x$ denotes the orbit of $x$, from that sense your question is obvious but if you want to see this by map use the idea of the proof and
$$\phi :L(stab(x))\to O_x$$ by $\phi(rStab(x))=rx$ where $L(Stab(x))$ is the left cosets of $Stab(x)$ in $G$.
here you can find details of the proof.