Další formáty:
BibTeX
LaTeX
RIS
@article{2421889, author = {Almeida, Jorge and Klíma, Ondřej}, article_number = {4}, keywords = {Profinite semigroup; profinite unary algebra; profinite congruence; Polish representation}, language = {eng}, issn = {1542-3980}, journal = {Journal of Multiple-Valued Logic and Soft Computing}, title = {Profinite Congruences and Unary Algebras}, url = {https://ui.adsabs.harvard.edu/abs/2020arXiv200300509A/abstract}, volume = {42}, year = {2024} }
TY - JOUR ID - 2421889 AU - Almeida, Jorge - Klíma, Ondřej PY - 2024 TI - Profinite Congruences and Unary Algebras JF - Journal of Multiple-Valued Logic and Soft Computing VL - 42 IS - 4 SP - 265-297 EP - 265-297 PB - Old City Publishing Inc SN - 15423980 KW - Profinite semigroup KW - profinite unary algebra KW - profinite congruence KW - Polish representation UR - https://ui.adsabs.harvard.edu/abs/2020arXiv200300509A/abstract N2 - Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra. On the other hand, closed congruences and fully invariant congruences can be described constructively. In a previous paper, we conjectured that fully invariant closed congruences on a relatively free profinite algebra are always profinite. Here, we show that our conjecture fails for unary algebras and that closed congruences on relatively free profinite semigroups are not necessarily profinite. As part of our study of unary algebras, we establish an adjunction between profinite unary algebras and profinite monoids. We also show that the Polish representation of the free profinite unary algebra is faithful. ER -
ALMEIDA, Jorge a Ondřej KLÍMA. Profinite Congruences and Unary Algebras. \textit{Journal of Multiple-Valued Logic and Soft Computing}. Old City Publishing Inc, 2024, roč.~42, č.~4, s.~265-297. ISSN~1542-3980.
|