Dopo aver definito cos’è un “Gruppo” e come si classificano i gruppi, il passo logico successivo nell’algebra astratta è esplorare la sua anatomia interna. Un gruppo, specialmente se di grandi dimensioni come il Gruppo Simmetrico $S_5$ (120 elementi), non è quasi mai un blocco monolitico. È quasi sempre composto da “gruppi più piccoli” contenuti al suo interno. Questi sono i sottogruppi.
L’analogia migliore è pensare a un gruppo complesso come a un meccanismo sofisticato, ad esempio un orologio. L’orologio intero (il Gruppo $G$) funziona, ma al suo interno ci sono ingranaggi specifici (i Sottogruppi $H$) che funzionano anch’essi in modo autonomo, rispettando le stesse leggi fisiche (la stessa operazione) del meccanismo principale. Studiare i sottogruppi ci permette di rivelare la struttura interna e le simmetrie nascoste del gruppo principale.
INDICE
2. Definizione Formale: Il Test del Sottogruppo
Formalmente, un sottoinsieme $H$ di un gruppo $G$ è un sottogruppo se $H$ stesso forma un gruppo sotto la stessa operazione binaria $(\cdot)$ definita in $G$.
Per verificare se $H$ è un sottogruppo, non è necessario riverificare tutti e quattro gli assiomi di gruppo. Esiste un “Test Rapido” (o Criterio del Sottogruppo) molto efficiente. Un sottoinsieme non vuoto $H$ di $G$ è un sottogruppo se e solo se soddisfa due condizioni:
- Chiusura rispetto all’Operazione: Per ogni $a$ e $b$ in $H$, il risultato $a \cdot b$ è ancora in $H$.
- Chiusura rispetto all’Inverso: Per ogni $a$ in $H$, anche il suo inverso $a^{-1}$ è in $H$.
(Nota: Se $H$ è finito, la prima condizione da sola è sufficiente).
3. Esempi Concreti di Sottogruppi
Ogni gruppo $G$ (con più di un elemento) possiede almeno due sottogruppi, detti sottogruppi banali: il gruppo stesso ($G$) e il gruppo contenente solo l’elemento neutro ($\{e\}$).
Un esempio classico in un gruppo infinito è $(\mathbb{Z}, +)$, il gruppo degli interi con l’addizione. L’insieme di tutti i numeri pari ($2\mathbb{Z} = \{\dots, -4, -2, 0, 2, 4, \dots\}$) è un sottogruppo di $\mathbb{Z}$. Verifichiamo il test:
- La somma di due numeri pari è sempre un numero pari (Chiusura).
- L’inverso di un numero pari (es. $4$) è il suo opposto ($-4$), che è anch’esso pari (Inverso).
Un esempio fondamentale in un gruppo finito è $S_3$ (il gruppo di tutte le 6 permutazioni su 3 elementi). Esso contiene diversi sottogruppi non banali, che sono i suoi “mattoni”:
- Un sottogruppo di Ordine 3: $A_3 = \{(1), (1 \ 2 \ 3), (1 \ 3 \ 2)\}$ (le rotazioni).
- Tre sottogruppi di Ordine 2: $H_1 = \{(1), (1 \ 2)\}$, $H_2 = \{(1), (1 \ 3)\}$, $H_3 = \{(1), (2 \ 3)\}$ (i ribaltamenti).
4. Il Teorema Fondamentale: Teorema di Lagrange
Il Teorema di Lagrange (1771) è forse il primo e più importante risultato nella teoria dei gruppi finiti. Esso pone un vincolo fondamentale sulla dimensione dei sottogruppi.
L’enunciato è sorprendentemente semplice: L’ordine (il numero di elementi) di un sottogruppo $H$ deve sempre essere un divisore intero dell’ordine del gruppo $G$.
Applichiamo questo al nostro esempio $S_3$, che ha Ordine 6. Il Teorema di Lagrange predice che $S_3$ può avere sottogruppi solo di ordine 1, 2, 3 o 6 (i divisori di 6). Infatti, è esattamente ciò che abbiamo trovato (Ordine 1: $\{e\}$; Ordine 2: $H_1, H_2, H_3$; Ordine 3: $A_3$; Ordine 6: $S_3$).
È cruciale notare che il Teorema di Lagrange non garantisce l’inverso: non è detto che per ogni divisore dell’ordine esista un sottogruppo. L’esempio classico è $A_4$ (Ordine 12): 6 è un divisore di 12, ma $A_4$ non ha sottogruppi di ordine 6.
5. Il Sottogruppo Speciale: Sottogruppi Normali
Non tutti i sottogruppi sono creati uguali. Alcuni, chiamati sottogruppi normali, sono molto più importanti perché permettono al gruppo di essere “scomposto”.
Un sottogruppo $N$ è “normale” se è “stabile” rispetto a tutte le operazioni del gruppo $G$. L’intuizione è che il sottogruppo $N$ “non litiga” con gli altri elementi del gruppo. Matematicamente, $N$ è normale se $g \cdot n \cdot g^{-1}$ è ancora un elemento di $N$ per ogni $g$ in $G$ e $n$ in $N$.
Nell’esempio di $S_3$, il sottogruppo $A_3$ (le rotazioni) è normale. Gli altri tre sottogruppi di ordine 2 (i ribaltamenti) non sono normali.
6. Conclusione: Perché i Sottogruppi Normali sono la Chiave
I sottogruppi normali sono le “linee di frattura” stabili di un gruppo. Sono importanti perché solo se un sottogruppo $N$ è normale, possiamo “estrarlo” da $G$ e creare un gruppo più piccolo, chiamato Gruppo Quoziente ($G/N$).
Questo processo di scomposizione è esattamente ciò che serve alla Teoria di Galois. Un “Gruppo Risolubile” (il requisito per risolvere un’equazione per radicali) è definito come un gruppo che può essere scomposto in una catena di sottogruppi normali che alla fine si riducono all’identità. I sottogruppi normali, quindi, sono la chiave per determinare la risolubilità delle equazioni polinomiali.
💡 Approfondisci le Basi Matematiche
Inizia oggi a scoprire i corsi di matematica! Accetta la sfida e intraprendi un viaggio affascinante che riparte dai numeri, attraversa monomi e polinomi, padroneggia lo studio di funzione e l’algebra lineare, fino a immergerti nel rigore profondo dell’Analisi I e delle funzioni a due variabili. Il futuro ti aspetta, e parla in formule.