Ideale massimale

In matematica, in particolare nella teoria degli anelli, un ideale massimale è un ideale che risulta essere un elemento massimale (rispetto all'inclusione insiemistica) dell'insieme degli ideali propri di un anello, ovvero tale che non sia contenuto propriamente in nessun altro ideale proprio dell'anello.

Gli ideali massimali sono pertanto caratterizzati dalla proprietà di essere contenuti solamente in due ideali: l'intero anello e l'ideale massimale stesso. In un diagramma di Hasse questa proprietà è espressa dal fatto che gli ideali massimali sono sempre collegati direttamente al punto che rappresenta l'intero anello.

Ideali massimali e anelli sempliciModifica

Gli ideali massimali sono in stretto rapporto con gli anelli semplici, infatti dato   anello:

 

Inoltre se   è un anello commutativo unitario abbiamo che il quoziente   oltre a essere semplice è anche un campo; questo non è più vero in un anello senza unità, ad esempio l'ideale   è massimale in  , ma   non è un campo nonostante sia un anello semplice.

Esistenza e unicità dell'ideale massimaleModifica

In generale, non esistono processi costruttivi per determinare un ideale massimale di un anello qualsiasi; in numerose situazioni è tuttavia possibile stabilire l'esistenza dell'ideale massimale. Il risultato più generale a questo proposito è il Lemma di Krull (1929): ogni anello non banale con unità possiede almeno un ideale massimale; la dimostrazione del teorema fa uso del lemma di Zorn, e quindi dell'assioma della scelta.

Per alcuni anelli è anche possibile una costruzione diretta degli ideali massimali; ad esempio, è semplice dimostrare che nell'anello   degli interi gli ideali massimali sono gli ideali principali generati dai numeri primi.

In generale, un anello può possedere più ideali massimali; gli anelli che contengono un solo ideale massimale sono detti anelli locali.

Caratterizzazioni degli ideali massimaliModifica

Dato un anello  , se per esso valgono alcune condizioni particolari, i suoi ideali massimali coincidono con altre famiglie di ideali:

  • se   è un dominio ad ideali principali (ovvero generati da un solo elemento[1]), ed   è un suo ideale proprio diverso da  , allora   è primo se e solo se è massimale; inoltre, dato un elemento   non invertibile e non nullo, valgono le seguenti equivalenze:
 ;
  • dato un campo  , gli ideali massimali dell'anello dei polinomi   sono tutti e soli quelli del tipo  , dove   è un polinomio irriducibile.

ApplicazioniModifica

Di seguito vengono riportati alcuni esempi di costruzioni che fanno uso di ideali massimali.

Numeri realiModifica

Ad esempio, la costruzione dei numeri reali si può effettuare a partire dalle successioni di Cauchy di numeri razionali: si definiscono la somma e il prodotto di due successioni:

 

Si può dimostrare che, con tali operazioni, esse costituiscono un anello commutativo con unità, dove l'elemento neutro della moltiplicazione è costituito dalla successione costante per cui  . Tale anello non è però un campo, in quanto ad esempio, le successioni che contengono almeno un elemento nullo non possiedono inverso per la moltiplicazione.

Considerando l'insieme delle successioni convergenti a zero (zero-successioni)

 ,

si dimostra   è un ideale massimale, pertanto l'anello quoziente è un campo. Esso possiede le usuali proprietà del campo reale, ed è pertanto identificabile con esso:

 .

Numeri iperrealiModifica

Utilizzando una costruzione analoga alla precedente, è possibile costruire il campo dei numeri iperreali: si considera l'anello commutativo con unità formato dalle successioni di Cauchy di numeri reali, e l'ideale formato dalle successioni definitivamente nulle (ovvero che possiedono al più un numero finito di elementi non nulli). Tale ideale non è massimale; il lemma di Krull assicura però l'esistenza di un ideale massimale che lo contenga; l'anello quoziente rispetto a tale ideale massimale è un campo, che si può identificare con quello dei numeri iperreali.

NoteModifica

  1. ^ L'ideale principale generato dall'elemento   viene scritto  

BibliografiaModifica

Voci correlateModifica

Collegamenti esterniModifica

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