# Smallest permutation representation of a finite group?

Given a finite group G, I'm interested to know the smallest size of a set X such that G acts faithfully on X. It's easy for abelian groups - decompose into cyclic groups of prime power order and add their sizes. And the non-abelian group of order pq (p, q primes, q = 1 mod p) embeds in the symmetric group of degree q as shown here: www.jstor.org/stable/2306479.

-
I'd be surprised if you can do better than Cayley's theorem. – Steve Huntsman Mar 2 '10 at 15:06
There's also the strong Cayley theorem: mathreference.com/grp-act,cayley.html – Qiaochu Yuan Mar 2 '10 at 15:08
A preliminary search uncovered this paper: adsabs.harvard.edu/abs/2007arXiv0705.4122E – Qiaochu Yuan Mar 2 '10 at 15:09
In general you really cannot do better than Cayley's theorem: Q_8 embeds in S_8 but not in any smaller symmetric group. – Johannes Hahn Mar 2 '10 at 19:52
@Qiaochu "This paper has been withdrawn by the authors; Proposition 3.10 fails in general. The result still holds for nilpotent groups -- a weaker version will follow." – I. J. Kennedy Sep 28 '12 at 17:09

It is difficult to find this number for arbitrary finite groups, but many families have been solved. A somewhat early paper that has motivated a lot of work in this area is:

Johnson, D. L. "Minimal permutation representations of finite groups." Amer. J. Math. 93 (1971), 857-866. MR 316540 DOI: 10.2307/2373739.

This paper classifies those groups for which the regular permutation representation is the minimal faithful permutation representation (cyclic of prime power order, K4, or generalized quaternion) and some results on nilpotent groups (improved in later papers).

The minimal permutation degrees of the finite simple groups are known from:

Cooperstein, Bruce N. "Minimal degree for a permutation representation of a classical group." Israel J. Math. 30 (1978), no. 3, 213-235. MR 506701 DOI: 10.1007/BF02761072.

This paper only finds the degrees. A fuller description of the permutation representations are given in:

Grechkoseeva, M. A. "On minimal permutation representations of classical simple groups." Siberian Math. J. 44 (2003), no. 3, 443-462 MR 1984704 DOI: 10.1023/A:1023860730624.

There are a great deal of topics associated with minimal permutation degrees. I'll just briefly sketch them below, let me know if any interest you and I can give citations or longer descriptions:

The minimal degree of a subgroup is never larger than the minimal degree of the parent group, but the minimal degree of a quotient group may be much, much larger than that of the original. This poses problems in computational group theory, since quotient groups may be difficult to represent. Some quotients are easy to represent, and this has had a significant impact on CGT in the last 10 years or so.

Finding minimal permutation representations of covering groups can be difficult, and here I think the results are much less complete. Basically what you want are large subgroups not containing normal subgroups. In a covering group Z(G) is contained in really quite a few of the "good choices". This is because it is contained in Φ(G), the Frattini subgroup, the intersection of the maximal subgroups. One has to give up using maximal subgroups (at least if Z(G) is cyclic of prime power order), and so the minimal degree can increase dramatically.

Minimal degrees of primitive permutation groups is a topic with a different flavor (rather than specific families of groups, it is more of the interactions between group properties), but a great deal is known. Similar techniques are used to describe asymptotic behavior of minimal degrees of arbitrary families of finite groups, and quite powerful results are available there.

-
Someone asked for a reference for quotient groups having larger minimal degree than their parents. Extraspecial groups as quotients of direct products of smaller extra special groups work: Neumann (1985) ams.org/mathscinet-getitem?mr=896501 Holt-Walton (2002) ams.org/mathscinet-getitem?mr=1879020 – Jack Schmidt Apr 12 '13 at 16:11
The literature on this isn't unfortunately summarized in any book I know of. The state of the art as of 1999 is summarized in a master thesis by Stephane R. Lemieux "Minimal degree of faithful permutation representations of finite groups". – Fizz Apr 6 '15 at 8:15
Neil Saunders has published several [more recent] papers on this topic, although most pertain to the minimal faithful degree of specific classes of groups. His Ph.D. thesis was also on this topic (‘Minimal faithful permutation representations of finite groups’, 2011), and should be a more recent summary of the state of knowledge, but I'm having trouble locating an on-line copy. – Fizz Apr 6 '15 at 8:20
Also, the regular representation used in [the proof of] Cayley's theorem applies to semigroups as well (by substituting transformation semigroups for permutation groups) by it is just as uneconomical as a representation. So it is natural to ask the same question for semigroups: i.e. what is the smallest order of a transformation semigroup that embeds a given semigroup. The literature on the latter is even more sparse. Lemieux cites: D. Easdown, "Minimal faithful permutation and transformation representations of groups and semigroups", Contemporary Math. (1992), Vol. 131 (Part 3), 75-84. – Fizz Apr 6 '15 at 9:29
The exact same question can be asked for inverse semigroups (represented as injective partial functions i.e. in the symmetric inverse semigroup). BM Schein has a paper on this. THE MINIMAL DEGREE OF A FINITE INVERSE SEMIGROUP – Fizz Apr 6 '15 at 9:31