Ci sei, ci sei! Quello che ho messo in spoiler e' certamente alla tua portata, si tratta solo di un po' di aritmetica modulare!
che cosa intendi con "velocemente sfaldabili"?
Chiamiamo un gruppo finito \( \displaystyle G \) "nilpotente" se i suoi sottogruppi di Sylow sono tutti normali (vedi anche
qui). In altre parole
un gruppo finito nilpotente non e' altro che un prodotto diretto finito di \( \displaystyle p \) -gruppi finiti (qui il \( \displaystyle p \)
varia: per esempio \( \displaystyle C_2 \times D_8 \times C_{27} \) e' un prodotto diretto di \( \displaystyle p \) -gruppi, dove \( \displaystyle D_8 \) indica il gruppo diedrale di ordine \( \displaystyle 8 \) ).
Ora, prendiamo una proprieta' \( \displaystyle P \) relativa ai gruppi (cioe' semplicemente un insieme di gruppi: diciamo che \( \displaystyle G \) verifica \( \displaystyle P \) se \( \displaystyle G \in P \) ). Diciamo che vogliamo classificare i gruppi con la proprieta' \( \displaystyle P \) . Supponiamo di saper dimostrare che:
(a) Se \( \displaystyle G \in P \) allora \( \displaystyle G \) e' nilpotente.
(b) Se \( \displaystyle G = \prod_{i \in I} H_i \) con gli \( \displaystyle H_i \) \( \displaystyle p \) -gruppi di ordine a due a due coprimo allora \( \displaystyle G \in P \) se e solo se \( \displaystyle H_i \in P \) per ogni \( \displaystyle i \in I \) .
Allora e' chiaro che classificare i gruppi finiti in \( \displaystyle P \) equivale a classificare i \( \displaystyle p \) -gruppi finiti in \( \displaystyle P \) .
Esempio 1. Vogliamo classificare i gruppi finiti \( \displaystyle G \) tali che \( \displaystyle \text{Aut}(G) \) e' abeliano. Siccome \( \displaystyle G/Z(G) \) si immerge in \( \displaystyle \text{Aut}(G) \) (tramite la mappa che manda \( \displaystyle g \) nell'automorfismo interno relativo a \( \displaystyle g \) ), anche \( \displaystyle G/Z(G) \) e' abeliano, e questo implica che \( \displaystyle G \) e' nilpotente (vedi il rimando che ti ho segnalato sopra). Inoltre per quanto ti ho scritto nel primo intervento vale anche la proprieta' (b) in questo caso, quindi siamo ridotti a studiare i \( \displaystyle p \) -gruppi finiti \( \displaystyle G \) con \( \displaystyle \text{Aut}(G) \) abeliano.
Rimarco: si riesce a dimostrare che se \( \displaystyle G \) e' un gruppo finito abeliano con \( \displaystyle \text{Aut}(G) \) abeliano allora \( \displaystyle G \) e' ciclico. Ma esistono gruppi finiti non abeliani \( \displaystyle G \) con \( \displaystyle \text{Aut}(G) \) abeliano (come vedo da
qui).
Esempio 2. Vogliamo classificare i gruppi finiti \( \displaystyle G \) ogni cui sottogruppo e' normale (gruppi di Dedekind finiti). In particolare i sottogruppi di Sylow di un tale \( \displaystyle G \) sono normali, quindi \( \displaystyle G \) e' nilpotente. Inoltre e' facile vedere che anche (b) vale, e siamo quindi ridotti a classificare i \( \displaystyle p \) -gruppi finiti \( \displaystyle G \) ogni cui sottogruppo e' normale.
Rimarco: I gruppi di Dedekind sono stati classificati (teorema di Dedekind-Baer). In sostanza, l'unico gruppo non abeliano che salta fuori e' \( \displaystyle Q_8 \) (il gruppo dei quaternioni, di ordine \( \displaystyle 8 \) ). Piu' precisamente, un gruppo di Dedekind non abeliano e' forzatamente del tipo \( \displaystyle Q_8 \times H \times K \) dove \( \displaystyle Q_8 \) e' il gruppo dei quaternioni di ordine \( \displaystyle 8 \) , \( \displaystyle H \) e' un gruppo abeliano ogni cui elemento ha ordine finito e dispari, e \( \displaystyle K \) e' un gruppo abeliano ogni cui elemento non identico ha ordine \( \displaystyle 2 \) .
Per gruppi velocemente sfaldabili (naturalmente non e' un termine tecnico!
) intendo (per esempio) gruppi che verificano una proprieta' che soddisfa (a) e (b). Questo riguarda problemi riconducibili ai \( \displaystyle p \) -gruppi. Se mi vengono in mente altri esempi te li scrivo.
Modifico: un altro esempio di problema riconducibile ai \( \displaystyle p \) -gruppi è
questo.
Le persone che le persone che le persone amano amano amano.