Cutolo Corso di Algebra Commutativa

Corso di laurea magistrale in Matematica
Corso di Algebra Commutativa, a.a. 2023/24 — prof. G. Cutolo

Nota

Quello che segue è un elenco sintetico degli argomenti trattati nel corso, non necessariamente in ordine cronologico. Può essere utile consultare il più dettagliato registro delle lezioni, che propone anche un numero di esercizi che, pur non essendo generalmente intesi come parte integrante del corso, possono essere (interessanti di per sé e) di aiuto per la verifica della propria preparazione. Il registro è accessibile dalla pagina web del corso (), che contiene anche ulteriori materiali e informazioni.

Gli anelli (e le algebre) discussi nel corso sono, senza eccezione, associativi e, con la sola eccezione degli anelli di endomorfismi, commutativi. Dunque, nel programma che segue, anche dove non indicato, anelli e algebre sono intesi, di regola, come associativi e commutativi.

Programma del corso

Richiami e nozioni fondamentali

Anelli (associativi e quasi sempre commutativi), premoduli su anelli commutativi e moduli su anelli commutativi unitari. Sotto(pre)moduli, congruenze e quozienti; teoremi di omomorfismo e di corrispondenza. Cambio dell'anello degli scalari. Regole di calcolo per elementi e per parti di anelli e (pre)moduli. Annullatori; divisione tra parti di anelli e premoduli (trasportatori, o conduttori). (Pre)moduli ciclici, (pre)moduli semplici (o irriducibili) e rappresentazioni dei moduli ciclici o semplici come quozienti dell'anello degli scalari; caratterizzazione dei premoduli ciclici e di quelli semplici. Legge modulare di Dedekind. Prodotti e somme dirette (coprodotti) di (pre)moduli. Proprietà universali e (pre)moduli liberi.

Prealgebre ed algebre (associative e commutative); (pre)algebre unitarie. Omomorfismi di struttura. Immersione di un'algebra in un'algebra unitaria (accresciuta, ovvero augmented), premoduli (o prealgebre) come moduli (o algebre) su un anello accresciuto, idealizzazione di un (pre)modulo.

Ideali in anelli commutativi

Ideali primi, ideali massimali, loro caratterizzazioni; intersezioni, prodotti e comassimalità tra ideali. Lemma di Nakayama e lemma di Nakayama in forma forte (NAK), anche per premoduli.

Elementi nilpotenti; il nilradicale di un anello; la varietà ed il radicale di un ideale. Radicale di Jacobson e caratterizzazione dei suoi elementi, in particolare in anelli unitari. Anelli (unitari) locali.

Costruzioni di anelli; applicazioni

Prodotti diretti e somme dirette di anelli e di algebre; elementi idempotenti. Omomorfismi in prodotti e applicazioni all'aritmetica modulare: il teorema cinese dei resti; moltiplicatività della funzione di Eulero.

Anelli di polinomi (visti come algebre unitarie associative e commutative libere).

Condizioni di catena

Condizioni minimale e massimale, anelli e premoduli artiniani e noetheriani. Premoduli che verificano entrambe le proprietà. Caratterizzazioni dei premoduli noetheriani; caratterizzazione degli anelli unitari noetheriani in termini di ideali primi. Teorema della base di Hilbert per anelli di polinomi.

Anelli artiniani: ideali primi, ideali massimali, nilpotenza del radicale di Jacobson. Caratterizzazione e struttura degli anelli artiniani unitari.

Decomposizione primaria di ideali in anelli commutativi

Ideali primi minimali contenenti un assegnato ideale. Ideali primari e loro radicali. Confronto, per un ideale, tra le proprietà di essere primario, di avere un ideale primo come radicale, di essere potenza di un ideale primo.

Ideali irriducibili per intersezioni (finite). Decomposizioni primarie e decomposizioni primarie minimali di ideali. Primo e secondo teorema di unicità per le decomposizioni primarie minimali. Primi associati ad un ideale, primi immersi e primi isolati. Il caso speciale degli anelli noetheriani.

Anelli di frazioni

Parti (moltiplicativamente) chiuse sature in un anello commutativo. Anelli di frazioni. Elementi invertibili, divisori dello zero, nilpotenti in anelli di frazioni. Espansioni di ideali da un anello ad un suo anello di frazioni e, viceversa, contrazioni. Espansioni e contrazioni di ideali primari. Determinazione degli ideali e degli ideali primi o primari in anelli di frazioni. Localizzazioni.

Teorema dell'intersezione di Krull per premoduli noetheriani.

Estensioni di premoduli; moduli proiettivi

Estensioni di moduli come sequenze esatte corte. Estensioni spezzate. Il funtore Hom covariante; sua esattezza a sinistra.

Moduli proiettivi. Caratterizzazioni dei moduli proiettivi. Proiettività e somme dirette. Lemma della base duale.

Fattorialità; anelli di Dedekind

Il preordinamento divisibilità nei monoidi commutativi; ordinamento indotto sul quoziente modulo la relazione di associazione e connessioni con la fattorialità. Caratterizzazione, in termini di questo ordinamento, dei monoidi fattoriali. Applicazioni in teoria degli anelli.

Il monoide degli ideali frazionari di un dominio di integrità unitario; caratterizzazione dei suoi elementi invertibili come moduli proiettivi. Anelli di Dedekind. Diverse caratterizzazioni, ad esempio in termini di invertibilità di ideali primi, o di decomposizione di ideali in prodotti di ideali primi. Quozienti propri in un anello di Dedekind e generatori di ideali. Connessioni tra le proprietà, per un anello, di essere fattoriale, principale, di Dedekind. Condizioni affinché un anello di Dedekind sia principale (essere fattoriale, essere semilocale), ed osservazioni correlate. Il gruppo delle classi di un anello di Dedekind.

Elementi interi su un anello e loro caratterizzazioni; chiusure intere, domini di integrità unitari integralmente chiusi (lo sono gli anelli fattoriali).

Anelli di Bézout ed anelli di valutazione. Anelli principali di valutazione. Coppie massimali costituite da un sottoanello ed un suo ideale proprio nei campi come anelli di valutazione; anelli di valutazione e chiusura intera di un dominio di integrità nel suo campo dei quozienti. Preservazione della dimensioni in ampliamenti interi; campi come ampliamenti interi.

Ulteriori caratterizzazioni degli anelli di Dedekind in termini delle loro localizzazioni e come anelli noetheriani integralmente chiusi di dimensione al più 1 (teorema di E. Noether). Il gruppo delle classi di un anello di Dedekind; teorema di Claborn (senza dimostrazione).

L'anello degli interi algebrici in un campo di numeri; è un anello di Dedekind. Descrizione dell'anello degli interi di una estensione quadratica del campo razionale. Alcune proprietà dell'anello degli interi di un campo di numeri: il teorema degli invertibili di Dirichlet; il teorema di Kummer sulla finitezza del gruppo delle classi (di questi risultati non è richiesta dimostrazione); finitezza dei quozienti propri, proprietà della norma di elementi ed ideali. Struttura del gruppo moltiplicativo di un campo di numeri.

Irriducibili nell'anello degli interi di Gauss e teorema di Girard-Fermat sulle somme di due quadrati.