Permutation degree (reviewed)

Given a finite group $G$, we call the minimal degree of a faithful transitive permutation representation of $G$ the permutation degree of $G$.

This can be computed as the minimal index of a subgroup with trivial core.