Sciact
  • EN
  • RU

Lower Semilattices of Separable Congruences of Numbered Algebras Full article

Journal Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260
Output data Year: 2023, Volume: 64, Number: 4, Pages: 864-876 Pages count : 13 DOI: 10.1134/s0037446623040080
Tags numbered algebras and morphisms, congruence lattices of numbered algebras, negative, positive, effectively separable congruences, computable separability, separability, computable completeness, uniformly computably separable congruences
Authors Kasymov N.Kh. 1 , Morozov A.S. 2,3
Affiliations
1 Mirzo Ulugbek National University, Tashkent, Uzbekistan
2 Sobolev Institute of Mathematics
3 Novosibirsk State University

Funding (2)

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

Abstract: Under study are the closure properties for various classes of separable congruences (in particular, of equivalences) of numbered algebras on the natural numbers under the upper and lower bounds in the lattice of congruences. We show that the class of all positive congruences forms a sublattice whereas the classes of negative, computably separable, and separable congruences form a lower but not always an upper subsemilattice. It is shown that uniformly computably separable congruences can fail to form lower and upper semilattices. We give a characterization of semienumerable sets in terms of uniformly computably separable equivalences
Cite: 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
Original: Касымов Н.Х. , Морозов А.С.
Нижние полурешетки отделимых конгруэнций нумерованных алгебр
Сибирский математический журнал. 2023. Т.64. №4. С.753–769. DOI: 10.33048/smzh.2023.64.408 РИНЦ
Dates:
Submitted: Dec 27, 2022
Accepted: May 16, 2023
Published print: Jul 24, 2023
Published online: Jul 24, 2023
Identifiers:
Web of science: WOS:001035552800008
Scopus: 2-s2.0-85165583657
Elibrary: 63367206
OpenAlex: W4385191933
Citing:
DB Citing
Scopus 1
OpenAlex 2
Web of science 1
Elibrary 3
Altmetrics: