Abstract
Let n be any positive integer and be the semigroup of all order isomorphisms between principal filters of the nth power of the set of positive integers \({\mathbb {N}}\) with the product order. We study algebraic properties of the semigroup . In particular, we show that is a bisimple, E-unitary, F-inverse semigroup, describe Green’s relations on and its maximal subgroups. We show that the semigroup is isomorphic to the semidirect product of the direct nth power of the bicyclic monoid by the group of permutation . Also we prove that every non-identity congruence \({\mathfrak {C}}\) on the semigroup is a group and describe the least group congruence on . We show that every Hausdorff shift-continuous topology on is discrete and discuss embedding of the semigroup into compact-like topological semigroups.
Similar content being viewed by others
References
Andersen, O.: Ein Bericht über die Struktur abstrakter Halbgruppen. Ph.D. Thesis, Hamburg (1952)
Anderson, L.W., Hunter, R.P., Koch, R.J.: Some results on stability in semigroups. Trans. Amer. Math. Soc. 117, 521–529 (1965)
Arkhangel’skii, A.V.: Topological Function Spaces. Mathematics and Its Applications (Soviet Series), vol. 78. Kluwer, Dordrecht (1992)
Ash, C.J., Hall, T.E.: Inverse semigroups on graphs. Semigroup Forum 11(2), 140–145 (1975/76)
Banakh, T.O., Dimitrova, S., Gutik, O.V.: The Rees–Suschkewitsch theorem for simple topological semigroups. Mat. Stud. 31(2), 211–218 (2009)
Banakh, T., Dimitrova, S., Gutik, O.: Embedding the bicyclic semigroup into countably compact topological semigroups. Topology Appl. 157(18), 2803–2814 (2010)
Bardyla, S.: Classifying locally compact semitopological polycyclic monoids. Mat. Visn. Nauk. Tov. Im. Shevchenka 13, 21–28 (2016)
Bardyla, S.: On a semitopological \(\alpha \)-bicyclic monoid. Visn. L’viv. Univ., Ser. Mekh.-Mat. 81, 9–22 (2016)
Bardyla, S.: On locally compact shift-continuous topologies on the \(\alpha \)-bicyclic monoid. Topol. Algebra Appl. 6(1), 34–42 (2018)
Bardyla, S.: On locally compact semitopological graph inverse semigroups. Mat. Stud. 49(1), 19–28 (2018)
Bardyla, S.: On locally compact topological graph inverse semigroups (2017). arXiv:1706.08594
Bardyla, S., Gutik, O.: On a semitopological polycyclic monoid. Algebra Discrete Math. 21(2), 163–183 (2016)
Bertman, M.O., West, T.T.: Conditionally compact bicyclic semitopological semigroups. Proc. R. Irish Acad. Sect. A 76(21), 219–226 (1976)
Carruth, J.H., Hildebrant, J.A., Koch, R.J.: The Theory of Topological Semigroups, Vol. I. Monographs and Textbooks in Pure and Applied Mathematics, vol. 75. Marcel Dekker, New York (1983)
Carruth, J.H., Hildebrant, J.A., Koch, R.J.: The Theory of Topological Semigroups, Vol. II. Monographs and Textbooks in Pure and Applied Mathematics, vol. 100. Marcel Dekker, New York (1986)
Chuchman, I., Gutik, O.: Topological monoids of almost monotone injective co-finite partial selfmaps of the set of positive integers. Carpathian Math. Publ. 2(1), 119–132 (2010)
Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Vols. I. Mathematical Surveys, vol. 7. American Mathematical Society, Providence (1961)
Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Vols. II. Mathematical Surveys, vol. 7. American Mathematical Society, Providence (1967)
Eberhart, C., Selden, J.: On the closure of the bicyclic semigroup. Trans. Amer. Math. Soc. 144, 115–126 (1969)
Engelking, R.: General Topology, 2nd edn. Heldermann, Berlin (1989)
Fihel, I.R., Gutik, O.V.: On the closure of the extended bicyclic semigroup. Carpathian Math. Publ. 3(2), 131–157 (2011)
Gutik, O.: On the dichotomy of a locally compact semitopological bicyclic monoid with adjoined zero. Visn. L’viv. Univ., Ser. Mekh.-Mat. 80, 33–41 (2015)
Gutik, O.: Topological properties of Taimanov semigroups. Mat. Visn. Nauk. Tov. Im. Shevchenka 13, 29–34 (2016)
Gutik, O.: On locally compact semitopological \(0\)-bisimple inverse \(\omega \)-semigroups. Topol. Algebra Appl. 6(1), 77–101 (2018)
Gutik, O., Maksymyk, K.: On semitopological interassociates of the bicyclic monoid. Visn. L’viv. Univ., Ser. Mekh.-Mat. 82, 98–108 (2016)
Gutik, O.V., Maksymyk, K.M.: On semitopological bicyclic extensions of linearly ordered groups. Mat. Metody Fiz.-Mekh. Polya 59(4), 31–43 (2016)
Gutik, O.V., Pozdniakova, I.V.: Congruences on the monoid of monotone injective partial self-maps of \(L_n\times _{{\rm lex}}{\mathbb{Z}}\) with co-finite domains and images. Mat. Metody Fiz.-Mekh. Polya 57(2), 7–15 (2014). Reprinted version: J. Math. Sci. (N.Y.) 217(2), 139–148 (2016)
Gutik, O., Pozdniakova, I.: On the monoid of monotone injective partial selfmaps of \({\mathbb{N}}^{2}_{\scriptstyle \leqslant }\) with cofinite domains and images. Visn. L’viv. Univ., Ser. Mekh.-Mat. 81, 101–116 (2016)
Gutik, O., Pozdniakova, I.: On the monoid of monotone injective partial selfmaps of \({\mathbb{N}}^{2}_{\scriptstyle \leqslant }\) with cofinite domains and images, II. Visn. L’viv. Univ., Ser. Mekh.-Mat. 82, 109–127 (2016)
Gutik, O., Pozdnyakova, I.: On monoids of monotone injective partial selfmaps of \(L_n\times _{{\rm lex}}{\mathbb{Z}}\) with co-finite domains and images. Algebra Discrete Math. 17(2), 256–279 (2014)
Gutik, O., Repovš, D.: On countably compact \(0\)-simple topological inverse semigroups. Semigroup Forum 75(2), 464–469 (2007)
Gutik, O., Repovš, D.: Topological monoids of monotone, injective partial selfmaps of \({\mathbb{N}}\) having cofinite domain and image. Studia Sci. Math. Hungar. 48(3), 342–353 (2011)
Gutik, O., Repovš, D.: On monoids of injective partial selfmaps of integers with cofinite domains and images. Georgian Math. J. 19(3), 511–532 (2012)
Gutik, O., Repovš, D.: On monoids of injective partial cofinite selfmaps. Math. Slovaca 65(5), 981–992 (2015)
Hildebrant, J.A., Koch, R.J.: Swelling actions of \(\Gamma \)-compact semigroups. Semigroup Forum 33(1), 65–85 (1986)
Hogan, J.W.: Bisimple semigroups with idempotents well-ordered. Semigroup Forum 6(4), 298–316 (1973)
Hogan, J.W.: The \(\alpha \)-bicyclic semigroup as a topological semigroup. Semigroup Forum 28(1–3), 265–271 (1984)
Howie, J.M.: Fundamentals of Semigroup Theory. London Mathematical Society Monographs New Series, vol. 12. Clarendon Press, New York (1995)
Koch, R.J., Wallace, A.D.: Stability in semigroups. Duke Math. J. 24, 193–195 (1957)
Lawson, M.V.: Inverse Semigroups. World Scientific, River Edge (1998)
McFadden, R., O’Carroll, L.: \(F\)-inverse semigroups. Proc. Lond. Math. Soc. 22, 652–666 (1971)
Mesyan, Z., Mitchell, J.D., Morayne, M., Péresse, Y.H.: Topological graph inverse semigroups. Topology Appl. 208, 106–126 (2016)
Munn, W.D.: Uniform semilattices and bisimple inverse semigroups. Quart. J. Math. Oxford 17, 151–159 (1966)
Nivat, M., Perrot, J.-F.: Une généralisation du monoïde bicyclique. C. R. Acad. Sci. Paris Sér. A 271, 824–827 (1970)
Petrich, M.: Inverse Semigroups. Pure and Applied Mathematics. Wiley, New York (1984)
Ruppert, W.: Compact Semitopological Semigroups. Lecture Notes in Mathematics, vol. 1079. Springer, Berlin (1984)
Saitô, T.: Proper ordered inverse semigroups. Pacific J. Math. 15(2), 649–666 (1965)
Selden, A.A.: A nonlocally compact nondiscrete topology for the \(\alpha \)-bicyclic semigroup. Semigroup Forum 31(3), 372–374 (1985)
Taimanov, A.D.: An example of a semigroup which admits only the discrete topology. Algebra Logic 12(1), 64–65 (1973)
Taimanov, A.D.: On the topologization of commutative semigroups. Math. Notes 17(5), 443–444 (1975)
Vagner, V.V.: Generalized groups. Doklady Akad. Nauk SSSR (N.S) 84, 1119–1122 (1952). (in Russian)
Acknowledgements
The authors are grateful to the referee and the editor for several useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Gutik, O., Mokrytskyi, T. The monoid of order isomorphisms between principal filters of \({\varvec{\mathbb {N}}}^n\). European Journal of Mathematics 6, 14–36 (2020). https://doi.org/10.1007/s40879-019-00328-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-019-00328-5
Keywords
- Semigroup
- Partial map
- Inverse semigroup
- Least group congruence
- Permutation group
- Bicyclic monoid
- Semidirect product
- Semitopological semigroup
- Topological semigroup