On unsolvable equations of prime degree

Sintesi Tecnica: Sulle Equazioni Irrisolvibili di Grado Primo

Enunciato del Problema
Il saggio affronta il problema della costruzione di esempi specifici di equazioni polinomiali di grado primo che non sono risolvibili per radicali. Sebbene l'impossibilità generale di risolvere equazioni di grado quintico e superiore sia un risultato standard della teoria di Galois, gli autori si concentrano nel fornire una dimostrazione relativamente elementare per un criterio specifico: il Teorema di Kronecker. Questo teorema afferma che per un polinomio irriducibile di grado primo dispari con coefficienti in un sottocampo dei numeri reali, se l'equazione è risolvibile per radicali, allora o tutte le sue radici sono reali o esattamente una radice è reale. Di conseguenza, qualsiasi equazione polinomiale irriducibile di questo tipo con più di una radice reale e almeno una coppia di coniugati complessi funge da esempio concreto di un'equazione irrisolvibile.

Metodologia e Preliminari
Gli autori adottano un approccio "elementare", definito come l'evitare l'intero apparato del Teorema Fondamentale della Teoria di Galois (specificamente la corrispondenza di Galois tra sottogruppi normali ed estensioni normali). La dimostrazione si basa invece su:

1. Fondamenti della Teoria dei Campi: Proprietà delle estensioni semplici, della Legge della Torre e della struttura dei campi di scissione.
2. Gruppi di Galois come Gruppi di Automorfismi: Utilizzo della definizione di gruppo di Galois come gruppo di automorfismi del campo di scissione che fissano il campo base, senza invocare i profondi teoremi strutturali della risolvibilità.
3. Estensioni Radicali: Analisi di catene di estensioni radicali semplici $K = K_0 \subset K_1 \subset \dots \subset K_n = L$, dove $K_i = K_{i-1}(\alpha_i)$ con $\alpha_i^{q_i} = a_i \in K_{i-1}$.
4. Invarianza per Coniugazione: Un'aggiunta metodologica critica è la costruzione di catene di estensioni radicali che siano invarianti per coniugazione complessa. Gli autori dimostrano (Lemma 11) che per ogni estensione radicale di un campo invariante per coniugazione, esiste una catena raffinata in cui ogni campo intermedio è anch'esso invariante per coniugazione. Ciò comporta la gestione sia di radicali irriducibili che di "radicali riducibili" (dove $X^q - a$ è riducibile sul campo base).

Contributi Principali e Correzioni
Il contributo primario del saggio è una dimostrazione corretta e unificata del Teorema di Kronecker che affronta le imprecisioni storiche nelle precedenti dimostrazioni "elementari", specificamente quelle di Heinrich Weber e Heinrich Dörrie.

• Identificazione dell'Errore: Gli autori rintracciano un errore specifico nelle dimostrazioni di Weber e Dörrie derivante dall'assunzione che il grado dell'estensione radicale ($q$) debba essere uguale al grado del polinomio ($p$) quando il polinomio diventa per la prima volta riducibile. Tale assunzione fallisce quando il radicale è riducibile (ovvero, $X^q - a$ ha una radice nel campo base). In tali casi, il grado dell'estensione $q$ può differire da $p$, e l'argomento standard che $q=p$ crolla.
• Gestione dei Radicali Riducibili: Il saggio affronta esplicitamente il caso dei radicali riducibili. Dimostra che se un polinomio diventa riducibile tramite un radicale riducibile, l'estensione comporta l'aggiunta di una radice primitiva dell'unità e potenzialmente di una radice reale $\rho = \sqrt[q]{a\bar{a}}$.
• Strategia di Dimostrazione Unificata: Gli autori forniscono una dimostrazione che tratta sia i casi di radicale irriducibile che quelli di radicale riducibile.
  • Caso I (Radicale Irriducibile): Se $X^q - a$ è irriducibile, il Lemma di Nagell implica che $q=p$. Il gruppo di Galois è ciclico di ordine $p$. Se due radici sono reali, la struttura degli automorfismi impone che tutte le radici siano reali.
  • Caso II (Radicale Riducibile): Se $X^q - a$ è riducibile, l'estensione è normale e ciclica. Gli autori utilizzano la proprietà del numero reale $\rho = \alpha\bar{\alpha}$ per dimostrare che se una radice è reale, l'invarianza per coniugazione del campo e la transitività del gruppo di Galois implicano che tutte le radici siano reali.

Risultati
Il saggio stabilisce il Teorema 14 (Teorema di Kronecker): Sia $K$ un sottocampo di $\mathbb{C}$ invariante per coniugazione. Se un polinomio irriducibile $f(X) \in K[X]$ di grado primo dispesso $p$ con coefficienti reali è risolvibile per radicali, allora esattamente una radice o tutte le radici del polinomio sono reali.

La dimostrazione conferma che l'esistenza di un polinomio irriducibile di grado primo dispesso con coefficienti interi che possiede sia radici reali che non reali (ad esempio, $X^5 - 4X - 2$) implica che l'equazione non è risolvibile per radicali.

Significato e Rivendicazioni
Gli autori inquadrano con modestia la portata del saggio nel contesto della pedagogia matematica e della correzione storica:

• Valore Pedagogico: La dimostrazione offre una via per comprendere l'irrisolvibilità del quintico che richiede meno background rispetto a un corso completo di teoria di Galois, rendendola adatta a corsi di algebra per studenti universitari avanzati che trattano le estensioni di campo ma non l'intera corrispondenza di Galois.
• Correzione Storica: Il saggio chiarisce che le presentazioni moderne della dimostrazione di Weber nei libri di testo (spesso derivate dal Triumph der Mathematik di Dörrie) contengono imprecisioni riguardanti i radicali riducibili. Gli autori forniscono le correzioni necessarie per salvaguardare la natura "elementare" della dimostrazione senza ricorrere alla piena potenza della teoria di Galois.
• Unificazione: Distinguendo i casi in base alla riducibilità del radicale e alle proprietà di $\rho$, gli autori forniscono un argomento completo che evita il ragionamento circolare presente nelle versioni precedenti della dimostrazione.

Il saggio non propone nuove applicazioni o direzioni di ricerca futura, ma mira a consolidare il fondamento teorico di un classico risultato nella risolvibilità algebrica.