On monoids of monotone injective partial selfmaps of Ln ×lex Z with co-finite domains and images

We study the semigroup IO∞(Zⁿlex) of monotone injective partial selfmaps of the set of Ln × lex Z having co-finite domain and image, where Ln ×lex Z is the lexicographic product of n-elements chain and the set of integers with the usual order. We show that IO∞(Zⁿlex) is bisimple and establish its pr...

Full description

Saved in:
Bibliographic Details
Date:2014
Main Authors: Gutik, O., Pozdnyakova, I.
Format: Article
Language:English
Published: Інститут прикладної математики і механіки НАН України 2014
Series:Algebra and Discrete Mathematics
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/153337
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:On monoids of monotone injective partial selfmaps of Ln ×lex Z with co-finite domains and images / O. Gutik, I. Pozdnyakova // Algebra and Discrete Mathematics. — 2014. — Vol. 17, № 2. — С. 256–279. — Бібліогр.: 28 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Description
Summary:We study the semigroup IO∞(Zⁿlex) of monotone injective partial selfmaps of the set of Ln × lex Z having co-finite domain and image, where Ln ×lex Z is the lexicographic product of n-elements chain and the set of integers with the usual order. We show that IO∞(Zⁿlex) is bisimple and establish its projective congruences. We prove that IO∞(Zⁿlex) is finitely generated, and for n = 1 every automorphism of IO∞(Zⁿlex) is inner and show that in the case n ⩾ 2 the semigroup IO∞(Zⁿlex) has non-inner automorphisms. Also we show that every Baire topology τ on IO∞(Znlex) such that (IO∞(Znlex),τ) is a Hausdorff semitopological semigroup is discrete, construct a non-discrete Hausdorff semigroup inverse topology on IO∞(Zⁿlex), and prove that the discrete semigroup IO∞(Zⁿlex) cannot be embedded into some classes of compact-like topological semigroups and that its remainder under the closure in a topological semigroup S is an ideal in S.