U okviru rada katedre povremeno se održava Seminar za algebru, matematičku logiku i teoriju brojeva.
U narednom periodu, uz povremena naučna predavanja, na seminaru će biti organizovani mini-kursevi namenjeni studentima i ostalim zainteresovanima, koji bi trebalo da posluže kao uvod u odabrane oblasti savremene algebre, matematičke logike i teorije brojeva. Prvi u nizu će biti uvodni kurs u teoriju modela, jednu od glavnih grana matematičke logike.
Petak, 5.12.2025. u 12:15, sala 840
Slavko Moconja, Matematički fakultet
AKS-GROTENDIKOVA TEOREMA
Aks-Grotendikova teorema je fundamentalni rezultat u algebarskoj geometriji koji tvrdi da je svaki injektivni morfizam algebarskog varijeteta surjektivan. Teorema u specijalnom slučaju ima sledeći jednostavan i razumljiv iskaz:
Svako polinomijalno 1-1 preslikavanje \(\mathbb C^n\to\mathbb C^n\) je na.
Prethodna teorema, o kojoj ćemo zapravo govoriti, ima intrigantan model-teoretski dokaz. Naime, teorema je očigledno tačna ako umesto polja kompleksnih brojeva stavimo proizvoljno konačno polje (ili čak ako posmatramo proizvoljnu funkciju na proizvoljnom konačnom skupu). Nekoliko logičkih koncepata, koji su u osnovi teorije modela, opravdavaju izvesne principe transfera pomoću kojih se Aks-Grotendikova teorema svodi na njen navedeni pandan o konačnim poljima. Ideja ovog mini-kursa je upoznavanje sa tim logičkim konceptima.
Ovo predavanje je prvo u nizu na mini-kursu iz uvoda u teoriju modela, na kojem ćemo predstaviti osnove ove oblasti. Kurs je namenjen studentima i trudićemo se da ga ispričamo na način koji ne zahteva posebna predznanja.
Dr Slavko Moconja