Teoria di Kummer
# Teoria di Kummer

In matematica, la teoria di Kummer fornisce una descrizione di alcuni tipi di estensioni di campi corrispondenti all'aggiunta di radici $n$-esime di elementi del campo di base.

La teoria è stata inizialmente sviluppata da Ernst Kummer verso la metà del diciannovesimo secolo nei suoi primi approcci all'ultimo teorema di Fermat.

La teoria di Kummer è fondamentale, per esempio, in teoria dei campi di classi e in generale per capire le estensioni abeliane. Questa teoria dice che, se vi sono abbastanza radici dell'unità, le estensioni cicliche si possono ottenere estraendo radici. La cosa più complicata nella teoria dei campi di classi è di trasportare i risultati ottenuti a campi più piccoli contenenti un numero non sufficiente di radici dell'unità.

## Estensioni di Kummer (o estensioni radicali)

Un'estensione di Kummer è un'estensione di campi $L/K$, con $[L:K]=n>1$ e tale che:

* $L$ è generato su $K$ da una radice del polinomio $X^{n}-a$, con $a$ in $K$.
* $K$ contiene $n$ radici distinte di $X^{n}-1$.

Per esempio, se $n=2$, la seconda condizione è sempre vera se $K$ ha caratteristica diversa da $2$. Quindi, in questo caso, le estensioni di Kummer sono tutte le estensioni quadratiche $L=K({\sqrt {a}})$, ove $a$ è un elemento di $K$ che non è un quadrato. Dall'usuale soluzione delle equazioni di secondo grado, ogni estensione di grado $2$ di $K$ ha questa forma. Se invece $K$ ha caratteristica $2$, non ci sono estensioni di Kummer di grado $2$.

Prendendo $n=3$, non ci sono estensioni di Kummer di grado $3$ del campo dei razionali $\mathbb {Q}$, dato che l'unica radice terza dell'unità contenuta in $\mathbb {Q}$ è $1$. Se si prende come $L$ il campo di spezzamento di $X^{n}-a$ su $\mathbb {Q}$, ove $a$ non è un cubo nei razionali, allora $L$ contiene un sottocampo $K$ con le tre radici cubiche dell'unità; questo perché se $\alpha$ e $\beta$ sono due radici distinte del polinomio $X^{n}-a$, si ha che $\alpha /\beta$ è una radice cubica primitiva dell'unità. Quindi $L/K$ è un'estensione di Kummer.

Più in generale, è vero che se $K$ contiene $n$ radici ennesime distinte dell'unità, che implica che la caratteristica di $K$ non divide $n$, allora aggiungendo a $K$ una radice ennesima di un elemento $a$ di $K$ si ottiene un'estensione di Kummer (di grado $m$, per qualche $m$ che divide $n$). Tutte queste estensioni sono di Galois, con gruppo di Galois ciclico di ordine $m$. Infatti è facile descrivere il gruppo di Galois attraverso l'azione del gruppo delle radici ennesime dell'unità ottenuta moltiplicando una radice di $a$ per tali radici.

## Teoria di Kummer

La teoria di Kummer prova il viceversa e cioè che se $K$ contiene $n$ radici $n$-esime distinte dell'unità, allora ogni estensione abeliana di $K$ di grado $n$ si ottiene aggiungendo una radice $n$-sima. Inoltre, se con $K^{\times }$ denotiamo il gruppo moltiplicativo degli elementi non nulli di $K$, allora le estensioni cicliche di $K$ di grado $n$ sono in biiezione con i sottogruppi ciclici del gruppo

    $K^{\times }/(K^{\times })^{n},$

e cioè il gruppo ottenuto quozientando $K^{\times }$ con il sottogruppo delle potenze $n$-sime di $K$. Questa biiezione può essere descritta esplicitamente come segue. Dato un sottogruppo ciclico

    $\Delta \subseteq K^{\times }/(K^{\times })^{n},$

la corrispondente estensione è data da

    $K(\Delta ^{1/n}),$

dove $\Delta ^{1/n}=\{{\sqrt[{n}]{a}}:a\in K^{\times },a\cdot (K^{\times })^{n}\in \Delta \}$, cioè dal campo ottenuto aggiungendo a $K$ le radici $n$-esime degli elementi di $\Delta$. Viceversa, se $L$ è un'estensione di Kummer di $K$, allora $\Delta$ è dato da

    $\Delta =(K^{\times }\cap (L^{\times })^{n})/(K^{\times })^{n},$

e, se con $\mu _{n}$ denotiamo il gruppo delle radici $n$-sime dell'unità, vi è l'isomorfismo

    $\Delta \cong \operatorname {Hom} (\operatorname {Gal} (L/K),\mu _{n})$

dato da

    $a\mapsto \left(\sigma \mapsto {\frac {\sigma (\alpha )}{\alpha }}\right),$

ove $\alpha$ è una radice $n$-sima di $a$ in $L$.

## Generalizzazioni

Esiste una leggera generalizzazione della teoria di Kummer che si occupa delle estensioni abeliane di esponente $n$ (cioè tali che tutti gli automorfismi del rispettivo gruppo di Galois abbiano ordine che divide $n$), e un risultato analogo al precedente è vero in questo contesto. Precisamente, si può provare che tali estensioni sono in biiezione con i sottogruppi di

    $K^{\times }/(K^{\times })^{n},$

che sono essi stessi di esponente $n$.

La teoria delle estensioni cicliche nel caso in cui la caratteristica di $K$ divida $n$ è chiamata teoria di Artin-Schreier.

