Corso di algebra astratta

Lezione 1 • Operazioni Binarie e Proprietà

Definisce le operazioni binarie ed esamina chiusura, associatività, commutatività e identità. Collega le proprietà operative agli assiomi dei gruppi e degli anelli.

Lezione 2 • Introduzione alla Dimostrazione Matematica

Tratta la dimostrazione diretta, contrapositiva, per assurdo e per induzione. Fornisce agli studenti gli strumenti per costruire e valutare argomentazioni algebriche rigorose durante tutto il corso.

Lezione 3 • Insiemi, Relazioni e Funzioni

Ripassa la notazione insiemistica, le relazioni di equivalenza e i tipi di funzioni. Fornisce l'impalcatura logica per definire rigorosamente le strutture algebriche.

Lezione 1 • Laterali e Teorema di Lagrange

Sviluppa i laterali sinistri e destri, dimostra il teorema di Lagrange e ne ricava l'indice. Stabilisce il vincolo fondamentale sugli ordini dei sottogruppi nei gruppi finiti.

Lezione 2 • Omomorfismi di Gruppi

Definisce omomorfismi, nuclei e immagini, e dimostra le proprietà di base. Introduce il concetto di morfismo che unifica tutte le strutture algebriche studiate in seguito.

Lezione 3 • Definizione ed Esempi di Gruppi

Enuncia gli assiomi di gruppo e passa in rassegna esempi canonici tra cui interi, simmetrie e gruppi di matrici. Fondamenta le definizioni astratte in contesti concreti e familiari.

Lezione 4 • Gruppi Ciclici e loro Struttura

Classifica i gruppi ciclici a meno di isomorfismo e analizza il loro reticolo di sottogruppi. Fornisce il primo risultato completo di classificazione strutturale del corso.

Lezione 1 • I Teoremi di Isomorfismo

Enuncia e dimostra il primo, il secondo e il terzo teorema di isomorfismo. Fornisce gli strumenti principali per confrontare le strutture dei gruppi e semplificare l'analisi degli omomorfismi.

Lezione 2 • Costruzione del Gruppo Quoziente

Costruisce il gruppo quoziente G/N e verifica gli assiomi di gruppo. Dimostra come la fattorizzazione per un sottogruppo normale crei un nuovo gruppo più semplice.

Lezione 3 • Gruppi Semplici e Serie di Composizione

Definisce i gruppi semplici e le serie di composizione, ed enuncia il teorema di Jordan-Hölder. Introduce il concetto di mattoni irriducibili dei gruppi finiti.

Lezione 1 • Azioni di Gruppo su Insiemi

Definisce le azioni di gruppo, le orbite e gli stabilizzatori, e dimostra il teorema orbita-stabilizzatore. Unifica coniugio, moltiplicazione tra laterali e simmetria come istanze di un unico quadro concettuale.

Lezione 2 • Lemma di Burnside e Conteggio

Applica il lemma di Burnside per contare le orbite in contesti combinatori. Dimostra la potenza delle azioni di gruppo nella risoluzione di problemi di enumerazione.

Lezione 3 • Azione di Coniugio ed Equazione delle Classi

Analizza il coniugio come azione di gruppo e ricava l'equazione delle classi. Usa l'equazione delle classi per dimostrare proprietà dei p-gruppi.

Lezione 4 • Classificazione dei Gruppi di Ordine Piccolo

Applica la teoria di Sylow per classificare i gruppi di ordine fino a 30. Sintetizza tutti gli strumenti della teoria dei gruppi in una metodologia di classificazione sistematica.

Lezione 1 • Domini a Ideali Principali e Campi

Caratterizza i domini a ideali principali, i campi e la costruzione del campo dei quozienti. Prepara gli studenti agli anelli di polinomi e alle estensioni di campi nei capitoli successivi.

Lezione 2 • Anelli: Assiomi ed Esempi Fondamentali

Definisce anelli, anelli commutativi e anelli con unità, passando in rassegna interi, polinomi e matrici. Stabilisce il quadro a due operazioni che estende la teoria dei gruppi.

Lezione 3 • Ideali Primi e Massimali

Definisce gli ideali primi e massimali e li caratterizza tramite le proprietà dell'anello quoziente. Collega i tipi di ideali ai domini a ideali principali e ai campi.

Lezione 4 • Anelli Quoziente e Omomorfismi

Costruisce gli anelli quoziente R/I e dimostra i teoremi di isomorfismo per anelli. È parallelo alla costruzione del gruppo quoziente ed estende il quadro dei teoremi di isomorfismo.

Lezione 1 • Domini a Fattorizzazione Unica

Dimostra che ogni PID è un UFD e analizza gli irriducibili rispetto ai primi. Stabilisce l'analogo algebrico del teorema fondamentale dell'aritmetica.

Lezione 2 • Domini Euclidei e PID

Definisce i domini euclidei e i domini a ideali principali e dimostra la catena di inclusioni ED⊂PID⊂UFD. Fornisce la gerarchia strutturale per la teoria della fattorizzazione.

Lezione 3 • Criteri di Irriducibilità

Sviluppa test di irriducibilità tra cui la radice razionale, Eisenstein e la riduzione modulo p. Fornisce agli studenti gli strumenti per determinare se un polinomio si fattorizza su un dato campo.

Lezione 4 • Lemma di Gauss e Applicazioni

Dimostra il lemma di Gauss sui polinomi primitivi e lo applica alla fattorizzazione su Z vs. Q. Collega la fattorizzazione di polinomi interi e razionali.

Lezione 1 • Estensioni di Campi: Nozioni di Base

Definisce le estensioni di campi, gli elementi algebrici e trascendenti, e il grado [E:F]. Introduce la legge della torre come strumento moltiplicativo chiave per i gradi delle estensioni.

Lezione 2 • Risolubilità per Radicali

Definisce le estensioni radicali e i gruppi risolubili, poi dimostra il teorema di Abel-Ruffini. Dimostra perché i polinomi di grado 5 sono generalmente non risolubili per radicali.

Lezione 3 • Campi di Spezzamento e Chiusura Algebrica

Costruisce i campi di spezzamento per i polinomi ed enuncia l'esistenza delle chiusure algebriche. Fornisce l'ambiente in cui tutte le radici di un polinomio coesistono.

Lezione 4 • Il Gruppo di Galois e la Corrispondenza

Definisce il gruppo di Galois Gal(E/F) e dimostra il teorema fondamentale della teoria di Galois. Stabilisce la biiezione tra campi intermedi e sottogruppi del gruppo di Galois.

Lezione 1 • Applicazioni ai Gruppi Abeliani

Applica il teorema di struttura per classificare tutti i gruppi abeliani finitamente generati. Dimostra la potenza del teorema come strumento di classificazione completo.

Lezione 2 • Moduli su Anelli

Definisce gli R-moduli sinistri, i sottomoduli e gli omomorfismi di moduli. Posiziona i moduli come la generalizzazione comune dei gruppi abeliani e degli spazi vettoriali.

Lezione 3 • Teorema di Struttura per Moduli su PID

Dimostra il teorema di struttura per moduli finitamente generati su PID nelle forme a fattori invarianti e divisori elementari. Unifica la classificazione dei gruppi abeliani e delle forme canoniche.

Lezione 4 • Successioni Esatte e Moduli Proiettivi

Introduce le successioni esatte corte, le successioni spezzate e i moduli proiettivi. Fornisce il linguaggio per descrivere le estensioni di moduli e le decomposizioni in somma diretta.