Utente:Dr Zimbu/Sandbox: differenze tra le versioni

Versione delle 14:07, 20 feb 2013

Versione attuale delle 19:25, 31 ago 2013

(5 versioni intermedie di uno stesso utente non sono mostrate)

Riga 2:

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

;Da creare

*[[Dominio di Krull]]

*[[Modulo semplice]] (serve?)

*[[Anello delle serie formali]] (per adesso redirect)

*[[Dominio di Bézout]] (poco...)

*[[Primo minimale]]

*[[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)]]?)

*[[AnelloPrimo di Gorensteinassociato]]

*[[Gruppo abeliano libero]]?

;Possibilità

Riga 31:

<span style="background:#ffffaa; color:#444444">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.</span>^{[vero anche per completi generici o solo per DVR?]} Un anello in cui questo succede è detto ''henseliano''. Per ogni anello locale <math>A</math>, esiste un anello <math>A^h</math> (chiamato ''henselianizzazione'' di <math>A</math>) che è il più piccolo anello contenente <math>A</math> ed henseliano rispetto alla topologia <math>M</math>-adica; in particolare, <math>A^h</math> è sempre contenuto nel completamento di <math>A</math>. L'henselianizzazione di un anello ne conserva alcune proprietà, tra cui l'essere [[anello noetheriano|noetheriano]], [[anello ridotto|ridotto]], o [[anello regolare|regolare]].^[ref]

Una quarta forma del lemma di Hensel può essere trovata nei testi di [[aritmetica modulare]]: essa afferma che, se <math>f</math> è un polinomio a coefficienti in <math>\mathbb{Z}</math> che ammette una radice semplice <math>a</math> modulo <math>p^n</math> (cioè se <math>f(a)\equiv 0\modbmod p^n</math> e <math>f'(a)\nequivneq 0\modbmod p^n</math>) allora esiste un unico <math>b</math> modulo <math>p^{n+1}</math> tale che <math>f(b)\equiv 0\modbmod p^{n+1}</math> e <math>b\equiv a\modbmod p^n</math>. Di fatto, questa non è altro che un caso particolare della terza forma del lemma di Hensel, in cui <math>A</math> è l'anello degli [[numeri p-adici|interi ''p''-adici]]: a partire da una soluzione di <math>f(X)\equiv 0\bmod p</math>, il lemma permette di trovare una successione <math>\{a_n\}</math> tale che <math>f(a_n)\equiv 0\bmod p^n</math>; la serie <math>\sum_{n\geq 1}a_np^n</math> <span style="background:#ffffaa; color:#444444">definisce un numero ''p''-adico che è soluzione di <math>f(X)</math>.</span>^{[manca a_0]}

== Conseguenze ==

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

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

== Bibliografia ==