Ideale massimale: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
→‎Collegamenti esterni: +tl di navigazione
Modifica Lemma di Krull, come da discussione
Riga 14:
==Esistenza e unicità dell'ideale massimale==
 
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 commutativonon 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 <math>\mathbb{Z}</math> degli [[numero intero|interi]] gli ideali massimali sono gli ideali principali generati dai numeri primi.