A necessary condition for solvability by radicals

Titolo: Una condizione necessaria per la risolubilità per radicali

Autore: Askold Khovanskii
Contesto: Dispensa per il corso MAT401 "Equazioni polinomiali e campi" (Università di Toronto, Primavera 2026).

1. Il Problema

L'obiettivo principale del testo è fornire una dimostrazione rigorosa della condizione necessaria affinché un'equazione algebrica sia risolvibile per radicali.
Il problema centrale è stabilire un legame tra la struttura algebrica delle soluzioni di un'equazione polinomiale $P(x)=0$ su un campo $K$ (di caratteristica zero) e la struttura del suo gruppo di Galois. Nello specifico, il documento mira a dimostrare che se un'equazione è risolvibile per radicali, il suo gruppo di Galois deve essere un gruppo risolubile (solvable).

2. Metodologia

L'autore adotta un approccio basato sulla Teoria di Galois, utilizzando risultati fondamentali (senza dimostrarli, assumendoli noti dal testo di riferimento del corso) per costruire un argomento logico strutturato in fasi:

1. Ripasso dei Teoremi Fondamentali: Vengono richiamate le definizioni di estensioni normali, campi di spezzamento e gruppi di Galois, insieme al teorema fondamentale che lega l'ordine del gruppo di Galois al grado dell'estensione.
2. Corrispondenza di Galois: Si utilizzano le proprietà delle sottogruppi normali e dei campi intermedi. In particolare, si stabilisce che se un campo intermedio è un campo di spezzamento, il corrispondente sottogruppo è normale e il gruppo quoziente è isomorfo al gruppo di Galois del campo intermedio.
3. Polinomi Minimi e Orbite: Si introduce la formula esplicita per il polinomio minimo di un elemento come prodotto dei fattori $(x - \omega_i)$, dove $\omega_i$ sono gli elementi dell'orbita dell'elemento sotto l'azione del gruppo di Galois.
4. Normalizzazione delle Catene di Radicali: Poiché una catena di estensioni radicali generica non è necessariamente un'estensione normale (e quindi non ammette un gruppo di Galois definito), l'autore introduce il concetto di "normalizzazione". Ogni catena di radicali può essere immersa in una "catena nidificata di estensioni radicali normali".
5. Analisi dei Gruppi di Galois delle Estensioni Radicali: Si analizzano i gruppi di Galois associati a polinomi della forma $x^n - 1$ (radici dell'unità) e $x^n - a$ (radicali puri), dimostrando che sono abeliani (commutativi) sotto certe condizioni.
6. Induzione Strutturale: Si costruisce una catena di gruppi che corrisponde alla catena di campi normalizzata, dimostrando che i quozienti successivi sono abeliani.

3. Contributi Chiave e Risultati

A. Costruzione della Normalizzazione (Teorema 7.2)

Il contributo metodologico più significativo è la dimostrazione che per ogni catena di estensioni radicali $K = R_0 \subset R_1 \subset \dots \subset R_n$, esiste una normalizzazione $K = E_0 \subset E_1 \subset \dots \subset E_{n+1}$ tale che:

• Ogni $E_i$ è un'estensione normale di $K$.
• La catena originale è contenuta in quella normalizzata ($R_i \subset E_{i+1}$).
• $E_1$ è il campo di spezzamento di $x^N - 1$ (dove $N$ è il mcm dei gradi dei radicali).
• Ogni passo successivo $E_{i-1} \subset E_i$ è il campo di spezzamento di un polinomio della forma $\prod (x^{k_i} - \omega_m)$, dove $\omega_m$ appartengono a un'orbita precedente.

B. Struttura dei Gruppi di Galois (Lemmi 8.2 - 8.4)

L'autore dimostra che i gruppi di Galois associati ai passi della catena normalizzata sono commutativi (abeliani):

• Per le radici dell'unità ($x^n - 1$), il gruppo è isomorfo a un sottogruppo del gruppo moltiplicativo $U(n)$.
• Per i radicali puri ($x^n - a$) in presenza di radici dell'unità, il gruppo è isomorfo a un sottogruppo del gruppo additivo ciclico $\mathbb{Z}_n$.
• Per prodotti di tali polinomi, il gruppo è isomorfo a un sottogruppo di una somma diretta di gruppi ciclici.

C. Il Teorema Principale (Teorema 9.1)

Il risultato culminante è la dimostrazione della condizione necessaria:

Teorema: Se un'equazione polinomiale $P(x)=0$ su un campo $K$ di caratteristica zero è risolvibile per radicali, allora il suo gruppo di Galois $G(E, K)$ (dove $E$ è il campo di spezzamento di $P$) è un gruppo risolubile.

Logica della dimostrazione:

1. Se l'equazione è risolvibile per radicali, esiste una catena di radicali contenente il campo di spezzamento $E$.
2. Si costruisce la normalizzazione di questa catena, ottenendo una torre di campi normali $K \subset E_1 \subset \dots \subset E_{n+1}$.
3. Il gruppo di Galois totale $G(E_{n+1}, K)$ ammette una serie di sottogruppi normali i cui quozienti sono i gruppi di Galois dei singoli passi della torre.
4. Poiché ogni passo della torre ha un gruppo di Galois commutativo (per i lemmi 8.2-8.4), il gruppo totale è risolubile per definizione.
5. Poiché $E$ è un campo intermedio normale in questa torre, il gruppo $G(E, K)$ è un quoziente di un gruppo risolubile e, quindi, è esso stesso risolubile.

4. Significato e Implicazioni

• Completezza Teorica: Il documento fornisce una prova completa e autocontenuta (nel contesto del corso) del teorema di Abel-Ruffini nella sua direzione necessaria. Chiara la distinzione tra la risolubilità per radicali (esistenza di una formula) e la struttura algebrica del gruppo di simmetria delle radici.
• Gestione della Non-Normalità: La sfida tecnica principale nella dimostrazione di questo teorema è che le estensioni radicali non sono sempre normali. La definizione di "normalizzazione" proposta da Khovanskii risolve elegantemente questo ostacolo, permettendo di applicare la teoria di Galois standard a catene di radicali.
• Pedagogia: Il testo è strutturato come una dispensa didattica che collega risultati di base (teorema del grado, proprietà dei campi di spezzamento) a un risultato profondo, mostrando come la teoria dei gruppi astratti governi la risolubilità delle equazioni algebriche.
• Limiti: Il testo si concentra esclusivamente sulla condizione necessaria. L'autore nota esplicitamente che la condizione sufficiente (se il gruppo è risolubile, allora l'equazione è risolvibile per radicali) sarà trattata in una successiva dispensa basata sull'algebra lineare.

In sintesi, il documento è una rigorosa esposizione di come la teoria di Galois trasformi un problema di risoluzione algebrica in un problema di struttura di gruppo, dimostrando che la risolubilità per radicali implica necessariamente la risolubilità del gruppo di Galois associato.