APPUNTI DI ALGEBRA 2

Transcript

1 niversità degli Studi di Roma La Sapienza Dipartimento di Matematica G.Castelnuovo A.A GILIO CAMPANELLA APPNTI DI ALGEBRA 2 con oltre 150 esercizi svolti l ideale primo (2), determinare il campo Z (2) /M. Esercizio (i) Sia S una parte moltiplicativa di un anello c. u. A. Verificare che (ii) Posto S = {6 h, h 0}, verificare che ogni ideale di Z S è principale e determinare Spec(Z S ). Spec(A S )={p S, p Spec(A) p S = }. (iii) In Z 16 sia S = {2 h, h 0}. Determinare Spec((Z 16 ) S ). Esercizio (i) Sia S una parte moltiplicativa di un anello c. u. A. Verificare che Spec(A S ) s Q può essere immerso in Spec(A). C 2 (rispetto alla topologia di Zariski). A t C D 4 P (ii) Se a A e S = {a h, h 0}, verificare che Spec(A S ) si identifica ad un aperto di Spec(A) C 1 t 1 t 2 Esercizio (i) Sia A un anello c. u. e sia S 0 = A Z(A) l insieme dei non 0-divisori di A. Verificare che S 0 è una parte moltiplicativa di A eche A è un sottoanello di A S0. (ii) Sia S una parte moltiplicativa di A tale che l omomorfismo canonico sia iniettivo. Verificare P 1 B O M S che S S 0 [per questo motivo A S0 è detto anello totale delle frazioni di A]. (iii) Calcolare (Z 12 ) S0. V 1 ϕ V 2 Esercizio In Z siano assegnati i numeri primi distinti p 1,p 2,...,pn. Determinare una parte moltiplicativa S di Z tale che il dominio Z S ammetta come ideali primi non nulli esattamente (p 1 ) S, (p 2 ) S,..., (pn) S. ρ ϕ 2 ρ ϕ 2 ϕ ρ ϕ 3 ρ Esercizio Sia A un anello c. u. e sia p un suo ideale primo. Dimostrare che Q ( A / / = p) Ap O {1 E } ϑ {1 E } = E H P 2ϑ [dove pa p = { a s, a p, s A p} è l unico ideale massimale di A p, cfr. Esercizio 3.2.4]. ρ ϕ 2 ρ ϕ 2 ϕ ρ ϕ 3 ρ V 1 ϕ V 2 pa p O ϑ H P D = Q D 4

2 2

3 3 Prefazione Questi appunti contengono le lezioni del Modulo di Algebra 2, da me tenuto presso il Dipartimento G.Castelnuovo dell niversità La Sapienza di Roma negli A.A e Il corso di Algebra 2 propone agli studenti della laurea Triennale in Matematica quegli argomenti di algebra elementare che usualmente non trovano spazio nel corso di Algebra 1, ma che sono necessari per fornire un adeguata conoscenza di base della materia. Ma non si tratta soltanto di un corso che colma delle lacune. Nelle mie intenzioni - e speranze - questo corso dovrebbe chiarire allo studente i legami tra l algebra classica, rivolta alla determinazione algebrica delle radici di un equazione polinomiale, e l algebra astratta, omoderna, rivolta allo studio delle strutture algebriche. Questi collegamenti sono spiegati dalla Teoria di Galois e l intero corso è dunque finalizzato ad introdurre i primi elementi di tale teoria (cfr. Cap. 5). Nel primo capitolo vengono studiati gruppi ed anelli quozienti ed illustrato il teorema fondamentale di omomorfismo e le relative conseguenze (teoremi di isomorfismo). Il secondo e terzo capitolo propongono lo studio di alcuni argomenti di teoria dei gruppi (soprattutto i teoremi di Sylow) e di teoria degli anelli (ideali massimali e primi, domini a fattorizzazione unica, a ideali principali, euclidei). Il quarto capitolo è dedicato allo studio delle estensioni di campi e relative applicazioni (costruzioni con riga e compasso). Il quinto ed ultimo capitolo, come già detto, si occupa di introdurre i primi elementi della teoria di Galois: campi di spezzamento, estensioni normali e separabili, risolubilità di gruppi, gruppo di Galois di un estensione e corrispondenza di Galois tra sottogruppi del gruppo di Galois e campi intermedi dell estensione. Per tutte le definizioni, i risultati e le notazioni impiegate senza adeguati riferimenti, rinvio ai miei appunti del corso di Algebra 1 (cfr. [AA] e [AA2]). Giugno 2007 Giulio Campanella

4 4

5 5 Indice Capitolo 1 Quozienti di gruppi e di anelli. Teoremi di isomorfismo 1. Sottogruppi normali e gruppi quoziente Ideali ed anelli quoziente Teorema fondamentale di omomorfismo Teoremi di isomorfismo per i gruppi Teoremi di isomorfismo per gli anelli Capitolo 2 Elementi di teoria dei gruppi 1. Il teorema di Cayley Prodotto diretto di gruppi Azione di un gruppo su un insieme Esistenza di sottogruppi Gruppi abeliani finiti Capitolo 3 Elementi di teoria degli anelli 1. Ideali massimali e ideali primi Campo dei quozienti e anelli di frazioni Domini d integrità Caratteristica di un anello Capitolo 4 Elementi di teoria dei campi 1. Estensioni di campi Estensioni semplici Estensioni algebriche Costruzioni con riga e compasso Capitolo 5 n introduzione alla teoria di Galois 1. Risolubilità per radicali Campi di spezzamento ed estensioni normali Separabilità Gruppi risolubili La corrispondenza di Galois Il teorema fondamentale dell Algebra Appendici del Cap Dimostrazione del teorema fondamentale della teoria di Galois Il Teorema di Galois sulla risolubilità per radicali

6 6 Soluzioni degli esercizi del Cap Soluzioni degli esercizi del Cap Soluzioni degli esercizi del Cap Soluzioni degli esercizi del Cap Soluzioni degli esercizi del Cap Altri esercizi Bibliografia