Apri il menu principale

In matematica, in particolare in algebra, un anello locale è un anello con un unico ideale massimale (destro o sinistro).

Gli anelli locali sono dotati di particolari caratteristiche, utili a descrivere il comportamento locale di funzioni definite su varietà algebriche. Il concetto di anello locale fu introdotto da Wolfgang Krull nel 1938 con il nome di Stellenringe[1]. Il termine inglese local ring (da cui quello italiano) è dovuto a Zariski[2] .

Indice

DefinizioneModifica

Un anello   è detto anello locale se possiede una delle seguenti proprietà equivalenti fra loro:

  •   ha un unico ideale massimale destro o sinistro;
  •  , e la somma di due elementi non invertibili non è invertibile;
  •  , e dato un elemento  ,   è invertibile oppure   è invertibile;
  • se una somma finita di elementi dell'anello è invertibile, allora lo è almeno uno degli addendi;
  • non esistono due ideali sinistri   e   coprimi, cioè tali che  .

Alcuni autori richiedono anche che l'anello sia noetheriano, chiamando quasi locali gli anelli che possiedono le proprietà sopra indicate.

ProprietàModifica

Per un anello locale valgono le seguenti proprietà:

  • in un anello locale, l'ideale massimale destro coincide con quello sinistro;
  • gli elementi non invertibili formano un ideale proprio;
  • tutti i campi sono anelli locali, in quanto   è il loro unico ideale ed è ovviamente massimale.

Anello dei germi di funzioniModifica

Consideriamo l'insieme delle funzioni reali continue a valori reali definite su un intorno   di   e la seguente relazione:

 

La relazione sopra riportata è di equivalenza; le classi di equivalenza sono dette germi delle funzioni in  . È possibile definire in maniera naturale una addizione e una moltiplicazione fra germi, in modo da formare un anello commutativo:

 

dove   è il germe a cui appartiene la funzione  

Gli elementi invertibili dell'anello sono i germi   i cui rappresentanti sono funzioni non nulle nell'origine:  ; la somma di due germi non invertibili è non invertibile, pertanto l'anello così ottenuto è locale e il suo ideale massimale è costituito dai germi delle funzioni nulle nell'origine.

Con questa costruzione è possibile identificare due funzioni che coincidono su un qualunque intorno aperto   di zero: l'anello formato dai germi delle funzioni contiene le informazioni sul comportamento locale delle funzioni, di qui nasce il termine locale per identificare questa tipologia di anelli.

Questo argomento può essere esteso a numerose altre strutture matematiche, quali:

In particolare, è possibile estendere il concetto di varietà algebrica tramite il concetto di schema, ovvero di spazio dotato di una particolare struttura di anelli locali.

Altri esempi di anelli localiModifica

  • l'anello dei numeri razionali a denominatori dispari è locale; il suo ideale massimale è formato dalle frazioni con numeratore pari e denominatore dispari;
  • l'anello delle serie formali di potenze su un campo è locale; il suo ideale massimale è formato dalle serie di potenze senza termine noto;
  • dato un campo   e  , l'anello quoziente   è locale; il suo ideale massimale è formato dai polinomi senza termine noto.

Anelli locali commutativiModifica

Detto   l'unico ideale massimale dell'anello locale  , l'anello locale stesso viene solitamente scritto come  . È possibile dotare l'anello locale di una topologia detta topologia  -adica, che ha come base per gli intorni di   le potenze dell'ideale  . Il campo   è detto campo dei residui di  .

Omomorfismi di anelli localiModifica

Dati due anelli locali   e  , un omomorfismo di anelli locali è un omomorfismo di anelli   per cui  , ovvero per cui   è continua secondo le topologie sopra descritte.

NoteModifica

  1. ^ (DE) Wolfgang Krull, Dimensionstheorie in Stellenringen, in J. Reine Angew. Math., vol. 179, 1938, p. 204.
  2. ^ Oscar Zariski, Foundations of a General Theory of Birational Correspondences, in Trans. Amer. Math. Soc., vol. 53, nº 3, American Mathematical Society, maggio 1943, pp. 490–542 [497], DOI:10.2307/1990215, JSTOR 1990215.

Voci correlateModifica

Collegamenti esterniModifica

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