Anello noetheriano

Da Wikipedia, l'enciclopedia libera.

In algebra, un anello noetheriano è un anello i cui ideali sono finitamente generati. Questa proprietà per gli anelli costituisce un analogo della finitezza, e fu studiata per prima da Emmy Noether, che la rilevò sugli anelli di polinomi.

Definizione formale[modifica | modifica wikitesto]

Un anello si dice neoetheriano sinistro se soddisfa una delle seguenti condizioni equivalenti:

  1. ogni ideale sinistro di è finitamente generato, cioè esistono degli elementi tali che [1]
  2. ogni catena ascendente di ideali sinistri di è stazionaria (condizione della catena ascendente);
  3. ogni famiglia di ideali sinistri di non vuota e parzialmente ordinata ammette almeno un elemento massimale.

Se le medesime proprietà valgono per gli ideali destri, l'anello è detto noetheriano destro; un anello che è contemporaneamente noetheriano destro e sinistro, è detto semplicemente noetheriano.

Per gli anelli commutativi le tre definizioni sopra coincidono, ed inoltre esiste una quarta proprietà equivalente:

Esempi[modifica | modifica wikitesto]

Sono anelli noetheriani:

  • l'anello dei numeri interi , in cui ogni ideale è principale, cioè generato da un solo elemento;
  • tutti i campi; un campo ha infatti due soli ideali, e sé stesso, (ovvero l'intero campo è generato dall'elemento neutro della moltiplicazione);
  • l'anello dei polinomi in un numero finito di variabili, a coefficienti interi o appartenenti ad un campo.

Sono anelli non noetheriani:

  • l'anello dei polinomi in infinite variabili ; la sequenza ascendente di ideali infatti non ha un termine;
  • l'anello delle funzioni continue reali di variabili reali; dato l'ideale , la catena ascendente non termina.

Relazioni con altre strutture algebriche[modifica | modifica wikitesto]

Dato un anello noetheriano , è possibile generare altri anelli noetheriani; ad esempio sono noetheriani anche l'anello dei polinomi a coefficienti nell'anello , e l'anello delle serie di potenze ; inoltre, dato un ideale bilatero , l'anello quoziente è anch'esso noetheriano.

Dalle precedenti proprietà segue che ogni algebra commutativa su di un campo è un anello noetheriano. Sono anche noetheriani tutti gli anelli artiniani.

Moduli noetheriani[modifica | modifica wikitesto]

Un diretto analogo degli anelli noetheriani sono i moduli noetheriani, che presentano le medesime proprietà degli anelli noetheriani, definite però rispetto ai propri sottomoduli; un modulo noetheriano è pertanto un modulo per cui valgono le seguenti condizioni equivalenti:

  1. tutti i suoi sottomoduli son finitamente generati;
  2. i suoi sottomoduli soddisfano la condizione della catena ascendente;
  3. ogni famiglia non vuota di sottomoduli possiede un elemento massimale.

Esiste uno stretto legame tra anelli e sottomoduli noetheriani: infatti ogni anello noetheriano è anche un modulo noetheriano su sé stesso; inoltre un anello è noetheriano sinistro (destro) se e solo se ogni sinistro (destro) finitamente generato è noetheriano.

Applicazioni[modifica | modifica wikitesto]

La proprietà di "finitezza" degli anelli noetheriani viene utilizzata nella teoria degli anelli e nella geometria algebrica per numerose applicazioni. Ad esempio, un insieme di infinite equazioni polinomiali può essere rimpiazzato da un insieme finito di equazioni con le stesse soluzioni, grazie al fatto che l'anello dei polinomi su un campo è noetheriano; la riduzione è operata considerando l'ideale generato dai polinomi associati alle equazioni: i polinomi generatori dell'ideale, che sono in numero finito, hanno le stesse radici degli infiniti polinomi di partenza.

Note[modifica | modifica wikitesto]

  1. ^ Se l'anello è dotato di unità, la condizione si può scrivere più semplicemente

Voci correlate[modifica | modifica wikitesto]

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