#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Обратите внимание на нестандартное время!
Logic Online Seminar (https://www.mathnet.ru/eng/conf876), Monday 17:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk

02.06.2025, 17:00, совместно с семинаром С.И. Адяна, О.В. Сипачёва (МГУ, мехмат, https://www.mathnet.ru/rus/person12816): Топологические универсальные алгебры: симбиоз алгебры и топологии (очный доклад)

Топологическая универсальная алгебра, или просто топологическая алгебра, — это алгебраическая система без отношений, снабжённая топологией, относительно которой все операции непрерывны. Многообразием топологических алгебр называется любой класс топологических алгебр данной сигнатуры, замкнутый относительно произвольных произведений и перехода к подалгебрам и факторалгебрам. Согласно знаменитой теореме Биркгофа класс алгебр является многообразием тогда и только тогда, когда он задаётся некоторой совокупностью тождеств, т.е. состоит в точности из тех алгебр, в которых выполнены все тождества из данной совокупности.

Топологические и алгебраические свойства топологических алгебр удивительным образом связаны друг с другом. В докладе рассматриваются топологические свойства, вытекающие из выполнения тех или иных тождеств, и — что наиболее интересно — тождества, выполнение которых вытекает из наличия тех или иных топологических свойств. Ещё в прошлом веке такие тождества были найдены для импликаций, связывающих разные аксиомы отделимости. В докладе основное внимание уделено вопросу, при каких условиях факторалгебра топологической алгебры с фактортопологией является топологической алгеброй, т.е. какие тождества должны выполняться в многообразии топологических алгебр для того, чтобы факторные гомоморфизмы алгебр из этого многообразия сохраняли непрерывность операций. Некоторое внимание уделяется также алгебрам с топологиями, относительно которых все операции раздельно непрерывны; они обладают любопытными свойствами, выгодно отличающими их от топологических алгебр.

➰ ВК