Abstract
We consider ordered universal algebras and give a construction of a join-completion for them using so-called \(\mathscr {D}\)-ideals. We show that this construction has a universal property that induces a reflector from a certain category of ordered algebras to the category of sup-algebras. Our results generalize several earlier known results about different ordered structures.
Similar content being viewed by others
Data availability
Data sharing not applicable to this article as datasets were neither generated nor analysed.
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. John Wiley and Sons, New York (1990)
Banaschewski, B.: Hüllensysteme und Erweiterung von Quasi-Ordnungen. Z. Math. Logik Grundlagen Math. 2, 117–130 (1956)
Bishop, A.: A universal mapping property for a lattice completion. Algebra Universalis 6, 81–84 (1976)
Bloom, S.L.: Varieties of ordered algebras. J. Comput. System Sci. 13, 200–212 (1976)
Bruns, G., Lakser, H.: Injective hulls of semilattices. Canad. Math. Bull. 13, 115–118 (1970)
Erné, M.: Adjunctions and standard constructions for partially ordered sets. In: Contributions to general algebra, vol. 2, pp. 77–106, Hölder-Pichler-Tempsky, Vienna (1983)
Krishnan, V.-S.: Les algébres partiellement ordonnées et leurs extensions. Bull. Soc. Math. France 78, 235–263 (1950)
Mac Lane, S.: Categories for the Working Mathematician. 2nd edn. Graduate Texts in Mathematics 5. Springer-Verlag, New York xii+314 pp (1998)
Rasouli, H.: Completion of \(S\)-posets. Semigroup Forum 85, 571–576 (2012)
Resende, P.: Tropological Systems and Observational Logic in Concurrency and Specification. PhD thesis, Universidade Técnica de Lisboa (1998)
Schmidt, J.: Each join-completion of a partially ordered set is the solution of a universal problem. Collection of articles dedicated to the memory of Hanna Neumann, VIII. J. Austral. Math. Soc. 17, 406–413 (1974)
Xia, C., Zhao, B.: Sup-algebra completions and injective hulls of ordered algebras. Algebra Universalis 79, no. 1, Paper No. 13, 10 pp (2018)
Zhang, X., Laan, V.: Quotients and subalgebras of sup-algebras. Proc. Est. Acad. Sci. 64, 311–322 (2015)
Zhang, X., Laan, V., Feng, J., Reimaa, Ü.: Correction to “Injective hulls for ordered algebras”. Algebra Universalis 82, 65 (2021)
Zhang, X., Laan, V., Feng, J.: Injective hulls are completions of ordered algebras (submitted)
Zhang, X., Paseka, J., Feng, J., Chen, Y.: Reflectors to quantales. Fuzzy Sets Syst. 455, 102–123 (2023)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Presented by M. Ploščica.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research of V. Laan was supported by the Estonian Research Council grant PRG1204. Research of X. Zhang was supported by the Guangdong Basic and Applied Basic Research Foundation, China, No. 2020A1515010206 and No. 2021A1515010248, the Science and Technology Program of Guangzhou, China, No. 202102080074.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Laan, V., Feng, J. & Zhang, X. Admissible subsets and completions of ordered algebras. Algebra Univers. 84, 19 (2023). https://doi.org/10.1007/s00012-023-00813-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-023-00813-9