I'm Very confused as to what my lecturer means in the final few lines of a proof of one of sylows theorems means. The theorem in question is the one that says the number of sylow P-subgroups is 1+kp.
Here's the part of the proof I'm confused about :
Let S be the set of all subsets of order $p^\alpha$ let $A\in S$ and let G act on it by right multiplication
.
.
.
It follows then that the number of P-sylow subgroups is the number of orbits of S of size m . let $n_p$ be the number of p sylow subgroups then
$$ \begin{aligned} &\ |S|=\sum_{\text{orbits of size m}}|O|+\sum_{\text{orbits size >m}}|O|\\ \Rightarrow &\ |S|=n_pm+mpr\\ \Rightarrow &\ \binom{mp^\alpha}{p^\alpha}/m=n_p+pr \\ \Rightarrow &\ \binom{mp^\alpha}{p^\alpha}/m\equiv n_p\pmod p \end{aligned}$$
But we know that the cyclic group of order $mp^{\alpha}$ has exactly one subgroup of order $p^{\alpha}$ Thus $ \binom{mp^\alpha}{p^\alpha}/m\equiv1\pmod p$ and so $n_p\equiv1\pmod p$
I understodd the rest of the proof just fine , but this has really stumped me. for starters I'm not familiar with the notation he seems to be using to describe the size of S( the brackets term). secondly I don't understand how he made the jump $\binom{mp^\alpha}{p^\alpha}/m\equiv1\pmod p$ and so $n_p\equiv1\pmod p$
Could anyone plese help me to understand this ?
Note: the dots represent part of the proof I left out if needs be I can add it for context but I thought it seemed superfluous given that this little part is the source of all my confusion.