Dominio di Dedekind

In algebra astratta, un anello di Dedekind (o dominio di Dedekind) è una struttura algebrica che estende il concetto di fattorizzazione in numeri primi proprio dei numeri interi, e più in generale degli anelli: in un anello di Dedekind è possibile fattorizzare ciascun ideale nel prodotto di ideali primi. Il nome di questi anelli deriva da quello del matematico Richard Dedekind, che per primo utilizzò la definizione, anche se queste proprietà furono utilizzate già da Ernst Kummer nello studio del teorema di Fermat.

Definizione formale

Un dominio d'integrità A è detto di Dedekind se possiede una delle seguenti proprietà equivalenti:

• ogni ideale non nullo è fattorizzabile in ideali primi;
• ogni ideale frazionario non nullo (ovvero ogni A-modulo contenuto nel campo delle frazioni di A nella forma ${\displaystyle d^{-1}I}$, con I ideale di A e d elemento di A) è invertibile;
• A è noetheriano e, per ogni ideale massimale M, la localizzazione ${\displaystyle A_{M}}$ è un anello a valutazione discreta, cioè è un anello locale e un dominio ad ideali principali;
• l'anello è noetheriano, integralmente chiuso, e ogni suo ideale primo non nullo è massimale (ovvero A ha dimensione 1).

L'ultima proprietà è di norma quella più semplice da provare.

Esempi

L'esempio più noto di anello di Dedekind è anello ${\displaystyle \mathbb {Z} }$ dei numeri interi, che è anche un dominio ad ideali principali (PID, Principal Ideal Domain); in generale ogni dominio ad ideali principali è anche di Dedekind.

Dato un campo K, l'anello dei polinomi ${\displaystyle K[X]}$ a una variabile con coefficienti nel campo è di Dedekind; se K è un'estensione algebrica di grado finito dei numeri razionali, anche l'anello degli interi algebrici ${\displaystyle {\mathcal {O}}_{K}}$ è di Dedekind.

Un'altra ampia categoria di anelli di Dedekind deriva dalla geometria algebrica: data una curva algebrica affine C non singolare, definita sul campo K, l'anello delle coordinate delle funzioni regolari ${\displaystyle k[C]}$ è un dominio di Dedekind.

Alcuni degli esempi precedenti possono essere ricavati dal seguente teorema:

• se A è un dominio di Dedekind, K il suo campo delle frazioni e L/K un'estensione finita, allora la chiusura integrale di A in L è ancora un dominio di Dedekind.

Applicando il teorema con ${\displaystyle A=\mathbb {Z} }$, si ottiene la tesi per gli anelli degli interi di campi numerici; con ${\displaystyle A=K[t]}$, si ottiene il risultato per le curve affini.

Proprietà di fattorizzazione

Anelli di Dedekind e domini ad ideali principali

Le proprietà degli anelli di Dedekind sono strettamente legate a quelle degli anelli a ideali principali; come già indicato sopra, ogni PID è anche un anello di Dedekind, mentre non vale il viceversa: i PID coincidono costituiscono in effetti il sottoinsieme degli anelli di Dedekind che sono anche a fattorizzazione unica.

Gli anelli di Dedekind sono in genere preferiti dagli studiosi di algebra, in quanto permettono di caratterizzare meglio altre strutture algebriche; ad esempio tutti gli anelli degli interi ${\displaystyle {\mathcal {O}}_{K}}$ su un campo di numeri K sono di Dedekind, mentre non tutti sono dei PID.

Gruppo delle classi

In un dominio di Dedekind, poiché tutti gli ideali frazionari non nulli sono invertibili, il loro insieme forma un gruppo (denotato con ${\displaystyle Frac(A)}$) rispetto al prodotto di moduli ${\displaystyle IJ=\left\{\sum _{k=1}^{n}i_{k}j_{k}|i_{k}\in I,j_{k}\in J\right\}}$; generalizzando la fattorizzazione degli ideali propri agli ideali frazionari, inoltre, è inoltre possibile vedere che questo è un gruppo abeliano libero generato dagli ideali primi.

Questo gruppo, è tuttavia troppo grande per essere utile: si definisce quindi il gruppo delle classi (o gruppo delle classi di ideali) di A come il gruppo quoziente ${\displaystyle Frac(A)/P(A)}$, dove ${\displaystyle P(A)}$ indica il sottogruppo degli ideali principali di A. Dalla definizione è immediato osservare che il gruppo delle classi è banale (ovvero formato solo dall'elemento neutro) se e solo se A è ad ideali principali o, equivalentemente, a fattorizzazione unica: il gruppo delle classi può essere quindi pensato come un modo di misurare quanto un dominio di Dedekind si allontana dall'essere a fattorizzazione unica. Ad esempio, se ${\displaystyle A}$ è la chiusura integrale di ${\displaystyle \mathbb {Z} }$ in un'estensione finita di ${\displaystyle \mathbb {Q} }$, allora il gruppo delle classi ha esattamente due elementi se e solo se ${\displaystyle A}$ non è a fattorizzazione unica, ma le fattorizzazioni in irriducibili di un dato elemento hanno tutte lo stesso numero di elementi. (Tale caratterizzazione, tuttavia, non vale nel caso di arbitrari domini di Dedekind.)

Ogni gruppo abeliano è il gruppo delle classi di un dominio di Dedekind, come dimostrato da Luther Claborn nel 1966.^[1] Nel caso particolare di anelli di interi algebrici, il gruppo delle classi è sempre finito.

Anelli di Dedekind e anelli locali

Per un anello noetheriano, la proprietà di essere di Dedekind viene trasmessa anche a tutte le sue localizzazioni rispetto a ideali massimali; queste localizzazioni sono a valutazione discreta e hanno quindi una struttura molto semplice. Gli anelli di Dedekind possono essere visti quindi come una globalizzazione degli anelli a valutazione discreta, così come i domini di Prüfer sono una versione globale degli anelli di valutazione.

Nel caso generale (ovvero ammettendo anche anelli non noetheriani) esistono tuttavia anelli che non sono globalmente di Dedekind, ma lo sono localmente (ovvero, ogni loro localizzazione rispetto ad un ideale massimale è a valutazione discreta). In alcuni casi questi anelli vengono detti quasi di Dedekind.

Note

Voci correlate

• Anello noetheriano

Collegamenti esterni

• (EN) Eric W. Weisstein, Dominio di Dedekind / Dominio di Dedekind (altra versione), 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

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