I Gruppi di Galois per le Equazioni di Quarto Grado

In questo articolo approfondiamo i gruppi di Galois per le equazioni di quarto grado.

1. Introduzione: La Sfida del Quarto Grado ($n=4$)

Dopo aver compreso i gruppi per le equazioni cubiche $S_3$ (Ordine 6) e $A_3$ (Ordine 3) , il passo successivo nell’algebra è affrontare le equazioni di quarto grado (quartiche).

Un’equazione quartica generale si presenta nella forma:$$P(x) = ax^4 + bx^3 + cx^2 + dx + e = 0 \quad (a \ne 0)$$

(Assumiamo, come sempre, che i coefficienti $a, b, c, d, e$ appartengano al nostro campo base, $\mathbb{Q}$).

Il Gruppo Massimo: $S_4$

Le quattro radici $\{\alpha, \beta, \gamma, \delta\}$ possono essere permutate in $4!$ (4 fattoriale) modi possibili:$$4! = 4 \times 3 \times 2 \times 1 = 24$$

Il “massimale” delle simmetrie possibili è quindi il Gruppo Simmetrico $S_4$, un gruppo vasto e complesso con 24 elementi. Il Gruppo di Galois $G$ del polinomio sarà uno dei sottogruppi di $S_4$.

Ecco una tabella che elenca tutte le 24 trasformazioni (permutazioni) possibili del gruppo $S_4$, classificate per tipo e parità:

Tipo di Permutazione	Elementi (Notazione Ciclica)	Conteggio	Parità (Pari/Dispari)
Identità	$(1)$	1	Pari
Trasposizioni (Scambi singoli)	$(12), (13), (14), \\(23), (24), (34)$	6	Dispari
3-Cicli (Rotazioni di 3 elementi)	$(123), (132), (124), \\(142), (134), (143), \\(234), (243)$	8	Pari
4-Cicli (Rotazioni di 4 elementi)	$(1234), (1243), (1324), \\(1342), (1423), (1432)$	6	Dispari
Doppie Trasposizioni (2 scambi)	$(12)(34), (13)(24),\\ (14)(23)$	3	Pari
Totale		24	(12 Pari, 12 Dispari)

Il Gruppo Alternante $A_4$ (il sottogruppo delle permutazioni pari) è composto dai 12 elementi (1 Identità + 8 3-Cicli + 3 Doppie Trasposizioni).

La Differenza Cruciale: $S_4$ è Risolubile

La Teoria di Galois non solo classifica i gruppi, ma ci dice se un’equazione è risolubile per radicali (cioè se esiste una formula generale come quella quadratica o quella di Cardano-Tartaglia).

• Grado 3 ($S_3$): $S_3$ (Ordine 6) è un Gruppo Risolubile. Questo garantisce che la formula di Cardano-Tartaglia esista.
• Grado 4 ($S_4$): $S_4$ (Ordine 24) è molto più complesso, ma si scopre che è anch’esso un Gruppo Risolubile. Ha una struttura gerarchica interna che può essere “smontata” pezzo per pezzo (una “torre” di sottogruppi normali).
• Grado 5 ($S_5$): $S_5$ (Ordine 120) NON è Risolubile.

L’esistenza di una formula generale per risolvere le equazioni di quarto grado (il metodo di Ferrari, scoperto nel XVI secolo) è la prova storica che $S_4$ doveva essere risolubile. La Teoria di Galois ci fornisce il perché teorico.

2. Gli Strumenti di Classificazione (I Test di Galois per $n=4$)

Per determinare quale dei molti sottogruppi di $S_4$ (che ha 24 elementi) sia il vero Gruppo di Galois $G$ di un polinomio quartico $P(x)$, abbiamo bisogno di strumenti diagnostici più potenti rispetto al solo discriminante usato per il Grado 3.

Test 1: Irriducibilità (Il Primo Filtro)

Questo è il test fondamentale. Se il polinomio $P(x)$ è riducibile su $\mathbb{Q}$ (cioè può essere scomposto in polinomi di grado inferiore con coefficienti razionali), il problema si semplifica notevolmente.

• Se $P(x)$ si scompone in $(x-r_1)(x-r_2)(x-r_3)(x-r_4)$, le radici sono tutte razionali $\implies G = \{e\}$ (il Gruppo Banale).
• Se $P(x) = (x-r_1)(x^3 – 2)$, il gruppo è il gruppo del fattore irriducibile $\implies G = S_3$.

Ci concentreremo quindi sui casi in cui $P(x)$ è irriducibile su $\mathbb{Q}$.

Test 2: Il Discriminante ($\Delta$)

Come per il Grado 3, il discriminante ($\Delta$) è il primo strumento per distinguere le simmetrie.

• Se $\sqrt{\Delta} \in \mathbb{Q}$ (cioè $\Delta$ è un quadrato perfetto in $\mathbb{Q}$), il Gruppo di Galois deve contenere solo permutazioni pari. Il gruppo $G$ sarà un sottogruppo del Gruppo Alternante $A_4$ (che ha $24 / 2 = 12$ elementi).
• Se $\sqrt{\Delta} \notin \mathbb{Q}$, il Gruppo di Galois contiene anche permutazioni dispari (scambi semplici), quindi $G$ non è contenuto in $A_4$.

Test 3: La Risolvente Cubica (Lo Strumento Chiave)

Questa è la vera novità del Grado 4. Il metodo di Ferrari per risolvere la quartica si basa sulla costruzione di un’equazione ausiliaria di terzo grado, chiamata Risolvente Cubica.

• Costruzione (Idea): Le radici della quartica sono $\{\alpha, \beta, \gamma, \delta\}$. Si costruisce una cubica $R(y)=0$ le cui radici ($\theta_1, \theta_2, \theta_3$) sono combinazioni simmetriche delle radici della quartica. Ad esempio:$$\begin{aligned} \theta_1 &= (\alpha + \beta)(\gamma + \delta) \\ \theta_2 &= (\alpha + \gamma)(\beta + \delta) \\ \theta_3 &= (\alpha + \delta)(\beta + \gamma) \end{aligned}$$
• Il Test: Il Gruppo di Galois $G$ della quartica agisce anche sulle $\theta$ della risolvente. Il test fondamentale diventa:La Risolvente Cubica $R(y)$ è irriducibile o riducibile su $\mathbb{Q}$?

La risposta a questa domanda (Test 3) e al test del discriminante (Test 2) ci permette di classificare quasi tutti i gruppi irriducibili.

3. Classificazione dei Gruppi Irriducibili (I 5 Casi Principali)

Quando un polinomio di quarto grado $P(x)$ è irriducibile su $\mathbb{Q}$ (Test 1 superato), il suo Gruppo di Galois $G$ deve essere uno dei 5 sottogruppi “transitivi” di $S_4$.

Utilizzando i nostri due strumenti diagnostici principali (il Discriminante $\Delta$ e la Risolvente Cubica $R(y)$), possiamo distinguere questi 5 casi.

Tabella di Classificazione (Casi Irriducibili)

Questa tabella è il “diagramma di flusso” per determinare il Gruppo di Galois di una quartica irriducibile.

Gruppo ($G$)	Ordine	$\Delta$ è Quadrato in $\mathbb{Q}$? (Test 2)	Risolvente Cubica $R(y)$ (Test 3)
$S_4$	24	No	Irriducibile su $\mathbb{Q}$
$A_4$	12	Sì	Irriducibile su $\mathbb{Q}$
$D_4$ (Diedrale)	8	No	Riducibile su $\mathbb{Q}$
$V_4$ (Klein)	4	Sì	Riducibile su $\mathbb{Q}$
$C_4$ (Ciclico)	4	No	Riducibile su $\mathbb{Q}$

Nota: Distinguere $D_4$ e $C_4$ (entrambi con $\Delta$ non quadrato e $R(y)$ riducibile) richiede un test aggiuntivo più complesso che va oltre questa classificazione base.

La Logica Dietro la Classificazione

Perché questi test funzionano? La chiave è capire cosa significa il test della Risolvente Cubica ($R(y)$).

1. Se la Risolvente è IRRIDUCIBILE ($G = S_4$ o $A_4$)

• Significato: Se la risolvente $R(y)$ è irriducibile, significa che il suo Gruppo di Galois (come cubica) è $S_3$ o $A_3$ (come abbiamo visto nell’analisi del Grado 3).
• Connessione: Le radici della risolvente ($\theta_1, \theta_2, \theta_3$) sono create dalle radici della quartica ($\alpha, \beta, \gamma, \delta$). L’unico modo per il Gruppo di Galois della quartica ($G$) di permutare liberamente le $\theta$ (creando un gruppo $S_3$ o $A_3$) è se $G$ è molto grande.
• Conclusione: Solo i gruppi $S_4$ (Ordine 24) e $A_4$ (Ordine 12) sono abbastanza grandi e complessi da generare una risolvente cubica irriducibile. Il Test 2 ($\Delta$) distingue semplicemente tra i due.

2. Se la Risolvente è RIDUCIBILE ($G = D_4, V_4$ o $C_4$)

• Significato: Se la risolvente $R(y)$ è riducibile, significa che ha almeno una radice razionale (che appartiene a $\mathbb{Q}$). Supponiamo che sia $\theta_1$.
• La Radice $\theta_1$: Ricordiamo che $\theta_1 = (\alpha + \beta)(\gamma + \delta)$.
• La Conseguenza del Fissaggio: Se $\theta_1$ è un numero razionale (es. $\theta_1 = 5$), allora qualsiasi automorfismo $\sigma$ nel Gruppo di Galois $G$ DEVE fissare $\theta_1$:$$\sigma(\theta_1) = \theta_1 \implies \sigma((\alpha + \beta)(\gamma + \delta)) = (\alpha + \beta)(\gamma + \delta)$$
• Esclusione dei Gruppi Maggiori: I gruppi $S_4$ e $A_4$ contengono permutazioni (come il ciclo $(123)$) che muovono $\theta_1$ in $\theta_2$. Poiché queste permutazioni violano il fissaggio di $\theta_1$, $S_4$ e $A_4$ sono esclusi.
• Conclusione: Il Gruppo di Galois $G$ deve essere uno dei sottogruppi più piccoli ($D_4, V_4, C_4$) che rispettano questa simmetria ridotta (cioè, fissano $\theta_1$).

3.1.Analisi Gruppo di Galois $S_4$ (Ordine 24)

Questo è il caso “generico” o “massimale” per un’equazione quartica irriducibile.

3.1.1. Condizioni del Caso $S_4$

Il Gruppo di Galois $G$ è $S_4$ (l’intero Gruppo Simmetrico di 24 elementi) quando il polinomio $P(x)$ soddisfa le seguenti condizioni:

1. $P(x)$ è irriducibile su $\mathbb{Q}$.
2. Il Discriminante ($\Delta$) NON è un quadrato perfetto in $\mathbb{Q}$.
3. La Risolvente Cubica ($R(y)$) è irriducibile su $\mathbb{Q}$.

3.1.2. Esempio Classico: $P(x) = x^4 – x – 1$

Questo è un esempio classico di polinomio quartico il cui Gruppo di Galois è $S_4$.

• Test 1 (Irriducibilità): Il polinomio è irriducibile su $\mathbb{Q}$ (ad esempio, per il criterio di Eisenstein con una traslazione, o verificando che non ha radici razionali né scomposizioni quadratiche).
• Test 2 (Discriminante): $\Delta = -283$.
  • $\sqrt{\Delta} = \sqrt{-283}$. Questo non è un numero razionale (non è un quadrato).
  • Conclusione Test 2: $G$ non è contenuto in $A_4$.
• Test 3 (Risolvente Cubica): La risolvente cubica associata a $P(x)$ è: $$R(y) = y^3 + 4y – 1$$
  • Questa cubica è irriducibile su $\mathbb{Q}$ (l’unica possibile radice razionale $\pm 1$ non funziona).
  • Conclusione Test 3: $G$ deve essere $S_4$ o $A_4$.

3.1.3. Conclusione: L’Intersezione dei Test

Combinando i risultati:

1. Test 3 (Risolvente Irriducibile) $\implies G = S_4$ oppure $G = A_4$.
2. Test 2 ($\Delta$ non è quadrato) $\implies G \ne A_4$.

L’unica possibilità rimasta è $G = S_4$.

• Significato: Il gruppo $S_4$ è risolubile. Questo significa che, sebbene sia il caso più complesso (24 simmetrie), l’equazione $x^4 – x – 1 = 0$ è risolvibile per radicali (anche se la formula è estremamente complessa).

3.2 Analisi Gruppo di Galois $A_4$ (Ordine 12)

Questo è il caso in cui il polinomio è irriducibile, ma il discriminante “fortunato” (un quadrato perfetto) dimezza il numero di simmetrie possibili.

3.2.1. Condizioni del Caso $A_4$

Il Gruppo di Galois $G$ è $A_4$ (il Gruppo Alternante di 12 elementi) quando:

1. $P(x)$ è irriducibile su $\mathbb{Q}$.
2. Il Discriminante ($\Delta$) È un quadrato perfetto in $\mathbb{Q}$.
3. La Risolvente Cubica ($R(y)$) è irriducibile su $\mathbb{Q}$.

3.2.2. Esempio Classico: $P(x) = x^4 + 8x + 12$

• Test 1 (Irriducibilità): Il polinomio è irriducibile su $\mathbb{Q}$.
• Test 2 (Discriminante): $\Delta = 331776$.
  • $\sqrt{\Delta} = \sqrt{331776} = 576$. Poiché $576$ è un numero razionale, $\Delta$ è un quadrato perfetto.
  • Conclusione Test 2: $G$ deve essere un sottogruppo delle permutazioni pari, $G \subseteq A_4$.
• Test 3 (Risolvente Cubica): La risolvente cubica associata a $P(x)$ è: $$R(y) = y^3 – 48y + 64$$
  • Questa cubica è irriducibile su $\mathbb{Q}$.

3.2.3. Conclusione: L’Intersezione dei Test

Combinando i risultati:

1. Test 3 (Risolvente Irriducibile) $\implies G = S_4$ oppure $G = A_4$.
2. Test 2 ($\Delta$ è quadrato) $\implies G = A_4$ (esclude $S_4$).

L’unica possibilità è $G = A_4$.

• Significato: Il gruppo $A_4$ è risolubile. L’equazione è risolvibile per radicali. La simmetria è ridotta: solo le 12 permutazioni pari sono automorfismi validi perché devono tutte “fissare” (cioè non alterare) il valore razionale $\sqrt{\Delta} = 576$.

3.3 Analisi Gruppo di Galois $D_4$ (Ordine 8)

Questo caso si verifica quando la Risolvente Cubica si scompone, indicando una simmetria maggiore (un gruppo più piccolo) rispetto a $S_4$.

3.3.1. Condizioni del Caso $D_4$

Il Gruppo di Galois $G$ è $D_4$ (il Gruppo Diedrale di 8 elementi, il gruppo delle simmetrie di un quadrato) quando:

1. $P(x)$ è irriducibile su $\mathbb{Q}$.
2. Il Discriminante ($\Delta$) NON è un quadrato perfetto in $\mathbb{Q}$.
3. La Risolvente Cubica ($R(y)$) è Riducibile su $\mathbb{Q}$ (ha almeno una radice razionale).

3.3.2. Esempio Classico: $P(x) = x^4 – 2$

Questo è l’esempio fondamentale per il gruppo $D_4$.

• Test 1 (Irriducibilità): $x^4 – 2$ è irriducibile per il criterio di Eisenstein (con $p=2$).
• Test 2 (Discriminante): $\Delta = -2048$.
  • $\sqrt{\Delta} = \sqrt{-2048}$. Non è un quadrato razionale.
  • Conclusione Test 2: $G$ non è $A_4$ o $V_4$.
• Test 3 (Risolvente Cubica): La risolvente cubica associata a $P(x)$ è: $$R(y) = y^3 + 8y$$
  • Questa cubica è riducibile! $R(y) = y(y^2 + 8)$.
  • Ha una radice razionale ovvia: $\theta_1 = 0$.
  • Conclusione Test 3: $G$ non è $S_4$ o $A_4$.

3.3.3. Conclusione: L’Intersezione dei Test

Combinando i risultati:

1. Test 3 (Risolvente Riducibile) $\implies G$ è $D_4, V_4,$ o $C_4$.
2. Test 2 ($\Delta$ non è quadrato) $\implies G$ non è $V_4$.

Le possibilità rimaste sono $G = D_4$ o $G = C_4$. Un test aggiuntivo (che qui omettiamo) conferma che il gruppo è $D_4$.

• Significato: Il gruppo $D_4$ è risolubile. Il Campo di Spezzamento è $\mathbb{Q}(\sqrt[4]{2}, i)$, che ha grado 8 su $\mathbb{Q}$. Il gruppo ha 8 simmetrie, che corrispondono alle simmetrie di un quadrato (le 4 radici $\pm\sqrt[4]{2}, \pm i\sqrt[4]{2}$ formano un quadrato nel piano complesso).

3.4 Analisi Gruppo di Galois $V_4$ (Ordine 4)

Questo è il caso “biquadratico”, spesso incontrato. È il gruppo irriducibile più semplice per il Grado 4.

3.4.1. Condizioni del Caso $V_4$

Il Gruppo di Galois $G$ è $V_4$ (il Gruppo di Klein a 4 elementi, $C_2 \times C_2$) quando:

1. $P(x)$ è irriducibile su $\mathbb{Q}$.
2. Il Discriminante ($\Delta$) È un quadrato perfetto in $\mathbb{Q}$.
3. La Risolvente Cubica ($R(y)$) è Riducibile su $\mathbb{Q}$.

3.4.2. Esempio Classico: $P(x) = x^4 – 10x^2 + 1$

• Test 1 (Irriducibilità): Il polinomio è irriducibile su $\mathbb{Q}$.
• Test 2 (Discriminante): $\Delta = 147456$.
  • $\sqrt{\Delta} = \sqrt{147456} = 384$. È un quadrato razionale.
  • Conclusione Test 2: $G \subseteq A_4$.
• Test 3 (Risolvente Cubica): La risolvente cubica associata a $P(x)$ è: $$R(y) = y^3 + 20y^2 + 96y$$
  • Questa cubica è riducibile! $R(y) = y(y^2 + 20y + 96)$.
  • Ha una radice razionale ovvia: $\theta_1 = 0$.
  • Conclusione Test 3: $G$ non è $S_4$ o $A_4$.

3.4.3. Conclusione: L’Intersezione dei Test

Combinando i risultati:

1. Test 3 (Risolvente Riducibile) $\implies G$ è $D_4, V_4,$ o $C_4$.
2. Test 2 ($\Delta$ è quadrato) $\implies G$ deve essere $V_4$.

L’unica possibilità è $G = V_4$.

• Significato: Il gruppo $V_4$ è risolubile. Le radici di $x^4 – 10x^2 + 1 = 0$ sono $\pm\sqrt{2} \pm\sqrt{3}$. Il Campo di Spezzamento è $\mathbb{Q}(\sqrt{2}, \sqrt{3})$. Il gruppo $V_4$ (Ordine 4) descrive le 4 simmetrie indipendenti che “flippano” i segni di $\sqrt{2}$ e $\sqrt{3}$.

3.5 Analisi Gruppo di Galois $C_4$ (Ordine 4)

Questo è il caso irriducibile più raro per il Grado 4.

3.5.1. Condizioni del Caso $C_4$

Il Gruppo di Galois $G$ è $C_4$ (il Gruppo Ciclico di 4 elementi) quando:

1. $P(x)$ è irriducibile su $\mathbb{Q}$.
2. Il Discriminante ($\Delta$) NON è un quadrato perfetto in $\mathbb{Q}$.
3. La Risolvente Cubica ($R(y)$) è Riducibile su $\mathbb{Q}$.

3.5.2. Esempio Classico: $P(x) = x^4 + 5x^2 + 5$

• Test 1 (Irriducibilità): Irriducibile su $\mathbb{Q}$ (Criterio di Eisenstein con $p=5$).
• Test 2 (Discriminante): $\Delta = 2000$.
  • $\sqrt{\Delta} = \sqrt{2000}$. Non è un quadrato razionale.
  • Conclusione Test 2: $G$ non è $A_4$ o $V_4$.
• Test 3 (Risolvente Cubica): La risolvente cubica associata a $P(x)$ è: $$R(y) = y^3 – 10y^2 + 5y$$
  • Questa cubica è riducibile! $R(y) = y(y^2 – 10y + 5)$.
  • Ha una radice razionale ovvia: $\theta_1 = 0$.
  • Conclusione Test 3: $G$ non è $S_4$ o $A_4$.

3.5.3. Conclusione: L’Intersezione dei Test

Combinando i risultati:

1. Test 3 (Risolvente Riducibile) $\implies G$ è $D_4, V_4,$ o $C_4$.
2. Test 2 ($\Delta$ non è quadrato) $\implies G$ non è $V_4$.

Le possibilità rimaste sono $G = D_4$ o $G = C_4$.

• Test Aggiuntivo (necessario): Per distinguere $D_4$ da $C_4$, si deve verificare se il polinomio $P(x)$ rimane irriducibile sul campo $\mathbb{Q}(\sqrt{\Delta})$.
• Per $x^4 + 5x^2 + 5$, si scopre che il polinomio diventa riducibile su $\mathbb{Q}(\sqrt{2000})$.
• Conclusione Finale: $G = C_4$.
• Significato: Il gruppo $C_4$ è risolubile. Questo caso è speciale perché, sebbene il gruppo $D_4$ (8 simmetrie) fosse possibile, la struttura specifica delle radici ne ammette solo 4 (le rotazioni cicliche).

4. Analisi dei Casi Riducibili (Il Test 1 Fallisce)

Non tutti i polinomi di quarto grado sono irriducibili. Spesso, un polinomio $P(x)$ con coefficienti razionali ($\mathbb{Q}$) può essere scomposto (fattorizzato) in polinomi di grado inferiore, sempre con coefficienti razionali.

Se il polinomio è riducibile su $\mathbb{Q}$, il suo Gruppo di Galois $G$ è determinato dal Gruppo di Galois del fattore irriducibile di grado massimo.

Analizziamo i casi principali.

Caso A: Completamente Riducibile (Gruppo Banale $G = \{e\}$)

Questo è il caso più semplice, analogo al nostro studio sul Grado 3.

• Condizione: Il polinomio si scompone in quattro fattori lineari razionali.
• Esempio: $P(x) = (x-1)(x-2)(x-3)(x-4)$$$P(x) = x^4 – 10x^3 + 35x^2 – 50x + 24$$
• Radici: $\{1, 2, 3, 4\}$.
• Campo di Spezzamento: Poiché tutte le radici sono razionali ($\in \mathbb{Q}$), il Campo di Spezzamento coincide con il Campo Base: $K = \mathbb{Q}$.
• Analisi di Galois: Il Gruppo di Galois $G = Gal(\mathbb{Q}/\mathbb{Q})$ deve fissare tutti i razionali. Poiché tutte le radici sono razionali, l’unica permutazione (simmetria) ammessa è l’Identità.
• Gruppo: $G = \{e\}$ (Ordine 1).

Caso B: Un Fattore Cubico (Gruppo $S_3, A_3$ o $C_2$)

• Condizione: Il polinomio si scompone in un fattore lineare e un fattore cubico irriducibile.
• Esempio: $P(x) = (x-10) \cdot (x^3 – 2)$
• Radici: $\{10, \sqrt[3]{2}, \sqrt[3]{2}\omega, \sqrt[3]{2}\omega^2\}$.
• Analisi di Galois: L’automorfismo $\sigma$ deve fissare $10$ (perché è razionale). Il Gruppo di Galois dell’intero polinomio è quindi isomorfo (identico) al Gruppo di Galois del fattore irriducibile $x^3 – 2$.
• Gruppo: Come abbiamo visto nell’analisi del Grado 3, il gruppo per $x^3 – 2$ (che è irriducibile con $\Delta$ non quadrato) è $G = S_3$ (Ordine 6).

Caso C: Due Fattori Quadratici (Gruppo $C_2$ o $V_4$)

Questo caso è molto comune e dipende se i due fattori quadratici generano la stessa estensione di campo.

• Sottocaso C.1: Campi Distinti (Gruppo $V_4 \cong C_2 \times C_2$)
  • Condizione: I due fattori quadratici irriducibili generano irrazionalità indipendenti.
  • Esempio: $P(x) = (x^2 – 2)(x^2 – 3)$
  • Radici: $\{\sqrt{2}, -\sqrt{2}, \sqrt{3}, -\sqrt{3}\}$.
  • Campo di Spezzamento: $K = \mathbb{Q}(\sqrt{2}, \sqrt{3})$.
  • Analisi di Galois: Il Gruppo di Galois (Ordine 4) è generato dai due scambi indipendenti che fissano $\mathbb{Q}$:
    1. $\sigma_1: (\sqrt{2} \leftrightarrow -\sqrt{2})$
    2. $\sigma_2: (\sqrt{3} \leftrightarrow -\sqrt{3})$
  • Gruppo: $G = V_4$ (Gruppo di Klein).
• Sottocaso C.2: Stesso Campo (Gruppo $C_2$)
  • Condizione: I due fattori quadratici generano la stessa irrazionalità (stesso campo).
  • Esempio: $P(x) = (x^2 – 2)(x^2 – 8)$
  • Radici: $\{\sqrt{2}, -\sqrt{2}, \sqrt{8}, -\sqrt{8}\}$.
  • Campo di Spezzamento: Poiché $\sqrt{8} = 2\sqrt{2}$, tutte le radici sono contenute in $K = \mathbb{Q}(\sqrt{2})$.
  • Analisi di Galois: L’unica simmetria algebrica è lo scambio $\sqrt{2} \leftrightarrow -\sqrt{2}$.
  • Gruppo: $G = C_2$ (Ordine 2).

5. Conclusione: Il Limite della Risolubilità ($n=4$ vs $n=5$)

L’analisi dei Gruppi di Galois per le equazioni di quarto grado ($n=4$) non è solo un esercizio di classificazione. È lo studio dell’ultimo caso generale in cui una soluzione algebrica (una “formula”) per trovare le radici è sempre possibile.

Il Significato della Risolubilità per $n=4$

Il nostro studio ha rivelato che il Gruppo di Galois $G$ di una quartica, sebbene possa essere complesso (fino a $S_4$, Ordine 24), appartiene sempre a una famiglia di gruppi noti come Gruppi Risolubili.

1. Cos’è un Gruppo Risolubile? Un gruppo $G$ è “risolubile” se può essere scomposto in una catena di sottogruppi (chiamata “serie di composizione”) in cui ogni “anello” della catena è un gruppo ciclico semplice (abeliano).
   • Per $S_3$ (Grado 3), la catena è $S_3 \supset A_3 \supset \{e\}$.
   • Per $S_4$ (Grado 4), la catena è $S_4 \supset A_4 \supset V_4 \supset C_2 \supset \{e\}$.
2. Il Teorema di Galois: Il teorema fondamentale di Évariste Galois afferma che un’equazione polinomiale è risolvibile per radicali (cioè, le sue radici possono essere espresse usando solo le quattro operazioni base e l’estrazione di radici: $\sqrt{\phantom{x}}, \sqrt[3]{\phantom{x}}, \dots$) se e solo se il suo Gruppo di Galois è un gruppo risolubile.
3. La Garanzia per il Grado 4: Poiché $S_4$ (il gruppo massimale) è risolubile, e tutti i suoi sottogruppi ($A_4, D_4, V_4, C_4, \dots$) sono anch’essi risolubili, la Teoria di Galois garantisce che ogni equazione di quarto grado è risolvibile per radicali. La formula di Ferrari, con la sua Risolvente Cubica, è la manifestazione pratica di questa risolubilità.

L’Interruzione al Grado 5: Il Teorema di Abel-Ruffini

Perché la ricerca di una “formula quintica” (per $n=5$) è fallita?

1. Il Gruppo $S_5$: Il gruppo massimale di simmetrie per $n=5$ è $S_5$, che ha $5! = 120$ elementi.
2. Il Problema $A_5$: Il sottogruppo alternante $A_5$ (Ordine 60) è un gruppo semplice non abeliano. Non può essere scomposto ulteriormente.
3. La Conseguenza: La catena di $S_5$ ($S_5 \supset A_5 \supset \{e\}$) ha un “anello” ($A_5$) che non è ciclico (abeliano). Questo rende $S_5$ (e $A_5$) non risolubile.

Conclusione Finale:

Poiché il Gruppo di Galois generico per $n=5$ è $S_5$ (che non è risolubile), la Teoria di Galois dimostra che non può esistere una formula generale (simile alla formula quadratica o a quella di Ferrari) che risolva tutte le equazioni di quinto grado usando solo radicali. Questo risultato, noto come Teorema di Abel-Ruffini, ha chiuso una ricerca durata secoli e ha dimostrato la potenza della Teoria dei Gruppi nel definire i confini stessi dell’algebra.

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