Campo di numeri

Questa voce sull'argomento algebra è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

In matematica un campo di numeri (o campo numerico) ${\displaystyle K}$ è un'estensione finita del campo ${\displaystyle \mathbb {Q} }$ dei numeri razionali. Questo significa che ${\displaystyle K}$ è un campo contenente ${\displaystyle \mathbb {Q} }$ ed ha dimensione finita come spazio vettoriale su ${\displaystyle \mathbb {Q} }$.

Lo studio dei campi di numeri e, più in generale, delle estensioni del campo dei numeri razionali, è uno degli argomenti principali della teoria algebrica dei numeri.

Definizione

Un campo algebrico di numeri o più semplicemente un campo di numeri ${\displaystyle F}$ è per definizione un sottocampo del campo dei numeri complessi ${\displaystyle \mathbb {C} }$ che sia un'estensione di grado finito ${\displaystyle n}$ del campo dei numeri razionali ${\displaystyle \mathbb {Q} }$.

Esempi

• Un primo esempio banale è il campo dei numeri razionali ${\displaystyle \mathbb {Q} }$, che è esso stesso un campo di numeri, essendo un'estensione di grado ${\displaystyle 1}$ di ${\displaystyle \mathbb {Q} }$.

• Un esempio non banale sono i campi quadratici, cioè le estensioni ${\displaystyle \mathbb {Q} [{\sqrt {d}}]}$ con ${\displaystyle d\in \mathbb {Z} \setminus \{0,1\}}$ privo di fattori quadratici. Ovviamente se ${\displaystyle d=-1}$ allora ${\displaystyle \mathbb {Q} [{\sqrt {-1}}]}$ è il campo dei razionali gaussiani.

• Un altro esempio è l'${\displaystyle n}$-esimo campo ciclotomico, cioè il campo ${\displaystyle \mathbb {Q} [\zeta ]}$ con ${\displaystyle \zeta }$ radice primitiva ${\displaystyle n}$-esima dell'unità, questo campo ha grado ${\displaystyle [\mathbb {Q} [\zeta ]:\mathbb {Q} ]=\varphi (n)}$ dove ${\displaystyle \varphi }$ è la funzione di Eulero.

• Un "non" esempio è ${\displaystyle \mathbb {R} \subset \mathbb {C} }$, che è un'estensione di ${\displaystyle \mathbb {Q} }$ ma il suo grado è infinito, per cui non è un campo di numeri. Per vedere che ${\displaystyle [\mathbb {R} :\mathbb {Q} ]=\infty }$, basta ricordare che ${\displaystyle \mathbb {R} }$ ha cardinalità del continuo, mentre ${\displaystyle \mathbb {Q} }$ è numerabile.

Anelli di interi algebrici

Sappiamo dalla teoria dei campi che data un'estensione ${\displaystyle K|F}$, un elemento ${\displaystyle k\in K}$ è detto algebrico su ${\displaystyle F}$ se ${\displaystyle k}$ è radice di un polinomio monico ${\displaystyle f(x)\in F[x]}$, e chiamiamo estensioni algebriche le estensioni di campi i cui elementi sono tutti algebrici; in particolare se ${\displaystyle F=\mathbb {Q} }$ chiamiamo numero algebrico un elemento ${\displaystyle \alpha \in \mathbb {C} }$ che sia algebrico su ${\displaystyle \mathbb {Q} }$, inoltre se ${\displaystyle \alpha \in \mathbb {C} }$ è radice di un polinomio monico a coefficienti in ${\displaystyle \mathbb {Z} }$ diremo che ${\displaystyle \alpha }$ è un intero algebrico.

Ora, dato un campo di numeri ${\displaystyle K}$, definiamo ${\displaystyle {\bar {\mathbb {Z} }}=\{\alpha \in \mathbb {C} \ |\ \alpha \ {\text{radice di un polinomio monico}}\ f(x)\in \mathbb {Z} [x]\}}$ (si dimostra che ${\displaystyle {\bar {\mathbb {Z} }}}$ è un anello), si definisce ${\displaystyle {\mathcal {O}}_{K}={\bar {\mathbb {Z} }}\cap K}$ anello degli interi algebrici di ${\displaystyle K}$.

In generale dato un campo di numeri ${\displaystyle K}$, il rispettivo anello degli interi ${\displaystyle {\mathcal {O}}_{K}}$ non è un UFD (vedi esempio sotto), ma è possibile dimostrare che gode di altre interessanti proprietà, in particolare, che è un dominio di Dedekind, per cui ammette una fattorizzazione unica in termini di ideali primi.

Esempio

Dato il campo quadratico ${\displaystyle F=\mathbb {Q} [{\sqrt {-5}}]}$, si ha ${\displaystyle \mathbb {Z} [{\sqrt {-5}}]\subset {\mathcal {O}}_{F}}$ (in realtà si può dimostrare che ${\displaystyle {\mathcal {O}}_{F}=\mathbb {Z} [{\sqrt {-5}}]}$), per cui abbiamo

${\displaystyle 3\cdot 2=6=(1-{\sqrt {-5}})(1+{\sqrt {-5}}),}$

dunque ${\displaystyle {\mathcal {O}}_{F}}$ non è UFD.

Bibliografia

• (EN) Gerald J. Janusz, Algebraic Number Fields, 2nd, Providence, R.I., American Mathematical Society, 1996 1997, ISBN 978-0-8218-0429-2.
• (EN) Serge Lang, Algebraic Number Theory, second edition, Springer, 2000
• (EN) Richard A. Mollin, Algebraic Number Theory, CRC, 1999
• (EN) Ram Murty, Problems in Algebraic Number Theory, Second Edition, Springer, 2005
• (EN) Władysław Narkiewicz, Elementary and analytic theory of algebraic numbers, Springer Monographs in Mathematics, 3ª ed., Berlin, Springer-Verlag, 2004, ISBN 978-3-540-21902-6, MR 2078267.
• (EN) Jürgen Neukirch, Algebraic number theory, Grundlehren der Mathematischen Wissenschaften, vol. 322, Berlin, New York, Springer-Verlag, 1999, ISBN 978-3-540-65399-8, MR 1697859, Zbl 0956.11021.
• (EN) Jürgen Neukirch, Alexander Schmidt e Kay Wingberg, Cohomology of Number Fields, Grundlehren der Mathematischen Wissenschaften, vol. 323, Berlin, New York, Springer-Verlag, 2000, ISBN 978-3-540-66671-4, MR 1737196, Zbl 1136.11001.
• (EN) André Weil, Basic Number Theory, third edition, Springer, 1995

Voci correlate

• Campo quadratico
• Campo ciclotomico
• Estensione di campi
• Teoria dei campi (matematica)
• Teoria algebrica dei numeri

Collegamenti esterni

• (EN) Eric W. Weisstein, Campo di numeri, su MathWorld, Wolfram Research.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

V · D · M Teoria dei numeri
Numeri più usati	Naturali · Interi · Pari e dispari
Principi generali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza
Successioni di interi	Fattoriale · Successione di Fibonacci · Numero di Catalan · Numero di Perrin · Numero di Eulero · Successione di Mian-Chowla · Successione di Thue-Morse
Caratteristiche dei numeri primi	Numero primo · Lemma di Euclide · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Test di primalità · Teorema fondamentale dell'aritmetica · Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Teorema dei numeri primi
Funzioni aritmetiche	Funzione moltiplicativa · Funzione additiva · Convoluzione di Dirichlet · Funzione φ di Eulero · Funzione di Möbius · Funzione tau sui positivi · Funzione sigma · Funzione di Liouville · Funzione di Mertens
Aritmetica modulare	Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Criteri di divisibilità · Teorema di Fermat sulle somme di due quadrati · Teorema di Wilson · Legge di reciprocità quadratica
Congetture	Congettura di Goldbach · Congettura di Polignac · Congettura abc · Congettura dei numeri primi gemelli · Congettura di Legendre · Nuova congettura di Mersenne · Congettura di Collatz · Ipotesi di Riemann
Altro	Problema di Waring
Principali teorici	Fibonacci · Fermat · Gauss · Eulero · Legendre · Riemann · Dirichlet
Discipline connesse	Teoria algebrica dei numeri · Teoria analitica dei numeri · Crittografia · Teoria computazionale dei numeri

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica