Топологические универсальные алгебры

Универсальная алгебра (множество с операциями). Гомоморфизмы и изоморфизмы
универсальных алгебр, факторалгебры, подалгебры. Тождества. Многообразия алгебр, теорема Биркгофа. Свободные алгебры в данном многообразии.
Топологические алгебры. Многообразия топологических алгебр, свободные топологические алгебры.
Операция Мальцева. Теорема Мальцева: в многообразии алгебр все конгруэнции перестановочны тогда и только тогда, когда из операций этого многообразия можно составить операцию Мальцева. Аксиомы отделимости в топологических алгебрах с операцией Мальцева, а также в топологических алгебрах, удовлетворяющих некоторым другим алгебраическим условиям.
Абелевость фундаментальной группы линейно связной топологической алгебры, имеющей бинарную операцию с нейтральным элементом.
Теорема Мальцева–Тэйлора: в многообразии топологических алгебр все факторные гомоморфизмы открыты тогда и только тогда, когда из операций этого многообразия можно составить операцию Мальцева. Проблема о непрерывности операций на образах топологических алгебр при факторных гомоморфизмах. Свойства топологического пространства, гарантирующие существование непрерывной операции Мальцева на этом пространстве.
Топологические группы, их основные свойства. Проблема существования недискретной групповой топологии на бесконечной группе. Группы Ли, теорема Глисона–Ямабе–Монтгомери–Циппина (топологическая группа является группой Ли тогда и только тогда, когда она локальна компактна и в ней существует окрестность единицы, не содержащая нетривиальных подгрупп). Теорема: всякое компактное топологическое пространство, допускающее непрерывную операцию Мальцева (в частности, топологическая алгебра с операцией Мальцева), является ретрактом топологической группы.
Квазитопологические алгебры (универсальные алгебры с раздельно непрерывными операциями). Свободные квазитопологические алгебры. Отделимость квазитопологических алгебр. Теорема: образ квазитопологической алгебре при факторном гомоморфизме является квазитопологической алгеброй, т.е. операции на образе раздельно непрерывны.
Топологические и квазитопологические магмы, квазигруппы, лупы и полугруппы. Теорема Эллиса–Нумакуры: в любой полугруппе с хаусдорфовой компактной топологией, относительно которой умножение непрерывно хотя бы по одному аргументу, есть идемпотент и минимальные левые идеалы.
Полугруппа ультрафильтров. Применения теоремы о существовании идемпотента и минимальных левых идеалов в полугруппе ультрафильтров в комбинаторике, динамике и топологии.