La Teoria dei Gruppi di Galois: Il Ponte tra Simmetria e Soluzioni

In questo articolo parliamo della Teoria dei Gruppi di Galois.

1. Introduzione: L’Intuizione di Évariste Galois

Per secoli, i matematici hanno cercato una “formula” universale per risolvere le equazioni polinomiali. Avevano trovato una formula per il grado 2 (la formula quadratica) e, nel Rinascimento, per il grado 3 (Cardano / Tartaglia) e il grado 4 (Ferrari).

Tuttavia, la formula per il grado 5 (la quintica) rimaneva un mistero. La ricerca si arenò per quasi 300 anni, finché un giovane e brillante matematico francese, Évariste Galois (1811-1832), cambiò radicalmente prospettiva.

Galois capì che il problema non era di calcolo, ma di struttura e simmetria.

La sua idea rivoluzionaria fu quella di associare a ogni polinomio un oggetto algebrico, un Gruppo di Simmetrie (oggi chiamato Gruppo di Galois), che descrive tutti i modi in cui le radici dell’equazione possono essere scambiate tra loro senza violare le leggi della matematica.

La tesi di Galois era sconvolgente: un’equazione è “risolvibile” (tramite una formula) solo se il suo gruppo di simmetria ha una struttura “semplice” (è risolubile).

2. Il Ponte: Campo Base, Radici e Gruppo Simmetrico ($S_n$)

Per capire la teoria di Galois, dobbiamo definire il campo di gioco.

• Concetto di Campo Base ($F$): È la nostra conoscenza di partenza, l’insieme dei numeri che consideriamo “dati”. Solitamente, questo è il campo dei numeri razionali, $\mathbb{Q}$.
• Concetto di Campo di Spezzamento ($K$): È il campo più piccolo che possiamo costruire partendo da $F$ e aggiungendo tutte le radici del polinomio. È il “campo di arrivo”.
• Le Possibilità Massime ($S_n$): Per un polinomio di grado $n$ (con $n$ radici), il numero massimo di modi in cui possiamo scambiare (permutare) le radici è $n!$ (n fattoriale). L’insieme di tutte queste permutazioni è il Gruppo Simmetrico $S_n$.
• Definizione del Gruppo di Galois ($G$): Il Gruppo di Galois $G = Gal(K/F)$ non è l’intero $S_n$. È il sottogruppo di $S_n$ che contiene solo le permutazioni ammesse (gli automorfismi).

3. Il Filtro: Come si Seleziona il Gruppo di Galois

Come decidiamo quali permutazioni di $S_n$ sono ammesse in $G$? Esiste una regola fondamentale:

La Regola Fondamentale (Fissaggio): Una permutazione è ammessa solo se lascia immutato (fissa) ogni elemento del Campo Base$F$.

Questa regola fa da “filtro”. Vediamo come funziona con gli esempi che abbiamo analizzato:

Esempio 1: Radici Razionali (Caso Banale)

• Polinomio: $P(x) = (x-1)(x-2) = x^2 – 3x + 2$
• Radici: $\{\alpha=1, \beta=2\}$. Campo Base $F = \mathbb{Q}$.
• Filtro: Le radici $1$ e $2$ sono esse stesse nel campo base $\mathbb{Q}$. La Regola di Fissaggio impone che $\sigma(1)=1$ e $\sigma(2)=2$.
• Permutazioni Ammesse:
  1. Identità $(1)$: Ammessa (fissa tutto).
  2. Scambio $(1 \ 2)$: Vietato, perché viola il fissaggio (tenta di mappare $\sigma(1) \to 2$).
• Gruppo di Galois: $G = \{e\}$ (Gruppo Banale, Ordine 1).

Esempio 2: Radici Irrazionali (Caso $C_2$)

• Polinomio: $P(x) = x^2 – 3$
• Radici: $\{\alpha=\sqrt{3}, \beta=-\sqrt{3}\}$. Campo Base $F = \mathbb{Q}$.
• Filtro: La Regola di Fissaggio impone che i numeri razionali (come $3$) siano fissi: $\sigma(3) = 3$.
• Permutazioni Ammesse:
  1. Identità $(1)$: Ammessa.
  2. Scambio $(1 \ 2)$: Ammesso! Lo scambio $\sigma(\sqrt{3}) \leftrightarrow \sigma(-\sqrt{3})$ è valido perché preserva la struttura di $\mathbb{Q}$. (Abbiamo verificato che $\sigma(\sqrt{3} \cdot \sqrt{3}) = \sigma(3) \implies (-\sqrt{3})(-\sqrt{3}) = 3 \implies 3=3$. L’aritmetica è salva).
• Gruppo di Galois: $G = \{e, (1 \ 2)\} \cong C_2$ (Gruppo Ciclico, Ordine 2).

4. La Proprietà Chiave: Gruppi Risolubili

A questo punto, Galois collega la “risolvibilità” di un’equazione a una proprietà specifica del suo gruppo:

• Risolubile per Radicali: Un’equazione che può essere risolta usando solo le quattro operazioni base e l’estrazione di radici ($\sqrt[n]{}$).
• Gruppo Risolubile: Un gruppo è “risolubile” se può essere scomposto in una catena di sottogruppi normali, dove ogni “anello” della catena (il gruppo quoziente) è Abeliano (commutativo).

L’intuizione di Galois è che l’estrazione di radici (come $\sqrt[n]{a}$) è un’operazione intrinsecamente semplice e commutativa. Un’equazione è risolvibile “smontandola” con le radici solo se la sua struttura di simmetria (il suo Gruppo di Galois) è altrettanto “smontabile” in pezzi semplici (Abeliani).

L’Equivalenza di Galois:

Un’equazione è risolubile per radicali se e solo se il suo Gruppo di Galois è un Gruppo Risolubile.

5. La Classifica Finale (Il Teorema di Abel-Ruffini)

Applicando questo potente teorema, possiamo finalmente capire la storia delle equazioni algebriche:

• Grado 2: I gruppi possibili sono $\{e\}$ e $C_2$. Entrambi sono Abeliani e quindi risolubili. Esiste una formula generale.
• Grado 3: I gruppi possibili sono $\{e\}, C_2, A_3, S_3$. Tutti questi gruppi sono risolubili (anche $S_3$, che ha la catena $S_3 \supset A_3 \supset \{e\}$). Esiste una formula generale (Cardano).
• Grado 4: I gruppi possibili sono sottogruppi di $S_4$. Anche $S_4$ è risolubile (ha una catena che passa per $A_4$ e $V_4$). Esiste una formula generale (Ferrari).
• Grado 5: Il gruppo massimale possibile è $S_5$ (Ordine 120).
  • Il Problema: Il Gruppo Simmetrico $S_5$ ha un sottogruppo normale, il Gruppo Alternante $A_5$ (Ordine 60).
  • $A_5$ è un Gruppo Semplice Non-Abeliano. È un “blocco” indivisibile che non è commutativo.
  • Poiché la catena di $S_5$ ($S_5 \supset A_5 \supset \{e\}$) contiene un “blocco” non risolubile ($A_5$), $S_5$ NON è un Gruppo Risolubile.

Conclusione: Poiché il polinomio generico di grado 5 ha $S_5$ come Gruppo di Galois, e $S_5$ non è risolubile, il Teorema di Galois dimostra che:

Non può esistere una formula generale che utilizzi solo radicali per risolvere l’equazione di quinto grado.

Questo risultato, noto come Teorema di Abel-Ruffini, fu la risposta a una ricerca durata secoli. Galois non ha solo dimostrato il cosa, ma ha fornito il perché, spostando per sempre il focus della matematica dalla “ricerca di una formula” allo “studio della struttura”.

💡 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.