Technical Papers Lift-off fellowship report: The smallest degree for a strict inequality of a direct product of finite groups

摘要

Let G be a finite group. The minimal faithful permutation degree of G, denoted μ(G), is the smallest nonnegative integer n such that G embeds inside the symmetric group Sym(n). In [1], we gave a general exposition on this topic and stated a fundamental question of interest, namely