Регулярность полугрупп отображений, сохраняющих заданное бинарное отношение
В. А. Ярошевичab a Национальный исследовательский университет «МИЭТ»
b ООО «Авайя СНГ»
Аннотация:
Рассматриваются полугруппы полных, частичных и многозначных отображений множества
$X$ в
$X$, сохраняющих заданное на
$X$ бинарное отношение
$\sigma$. Предложены несколько вариантов определений сохранения
$\sigma$ для частичных и многозначных отображений. Приведён обзор результатов, характеризующих регулярность упомянутых выше полугрупп в случае, когда
$\sigma$ является частичным порядком, квазипорядком, эквивалентностью и ещё некоторыми частными случаями бинарных отношений. Также рассмотрен вопрос регулярности полугруппы полных отображений, сохраняющих одновременно частичный порядок и эквивалентность.
Ключевые слова:
полное отображение, частичное отображение, многозначное отображение, регулярность, частичный порядок, квазипорядок, эквивалентность, бинарное отношение, полугруппа, цепь, антицепь.
УДК:
512.534.3