Per le equazioni di secondo grado a coefficienti razionali ($ax^2 + bx + c = 0$ con $a,b,c \in \mathbb{Q}$), il Gruppi di Galois ($G$) possono avere solo due possibili strutture, l’identità e lo scambio, che classificano la natura algebrica delle soluzioni.
INDICE
Premessa: Lo Schema Finale
Il Gruppo di Galois è l’insieme di tutte le permutazioni delle radici che non violano le leggi dell’aritmetica nel campo dei numeri razionali ($\mathbb{Q}$).
| Caso | Radici | Natura delle Radici | Gruppo di Galois ($G$) | Ordine | Significato |
|---|---|---|---|---|---|
| A | Razionali | Distinguibili in $\mathbb{Q}$ | $G = \{ (1) \}$ (Identità) | 1 | Non c’è simmetria algebrica. |
| B/C | Irrazionali/Complesse | Coniugate e indistinguibili in $\mathbb{Q}$ | $G = \{ (1), (1 \ 2) \}$ ($C_2$) | 2 | La simmetria consiste nel singolo scambio (coniugio). |
Il gruppo simmetrico delle due radici ($S_2$) è composto da due permutazioni: l’Identità $(1)$ e lo Scambio $(1 \ 2)$. Analizziamo perché il Fissaggio dei Razionali agisce come un filtro.
Caso A: Radici Razionali (Solo Identità)
Polinomio di Esempio
$$P(x) = x^2 – 5x + 6 = 0$$
Calcolo delle Radici:
Utilizzando la formula risolutiva per l’equazione di secondo grado:$$x_{1, 2} = \frac{5 \pm \sqrt{(-5)^2 – 4(1)(6)}}{2(1)} = \frac{5 \pm \sqrt{25 – 24}}{2} = \frac{5 \pm \sqrt{1}}{2}$$
Radici: $\alpha = x_1 = 3$, $\beta = x_2 = 2$. Campo Base: $F = \mathbb{Q}$
Analisi Passaggio per Passaggio
La Regola Fondamentale (Fissaggio dei Razionali)
L’Automorfismo di Campo ($\sigma$) deve rispettare la condizione di fissaggio per tutti gli elementi del Campo Base $\mathbb{Q}$:$$\sigma(q) = q \quad \text{per ogni } q \in \mathbb{Q}$$
Tabella delle Permutazioni di $S_2$
| Permutazione | Azione sulle Radici ($\alpha=3, \beta=2$) | Azione sui Razionali | Status (Automorfismo?) |
|---|---|---|---|
| $\sigma_1 = (1)$ | $\sigma_1(3) = 3$; $\sigma_1(2) = 2$ | Fissaggio Rispetta | MANTENUTA |
| $\sigma_2 = (1 \ 2)$ | $\sigma_2(3) = 2$; $\sigma_2(2) = 3$ | Fissaggio Viola | SCARTATA |
Analisi Dettagliata delle Permutazioni
- Permutazione $\sigma_2$ (Scambio):
- Azione: $\sigma_2(3) = 2$. L’automorfismo prova a scambiare le due radici.
- Violazione del Fissaggio: Poiché $3$ è un elemento del Campo Base $\mathbb{Q}$, la regola impone $\sigma(3) = 3$. L’azione dello Scambio ($\sigma_2(3)=2$) viola questa condizione perché $2 \ne 3$.
- Verdetto: SCARTATA.
Conclusione del Gruppo di Galois
L’unica simmetria ammessa è l’Identità.$$G = \{ (1) \}$$
Caso B: Radici Irrazionali Reali (Identità e Scambio)
Questo caso si verifica quando il discriminante è positivo ma non è un quadrato perfetto.
1. Esempio Base: $x^2 – 3 = 0$
Polinomio di Esempio
$$P(x) = x^2 – 3 = 0$$
Calcolo delle Radici:
Radici: $\alpha = x_1 = \sqrt{3}$, $\beta = x_2 = -\sqrt{3}$. Campo Base: $F = \mathbb{Q}$ Campo di Spezzamento: $K = \mathbb{Q}(\sqrt{3})$.
Analisi Passaggio per Passaggio
Tabella delle Permutazioni di $S_2$
| Permutazione | Azione sulle Radici ($\alpha=\sqrt{3}, \beta=-\sqrt{3}$) | Azione sui Razionali | Status (Automorfismo?) |
|---|---|---|---|
| $\sigma_1 = (1)$ | $\sigma_1(\sqrt{3}) = \sqrt{3}$ | Fissaggio Rispetta | MANTENUTA |
| $\sigma_2 = (1 \ 2)$ | $\sigma_2(\sqrt{3}) = -\sqrt{3}$ | Fissaggio Rispetta | MANTENUTA |
Analisi Dettagliata delle Permutazioni
- Permutazione $\sigma_2$ (Scambio – Coniugio):
- Azione: $\sigma_2(\sqrt{3}) = -\sqrt{3}$.
- Verifica del Fissaggio: Poiché $\sqrt{3} \notin \mathbb{Q}$, non è richiesto che $\sigma(\sqrt{3}) = \sqrt{3}$. La regola del Fissaggio non viene violata.
- Verifica della Coerenza Algebrica: Dobbiamo verificare che l’automorfismo preservi l’equazione $(\sqrt{3})^2 = 3$:$$(\sigma_2(\sqrt{3}))^2 = (-\sqrt{3})^2 = 3$$Poiché $\sigma_2(3) = 3$ (per il Fissaggio) e $3=3$, la coerenza è MANTENUTA.
- Verdetto: Lo Scambio $\sigma_2$ è un automorfismo (chiamato anche Coniugio).
Conclusione del Gruppo di Galois (Caso B)
Entrambe le permutazioni sono automorfismi. Il Gruppo di Galois è isomorfo al gruppo ciclico di ordine 2.$$G = \{ (1), (1 \ 2) \} \cong C_2$$
2. Esempio Sezione Aurea: $x^2 – x – 1 = 0$
Radici: $\phi = \frac{1 + \sqrt{5}}{2}$, $\psi = \frac{1 – \sqrt{5}}{2}$. Azione dello Scambio: $\sigma(\phi) = \psi$. L’operazione equivale a sostituire $\sqrt{5}$ con $-\sqrt{5}$. La struttura algebrica è conservata.
Caso C: Radici Complesse Coniugate (Identità e Scambio)
Polinomio di Esempio
$$P(x) = x^2 + 1 = 0$$
Radici: $\alpha = i$, $\beta = -i$. Azione dello Scambio (Coniugio Complesso): $\sigma(i) = -i$.
- Coerenza: $\sigma(i) \cdot \sigma(i) = (-i) \cdot (-i) = -1$. L’equazione $i^2=-1$ è preservata.
Conclusione del Gruppo di Galois (Caso C)
$$G = \{ (1), (1 \ 2) \} \cong C_2$$
Oltre il Grado 2: Quando lo Scambio Non Basta
Quando le radici introducono più di una sorgente di irrazionalità indipendente, il Gruppo di Galois deve essere più grande di $C_2$.
1. L’Esempio del “Non-Coniugio” (Violazione Strutturale)
Consideriamo due numeri che non provengono dallo stesso polinomio irriducibile:$$x_1 = 2 + \sqrt{2} + \sqrt[3]{3} \quad \text{e} \quad x_2 = 2 + \sqrt{2} + \sqrt[4]{3}$$
Analisi della Violazione Algebrica (Impossibilità dello Scambio $\sigma(x_1) = x_2$):
Se ipotizzassimo l’esistenza di un automorfismo $\sigma$ che mappi $\sqrt[3]{3}$ a $\sqrt[4]{3}$, esso dovrebbe conservare la relazione fondamentale $(\sqrt[3]{3})^3 = 3$. Applicando $\sigma$ a entrambi i lati:$$\sigma(3) = \sigma((\sqrt[3]{3})^3)$$$$3 = (\sigma(\sqrt[3]{3}))^3$$$$3 = (\sqrt[4]{3})^3 = 3^{3/4}$$
Questa contraddizione ($3 \ne 3^{3/4}$) dimostra che non esiste un automorfismo di campo che possa scambiare questi due elementi.
2. L’Esempio dell’Estensione Biquadratica (Simmetria $V_4$)
Consideriamo due radici che provengono da un polinomio irriducibile di Grado 4:$$x_1 = 2 + \sqrt{2} + \sqrt{3} \quad \text{e} \quad x_2 = 2 – \sqrt{2} – \sqrt{3}$$
Motivazione per il Gruppo di Galois $V_4$: Il campo di spezzamento $K = \mathbb{Q}(\sqrt{2}, \sqrt{3})$ ha grado 4 su $\mathbb{Q}$. Il Gruppo di Galois è il Gruppo di Klein $V_4$ (Ordine 4).
Analisi dei 4 Automorfismi (Scambi):
| Automorfismo | Azione su $\sqrt{2}$ | Azione su $\sqrt{3}$ | Radice generata (partendo da $x_1$) |
|---|---|---|---|
| $\sigma_1$ (Identità) | $\sqrt{2} \to \sqrt{2}$ | $\sqrt{3} \to \sqrt{3}$ | $x_1$ |
| $\sigma_2$ | $\sqrt{2} \to -\sqrt{2}$ | $\sqrt{3} \to \sqrt{3}$ | $2-\sqrt{2}+\sqrt{3}$ |
| $\sigma_3$ | $\sqrt{2} \to \sqrt{2}$ | $\sqrt{3} \to -\sqrt{3}$ | $2+\sqrt{2}-\sqrt{3}$ |
| $\sigma_4$ (Scambio totale) | $\sqrt{2} \to -\sqrt{2}$ | $\sqrt{3} \to -\sqrt{3}$ | $x_2$ |
Conclusione: L’operazione $x_1 \leftrightarrow x_2$ è un automorfismo valido ($\sigma_4$), ma è solo uno dei quattro scambi possibili. La vera simmetria del campo è di Ordine 4 ($V_4$).
💡 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.