Subgroup core

The core of a subgroup $H\le G$ isIt is the largest normal subgroup of $G$ contained in $H$. If $H$ has finite index $k$, the action on $G/H$ gives $[G:{\mathrm{Core}}_G(H)]\le k!$.