Naredni sastanak Seminara biće održan u petak, 31. maja 2024. godine u sali 301f Matematičkog instituta SANU sa početkom u 12 časova.

Predavač: Vukašin Đinović, Prirodno-matematički fakultet, Univerzitet u Novom Sadu

Naslov predavanja: PROBLEM KONAČNE BAZE IDENTITETA

Apstrakt:
Istorijski gledano, problemi povezani sa konačnom bazom identiteta su među najviše istraživanim u oblasti univerzalne algebre. Intuitivno, kažemo da algebra ima konačnu bazu ako se svi njeni identiteti mogu izvesti iz konačno mnogo njih. Već na konačnim algebrama situacija je uzbudljiva. Naime, mnoge prirodne konačne algebre (grupe, prsteni, mreže) uvek imaju konačne baze, ali postoje i kontraprimeri na grupoidima i polugrupama. Ralf Makenzi je dokazao 1996. da ne postoji Tjuringova mašina koja odlučuje da li proizvoljna konačna algebra ima konačnu bazu. Potom prelazimo na varijetete, gde se često nametne dodatni uslov na mreži kongruencija (Bejker, Jonson, Vilard). Na kraju ćemo se baviti parcijalnim rezultatima na temu Jonson-Parkove i restrikovane Kvakenbušove hipoteze, do kojih dolazimo kada pokušamo da izbegnemo te uslove.

Napomena: Predavanja se mogu pratiti na daljinu preko linka:
https://miteam.mi.sanu.ac.rs/call/CihYM6Nratzix7c8G/uJmcdEJs4INWQ8MEoLVzHRGxbfbBEWSBMwXBYcymVoj

Registraciona forma je dostupna na:
https://miteam.mi.sanu.ac.rs/asset/M4zcEwxkzy5PqNS73