The Smallest Faithful Permutation Degree for a Direct Product Obeying an Inequality Condition
The minimal faithful permutation degree of a finite group is the least nonnegative integer such that embeds in the symmetric group $\Sym(n)$. Clearly for all finite groups and . Wright (1975) proves that equality occurs when and are nilpotent and exhibits an example of strict inequality where embeds in $\Sym(15)$. Saunders (2010) produces an infinite family of examples of permutation groups and where , including the example of Wright's as a special case. The smallest groups in Saunders' class embed in $\Sym(10)$. In this paper we prove that 10 is minimal in the sense that for all groups and such that .