Нижние полурешетки отделимых конгруэнций нумерованных алгебр

Нижние полурешетки отделимых конгруэнций нумерованных алгебр Full article

Journal

Сибирский математический журнал
ISSN: 0037-4474

Output data

Year: 2023, Volume: 64, Number: 4, Pages: 753–769 Pages count : 17 DOI: 10.33048/smzh.2023.64.408

Tags

нумерованные алгебры и морфизмы, решетки конгруэнций нумерованных алгебр, негативные, позитивные и эффективно отделимые конгруэнции, вычислимая отделимость и отделимость, вычислимая полнота, равномерно вычислимо отделимые конгруэнции

Authors

Касымов Н.Х. ¹ , Морозов А.С. ^2,3

Affiliations

1	Национальный университет Узбекистана им. Мирзо Улугбека
2	Институт математики им. С. Л. Соболева СО РАН
3	Новосибирский государственный университет

Funding (2)

1	Sobolev Institute of Mathematics	FWNF-2022-0012
2	Kazan Federal University	075-02-2022-882

Изучается замкнутость различных классов отделимых конгруэнций нумерованных алгебр на натуральных числах (и в частности эквивалентностей) относительно точных верхних и нижних граней в решетке конгруэнций. Показано, что множество всех позитивных конгруэнций всегда образует в ней подрешетку, а множество негативных, вычислимо отделимых и отделимых конгруэнций образуют нижнюю, но не всегда верхнюю подполурешетку. Установлено, что равномерно вычислимо отделимые конгруэнции могут не образовывать как нижние, так и верхние подполурешетки. Дана характеризация полуперечислимых множеств в терминах равномерно вычислимо отделимых эквивалентностей.

Касымов Н.Х. , Морозов А.С.
Нижние полурешетки отделимых конгруэнций нумерованных алгебр
Сибирский математический журнал. 2023. Т.64. №4. С.753–769. DOI: 10.33048/smzh.2023.64.408 РИНЦ

Kasymov N.K. , Morozov A.S.
Lower Semilattices of Separable Congruences of Numbered Algebras
Siberian Mathematical Journal. 2023. V.64. N4. P.864-876. DOI: 10.1134/s0037446623040080 WOS Scopus РИНЦ OpenAlex

Submitted:	Dec 27, 2022
Accepted:	May 16, 2023
Published print:	Jul 24, 2023
Published online:	Jul 24, 2023

Elibrary:

63300026

Пока нет цитирований