Anello degli interi
In matematica, l'anello degli interi di un campo di numeri algebrico è l'anello di tutti gli elementi interi contenuti in Un elemento intero è una radice di un polinomio monico con coefficienti interi Questo anello è spesso indicato con Poiché ogni numero intero appartiene a ed è un elemento intero di l'anello è sempre un sottoanello di
L'anello dei numeri interi è l'anello degli interi più semplice possibile. Cioè dove è il campo dei numeri razionali.[1] In teoria algebrica dei numeri gli elementi di sono spesso chiamati "interi razionali" per questo motivo.
Il secondo esempio più semplice è l'anello degli interi gaussiani costituito da numeri complessi le cui parti reali e immaginarie sono numeri interi. È l'anello degli interi nel campo di numeri dei numeri complessi le cui parti reali e immaginarie sono numeri razionali. Come gli interi razionali, è un dominio euclideo.
L'anello degli interi di un campo di numeri algebrico è l'unico ordine massimo nel campo. È sempre un dominio di Dedekind.[2]
Proprietà
modificaL'anello degli interi è uno -modulo finitamente generato. Infatti, è uno -modulo libero e quindi ha una base intera, cioè una base del -spazio vettoriale tale che ogni elemento può essere rappresentato in modo unico come
con [3] Il rango di come -modulo libero è uguale al grado di su
Esempi
modificaEstensioni ciclotomiche
modificaSia un numero primo, una radice -esima dell'unità e il corrispondente campo ciclotomico. Allora una base intera di è data da [4]
Estensioni quadratiche
modificaSe è un intero privo di quadrati e è il campo quadratico corrispondente, allora è un anello di numeri interi quadratici e una sua base intera è data da se e da se [5] Questo può essere determinato calcolando il polinomio minimo di un elemento arbitrario dove
Struttura moltiplicativa
modificaIn un anello degli interi, ogni elemento ha una fattorizzazione in elementi irriducibili, ma l'anello non ha necessariamente la proprietà della fattorizzazione unica: per esempio, nell'anello degli interi l'elemento 6 ha due fattorizzazioni differenti in irriducibili:[2][6]
Un anello degli interi è sempre un dominio di Dedekind e quindi ha una fattorizzazione unica degli ideali in ideali primi.[7]
Le unità di un anello degli interi con la moltiplicazione formano un gruppo abeliano finitamente generato per il teorema delle unità di Dirichlet. Il sottogruppo di torsione è costituito dalle radici dell'unità di Un insieme di generatori senza torsione è chiamato un insieme di unità fondamentali.[8]
Generalizzazione
modificaSi definisce l'anello degli interi di un campo locale non archimedeo come l'insieme di tutti gli elementi di con valore assoluto minore o uguale a 1. Questo è un anello per la disuguaglianza triangolare forte.[9] Se è il completamento di un campo di numeri algebrico, il suo anello degli interi è il completamento dell'anello degli interi di quest'ultimo. L'anello degli interi di un campo di numeri algebrico può essere caratterizzato come l'anello formato dagli elementi che sono interi in ogni completamento non archimedeo.[1]
Ad esempio, gli interi -adici sono l'anello degli interi del campo dei numeri -adici
Note
modificaBibliografia
modifica- (EN) J.W.S. Cassels, Local fields, collana London Mathematical Society Student Texts, vol. 3, Cambridge, Cambridge University Press, 1986, ISBN 0-521-31525-5.
- (EN) Pierre Samuel, Algebraic number theory, Hermann/Kershaw, 1972.
Voci correlate
modifica- Chiusura integrale: fornisce una tecnica per calcolare le chiusure integrali.