Cardinals of transitive permutation groups acting on $\{1,\dots,n\}$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T07:22:53Z http://mathoverflow.net/feeds/question/93203 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/93203/cardinals-of-transitive-permutation-groups-acting-on-1-dots-n Cardinals of transitive permutation groups acting on $\{1,\dots,n\}$ Roland Bacher 2012-04-05T09:18:50Z 2012-12-04T09:47:43Z <p>Is there a nice description of all divisors of $n!$ which can be realized as cardinals of permutation groups acting transitively on ${1,\dots,n}$? </p> <p>A necessary condition is of course that such a divisor is a multiple of $n$. </p> <p>$n$ (cyclic) and $2n$ (dihedral) are always possible but, without mistake on my behalf, $3n$ <s>is not feasible unless $n\equiv 1\pmod 3$ (it can then be realized as a semi-direct product analogous to the dihedral group).</s> can only be realized if $3$ divides the number of invertible integers modulo $n$.</p> http://mathoverflow.net/questions/93203/cardinals-of-transitive-permutation-groups-acting-on-1-dots-n/113815#113815 Answer by Nick Gill for Cardinals of transitive permutation groups acting on $\{1,\dots,n\}$ Nick Gill 2012-11-19T11:29:39Z 2012-12-04T09:47:43Z <p>As Derek suggests in his comment, this question is too difficult to answer in general. However one could limit the question as follows: clearly if $K$ is a transitive permutation group then $|K|$ divides $|M|$ where $M$ is a <strong>maximal</strong> transitive subgroup of ${\mathrm Sym}(n)$; thus we can ask about the cardinality of a <strong>maximal</strong> transitive subgroup $M$ of ${\mathrm Sym}(n)$. </p> <p>The O'Nan-Scott theorem is the main tool here. Roughly speaking it asserts that such a subgroup $M$ is either imprimitive (and hence a wreath product, with order formula easy), or else it is in a bunch of primitive families. Most of these families have a geometric description and, as such, it is easy to calculate their order.</p> <p>The `difficult' family in this regard is the family of primitive almost simple groups. In this case one basically needs an enumeration of the maximal subgroups of all almost simple groups, which is a difficult problem but one which has received a great deal of attention. </p> <p>Depending on what level of information you need, there are complete enumerations of maximal subgroups for many of the almost simples (although not all). However there are also some very nice general statements about the possible sizes of maximal subgroups. One example is <a href="https://www.dropbox.com/s/b3pof9cskokylqh/Liebeck%20On%20the%20orders%20of%20maximal%20subgroups%20of%20the%20finite%20classical%20groups.pdf" rel="nofollow">this paper</a> by Martin Liebeck; there are many others like it (many by Liebeck and his collaborators).</p>