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.

Gli ideali massimali sono in stretto rapporto con gli anelli semplici, infatti dato ${\displaystyle A}$ anello:

${\displaystyle I{\text{ massimale}}\Leftrightarrow A/I{\text{ semplice}}.}$

Inoltre se ${\displaystyle A}$ è un anello commutativo unitario abbiamo che il quoziente ${\displaystyle A/I}$ oltre a essere semplice è anche un campo; questo non è più vero in un anello senza unità, ad esempio l'ideale ${\displaystyle 4\mathbb {Z} }$ è massimale in ${\displaystyle 2\mathbb {Z} }$, ma ${\displaystyle 2\mathbb {Z} /4\mathbb {Z} }$ non è un campo nonostante sia un anello semplice.

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 ${\displaystyle \mathbb {Z} }$ 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.

Dato un anello ${\displaystyle A}$, se per esso valgono alcune condizioni particolari, i suoi ideali massimali coincidono con altre famiglie di ideali:

• se ${\displaystyle A}$ è un dominio ad ideali principali (ossia tutti gli ideali sono generati da un solo elemento^[1]), ed ${\displaystyle I}$ è un suo ideale proprio diverso da ${\displaystyle (0)}$, allora ${\displaystyle I}$ è primo se e solo se è massimale; inoltre, dato un elemento ${\displaystyle x\in A}$ non invertibile e non nullo, valgono le seguenti equivalenze:

${\displaystyle x{\text{ irriducibile}}\Leftrightarrow (x){\text{ massimale}}\Leftrightarrow (x){\text{ primo}}\Leftrightarrow x{\text{ primo}};}$

• dato un campo ${\displaystyle K}$, gli ideali massimali dell'anello dei polinomi ${\displaystyle K[x]}$ sono tutti e soli quelli del tipo ${\displaystyle (f(x))}$, dove ${\displaystyle f(x)\in K[x]}$ è un polinomio irriducibile.

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

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:

${\displaystyle {\begin{matrix}\left\{x_{n}\right\}+\left\{y_{n}\right\}&=&\left\{x_{n}+y_{n}\right\};\\\left\{x_{n}\right\}\left\{y_{n}\right\}&=&\left\{x_{n}y_{n}\right\}.\end{matrix}}}$

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 ${\displaystyle x_{n}=1}$. 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)

${\displaystyle D=\left\{\left\{x_{n}\right\}_{n\in \mathbb {N} }:\,\lim _{n\rightarrow \infty }x_{n}=0\right\},}$

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

${\displaystyle \mathbb {R} ={\frac {C}{D}}.}$

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.

• Elisa Gallo, Algebra, Torino, Levrotto & Bella, 1985.
• Santi Valenti, Dall'intero all'iperreale: un'introduzione graduata all'analisi non standard (PDF), Palermo, GRIM, 1994. URL consultato il 23 marzo 2008 (archiviato dall'url originale il 18 aprile 2008).

• Ultrafiltro
• Condizione della catena ascendente

• Ideale massimale, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) Eric W. Weisstein, Maximal Ideal, su MathWorld, Wolfram Research.
• (EN) Maximal ideal, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
• (EN) Una breve descrizione degli ideali massimali, su mathreference.com.

V · D · M Algebra
Numeri	Naturali · Interi · Razionali · Irrazionali · Algebrici · Trascendenti · Reali · Complessi · Numero ipercomplesso · Numero p-adico · Duali · Complessi iperbolici
Principi fondamentali	Principio d'induzione · Principio del buon ordinamento · Relazione di equivalenza · Relazione d'ordine · Associatività della potenza
Algebra elementare	Equazione · Disequazione · Polinomio · Triangolo di Tartaglia · Teorema binomiale · Teorema del resto · Lemma di Gauss · Teorema delle radici razionali · Regola di Ruffini · Criterio di Eisenstein · Criterio di Cartesio · Disequazione con il valore assoluto · Segno · Metodo di Gauss-Seidel · Polinomio simmetrico · Funzione simmetrica
Elementi di Calcolo combinatorio	Fattoriale · Permutazione · Disposizione · Combinazione · Dismutazione · Principio di inclusione-esclusione
Concetti fondamentali di Teoria dei numeri	Primi Numero primo · Teorema dell'infinità dei numeri primi · Crivello di Eratostene · Crivello di Atkin · Test di primalità · Teorema fondamentale dell'aritmetica Divisori Interi coprimi · Identità di Bézout · MCD · mcm · Algoritmo di Euclide · Algoritmo esteso di Euclide · Criteri di divisibilità · Divisore Aritmetica modulare Teorema cinese del resto · Piccolo teorema di Fermat · Teorema di Eulero · Funzione φ di Eulero · Teorema di Wilson · Reciprocità quadratica
Teoria dei gruppi	Gruppi Gruppo (finito · ciclico · abeliano) · Gruppo primario · Gruppo quoziente · Gruppo nilpotente · Gruppo risolubile · Gruppo simmetrico · Gruppo diedrale · Gruppo semplice · Gruppo sporadico · Gruppo mostro · Gruppo di Klein · Gruppo dei quaternioni · Gruppo generale lineare · Gruppo ortogonale · Gruppo unitario · Gruppo unitario speciale · Gruppo residualmente finito · Gruppo spaziale · Gruppo profinito · Out(Fn) · Parola · Prodotto diretto · Prodotto semidiretto · Prodotto intrecciato Teoremi Alternativa di Tits · Teorema di isomorfismo · Teorema di Lagrange · Teorema di Cauchy · Teoremi di Sylow · Teorema di Cayley · Teorema di struttura dei gruppi abeliani finiti · Lemma della farfalla · Lemma del ping-pong · Classificazione dei gruppi semplici finiti Sottoinsiemi Sottogruppo · Sottogruppo normale · Sottogruppo caratteristico · Sottogruppo di Frattini · Sottogruppo di torsione · Classe laterale · Classe di coniugio · Serie di composizione Omomorfismo · Isomorfismo · Automorfismo interno · Automorfismo esterno · Permutazione · Presentazione di un gruppo · Azione di gruppo
Teoria degli anelli	Anello (artiniano · noetheriano · locale) · Caratteristica · Ideale (primo · massimale) · Dominio (a fattorizzazione unica · a ideali principali · euclideo) · Matrice · Anello semplice · Anello degli endomorfismi · Teorema di Artin-Wedderburn · Modulo · Dominio di Dedekind · Estensione di anelli · Teorema della base di Hilbert · Anello di Gorenstein · Base di Gröbner · Prodotto tensoriale · Primo associato
Teoria dei campi	Campo · Polinomio irriducibile · Polinomio ciclotomico · Teorema fondamentale dell'algebra · Campo finito · Automorfismo · Endomorfismo di Frobenius Estensioni Campo di spezzamento · Estensione di campi · Estensione algebrica · Estensione separabile · Chiusura algebrica · Campo di numeri · Estensione normale · Estensione di Galois · Estensione abeliana · Estensione ciclotomica · Teoria di Kummer Teoria di Galois Gruppo di Galois · Teoria di Galois · Teorema fondamentale della teoria di Galois · Teorema di Abel-Ruffini · Costruzioni con riga e compasso
Altre strutture algebriche	Magma · Semigruppo · Corpo · Spazio vettoriale · Algebra su campo · Algebra di Lie · Algebra differenziale · Algebra di Clifford · Gruppo topologico · Gruppo ordinato · Quasi-anello · Algebra di Boole
argomenti	Teoria delle categorie · Algebra lineare · Algebra commutativa · Algebra omologica · Algebra astratta · Algebra computazionale · Algebra differenziale · Algebra universale

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