Rok Gregorič: Afine sheme, 3. del

Dokazali bomo, da je kategorija afinih shem ekvivalentna (obratni) kategoriji komutativnih kolobarjev. Ta izrek omogoča geometrijsko interpretacijo precejšnjega deleža komutativne algebre. Za ilustracijo tega bomo primerjali kvocientne kolobarje z zaprtimi podshemami, formalno napolnitev z infinitezimalnimi okolicami in (če bo čas dovolil) Kählerjeve derivacije s tangentnimi prostori Zariskega.