Magma Proof of Strict Inequalities for Minimal Degrees of Finite Groups
Scott H. Murray and Neil Saunders
The minimal faithful permutation degree of a finite group G, denoted by μ(G), is the least non-negative integer n such that G embeds inside the symmetric group Sym(n). In this paper, we outline a Magma proof that 10 is the smallest degree for which there are groups G and H such that μ(G × H) < μ(G)+ μ(H).Keywords: Faithful Permutation Representations.
AMS Subject Classification: Primary 20B35.
This paper is available as a pdf (68kB) file.