Risultato su i sottogruppi di $A_5$

Messaggioda nick_10 » 03/09/2018, 17:32

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?
nick_10
Average Member
Average Member
 
Messaggio: 317 di 754
Iscritto il: 17/11/2016, 16:21

Re: Risultato su i sottogruppi di $A_5$

Messaggioda Steven » 03/09/2018, 18:39

Ciao, il caso $20$ e' un esempio di esercizio dove si usa l'azione sui laterali. Supponi che $K$ sia sottogruppo di ordine $20$. Allora hai tre classi laterali di $K$ dentro $A_5$, diciamo $K, xK, yK$ per $x$ e $y$ opportuni elementi di $A_5$. $A_5$ agisce per moltiplicazione a sinistra sull'insieme ${K, xK, yK }$, e questo determina una mappa $A_5 to S_3$, che in effetti e' suriettiva (perche'?). Questo ti porta ad una contraddizione in una riga (di nuovo, perche'?) :)
Steven
Cannot live without
Cannot live without
 
Messaggio: 5445 di 5708
Iscritto il: 12/11/2006, 14:47

Re: Risultato su i sottogruppi di $A_5$

Messaggioda nick_10 » 05/09/2018, 14:01

Grazie! Non ci avevo proprio pensato :oops:
nick_10
Average Member
Average Member
 
Messaggio: 318 di 754
Iscritto il: 17/11/2016, 16:21


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite