|
<nowiki><span style="background:#ffffaa; color:#444444"></span><sup></sup></nowiki>
;Da creare
*[[Modulo semplice]] (serve?)
*[[Lemma di Nakayama]] ([[:en:Nakayama's lemma]])
*[[Anello delle serie formali]] (per adesso redirect)
*[[Radicale di Jacobson]] ([[:en:Jacobson radical]])
*[[Dominio di Bézout]] (poco...)
*[[Anello regolare]] ([[:en:Regular ring]])
*[[Primo minimale]]
*[[Modulo libero]] ([[:en:Free module]])
*[[Primo associato]]
*[[Modulo piatto]] ([[:en:Flat module]])
*[[Gruppo abeliano libero]]?
*[[Modulo proiettivo]] ([[:en:Projective module]])
*[[Teorema dell'ideale principale]] ([[:en:Krull's principal ideal theorem]])
;Ampliare
*[[Localizzazione di un anello]]
**spostare a [[Localizzazione (matematica)]] dopo aver aggiunto moduli?
*[[Modulo iniettivo]] ([[:en:Injective module]])
;Possibilità
*ampliare [[Anello locale]]? ([[:en:Local ring]])
*creare [[Glossario di teoria dei moduli]]?
*aggiungere una sezione sui noeth. loc. in [[Dimensione di Krull]]?
*creare [[Anello semilocale]]? ([[:en:Semi-local ring]])
= [[ModuloLemma liberodi Hensel]] =
In [[matematica]], '''lemma di Hensel''' è il nome dato ad alcuni [[teorema|teoremi]], equivalenti tra loro, dell'[[algebra commutativa]] e della [[teoria analitica dei numeri]], che legano i [[polinomio|polinomi]] a coefficienti in un [[campo locale]] o in un [[anello (algebra)|anello]] [[anello completo|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 [[numero reale|reali]].
In [[matematica]], un '''modulo libero''' è un [[modulo (algebra)|modulo]] particolarmente simile ad uno [[spazio vettoriale]]; più precisamente, se ''A'' è un [[anello (algebra)|anello]], un ''A''-modulo è ''libero'' se ha una [[base (algebra lineare)|base]], ovvero un insieme di elementi [[indipendenza lineare|linearmente indipendenti]] che lo genera.
Prende nome da [[Kurt Hensel]], che lo scoprì e lo dimostrò nel corso dei suoi studi sui [[numero p-adico|numeri ''p''-adici]].
Nel linguaggio della [[teoria delle categorie]], i moduli liberi sono gli [[oggetto libero|oggetti liberi]] della categoria degli ''A''-moduli.
== Definizione e basiEnunciato ==
<span style="background:#ffffaa; color:#444444">Introduzione sulle varie forme?</span>
Sia ''A'' un [[anello (algebra)|anello]] e ''M'' un [[modulo (algebra)|modulo]] su ''A''. ''M'' è libero se esiste un insieme ''E'' di elementi di ''M'' tali che:
*''E'' genera ''M'': ogni elemento di ''M'' può essere scritto come combinazione lineare (finita) di elementi di ''E'', ovvero per ogni ''m'' in ''M'' esistono <math>a_1,\ldots,a_n\in A</math> ed <math>e_1,\ldots,e_n\in E</math> tali che <math>m=a_1e_1+\cdots+a_ne_n</math>;
*''E'' è [[indipendenza lineare|linearmente indipendente]]: se esistono <math>a_1,\ldots,a_n\in A</math> ed <math>e_1,\ldots,e_n\in E</math> tali che <math>a_1e_1+\cdots+a_ne_n=0</math> allora tutti gli <math>a_i</math> sono uguali a 0.
Sia <math>A</math> un [[anello (algebra)|anello]] [[anello commutativo|commutativo]] [[anello locale|locale]], con [[ideale massimale]] <math>M</math>, che sia [[anello completo|completo]] rispetto alla topologia <math>M</math>-adica, e sia <math>K=A/M</math> il suo [[campo residuo]]; sia <math>f(X)</math> un polinomio monico a coefficienti in <math>A</math> e <math>\overline{f}(X)</math> la sua riduzione modulo <math>M</math>. Un caso particolare si ha quando <math>A</math> è un [[anello di valutazione discreta]] il cui [[campo dei quozienti]] è un [[campo locale]] [[campo non archimedeo|non archimedeo]].
Mentre ogni modulo possiede un insieme di generatori (ad esempio di può prendere ''E''=''M'' stesso), l'indipendenza lineare è una proprietà molto più stringente: esistono ad esempio moduli in cui nessun insieme non vuoto è linearmente indipendente, come lo <math>\mathbb{Z}</math>-modulo <math>\mathbb{Z}_n</math> delle [[aritmetica modulare|classi di resto]] modulo ''n''.
A seconda degli autori, "lemma di Hensel" può riferirsi ad uno dei seguenti risultati: <span style="background:#ffffaa; color:#444444">(<math>f'</math> indica la [[derivata formale]] di <math>f</math>)</span><sup>[dove?]</sup>
Se ''A'' è un [[campo (matematica)|campo]], gli ''A''-moduli sono gli [[spazio vettoriale|spazi vettoriali]], e ognuno di essi ha una base: di conseguenza tutti gli ''A''-moduli sono liberi. Vale anche il viceversa: se tutti gli ''A''-moduli sono liberi, ed ''A'' è [[anello commutativo|commutativo]], allora ''A'' è un campo; lasciando cadere l'ipotesi di commutatività, ''A'' deve essere un [[corpo (matematica)|corpo]].
*se <math>\overline{f}(X)=\overline{g}(X)\overline{h}(X)</math>, dove <math>\overline{g}(X)</math> e <math>\overline{h}(X)</math> sono polinomi coprimi in <math>K[X]</math>, allora esistono polinomi <math>g(X),h(X)\in A[X]</math> tali che <math>g(X)\equiv \overline{g}(X)\bmod M</math>, <math>h(X)\equiv \overline{h}(X)\bmod M</math> e tali che <math>f(X)=g(X)h(X)</math>;
*dato un elemento <math>a\in A</math>, se <math>f(a)\equiv 0\bmod (f'(a))^2M</math> allora esiste un elemento <math>b\in A</math> tale che <math>f(b)=0</math> e <math>b\equiv a\bmod f'(a)M</math>;
*se un elemento <math>a\in A</math> è una radice semplice di <math>\overline{f}</math> in <math>K</math> (ovvero <math>\overline{f}'(a)\neq 0</math>), allora esiste un elemento <math>b\in A</math> tale che <math>f(b)=0</math> e <math>b\equiv a\bmod M</math>.
<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><sup>[vero anche per completi generici o solo per DVR?]</sup> 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]].<sup>[ref]</sup>
Nei moduli liberi, gli elementi della base si comportano come coordinate: segue infatti dall'indipendenza lineare che l'espressione di ogni elemento ''m'' come combinazione degli elementi della base è unica. Di conseguenza, un modulo libero è la [[somma diretta]] di copie di ''A''.
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\bmod p^n</math> e <math>f'(a)\neq 0\bmod p^n</math>) allora esiste un unico <math>b</math> modulo <math>p^{n+1}</math> tale che <math>f(b)\equiv 0\bmod p^{n+1}</math> e <math>b\equiv a\bmod 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><sup>[manca a_0]</sup>
Un particolare modulo libero è l'anello ''A'' stesso.
== Conseguenze ==
Se ''M'' è libero, non ha un'unica base; in generale, neppure la [[cardinalità]] della base è univocamente determinata. Questa quantità è invariante però per tutti gli anelli commutativi<ref name=planet>{{planetmath|title=RankOfAModule}}</ref> e per tutti gli [[anello noetheriano|anelli noetheriani]];<ref>{{cita libro|autore=Paul Moritz Cohn|titolo=Introduction to ring theory|lingua=inglese|editore=Springer|anno=2000|id=ISBN 1-85233-206-9|pagine=pp.169-171}}</ref> in particolare si ottiene che la [[Dimensione (spazio vettoriale)|dimensione]] degli spazi vettoriali è ben definita. Essa viene detta ''rango'' del modulo libero. Anche nei casi in cui il rango non è ben definito, se ''M'' ha una base finita anche ogni altra base è finita.<ref name=planet/>
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>.
== Costruzione ==
A partire da un insieme arbitrario ''E'', è possibile costruire un ''A''-modulo libero che ha ''E'' come base: considerando tutte le combinazioni lineari ''formali'' <math>a_1e_1+\cdots+a_ne_n</math>, per qualsiasi sottoinsieme finito <math>\{e_1,\ldots,e_n\}</math> e qualsiasi <math>a_1,\ldots,a_n\in A</math>; l'addizione e la moltiplicazione scalare vengono poi definiti termine a termine.
A partire da questo si può dimostrare che ogni modulo è quoziente di un modulo libero: dato infatti un insieme di generatori ''E'' per ''M'' (ad esempio ''E''=''M'' stesso), si può formare il modulo libero su ''E'', e considerare il sottomodulo ''N'' generato dalle relazioni tra elementi di ''M'' (ad esempio, se ''e''+''f''=0, allora ''e''+''f'' sarà contenuto in ''N''). Il quoziente ''L''/''N'' risulta isomorfo ad ''M''.
== Proprietà ==
[[Somma diretta|Somme]] e [[Prodotto diretto|prodotti]] di moduli liberi sono ancora liberi; lo stesso vale per il [[prodotto tensoriale]] di due moduli liberi.
Tutti i moduli liberi sono [[modulo proiettivo|proiettivi]] e [[modulo piatto|piatti]]; unito al fatto che ogni modulo è quoziente di un modulo libero, questo dimostra che ogni modulo ha una [[risoluzione proiettiva]].
== Note ==
<references/>
== Bibliografia ==
*Atiyah (è negli esercizi...) - I forma
*{{cita libro|autore=[[Michael Atiyah]] e [[Ian G. Macdonald]]|titolo=Introduction to Commutative Algebra|editore=Westview Press|anno=1969|id=ISBN 0-201-40751-5|lingua=inglese|cid=Atiyah}}
*Lang - II forma
*Matsumura?
== Collegamenti esterni ==
*Eisenbud?
*{{EncyMath|F/f041600}}
*http://math.usask.ca/~fvk/bookch9.pdf
<nowiki>[[Categoria:Teoria dei moduli|Libero]]
[[ca:Mòdul lliure]]
[[de:Freier Modul]]
[[en:Free module]]
[[es:Módulo libre]]
[[fr:Module libre]]
[[he:מודול חופשי]]
[[nl:Vrije module]]
[[ru:Свободный модуль]]
[[sv:Fri modul]]
[[zh:自由模]]</nowiki>
= [[Modulo piatto]] =
In [[algebra]], un '''modulo piatto''' è un [[modulo (algebra)|modulo]] che "si comporta bene" rispetto al [[prodotto tensoriale]]; più precisamente, dato un [[anello (algebra)|anello]] ''A'', un modulo sinistro ''M'' è piatto se per ogni [[successione esatta]] di ''A''-moduli
:<math>\cdots\longrightarrow N_{i-1}\longrightarrow N_i\longrightarrow N_{i+1}\longrightarrow \cdots</math>
la successione di [[gruppo abeliano|gruppi abeliani]]
:<math>\cdots\longrightarrow N_{i-1}\otimes_A M\longrightarrow N_i\otimes_A M\longrightarrow N_{i+1}\otimes M\longrightarrow \cdots</math>
(dove le mappe della seconda successione sono ottenute da quelle della prima tensorizzando con l'identità su ''M'') è ancora esatta; analogamente, un modulo destro ''M'' è piatto se è esatta la successione di gruppi abeliani
:<math>\cdots \longrightarrow M \otimes_A N_{i-1} \longrightarrow M\otimes_A N_i\longrightarrow M\otimes_A N_{i+1}\longrightarrow \cdots</math>
In altri termini, un modulo sinistro è piatto se il [[funtore (matematica)|funtore]] <math>-\otimes_A M</math> è [[funtore esatto|esatto]], mentre un modulo destro è piatto se è esatto <math>M\otimes_A -</math>
== Definizioni equivalenti ==
Per verificare la piattezza di un modulo è sufficiente considerare le [[successione esatta|successioni esatte]] corte: ''M'' è piatto se e solo se, per ogni esatta corta
:<math>0\longrightarrow N'\longrightarrow N\longrightarrow N''\longrightarrow 0</math>
anche la successione tensorizzata
:<math>0\longrightarrow N'\otimes M\longrightarrow N\otimes M\longrightarrow N''\otimes M\longrightarrow 0</math>
è esatta. Anche questa definizione è in qualche modo ridondante, perché, se
:<math>N'\longrightarrow N\longrightarrow N''\longrightarrow 0</math>
è una successione esatta, allora
:<math>N'\otimes M\longrightarrow N\otimes M\longrightarrow N''\otimes M\longrightarrow 0</math>
è sempre esatta; di conseguenza è sufficiente richiedere che, se <math>f:N'\longrightarrow N</math> è iniettiva, allora <math>f\otimes 1:N'\otimes M\longrightarrow N\otimes M</math> è ancora iniettiva.
Equivalentemente, si possono definire i moduli piatti in termini del [[funtore Tor]]: un modulo sinistro ''M'' è piatto se e solo se <math>Tor^A_i(N,M)=0</math> per ogni ''i'' >0 e per ogni ''A''-modulo ''N''. Anche questa condizione può essere raffinata, richiedendo solo che <math>Tor^A_1(N,M)=0</math>.
Le stesse proprietà valgono simmetricamente per i moduli destri.
== Proprietà ==
Il [[prodotto tensoriale]] di due moduli piatti è ancora piatto; la [[somma diretta]] dei moduli ''M<sub>i</sub>'' è piatta se e solo se lo è ogni ''M<sub>i</sub>''.
Se ''S'' è un sottoinsieme di ''A'' moltiplicativamente chiuso e contenuto nel suo [[centro (matematica)|centro]], la [[localizzazione di un anello|localizzazione]] <math>S^{-1}A</math> di ''A'' è un ''A''-modulo piatto; di conseguenza, le localizzazioni di un modulo piatto sono ancora piatte.
Se ''x'' è un elemento nel centro di ''A'' e non è uno zerodivisore, allora ''A/xA'' è un esempio di modulo che non è piatto: questo può essere visto a partire dalla successione esatta
:<math>0\longrightarrow A\longrightarrow^x A\longrightarrow A/xA\longrightarrow 0</math>
perché, nella successione tensorizzata
:<math>0\longrightarrow A\otimes_A A/xA\longrightarrow A\otimes_A A/xA\longrightarrow A/xA\otimes_R A/xA\longrightarrow 0</math>
la mappa <math>A\otimes_A A/xA\longrightarrow A\otimes_A A/xA</math> diventa l'omomorfismo nullo, mentre <math>A\otimes_A A/xA</math> non è il modulo nullo.
In particolare, se ''A'' è [[anello commutativo|commutativo]], tutte le localizzazioni <math>S^{-1}A</math> sono piatte; la piattezza è inoltre una ''proprietà locale'', nel senso che ''M'' è un modulo piatto se e solo la localizzazione ''M<sub>P</sub>'' è piatto per ogni [[ideale primo]] ''P''. Se ''A'' è anche [[dominio d'integrità|integro]], nessun [[anello quoziente|quoziente]] ''A/I'' è piatto; ampliando il ragionamento precedente, su un dominio d'integrità tutti i moduli piatti sono privi di [[torsione]].
Ogni [[modulo libero]] e ogni [[modulo proiettivo]] sono piatti; il viceversa non è vero in generale, sebbene un modulo piatto [[finitamente presentato]] sia proiettivo.<ref>{{cita|Weibel|p.71}}</ref>
== Anelli assolutamente piatti ==
Un anello ''A'' tale che tutti gli ''A''-moduli sinistri sono piatti è detto ''assolutamente piatto'' (o ''von Neumann regolare''); se questo avviene, allora anche tutti gli ''A''-moduli destri sono piatti. Equivalentemente, ''A'' è assolutamente piatto se per ogni ''a'' esiste un ''x'' tale che ''axa'' = ''a''; un'altra condizione equivalente è che tutti gli [[ideale (matematica)|ideali]] principali di ''A'' sono idempotenti, cioè sono tali che <math>I^2=I</math>.<ref>{{EncyMath|r/r080830}}</ref>
Tra gli anelli commutativi, un [[anello locale]] è assolutamente piatto se e solo se è un campo;<ref>{{cita|Clarke|p.117-118}}</ref> in generale, una nello commutativo è assolutamente piatto se e solo se è [[anello ridotto|ridotto]] e ha [[dimensione di Krull|dimensione]] 0.<ref>{{cita|Clarke|p.180}}</ref>
Un esempio di anello assolutamente piatto è qualunque [[anello booleano]].
== Note ==
<references/>
== Bibliografia ==
*{{cita libro|autore=[[Michael Atiyah]] e [[Ian G. Macdonald]]|titolo=Introduction to Commutative Algebra|editore=Westview Press|anno=1969|id=ISBN 0-201-40751-5|lingua=inglese|cid=Atiyah}}
*{{cita libro|autore=Charles A. Weibel|titolo=An introduction to homological algebra|editore=Cambridge University Press|id=ISBN 0-521-43500-5|lingua=inglese}}
*{{cita libro|autore=Pete L. Clark|titolo=Commutative Algebra|url=http://math.uga.edu/~pete/integral.pdf|accesso=1 novembre 2011|cid=Clarke}}
== Collegamenti esterni ==
*{{EncyMath|F/f040590}}
<nowiki>[[Categoria:Teoria dei moduli|Piatto]]
[[de:Flachheit (Algebra)]]
[[en:Flat module]]
[[es:Módulo plano]]
[[fr:Module plat]]
[[ja:平坦性]]
[[zh:平坦模]]</nowiki>
{{portale|matematica}}
= [[Lemma di Nakayama]] =
[[:d:Q1424496]]
Il '''lemma di Nakayama''' è un [[teorema]] di grande importanza nello studio degli [[anello (algebra)|anello]] [[anello commutativo|commutativi]] [[anello unitario|unitari]]. Afferma che, se ''I'' è un [[ideale (matematica)|ideale]] di ''A'' contenuto nel suo [[radicale di Jacobson]], ed ''M'' è un ''A''-[[modulo (algebra)|modulo]] finitamente generato tale che ''IM'' = ''M'', allora ''M'' è il modulo nullo.
| 