11
$\begingroup$

Let $G$ be a finite group. Is there necessarily a finite primitive permutation group $P$ and a normal subgroup $N>1$ of $P$ such that $P/N \cong G$?

If not, what restrictions are there on quotients of finite primitive permutation groups?

$\endgroup$
3
  • $\begingroup$ seems intersting (the question and the answer) but what does "primitive" mean ? $\endgroup$
    – Joël
    Mar 8, 2011 at 2:49
  • $\begingroup$ @Joël: it means that the action does not preserve any non-trivial equivalence relations on the set being permuted. $\endgroup$
    – Colin Reid
    Mar 8, 2011 at 15:05
  • $\begingroup$ An equivalent condition is that a permutation group $G$ is primitive if and only if it is transitive and a point stabilizer is a maximal subgroup of $G$. $\endgroup$
    – Derek Holt
    Mar 9, 2011 at 9:34

1 Answer 1

14
$\begingroup$

Yes. We can assume that $G$ is a transitive permutation group. Let $S$ be any primitive finite simple group, such as $A_5$ in its natural representation. Now let $P$ be the wreath product of $S$ with $G$ using the product action, which has degree $d(P) = d(S)^{d(G)}$. This gives a primitive group, and the quotient of $P$ with the base group $S^{d(G)}$ of the wreath product is isomorphic to $G$.

Note that the primitive wreath product action of $S \wr G$ can also be described as its action by multiplication on the cosets of its maximal subgroup $T \wr G$, where $T$ is a point stabilizer in $S$.

$\endgroup$
1
  • $\begingroup$ Excellent, that's just what I was hoping for. $\endgroup$
    – Colin Reid
    Mar 7, 2011 at 22:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.