Buonasera!
Ho questo problema: Dimostrare che un sottogruppo proprio di $A_5$ ha ordine al più 12
Poiché $abs(A_5)=60=2^2*3*5$. In pratica devo escludere sottogruppi $K$ con $abs(K)=15,20,30$
1)Caso $abs(K)=30$, si risolve velocemente dato che un sottogruppo del genere avrebbe indice 2 in $A_5$ e sarebbe dunque normale; il che è assurdo per semplicità del gruppo alterno per $n>=5$
2)Caso $abs(K)=15$. Un gruppo di ordine 15 è necessariamente ciclico, dunque $A_5$ dovrebbe contenere un elemento di ordine 15 il che è nuovamente assurdo(basta indagare sulla struttura dei cicli di $A_5$)
Il caso $abs(K)=20$ non riesco a risolverlo...avevo pensato a qualcosa del tipo: $2|abs(K)$, $5|abs(K)$, da cui per Cauchy l'esistenza di un elemento di ordine 2 e uno di ordine 5 in $K$(che dovrebbero essere, rispettivamente, un 2-2 ciclo e un 5-ciclo). Qualche indizio per proseguire?