Laboratory of Mathematical Logic at PDMI

Пятница, 21 февраля, ауд. 203. Начало в 17:00.

Докладчик: Н.А. Перязев (Иркутск).

Тема: Клоны и суперклоны.

Abstract

Функциональные системы конечных функций находят многочисленные приложения в дискретной математике. Алгебраический подход к изучению функциональных систем впервые был предложен А.И. Мальцевым.

Среди алгебр функций наибольшее распространение получили клоны – алгебры операций замкнутые относительно суперпозиции и содержащие операции проекций. Многоместные частичные операции получили названия мультиопераций. Рассматривая алгебры над множествами мультиопераций с одной дополнительной операцией разрешимости простейшего уравнения получаем алгебру, называемую суперклоном.

В докладе будут введены все необходимые для понимания понятия. Будут представлены результаты о суперклонах, в частности, совершенная связь Галуа для клонов и суперклонов, стандартные представления мультиопераций в суперклонах, базисы для некоторых суперклонов.