The question is pretty much in the title: What is the maximal subgroup of $S\_d$ of maximal index (so minimal size)? A slight variant (I am not sure if it leads to a different answer) is: what if we restrict to *transitive* subgroups? (Of course, in both cases, there might be massive ties, but at least the index is well-defined).


**Clarification:** I want both asymptotic results, and, if possible, a pointer to a table for small $d.$



Minimal maximal subgroup of the symmetric group
Maximal intransitive groups will be $S\_a\times S\_b$ and have comparatively small index. I think once $d>6$ (otherwise there is a small number effect) the maximal subgroup of maximal index will always be transitive: If $d$ is prime, $AGL(1,d)$ is transitive, maximal, of larger index; if $d=a\cdot b$, then $S\_a\wr S\_b$ is transitive, maximal of larger index. (To show this one only needs to estimate $x!\cdot (n-x)!$ versus $a!^b\cdot b!$.)


The question on what the largest index is will depend on properties of $d$, as it often will be an almost simple group, and even the sporadic groups can come in. For example if $d$ is prime it will typically be $AGL(1,p)$. If $d-1$ is prime, I think $PGL(2,p-1)$ will be maximal of largest index.


On the other hand for some degrees (e.g. 33,34) no relevant simple groups, or in fact primitive groups of large index, exist and an imprimitive wreath product becomes the best option.


So as a generic answer I think $a!^b\cdot b!$ with $n=ab$, $a$ the smallest prime divisor, is the best estimate one can hope for.


The relevant paper is:


Liebeck, Martin W.(4-LNDIC); Praeger, Cheryl E.(5-WA); Saxl, Jan(4-CAMBC)
A classification of the maximal subgroups of the finite alternating and symmetric groups. 
J. Algebra 111 (1987), no. 2, 365–383. 


A GAP program to find the indices for small degrees is:



```
for i in [2..100] do
  g:=SymmetricGroup(i);
  m:=ShallowCopy(MaximalSubgroupClassReps(g));
  SortBy(m,Size);
  Print(i," ");
  PrintFactorsInt(Index(g,m[1]));
  Print("\n");
od;

```

