Homologisk algebra

Emnet inneholder homologisk algebra for abelske kategorier generelt, og moduler over en ring. Først introduseres kategoriteori, både i sammenhengen generelle kategorier og abelske kategorier, og det diskuteres noen grunnlegende egenskaper (funktorer, naturlige transformasjoner, grenser og kogrenser, spesielt kjerner, kokjerner, pullbacks, pushouts). Kursets hoveddel er å se på deriverte funktorer, spesielt de deriverte funktorene Ext og Tor. For å kunne gjøre dette introduseres og undersøkes konseptene komplekser, homotopi, homologi, projektive og injektive oppløsninger. I diskusjonen av den første Ext-gruppen sammenlignes den med korteksakte følger (Yoneda-Ext). Til slutt introduseres triangulerte kategorier, og særlig den deriverte kategorien av en abelsk kategori, og Ext tolkes som Hom-mengde i den deriverte kategorien.

1. Kunnskap: Studenten kjenner til grunnleggende begreper for kategorier og funktorer, spesielt funktorene Hom og tensor. Studenten kan konstruere deriverte funktorer, og er kjent med de deriverte funktorene Ext og Tor. Videre vet studenten hvordan den deriverte kategorien konstrueres, og hvordan Ext kan tolkes i denne kategorien.

2. Ferdigheter: Studenten kan lese, diskutere, og skrive argumenter med bruk av kategorispråket. Gitt en høyreeksakt (eller venstreeksakt) funktor mellom abelske kategorier med nok projektive (injektive), kan studenten konstruere de venstrederiverte (høyrederiverte) funktorene, og tolke hva disse betyr for hvor eksakt funktoren er.

Forelesninger. Foreleseren kan gi øvingsoppgaver (som ikke er obligatoriske, men anbefalt) for å øve bruk av kursets konsepter.