Localizzazione (algebra)

Nella teoria degli anelli, la localizzazione è un metodo per aggiungere ad un anello (in genere commutativo) gli inversi moltiplicativi di alcuni elementi dell'anello. È una generalizzazione del concetto di campo dei quozienti e può essere applicato ad anelli che non sono necessariamente domini d'integrità; può anche essere generalizzato a coprire il caso dei moduli su un anello.

La localizzazione di un anello rispetto ad un suo sottoinsieme $S$ è indicata con $S^{-1}A$ o $A_{S}$.

La localizzazione di un anello deve il suo nome alla geometria algebrica, dove localizzando l'anello delle funzioni di una varietà algebrica si può studiare il comportamento della varietà in un intorno (di Zariski) di un punto o di una sottovarietà.

Definizione

Sia $A$ un anello commutativo. Una parte moltiplicativa di $A$ è un suo sottoinsieme $S$ tale che il prodotto di due suoi elementi è ancora in $S$; inoltre $S$ è saturata se ogni elemento che divide un qualsiasi elemento di $S$ è ancora in $S$. In particolare, se l'anello è unitario, $1$ è contenuto in ogni parte moltiplicativa saturata. Ogni parte moltiplicativa ha una sua saturazione, costituita dall'insieme degli elementi di $A$ che dividono qualche elemento di $S$. Le parti moltiplicative saturate possono essere caratterizzate in termini di ideali primi: un insieme $T$ è una parte moltiplicativa saturata se e solo se $T=A\setminus \bigcup _{\lambda \in \Lambda }P_{\lambda }$, dove ogni $P_{\lambda }$ è un ideale primo.

Se $S$ è una parte moltiplicativa, nell'insieme $A\times S$ si considera la seguente relazione d'equivalenza: $(a,s)\sim (b,t)$ se e solo se esiste $u\in S$ tale che $uat=usb$. (La presenza di $u$ è necessaria per rendere la relazione transitiva; se $A$ è un dominio d'integrità e $0\notin S$, $(a,s)\sim (b,t)$ se e solo se $at=sb$, cioè se e solo se ${\frac {a}{s}}={\frac {b}{t}}$.)

La localizzazione $S^{-1}A$ è l'insieme quoziente di $A\times S$ rispetto alla classe di equivalenza; la somma e il prodotto sono definiti come se le coppie fossero frazioni, ovvero

$(a,s)+(b,t)=(at+bs,st),$

$(a,s)\cdot (b,t)=(ab,st).$

Se $S$ è una parte moltiplicativa, e $T$ è la sua saturazione, allora le localizzazioni coincidono, nel senso che c'è un isomorfismo naturale tra $S^{-1}A$ e $T^{-1}A$; di conseguenza, si può sempre supporre che la parte moltiplicativa utilizzata sia saturata.

Esiste sempre un omomorfismo $f:A\longrightarrow S^{-1}A$, che associa ad un elemento $a\in A$ la (classe della) coppia $(a,1)$. Questo omomorfismo è universale nel seguente senso: se $g:A\longrightarrow B$ è un omomorfismo tale che $g(s)$ è un'unità per ogni $s\in S$, allora esiste un omomorfismo $G:S^{-1}A\longrightarrow B$ tale che $g=G\circ f$. Questo omomorfismo non è sempre iniettivo: questo avviene se e solo se $S$ non contiene divisori dello zero.

Si ha un concetto di localizzazione anche nel caso non commutativo. Tuttavia non è sempre possibile effettuarla: una condizione sufficiente è che la parte moltiplicativa soddisfi la condizione di Ore (a destra), ovvero che per ogni coppia di elementi $a,b$ (non nulli) gli ideali destri $aA$ e $bA$ abbiano intersezione più grande che il solo elemento $0$. In tal caso si può costruire un anello, chiamato localizzazione destra di $A$; considerando gli ideali sinistri anziché destri si ottiene la condizione di Ore a sinistra, e la costruzione è detta localizzazione sinistra.

La stessa costruzione può essere ripetuta considerando un $A$-modulo $M$, una parte moltiplicativa $S$ di $A$ e definendo la relazione di equivalenza su $M\times S$: in tal caso, il modulo risultante (indicato, analogamente, con $S^{-1}M$) risulta non solo un $A$-modulo, ma anche un $S^{-1}A$-modulo. Equivalentemente, il modulo $S^{-1}M$ può essere definito come il prodotto tensoriale $M\otimes _{A}S^{-1}A$; questa definizione è utile per trattare con successioni esatte di moduli, in quanto permette di dimostrare che la localizzazione è un funtore esatto.

Esempi e casi particolari

Due casi particolari sono abbastanza frequenti da meritare una propria notazione. Il primo è quando $S$ è il complementare di un ideale primo $P$: in tal caso $S^{-1}A$ viene indicato con $A_{P}$, ed è un anello locale. Il secondo è quando $S$ è l'insieme delle potenze di un elemento $x\in A$: in tal caso la localizzazione è indicata con $A_{x}$ (è da notare che, in generale, questa parte moltiplicativa non è saturata).

Se $A$ è un dominio d'integrità, l'insieme di tutti gli elementi non nulli è una parte moltiplicativa: in tal caso, la localizzazione coincide con il campo dei quozienti di $A.$ Se $A$ non è integro, l'insieme $A\setminus \{0\}$ non è una parte moltiplicativa; tuttavia, l'insieme degli elementi che non sono divisori dello zero lo è, ed è anche saturata. (Questo dimostra, tra l'altro, che l'insieme dei divisori dello zero è unione di ideali primi.) In questo caso, la localizzazione prende il nome di anello totale dei quozienti di $A$, ed è la più grande localizzazione tale che l'omomorfismo canonico è iniettivo.

La localizzazione $S^{-1}A$ è l'anello nullo se e solo se $0\in S.$

Corrispondenza di ideali

Ogni ideale di $A$ può essere esteso ad un ideale di $S^{-1}A$, denotato a volte con $S^{-1}I$: esso è formato dagli elementi nella forma $(i,s)$ per un $i\in I$, ed è il più piccolo ideale di $S^{-1}A$ che contiene l'insieme $f(I)$ (dove $f:A\longrightarrow S^{-1}A$ è l'omomorfismo canonico). In particolare, $S^{-1}I=S^{-1}A$ se e solo se $I$ interseca $S$ (supponendo che $S$ sia saturata).

Tutti gli ideali della localizzazione sono estensioni di ideali di $A$; tuttavia, anche riducendosi agli ideali disgiunti da $S$, non tutti gli ideali di $A$ sono controimmagini (a volte contrazione) di ideali di $S^{-1}A$.

Tuttavia, gli ideali primi e gli ideali primari disgiunti da $S$ sono sempre la contrazione della loro estensione in $S^{-1}A$; in particolare, esiste una corrispondenza biunivoca tra gli ideali primi di $S^{-1}A$ e gli ideali primi di $A$ disgiunti da $S$. Se $S=A\setminus P$ (dove $P$ è un ideale primo), $S^{-1}A=A_{P}$ diventa un anello locale con ideale massimale $S^{-1}P$ (indicato anche come $PA_{P}$ o, più raramente, come $P_{P}$).

Proprietà

Le localizzazioni di un anello spesso ereditano alcune proprietà dell'anello di partenza: questo avviene, ad esempio, per l'essere integri, l'essere noetheriani o l'essere integralmente chiusi. Allo stesso modo, se $A\subseteq B$ è un'estensione intera di anelli, e $S$ è una parte moltiplicativa di $A$, allora anche l'estensione $S^{-1}A\subseteq S^{-1}B$ è intera.

A volte è possibile compiere il percorso inverso, cioè stabilire se una data proprietà è valida per $A$ esaminando le localizzazioni; quando una proprietà vale per $A$ se e solo se vale per tutte le sue localizzazioni è detta locale. Un esempio tipico di proprietà locale è l'essere integralmente chiusi; tuttavia, né l'essere integri né la noetherianità sono proprietà locali.

In alcuni casi, una definizione può essere data per anelli locali e poi essere estesa ad anelli arbitrari considerando le localizzazioni: ad esempio, a partire dalla definizione di anello regolare locale, si passa poi a quella di anello regolare richiedendo che l'anello $A_{M}$ sia regolare locale per ogni ideale massimale $M$. Generalmente si ha poi che ogni localizzazione $S^{-1}A$ possiede la stessa proprietà.

Le proprietà locali sono particolarmente utili nello studio dei moduli, in quanto la teoria dei moduli su anelli locali è generalmente più semplice che quella su anelli arbitrari. Esempi di proprietà locali sono l'essere il modulo nullo, l'iniettività o la suriettività di un omomorfismo e la piattezza, mentre l'essere un modulo libero non è una proprietà locale.

Bibliografia

• (EN) Michael Atiyah e Ian G. Macdonald, Introduction to Commutative Algebra, Westview Press, 1969, ISBN 0-201-40751-5.

Altri progetti

Altri progetti

• Wikizionario

• Wikizionario contiene il lemma di dizionario «localizzazione»

Collegamenti esterni

• Localizzazione, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Eric W. Weisstein, Localization, su MathWorld, Wolfram Research.