Nei nostri articoli precedenti, abbiamo visto che il Gruppo di Galois $G$ di un polinomio $P(x)$ è un insieme di simmetrie (automorfismi) che scambiano le radici. Ma dove avviene esattamente questa azione? Per rispondere, dobbiamo definire il “palcoscenico” su cui queste simmetrie agiscono: il Campo di Spezzamento.
INDICE
- 1 1. Definizione: Cos’è il Campo di Spezzamento ($K$)?
- 2 2. Il Motivo: Perché $K$ è Fondamentale?
- 3 3. La Costruzione: Come si Crea un Campo di Spezzamento
- 4 4. Esempi Chiave (Grado 2)
- 5 5. Esempi di Grado Superiore (Casi Complessi)
- 6 6. Il Teorema Fondamentale (La Misurazione)
- 7 7. Conclusione
- 8 💡 Approfondisci le Basi Matematiche
1. Definizione: Cos’è il Campo di Spezzamento ($K$)?
Il concetto di Campo di Spezzamento (in inglese Splitting Field) è cruciale per la Teoria di Galois.
Definizione Intuitiva: Il Campo di Spezzamento $K$ è l’universo matematico (il “campo”) più piccolo possibile in cui un dato polinomio $P(x)$ si “spezza” (in inglese splits), ovvero si scompone completamente in tutti i suoi fattori lineari (fattori di grado 1).
Definizione Formale: Dato un polinomio $P(x)$ definito sul nostro Campo Base $F$ (che di solito per noi è $\mathbb{Q}$, i numeri razionali), il Campo di Spezzamento $K$ è la più piccola estensione di campo di $F$ che contiene tutte le radici di $P(x)$.
È il “campo di arrivo” del nostro viaggio algebrico: partiamo da $\mathbb{Q}$ e aggiungiamo solo gli ingredienti irrazionali o complessi strettamente necessari per risolvere l’equazione.
2. Il Motivo: Perché $K$ è Fondamentale?
Il Campo di Spezzamento è fondamentale perché è l’oggetto su cui il Gruppo di Galois $G$ agisce. Il Gruppo di Galois $G = Gal(K/F)$ è definito formalmente come l’insieme di tutti gli automorfismi (simmetrie) del campo $K$ che lasciano immobile (fissano) il campo base $F$.
Senza definire $K$, non possiamo misurare le simmetrie delle radici. Se $K$ è molto più “grande” e “complesso” di $F$, ci aspettiamo molte simmetrie; se $K$ è uguale a $F$, non ci aspettiamo nessuna simmetria (oltre all’Identità).
3. La Costruzione: Come si Crea un Campo di Spezzamento
Il processo per costruire $K$ è molto intuitivo.
- Si parte dal Campo Base $F$ (es. $\mathbb{Q}$).
- Si trovano tutte le radici $\alpha_1, \alpha_2, \dots, \alpha_n$ del polinomio $P(x)$.
- Si “aggiungono” (in gergo tecnico, si aggiungono al campo) tutte le radici che non sono già in $F$ (cioè quelle irrazionali o complesse) a $F$ stesso.
La notazione che usiamo per “aggiungere” una radice $\alpha$ a un campo $F$ è $F(\alpha)$.
4. Esempi Chiave (Grado 2)
Il modo migliore per capire $K$ è confrontare i casi che abbiamo già analizzato:
Caso A (Banale): $P(x) = x^2 – 5x + 6$
- Radici: $\{2, 3\}$.
- Costruzione: Le radici $2$ e $3$ sono già in $\mathbb{Q}$. Non dobbiamo aggiungere nulla.
- Campo di Spezzamento: $K = \mathbb{Q}$. (Il campo di arrivo è identico a quello di partenza).
Cas0 B (Irrazionale): $P(x) = x^2 – 3$
- Radici: $\{\sqrt{3}, -\sqrt{3}\}$.
- Costruzione: $\sqrt{3}$ non è in $\mathbb{Q}$. Dobbiamo aggiungerlo. (Aggiungendo $\sqrt{3}$, otteniamo automaticamente anche $-\sqrt{3}$).
- Campo di Spezzamento: $K = \mathbb{Q}(\sqrt{3})$.
Caso C (Complesso): $P(x) = x^2 + 1$
- Radici: $\{i, -i\}$.
- Costruzione: $i$ non è in $\mathbb{Q}$. Dobbiamo aggiungerlo. (Aggiungendo $i$, otteniamo automaticamente anche $-i$).
- Campo di Spezzamento: $K = \mathbb{Q}(i)$.
5. Esempi di Grado Superiore (Casi Complessi)
Il concetto si estende elegantemente a gradi superiori:
Caso Cubico: $P(x) = x^3 – 2$
- Radici: $\{\sqrt[3]{2}, \sqrt[3]{2}\omega, \sqrt[3]{2}\omega^2\}$ (dove $\omega$ è la radice cubica complessa dell’unità).
- Costruzione: Dobbiamo aggiungere sia l’irrazionalità reale ($\sqrt[3]{2}$) sia l’irrazionalità complessa ($\omega$).
- Campo di Spezzamento: $K = \mathbb{Q}(\sqrt[3]{2}, \omega)$.
Caso Biquadratico: $P(x) = (x^2 – 2)(x^2 – 3)$
- Radici: $\{\sqrt{2}, -\sqrt{2}, \sqrt{3}, -\sqrt{3}\}$.
- Costruzione: Dobbiamo aggiungere entrambe le irrazionalità indipendenti, $\sqrt{2}$ e $\sqrt{3}$.
- Campo di Spezzamento: $K = \mathbb{Q}(\sqrt{2}, \sqrt{3})$.
Vedi anche l’articolo sulle equazioni di quinto grado.
6. Il Teorema Fondamentale (La Misurazione)
Qui sta il collegamento finale. La Teoria di Galois dimostra che la “dimensione” del Gruppo di Galois è esattamente uguale alla “dimensione” (o “grado”) dell’estensione di campo.
- Grado dell’Estensione: $[K:F]$. Misura quanto $K$ è più “grande” o “complesso” di $F$.
- Ordine del Gruppo: $|G|$. Misura quante simmetrie (automorfismi) ci sono.
Il Teorema Fondamentale della Teoria di Galois afferma che per un polinomio separabile:$$[K:F] = |G|$$
Vediamo i nostri esempi alla luce di questo teorema:
- Esempio A ($x^2-5x+6$): $K = \mathbb{Q}$. Il grado $[K:\mathbb{Q}] = 1$.
- Previsione di Galois: $|G| = 1$. (Corretto: il Gruppo è $\{e\}$).
- Esempio B ($x^2-3$): $K = \mathbb{Q}(\sqrt{3})$. Il grado $[K:\mathbb{Q}] = 2$.
- Previsione di Galois: $|G| = 2$. (Corretto: il Gruppo è $C_2 = \{e, (1 \ 2)\}$).
- Esempio Cubico ($x^3-2$): $K = \mathbb{Q}(\sqrt[3]{2}, \omega)$. Il grado $[K:\mathbb{Q}] = 6$.
- Previsione di Galois: $|G| = 6$. (Corretto: il Gruppo è $S_3$).
7. Conclusione
Il Campo di Spezzamento $K$ non è solo un concetto astratto; è lo strumento di misura fondamentale. È l’oggetto algebrico che “contiene” le soluzioni. Il Grado di $K$ (la sua complessità rispetto a $\mathbb{Q}$) definisce esattamente quanta simmetria (il Gruppo di Galois) il problema possiede.
💡 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.