Campo di numeri

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

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 $F$ è per definizione un sottocampo del campo dei numeri complessi $ℂ$ che sia un'estensione di grado finito $n$ del campo dei numeri razionali $ℚ$ .

Esempi

Un primo esempio banale è il campo dei numeri razionali $ℚ$ , che è esso stesso un campo di numeri, essendo un'estensione di grado $1$ di $ℚ$ .
Un esempio non banale sono i campi quadratici, cioè le estensioni $ℚ [\sqrt{d}]$ con $d \in ℤ ∖ {0, 1}$ privo di fattori quadratici. Ovviamente se $d = - 1$ allora $ℚ [\sqrt{- 1}]$ è il campo dei razionali gaussiani.
Un altro esempio è l' $n$ -esimo campo ciclotomico, cioè il campo $ℚ [ζ]$ con $ζ$ radice primitiva $n$ -esima dell'unità, questo campo ha grado $[ℚ [ζ] : ℚ] = φ (n)$ dove $φ$ è la funzione di Eulero.
Un "non" esempio è $ℝ \subset ℂ$ , che è un'estensione di $ℚ$ ma il suo grado è infinito, per cui non è un campo di numeri. Per vedere che $[ℝ : ℚ] = \infty$ , basta ricordare che $ℝ$ ha cardinalità del continuo, mentre $ℚ$ è numerabile.

Anelli di interi algebrici

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

Ora, dato un campo di numeri $K$ , definiamo $\bar{ℤ} = {α \in ℂ | α radice di un polinomio monico f (x) \in ℤ [x]}$ (si dimostra che $\bar{ℤ}$ è un anello), si definisce $𝒪_{K} = \bar{ℤ} \cap K$ anello degli interi algebrici di $K$ .

In generale dato un campo di numeri $K$ , il rispettivo anello degli interi $𝒪_{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 $F = ℚ [\sqrt{- 5}]$ , si ha $ℤ [\sqrt{- 5}] \subset 𝒪_{F}$ (in realtà si può dimostrare che $𝒪_{F} = ℤ [\sqrt{- 5}]$ ), per cui abbiamo

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

dunque $𝒪_{F}$ non è UFD.

Bibliografia

(EN) Gerald J. Janusz, Algebraic Number Fields, 2ª ed., 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

Collegamenti esterni

(EN) Eric W. Weisstein, Number Field, su MathWorld, Wolfram Research.

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

V · D · M Algebra
Numeri
Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principî 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
Calcolo combinatorio base
Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Basi di teoria dei numeri
Numeri primi	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
Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Gruppi	Gruppo finito · Gruppo ciclico · Gruppo 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(F_n) · 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 di Burnside · 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
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 · 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
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