Utente:Dr Zimbu/Sandbox

<span style="background:#ffffaa; color:#444444"></span>

Da creare

• Dominio di Krull
• Modulo semplice (serve?)
• Anello delle serie formali
• Dominio di Bézout (poco...)
• Anello di Cohen-Macaulay (+redirect Anello di Macaulay e/o Anello di Cohen), serve una voce a parte Profondità (algebra)? (o profondità (teoria degli anelli)?)
• Anello di Gorenstein

Possibilità

• ampliare Anello locale? (en:Local ring)
• creare Glossario di teoria dei moduli?
• creare Anello semilocale? (en:Semi-local ring)

Lemma di Hensel

In matematica, lemma di Hensel è il nome dato ad alcuni teoremi, equivalenti tra loro, dell'algebra commutativa e della teoria analitica dei numeri, che legano i polinomi a coefficienti in un campo locale o in un anello completo ai polinomi a coefficienti nel suo campo residuo. Le dimostrazioni del teorema fanno uso di un argomento di approssimazione che rendono il lemma di Hensel un analogo algebrico del metodo di Newton per il calcolo numerico di radici di polinomi a coefficienti reali.

Prende nome da Kurt Hensel, che lo scoprì e lo dimostrò nel corso dei suoi studi sui numeri p-adici.

Enunciato

Introduzione sulle varie forme?

Sia ${\displaystyle A}$  un anello commutativo locale, con ideale massimale ${\displaystyle M}$ , che sia completo rispetto alla topologia ${\displaystyle M}$ -adica, e sia ${\displaystyle K=A/M}$  il suo campo residuo; sia ${\displaystyle f(X)}$  un polinomio monico a coefficienti in ${\displaystyle A}$  e ${\displaystyle {\overline {f}}(X)}$  la sua riduzione modulo ${\displaystyle M}$ . Un caso particolare si ha quando ${\displaystyle A}$  è un anello di valutazione discreta il cui campo dei quozienti è un campo locale non archimedeo.

A seconda degli autori, "lemma di Hensel" può riferirsi ad uno dei seguenti risultati: (${\displaystyle f'}$  indica la derivata formale di ${\displaystyle f}$ )^[dove?]

• se ${\displaystyle {\overline {f}}(X)={\overline {g}}(X){\overline {h}}(X)}$ , dove ${\displaystyle {\overline {g}}(X)}$  e ${\displaystyle {\overline {h}}(X)}$  sono polinomi coprimi in ${\displaystyle K[X]}$ , allora esistono polinomi ${\displaystyle g(X),h(X)\in A[X]}$  tali che ${\displaystyle g(X)\equiv {\overline {g}}(X){\bmod {M}}}$ , ${\displaystyle h(X)\equiv {\overline {h}}(X){\bmod {M}}}$  e tali che ${\displaystyle f(X)=g(X)h(X)}$ ;
• dato un elemento ${\displaystyle a\in A}$ , se ${\displaystyle f(a)\equiv 0{\bmod {(}}f'(a))^{2}M}$  allora esiste un elemento ${\displaystyle b\in A}$  tale che ${\displaystyle f(b)=0}$  e ${\displaystyle b\equiv a{\bmod {f}}'(a)M}$ ;
• se un elemento ${\displaystyle a\in A}$  è una radice semplice di ${\displaystyle {\overline {f}}}$  in ${\displaystyle K}$  (ovvero ${\displaystyle {\overline {f}}'(a)\neq 0}$ ), allora esiste un elemento ${\displaystyle b\in A}$  tale che ${\displaystyle f(b)=0}$  e ${\displaystyle b\equiv a{\bmod {M}}}$ .

Le tre forme del lemma sono equivalenti nel senso che, se una delle tre vale in un arbitrario anello locale, allora valgono anche le altre due.^{[vero anche per completi generici o solo per DVR?]} Un anello in cui questo succede è detto henseliano. Per ogni anello locale ${\displaystyle A}$ , esiste un anello ${\displaystyle A^{h}}$  (chiamato henselianizzazione di ${\displaystyle A}$ ) che è il più piccolo anello contenente ${\displaystyle A}$  ed henseliano rispetto alla topologia ${\displaystyle M}$ -adica; in particolare, ${\displaystyle A^{h}}$  è sempre contenuto nel completamento di ${\displaystyle A}$ . L'henselianizzazione di un anello ne conserva alcune proprietà, tra cui l'essere noetheriano, ridotto, o regolare.^[ref]

Una quarta forma del lemma di Hensel può essere trovata nei testi di aritmetica modulare: essa afferma che, se ${\displaystyle f}$  è un polinomio a coefficienti in ${\displaystyle \mathbb {Z} }$  che ammette una radice semplice ${\displaystyle a}$  modulo ${\displaystyle p^{n}}$  (cioè se ${\displaystyle f(a)\equiv 0{\bmod {p}}^{n}}$  e ${\displaystyle f'(a)\neq 0{\bmod {p}}^{n}}$ ) allora esiste un unico ${\displaystyle b}$  modulo ${\displaystyle p^{n+1}}$  tale che ${\displaystyle f(b)\equiv 0{\bmod {p}}^{n+1}}$  e ${\displaystyle b\equiv a{\bmod {p}}^{n}}$ . Di fatto, questa non è altro che un caso particolare della terza forma del lemma di Hensel, in cui ${\displaystyle A}$  è l'anello degli interi p-adici: a partire da una soluzione di ${\displaystyle f(X)\equiv 0{\bmod {p}}}$ , il lemma permette di trovare una successione ${\displaystyle \{a_{n}\}}$  tale che ${\displaystyle f(a_{n})\equiv 0{\bmod {p}}^{n}}$ ; la serie ${\displaystyle \sum _{n\geq 1}a_{n}p^{n}}$  definisce un numero p-adico che è soluzione di ${\displaystyle f(X)}$ .^{[manca a_0]}

Conseguenze

Un primo polinomio a cui è possibile applicare il lemma di Hensel è ${\displaystyle f(X)=X^{m}-1}$ , le cui radici (in una chiusura algebrica di ${\displaystyle A}$ ) sono le radici dell'unità. Se la caratteristica del campo residuo ${\displaystyle K}$  non divide ${\displaystyle m}$ , allora tutte le eventuali radici di ${\displaystyle f}$  sono semplici; tuttavia, essendo la caratteristica un numero primo ${\displaystyle p}$ , le ipotesi garantiscono che ${\displaystyle m}$  e ${\displaystyle p}$  sono coprimi, e dunque ${\displaystyle K}$  contiene le radici ${\displaystyle m}$ -esime dell'unità. Per il lemma di Hensel, dunque, anche ${\displaystyle A}$  le contiene.

Considerazioni simili valgono per i polinomi ${\displaystyle X^{m}-a}$ : questa ha soluzioni in ${\displaystyle A}$  se e solo se ha soluzioni in ${\displaystyle K}$ . Ad esempio, se ${\displaystyle A=\mathbb {Z} _{p}}$  è l'anello degli interi p-adici, l'equazione ${\displaystyle X^{2}-a=0}$  ha soluzioni in ${\displaystyle A}$  se e solo se l'equazione ${\displaystyle X^{2}\equiv a{\bmod {p}}}$  è risolubile, cioè se e solo se ${\displaystyle a}$  è un residuo quadratico modulo ${\displaystyle p}$ .

Bibliografia

• Atiyah (è negli esercizi...) - I forma
• Lang - II forma
• Matsumura?
• Eisenbud?
• http://math.usask.ca/~fvk/bookch9.pdf

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

d:Q1424496

Dominio di Krull

In matematica, un dominio di Krull è un dominio d'integrità che è intersezione di una famiglia localmente finita di domini di valutazione discreta. I domini di Krull sono una generalizzazione contemporaneamente dei domini noetheriani integralmente chiusi (e in particolare dei domini di Dedekind) e dei domini a fattorizzazione unica.

Prendono nome da Wolfgang Krull.

Definizione

Sia ${\displaystyle A}$  un anello commutativo unitario integro. ${\displaystyle A}$  è un dominio di Krull se esiste una famiglia Errore del parser (errore di sintassi): {\displaystyle \{V_i\}_{i\in I\}} di domini di valutazione discreta (DVR) tali che ${\displaystyle A=\bigcap _{i\in I}V_{i}}$  e, per ogni ${\displaystyle a\in A}$ , esistono solo un numeri finito di ${\displaystyle V_{i}}$  tali che ${\displaystyle a}$  non è invertibile in ${\displaystyle V_{i}}$ .

Equivalentemente, ${\displaystyle A}$  è un dominio di Krull se, per ogni ideale primo ${\displaystyle P}$  di altezza 1, la localizzazione ${\displaystyle A_{P}}$  è un DVR, ${\displaystyle A}$  è intersezione di queste localizzazioni e ogni elemento ${\displaystyle a\in A}$  è contenuto in un numero finito di ideali primi d'altezza 1.

Proprietà

Essendo intersezione di anelli integralmente chiusi, ogni dominio di Krull è integralmente chiuso.

La proprietà di essere un dominio di Krull soddisfa alcune proprietà di stabilità: ogni localizzazione ${\displaystyle S^{-1}A}$  è ancora un dominio di Krull, così come gli anelli dei polinomi ${\displaystyle A[\mathbf {X} ]}$  in un qualunque numero di indeterminate e gli anelli delle serie formali ${\displaystyle A[[X_{1},\ldots ,X_{n}]]}$  in un numero finito di indeterminate^{[e infinite?]}. Al contrario, questa proprietà non passa ai quozienti: ad esempio, l'anello ${\displaystyle K[X,Y]/(X^{2}-Y^{3})}$  (dove ${\displaystyle K}$  è un campo) non è neppure integralmente chiuso.

L'intersezione di un numero finito di domini di Krull è ancora un dominio di Krull, mentre l'intersezione di una famiglia arbitraria può non esserlo.

Legami con gli anelli noetheriani

Tutti i domini noetheriani integralmente chiusi sono domini di Krull: se infatti ${\displaystyle P}$  è un primo di altezza 1, la localizzazione ${\displaystyle A_{P}}$  è un dominio locale noetheriano integralmente chiuso di dimensione 1, e quindi è un DVR, e per ogni ${\displaystyle a\in A}$  l'anello ${\displaystyle A/aA}$  ha un numero finito di primi minimali, che corrispondono ai primi di altezza 1 contenenti ${\displaystyle a}$ . Inoltre, la chiusura integrale di un dominio noetheriano, sebbene in generale non noetheriano, è un dominio di Krull; esistono tuttavia domini di Krull che non sono la chiusura integrale di alcun anello noetheriano^{[serve fonte]}.

Diversi teoremi relativi agli anelli noetheriani si generalizzano ai domini di Krull, sebbene sia a volte necessario restringerne il campo d'applicazione. Ad esempio, i domini di Krull verificano il teorema dell'ideale principale,^{[vedi se c'è sul Matsumura]} mentre si può ottenere una decomposizione primaria solo nel caso degli ideali principali.

Gruppo delle classi

Bibliografia

• Matsumura
• http://www.math.tifr.res.in/~publ/ln/tifr30.pdf
• Valutazioni?

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

en:Krull ring