Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
    
seems intersting (the question and the answer) but what does "primitive" mean ? –  Joël Mar 8 '11 at 2:49
    
@Joël: it means that the action does not preserve any non-trivial equivalence relations on the set being permuted. –  Colin Reid Mar 8 '11 at 15:05
    
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$. –  Derek Holt Mar 9 '11 at 9:34
add comment

1 Answer

up vote 12 down vote accepted

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$.

share|improve this answer
    
Excellent, that's just what I was hoping for. –  Colin Reid Mar 7 '11 at 22:32
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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