|
Нижние полурешетки отделимых конгруэнций нумерованных алгебр
Н. Х. Касымовa, А. С. Морозовbc a Национальный университет Узбекистана им. Мирзо Улугбека, ул. Университетская 4, Ташкент 100174, Республика Узбекистан
b Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
c Новосибирский государственный университет, ул. Пирогова 1, Новосибирск 630090
Аннотация:
Изучается замкнутость различных классов отделимых конгруэнций нумерованных алгебр на натуральных числах (и в частности эквивалентностей) относительно точных верхних и нижних граней в решетке конгруэнций. Показано, что множество всех позитивных конгруэнций всегда образует в ней подрешетку, а множество негативных, вычислимо отделимых и отделимых конгруэнций образуют нижнюю, но не всегда верхнюю подполурешетку. Установлено, что равномерно вычислимо отделимые конгруэнции могут не образовывать как нижние, так и верхние подполурешетки. Дана характеризация полуперечислимых множеств в терминах равномерно вычислимо отделимых эквивалентностей.
Ключевые слова:
нумерованные алгебры и морфизмы, решетки конгруэнций нумерованных алгебр, негативные, позитивные и эффективно отделимые конгруэнции, вычислимая отделимость и отделимость, вычислимая полнота, равномерно вычислимо отделимые конгруэнции.
Статья поступила: 27.12.2022 Окончательный вариант: 17.04.2023 Принята к печати: 16.05.2023
Образец цитирования:
Н. Х. Касымов, А. С. Морозов, “Нижние полурешетки отделимых конгруэнций нумерованных алгебр”, Сиб. матем. журн., 64:4 (2023), 753–769
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7795 https://www.mathnet.ru/rus/smj/v64/i4/p753
|
Статистика просмотров: |
Страница аннотации: | 48 | PDF полного текста: | 22 | Список литературы: | 13 | Первая страница: | 5 |
|