Аннотация:
Получено полное описание всех конгруэнций свободного унара с произвольным множеством свободных образующих. А именно, каждая конгруэнция однозначно определяется некоторым набором параметров, каждый из которых представляет собой целое неотрицательное число или символ $\infty$; сформулированы ограничения на эти параметры.
Ключевые слова:полигон над полугруппой, унар, конгруэнция.
УДК:
512.534.32 + 512.577 + 512.567.5
Поступила в редакцию: 07.02.2023 Принята в печать: 24.04.2023