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à

modifica

L'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  

Estensioni ciclotomiche

modifica

Sia   un numero primo,   una radice  -esima dell'unità e   il corrispondente campo ciclotomico. Allora una base intera di   è data da  [4]

Estensioni quadratiche

modifica

Se   è 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

modifica

In 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

modifica

Si 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  

  1. ^ a b Cassels (1986) p. 192
  2. ^ a b Samuel (1972) p.49
  3. ^ Cassels (1986) p. 193
  4. ^ Samuel (1972) p.43
  5. ^ Samuel (1972) p.35
  6. ^ Michael Artin, Algebra, Prentice Hall, 2011, p. 360, ISBN 978-0-13-241377-0.
  7. ^ Samuel (1972) p.50
  8. ^ Samuel (1972) pp. 59–62
  9. ^ Cassels (1986) p. 41

Bibliografia

modifica

Voci correlate

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