Conjugate-intersection index theorem

Symbolic statement
Let $$H$$ be a subgroup of $$G$$ of finite index $$r$$ in $$G$$. Let $$H_1,H_2,\ldots,H_s$$ be distinct conjugates of $$H$$ in $$G$$, so that $$s \le r$$. Let $$K = \bigcap_{i=1}^s H_i$$. Then:


 * $$K$$ is of finite index in $$G$$
 * The index of $$K$$ in $$G$$ is bounded from above by $$r(r-1)\ldots(r-s+1)$$ viz. $$[r]_s$$ or $$P(r,s)$$.

Related facts

 * Poincare's theorem bounds the index of the normal core of a subgroup, in terms of the index of the subgroup

Proof
We have a natural action of $$G$$ on the coset space $$G/H$$ by left multiplication. Now, consider the set of $$s$$-tuples over $$G/H$$ with all entries distinct. $$G$$ acts on this set by the coordinate-wise action on $$G/H$$.

Now, for each conjugate $$H_i$$, find a $$g_i \in G$$ such that $$H_i = g_i Hg_i^{-1}$$.

Claim: The group $$K = \bigcap_i H_i$$ is the isotropy subgroup for the element $$(g_1H_1, g_2H_1, g_3H_1, \ldots g_sH_1)$$

Proof: Note that the isotropy subgroup for this point under the coordinate-wise action must stabilize every coordinate, and conversely, if a group element fixes every coordinate, it must belong to the isotropy subgroup. Hence, the isotropy subgroup is the intersection of the isotropy subgroups for every coordinate. But the isotropy subgroup for $$g_iH$$ is precisely $$g_iHg_i^{-1} = H_i$$. This gives the result.