Let $H$ and $K$ be two proper non-trivial subgroups of the 
alternating group $A\_n; n\geq 5$.
Then there exists a maximal subgroup $M$ of $A\_n$ 
such that $H\not\leq M$ and $K\not\leq M$.
To see this 
let $\Omega:=\{1,2,\cdots,n\}$ 
and as always ${\rm Supp}\_{\Omega}(H):=
\{\omega\in\Omega\mid \omega^{h}\neq \omega,$ for some $h\in H\}$. 
If there exists $l\in {\rm Supp}\_{\Omega}(H)\cap {\rm Supp}\_{\Omega}(K)$, 
put $M\!:={\rm Stab}\_{A\_n}(l)$, otherwise take 
$l\in {\rm Supp}\_{\Omega}(H)\setminus {\rm Supp}\_{\Omega}(K)$  

and $t\in {\rm Supp}\_{\Omega}(K)\setminus {\rm Supp}\_{\Omega}(H)$ 
and put $M:={\rm Stab}\_{A\_n}\{l,t\}$. (May be other types of maximal subgroups of $A\_n$, 
according to O'Nan-Scott Therorem, satisfy this property but I do not know).


By a GAP code I could check that this property is also true for a 
few finite non-abelian simple groups apart from the alternating groups, 
like ${\rm PSL}(2,7), {\rm PSL}(2,8), {\rm M}\_{11},{\rm M}\_{12}$.


Could we generalize this property for other types of finite non-abelian  

simple groups?


Thank you very much!



Generalization of a property of $A_n; n\geq 5$
Yes, such an extensions to other simple groups exists: Let the finite group $S$ act primitively of degree $n$. We may assume that $H$ and $M$ are cyclic, generated by $x$ and $y$, respectively. We are done unless $x$ and $y$ have disjoint supports. But then one of these elements moves at most $n/2$ elements.


[Guralnick and Magaard](http://dx.doi.org/10.1006/jabr.1998.7451) classify the primitive groups $G$ of degree $n$ which contain a nontrivial element which moves at most $n/2$ elements. The only examples where $G$ is simple have $G$ alternating, or are among the possibilities listed as cases 3(a), (b), (c), and (d) in Theorem 1. Note that $n$ is even in the cases (a), (b) and (d). We could have started with a primitive action of odd degree (by choosing an action on the cosets of a maximal subgroup of $S$ which contains a Sylow $2$-subgroup). So the only case left is 3(c). Here $S$ is the simple group $P\Omega^-\_{2k}(2)$, and the only examples isomorphic to $S$ have a unique permutation degree $n=(2^k+1)(2^{k-1}-1)$. Again, apply the same trick as above: Let $p$ be a prime divisor of $n$, and $M$ be a maximal subgroup of $S$ which contains a Sylow $p$-subgroup of $S$. Then the corresponding primitive action of $S$ doesn't appear as an example in Guralnick/Magaard anymore.


*Remark*: Using Guralnick/Magaard, which heavily relies on the classification of the finite simple groups, probably is vast overkill for this question.


