Campo quadratico

In teoria algebrica dei numeri, un campo quadratico è un campo di numeri algebrico $K$ di grado due sul campo dei razionali $\mathbb {Q}$ . La funzione $d\mapsto \mathbb {Q} ({\sqrt {d}})$ è una biiezione dall'insieme di tutti gli interi privi di quadrati $d\neq 0,1$ all'insieme di tutti i campi quadratici. Se $d>0,$ il campo quadratico corrispondente è chiamato campo quadratico reale, se $d<0$ il campo quadratico corrispondente è detto campo quadratico complesso o campo quadratico immaginario, a seconda del fatto che sia o meno un sottocampo del campo dei numeri reali.

I campi quadratici sono stati inizialmente studiati come parte della teoria delle forme quadratiche binarie. Anche se la teoria dei campi quadratici è stata ampiamente studiata, alcuni problemi restano ancora irrisolti. Il problema del numero di classe è uno dei più importanti.

Anello degli interi modifica

GLi elementi dell'anello degli interi di un campo quadratico sono detti interi quadratici. Si consideri un campo quadratico $\mathbb {Q} ({\sqrt {D}}),$ con $D$ un intero privo di quadrati. Questo non è restrittivo in quanto ${\sqrt {a^{2}D}}=a{\sqrt {D}}$ , per ogni intero positivo $a,$ implica $\mathbb {Q} ({\sqrt {D}})=\mathbb {Q} ({\sqrt {a^{2}D}}).$

Ogni intero quadratico può essere scritto nella forma $a+b\omega ,$ con $a,b\in \mathbb {Z}$ e

\omega ={\begin{cases}{\sqrt {D}},&{\text{se }}D\equiv 2,3{\pmod {4}},\\{{1+{\sqrt {D}}} \over 2},&{\text{se }}D\equiv 1{\pmod {4}}.\end{cases}}

Poiché $D$ è privo di quadrati, il caso $D\equiv 0{\pmod {4}}$ non può verificarsi.^[1]

Discriminante modifica

Per un intero privo di quadrati non nullo $d,$ il discriminante del campo quadratico $K=\mathbb {Q} ({\sqrt {d}})$ è $d$ se $d\equiv 1{\bmod {4}},$ e $4d$ altrimenti. Ad esempio, se $d=-1,$ allora $K$ è il campo dei razionali gaussiani e il discriminante è $-4.$ La ragione di tale distinzione è che l'anello degli interi di $K$ è generato da ${\tfrac {1}{2}}(1+{\sqrt {d}})$ nel primo caso e da ${\sqrt {d}}$ nel secondo.

L'insieme dei discriminanti dei campi quadratici è esattamente l'insieme dei discriminanti fondamentali.

Fattorizzazione di primi come prodotto di ideali modifica

Qualsiasi numero primo $p$ dà luogo a un ideale $p{\mathcal {O}}_{K}$ nell'anello degli interi ${\mathcal {O}}_{K}$ di un campo quadratico $K.$ Dalla teoria generale della fattorizzazione degli ideali primi nelle estensioni di Galois, segue che si possono avere solo i seguenti casi:^[2]

$p$ è inerte: L'ideale $p{\mathcal {O}}_{K}$ è un ideale primo.; L'anello quoziente è il campo finito con $p^{2}$ elementi: ${\mathcal {O}}_{K}/p{\mathcal {O}}_{K}=\mathbb {F} _{p^{2}}.$
$p$ si spezza: L'ideale $p{\mathcal {O}}_{K}={\mathfrak {p}}_{1}{\mathfrak {p}}_{2}$ è un prodotto di due distinti ideali primi ${\mathfrak {p}}_{1}$ e ${\mathfrak {p}}_{2}$ di ${\mathcal {O}}_{K}.$; L'anello quoziente è il prodotto ${\mathcal {O}}_{K}/p{\mathcal {O}}_{K}=\mathbb {F} _{p}\times \mathbb {F} _{p}.$
$p$ è ramificato: L'ideale $p{\mathcal {O}}_{K}={\mathfrak {p}}^{2}$ è il quadrato di un ideale primo ${\mathfrak {p}}$ di ${\mathcal {O}}_{K}.$; L'anello quoziente contiene elementi nilpotenti diversi da zero.

Il terzo caso si verifica se e solo se $p$ divide il discriminante $D.$ Il primo e il secondo caso si verificano quando il simbolo di Kronecker $\left({\frac {D}{p}}\right)$ è uguale a $-1$ e $+1,$ rispettivamente. Ad esempio, se $p$ è un numero primo dispari che non divide $D,$ allora $p$ si spezza se e solo se $D$ è un quadrato modulo $p.$ I primi due casi hanno, in un certo senso, uguale probabilità di verificarsi per $p$ che varia tra i numeri primi, vedere teorema di densità di Chebotarev.^[3]

La legge della reciprocità quadratica implica che il comportamento della fattorizzazione di un primo $p$ in un campo quadratico dipende solo da $p$ modulo $D,$ dove $D$ è il discriminante di campo.

Gruppo di classe modifica

Il gruppo delle classi di un'estensione quadratica di campi può essere determinato utilizzando il limite di Minkowski e il simbolo di Kronecker a causa della finitezza del gruppo delle classi.^[4] Un campo quadratico $K=\mathbb {Q} ({\sqrt {d}})$ ha discriminante

\Delta _{K}={\begin{cases}d,&{\text{se }}d=4k+1,\\4d,&{\text{se }}d=4k+2{\text{ oppure }}4k+3.\end{cases}}

quindi il limite di Minkowski è

M_{K}={\begin{cases}{\frac {2}{\pi }}{\sqrt {|d|}},&{\text{se }}d<0{\text{ e }}d=4k+1,\\{\frac {4}{\pi }}{\sqrt {|d|}},&{\text{se }}d<0{\text{ e }}d=4k+2{\text{ oppure }}4k+3,\\{\frac {1}{2}}{\sqrt {|d|}},&{\text{se }}d>0{\text{ e }}d=4k+1,\\{\sqrt {|d|}},&{\text{se }}d>0{\text{ e }}d=4k+2{\text{ oppure }}4k+3.\\\end{cases}}

Quindi il gruppo delle classi ideali è generato dagli ideali primi la cui norma è inferiore a $M_{K}.$ Quesi possono essere determinati osservando la scomposizione degli ideali $p{\mathcal {O}}_{K}$ per i primi $p\in \mathbb {Z}$ con $|p|<M_{k}$ ^[2] ^{pagina 72}. Queste scomposizioni possono essere trovate usando il teorema di Kummer-Dedekind.

Sottocampi quadratici di campi ciclotomici modifica

Il sottocampo quadratico del campo ciclotomico primo modifica

Un classico esempio di costruzione di un campo quadratico è prendere l'unico sottocampo quadratico all'interno del campo ciclotomico generato da una radice primitiva $p$ -esima dell'unità, con $p$ un numero primo dispari. L'unicità è una conseguenza della teoria di Galois: c'è un unico sottogruppo di indice 2 nel gruppo di Galois su $\mathbb {Q} .$ Il discriminante del campo quadratico è $p$ per $p\equiv 1{\bmod {4}}$ e $-p$ per $p\equiv 3{\bmod {4}}.$ Infatti $p$ è l'unico primo che ramifica nel campo ciclotomico, quindi $p$ è l'unico primo che può dividere il discriminante del campo quadratico. Ciò esclude gli "altri" discriminanti $-4p$ e $4p$ rispettivamente.

Altri campi ciclotomici modifica

Gli altri campi ciclotomici hanno gruppi di Galois con 2-torsione aggiuntiva e quindi contengono almeno tre campi quadratici. In generale un campo quadratico con discriminante $D$ può essere ottenuto come sottocampo di un campo ciclotomico di $D$ -esime radici dell'unità. Ciò esprime il fatto che il conduttore di un campo quadratico è il valore assoluto del suo discriminante, un caso speciale della formula conduttore-discriminante.

Ordini di campi quadratici con discriminante piccolo modifica

La tabella seguente mostra alcuni ordini di discriminante piccolo di campi quadratici. L'ordine massimale di un campo di numeri algebrico è il suo anello degli interi e il discriminante dell'ordine massimale è il discriminante del campo. Il discriminante di un ordine non massimale è il prodotto del discriminante dell'ordine massimale corrispondente per il quadrato del determinante della matrice che esprime una base dell'ordine non massimale su una base dell'ordine massimale.

Per gli anelli degli interi reali quadratici, il numero delle classi ideale, che misura il fallimento della fattorizzazione unica, è dato in OEIS A003649; per il caso immaginario, sono forniti in OEIS A000924.

Ordine	Discriminante	Numero di classe	Unità	Commenti
$\mathbb {Z} [{\sqrt {-5}}]$	−20	2	± 1	Classi ideali $(1),(2,1+{\sqrt {-5}})$
$\mathbb {Z} [(1+{\sqrt {-19}})/2]$	−19	1	± 1	Dominio ad ideali principali, non euclideo
$\mathbb {Z} [2{\sqrt {-1}}]$	−16	1	± 1	Ordine non massimale
$\mathbb {Z} [(1+{\sqrt {-15}})/2]$	−15	2	± 1	Classi ideali $(1),(2,(1+{\sqrt {-15}})/2)$
$\mathbb {Z} [{\sqrt {-3}}]$	−12	1	± 1	Ordine non massimale
$\mathbb {Z} [(1+{\sqrt {-11}})/2]$	−11	1	± 1	euclideo
$\mathbb {Z} [{\sqrt {-2}}]$	−8	1	± 1	euclideo
$\mathbb {Z} [(1+{\sqrt {-7}})/2]$	−7	1	± 1	Interi kleiniani
$\mathbb {Z} [{\sqrt {-1}}]$	−4	1	$\pm 1,\pm i$ ciclico di ordine 4	Interi gaussiani
$\mathbb {Z} [(1+{\sqrt {-3}})/2]$	−3	1	$\pm 1,(\pm 1\pm {\sqrt {-3}})/2$	Interi di Eisenstein
$\mathbb {Z} [{\sqrt {-21}}]$	-84	4		Gruppo delle classi non ciclico ( $C_{2}\times C_{2}$ )
$\mathbb {Z} [(1+{\sqrt {5}})/2]$	5	1	$\pm ((1+{\sqrt {5}})/2)^{n}$ (norma $(-1)^{n}$ )
$\mathbb {Z} [{\sqrt {2}}]$	8	1	$\pm (1+{\sqrt {2}})^{n}$ (norma $(-1)^{n}$ )
$\mathbb {Z} [{\sqrt {3}}]$	12	1	$\pm (2+{\sqrt {3}})^{n}$ (norma 1)
$\mathbb {Z} [(1+{\sqrt {13}})/2]$	13	1	$\pm ((3+{\sqrt {13}})/2)^{n}$ (norma $(-1)^{n}$ )
$\mathbb {Z} [(1+{\sqrt {17}})/2]$	17	1	$\pm (4+{\sqrt {17}})^{n}$ (norma $(-1)^{n}$ )
$\mathbb {Z} [{\sqrt {5}}]$	20	2	$\pm ({\sqrt {5}}+2)^{n}$ (norma $(-1)^{n}$ )	Ordine non massimale