Magma Proof of Strict Inequalities for Minimal Degrees of Finite Groups

Scott H. Murray, Neil Saunders

The minimal faithful permutation degree of a finite group $G$, denote by $\mu (G)$ is the least non-negative integer $n$ such that $G$ embeds inside the symmetric group $\Sym(n)$. In…