da Valerio Capraro » 14/05/2006, 23:20
è un fatto noto che se $p$ è il più piccolo primo che divide l'ordine di un gruppo semplice $G$, allora $12||G|$, oppure $p^3||G|$. Dunque nel nostro caso deve essere $p=2$e $q=3$. A tal punto $q$ deve essere tale che $n_r\equiv1(r)$ e $n_r|12$, dove al solito $n_r$ denota il numero degli r-Sylow. Da cui segue che $r=5$ e quindi $G$ ha ordine $60$, ma $A_5$ è l'unico gruppo semplice di ordine $60$ e quindi $G=A_5$.